runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/dudf-real//b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.66 1.49 1.34 4/34 27212 /proc/meminfo: memFree=302496/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=3712 CPUtime=0 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 405 0 0 0 0 0 0 0 25 0 1 0 11226314 3801088 334 1283457024 134512640 134752139 4288801760 18446744073709551615 4157049933 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 928 334 286 59 0 92 0 [startup+0.173785 s] /proc/loadavg: 1.66 1.49 1.34 4/34 27212 /proc/meminfo: memFree=302496/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=9464 CPUtime=0.17 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 1865 0 0 0 17 0 0 0 25 0 1 0 11226314 9691136 1794 1283457024 134512640 134752139 4288801760 18446744073709551615 134681639 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 2366 1794 286 59 0 1530 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 12032 [startup+0.203788 s] /proc/loadavg: 1.66 1.49 1.34 4/34 27212 /proc/meminfo: memFree=302496/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=10388 CPUtime=0.2 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 2080 0 0 0 20 0 0 0 25 0 1 0 11226314 10637312 2009 1283457024 134512640 134752139 4288801760 18446744073709551615 134681522 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 2597 2009 286 59 0 1761 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 12956 [startup+0.313811 s] /proc/loadavg: 1.66 1.49 1.34 4/34 27212 /proc/meminfo: memFree=302496/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=13508 CPUtime=0.32 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 2870 0 0 0 30 2 0 0 25 0 1 0 11226314 13832192 2799 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 3377 2799 286 59 0 2541 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 16076 [startup+0.713912 s] /proc/loadavg: 1.66 1.49 1.34 4/34 27212 /proc/meminfo: memFree=302496/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=23604 CPUtime=0.71 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 5379 0 0 0 67 4 0 0 25 0 1 0 11226314 24170496 5308 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 5901 5308 286 59 0 5065 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 26172 [startup+1.50405 s] /proc/loadavg: 1.66 1.49 1.34 2/35 27214 /proc/meminfo: memFree=270972/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=34304 CPUtime=1.11 /proc/27212/stat : 27212 (packup) S 27211 27211 4778 34817 4778 4202496 8111 0 0 0 97 14 0 0 25 0 1 0 11226314 35127296 7932 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27212/statm: 8576 7932 324 59 0 7740 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 36872 [startup+3.10443 s] /proc/loadavg: 1.66 1.49 1.34 2/37 27215 /proc/meminfo: memFree=226688/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=34308 CPUtime=3.01 /proc/27212/stat : 27212 (packup) S 27211 27211 4778 34817 4778 4202496 8173 19030 0 0 105 22 158 16 18 0 1 0 11226314 35131392 7941 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27212/statm: 8577 7941 332 59 0 7741 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 36876 Solver just ended. Dumping a history of the last processes samples [startup+3.20445 s] /proc/loadavg: 1.66 1.49 1.34 2/37 27215 /proc/meminfo: memFree=226688/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=34308 CPUtime=3.01 /proc/27212/stat : 27212 (packup) S 27211 27211 4778 34817 4778 4202496 8173 19030 0 0 105 22 158 16 18 0 1 0 11226314 35131392 7941 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27212/statm: 8577 7941 332 59 0 7741 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 36876 [startup+4.00467 s] /proc/loadavg: 1.66 1.49 1.34 2/37 27217 /proc/meminfo: memFree=264384/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=34308 CPUtime=3.01 /proc/27212/stat : 27212 (packup) S 27211 27211 4778 34817 4778 4202496 8173 19030 0 0 105 22 158 16 18 0 1 0 11226314 35131392 7941 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27212/statm: 8577 7941 332 59 0 7741 0 [pid=27216] ppid=27212 vsize=1676 CPUtime=0.01 /proc/27216/stat : 27216 (sh) S 27212 27211 4778 34817 4778 4202496 146 0 0 0 0 1 0 0 18 0 1 0 11226617 1716224 124 1283457024 134512640 134593992 4289832384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27216/statm: 419 124 108 20 0 46 0 [pid=27217] ppid=27216 vsize=50656 CPUtime=0.96 /proc/27217/stat : 27217 (minisatp_32) R 27216 27211 4778 34817 4778 4202496 14451 0 0 0 78 18 0 0 23 0 1 0 11226617 51871744 10835 1283457024 134512640 135413687 4294668912 18446744073709551615 134685948 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/27217/statm: 12664 10835 108 220 0 12442 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 89208 [startup+4.80495 s] /proc/loadavg: 1.60 1.48 1.34 2/37 27217 /proc/meminfo: memFree=210444/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=34308 CPUtime=3.01 /proc/27212/stat : 27212 (packup) S 27211 27211 4778 34817 4778 4202496 8173 19030 0 0 105 22 158 16 18 0 1 0 11226314 35131392 7941 1283457024 134512640 134752139 4288801760 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27212/statm: 8577 7941 332 59 0 7741 0 [pid=27216] ppid=27212 vsize=1676 CPUtime=0.01 /proc/27216/stat : 27216 (sh) S 27212 27211 4778 34817 4778 4202496 146 0 0 0 0 1 0 0 18 0 1 0 11226617 1716224 124 1283457024 134512640 134593992 4289832384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27216/statm: 419 124 108 20 0 46 0 [pid=27217] ppid=27216 vsize=68996 CPUtime=1.76 /proc/27217/stat : 27217 (minisatp_32) R 27216 27211 4778 34817 4778 4202496 21777 0 0 0 155 21 0 0 25 0 1 0 11226617 70651904 15308 1283457024 134512640 135413687 4294668912 18446744073709551615 134973170 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/27217/statm: 17249 15308 108 220 0 17027 0 Current children cumulated CPU time (s) 4.78 Current children cumulated vsize (KiB) 107548 [startup+5.20509 s] /proc/loadavg: 1.60 1.48 1.34 2/37 27217 /proc/meminfo: memFree=210444/1048576 swapFree=0/0 [pid=27211] ppid=27210 vsize=2568 CPUtime=0 /proc/27211/stat : 27211 (packup2mp4pa-0.) S 27210 27211 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11226314 2629632 274 1283457024 134512640 135304128 4289018960 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27211/statm: 642 274 233 194 0 29 0 [pid=27212] ppid=27211 vsize=32672 CPUtime=5.18 /proc/27212/stat : 27212 (packup) R 27211 27211 4778 34817 4778 4202496 15395 42107 0 0 110 25 343 40 18 0 1 0 11226314 33456128 7649 1283457024 134512640 134752139 4288801760 18446744073709551615 4157057906 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27212/statm: 8168 7649 345 59 0 7332 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 35240 Child status: 0 Real time (s): 5.21802 CPU time (s): 5.21633 CPU user time (s): 4.54028 CPU system time (s): 0.676042 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 113524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.54028 system time used= 0.676042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57957 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 103 runsolver used 0 second user time and 0 second system time The end