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/201103110955/apt-pbo-paranoid-1.0.8/1018.cudf.caixa.log.runsolver ./apt-pbo-paranoid-1.0.8 /home/misc2010/data/misc4/caixa//1018.cudf /home/misc2010/tmp/201103110955/apt-pbo-paranoid-1.0.8/1018.cudf.caixa.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.29 0.97 0.52 6/40 18628 /proc/meminfo: memFree=259000/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=4096 CPUtime=0.02 /proc/18628/stat : 18628 (apt-pbo) R 18626 18626 12462 34817 12462 4202496 717 0 0 0 2 0 0 0 25 0 1 0 143702981 4194304 665 1283457024 134512640 135745756 4287005136 18446744073709551615 134642167 0 0 128 0 0 0 0 17 0 0 0 0 /proc/18628/statm: 1024 665 406 302 0 288 0 [startup+0.183954 s] /proc/loadavg: 1.29 0.97 0.52 6/40 18628 /proc/meminfo: memFree=259000/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.217156 s] /proc/loadavg: 1.29 0.97 0.52 6/40 18628 /proc/meminfo: memFree=259000/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.307176 s] /proc/loadavg: 1.29 0.97 0.52 6/40 18628 /proc/meminfo: memFree=259000/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+0.704031 s] /proc/loadavg: 1.29 0.97 0.52 6/40 18628 /proc/meminfo: memFree=259000/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9900 [startup+1.51064 s] /proc/loadavg: 1.29 0.97 0.52 2/41 18632 /proc/meminfo: memFree=766720/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 [pid=18632] ppid=18628 vsize=34756 CPUtime=1.23 /proc/18632/stat : 18632 (cudftodeb.nativ) R 18628 18626 12462 34817 12462 4202496 8297 0 0 0 116 7 0 0 25 0 1 0 143702993 35590144 8218 1283457024 134512640 135029684 4287468176 18446744073709551615 134971048 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18632/statm: 8689 8218 246 127 0 8070 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 44656 [startup+3.111 s] /proc/loadavg: 1.29 0.97 0.52 2/41 18632 /proc/meminfo: memFree=746776/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 [pid=18632] ppid=18628 vsize=60964 CPUtime=2.83 /proc/18632/stat : 18632 (cudftodeb.nativ) R 18628 18626 12462 34817 12462 4202496 14879 0 0 0 256 27 0 0 25 0 1 0 143702993 62427136 14800 1283457024 134512640 135029684 4287468176 18446744073709551615 134967098 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18632/statm: 15241 14800 258 127 0 14622 0 Current children cumulated CPU time (s) 2.87 Current children cumulated vsize (KiB) 70864 Solver just ended. Dumping a history of the last processes samples [startup+3.21101 s] /proc/loadavg: 1.29 0.97 0.52 2/41 18632 /proc/meminfo: memFree=746776/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=0.04 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1575 408 0 0 3 1 0 0 25 0 1 0 143702981 8429568 1401 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1401 648 302 0 791 0 [pid=18632] ppid=18628 vsize=63484 CPUtime=2.92 /proc/18632/stat : 18632 (cudftodeb.nativ) R 18628 18626 12462 34817 12462 4202496 15472 0 0 0 262 30 0 0 25 0 1 0 143702993 65007616 15393 1283457024 134512640 135029684 4287468176 18446744073709551615 4294960130 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18632/statm: 15871 15393 258 127 0 15252 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 73384 [startup+4.81139 s] /proc/loadavg: 1.29 0.97 0.52 2/41 18632 /proc/meminfo: memFree=727060/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=4.52 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1748 17796 0 0 3 1 394 54 18 0 1 0 143702981 8429568 1427 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1427 653 302 0 791 0 Current children cumulated CPU time (s) 4.52 Current children cumulated vsize (KiB) 9900 [startup+5.20428 s] /proc/loadavg: 1.29 0.97 0.52 2/41 18632 /proc/meminfo: memFree=727060/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=4.52 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1748 17796 0 0 3 1 394 54 18 0 1 0 143702981 8429568 1427 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1427 653 302 0 791 0 Current children cumulated CPU time (s) 4.52 Current children cumulated vsize (KiB) 9900 [startup+5.60429 s] /proc/loadavg: 1.27 0.97 0.52 1/42 18640 /proc/meminfo: memFree=760644/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=4.52 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1748 17796 0 0 3 1 394 54 18 0 1 0 143702981 8429568 1427 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1427 653 302 0 791 0 [pid=18633] ppid=18628 vsize=2572 CPUtime=0 /proc/18633/stat : 18633 (apt-get.sh) S 18628 18626 12462 34817 12462 4202496 408 491 0 0 0 0 0 0 18 0 1 0 143703459 2633728 273 1283457024 134512640 135304128 4293658768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18633/statm: 643 273 232 194 0 30 0 [pid=18636] ppid=18633 vsize=52744 CPUtime=0.23 /proc/18636/stat : 18636 (apt-get) D 18633 18626 12462 34817 12462 4202496 568 1745 1 0 0 0 20 3 24 0 1 0 143703459 54009856 437 1283457024 134512640 134650667 4293142592 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/18636/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 65216 [startup+5.70432 s] /proc/loadavg: 1.27 0.97 0.52 1/42 18640 /proc/meminfo: memFree=760644/1048576 swapFree=0/0 [pid=18626] ppid=18625 vsize=1668 CPUtime=0 /proc/18626/stat : 18626 (sh) S 18625 18626 12462 34817 12462 4202496 221 174 0 0 0 0 0 0 18 0 1 0 143702981 1708032 128 1283457024 134512640 134593992 4287433472 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18626/statm: 417 128 112 20 0 44 0 [pid=18628] ppid=18626 vsize=8232 CPUtime=4.52 /proc/18628/stat : 18628 (apt-pbo) S 18626 18626 12462 34817 12462 4202496 1748 17796 0 0 3 1 394 54 18 0 1 0 143702981 8429568 1427 1283457024 134512640 135745756 4287005136 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18628/statm: 2058 1427 653 302 0 791 0 [pid=18633] ppid=18628 vsize=2572 CPUtime=0 /proc/18633/stat : 18633 (apt-get.sh) S 18628 18626 12462 34817 12462 4202496 408 491 0 0 0 0 0 0 18 0 1 0 143703459 2633728 273 1283457024 134512640 135304128 4293658768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18633/statm: 643 273 232 194 0 30 0 [pid=18636] ppid=18633 vsize=52744 CPUtime=0.23 /proc/18636/stat : 18636 (apt-get) D 18633 18626 12462 34817 12462 4202496 568 1745 1 0 0 0 20 3 24 0 1 0 143703459 54009856 437 1283457024 134512640 134650667 4293142592 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/18636/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 65216 Child status: 100 Real time (s): 5.73348 CPU time (s): 4.7883 CPU user time (s): 4.19226 CPU system time (s): 0.596037 CPU usage (%): 83.5147 Max. virtual memory (cumulated for all children) (KiB): 78928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.19226 system time used= 0.596037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23519 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57 involuntary context switches= 155 runsolver used 0.004 second user time and 0 second system time The end