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/3919.cudf.caixa.log.runsolver ./apt-pbo-paranoid-1.0.8 /home/misc2010/data/misc4/caixa//3919.cudf /home/misc2010/tmp/201103110955/apt-pbo-paranoid-1.0.8/3919.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.50 1.21 1.07 3/37 18979 /proc/meminfo: memFree=70220/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) R 18977 18978 12462 34817 12462 4202496 206 0 0 0 0 0 0 0 25 0 1 0 144433003 1716224 127 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/18978/statm: 419 127 110 20 0 46 0 [pid=18979] ppid=18978 vsize=1676 CPUtime=0 /proc/18979/stat : 18979 (sh) R 18978 18978 12462 34817 12462 4202560 0 0 0 0 0 0 0 0 25 0 1 0 144433003 1716224 17 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/18979/statm: 419 17 0 20 0 46 0 [startup+0.102741 s] /proc/loadavg: 1.50 1.21 1.07 3/37 18979 /proc/meminfo: memFree=70220/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1676 [startup+0.209025 s] /proc/loadavg: 1.50 1.21 1.07 3/37 18979 /proc/meminfo: memFree=70220/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1676 [startup+0.309033 s] /proc/loadavg: 1.50 1.21 1.07 3/37 18979 /proc/meminfo: memFree=70220/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1676 [startup+0.706469 s] /proc/loadavg: 1.50 1.21 1.07 3/37 18979 /proc/meminfo: memFree=70220/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1676 [startup+1.50662 s] /proc/loadavg: 1.46 1.21 1.06 2/39 18984 /proc/meminfo: memFree=34404/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=0.04 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1581 411 0 0 2 2 0 0 25 0 1 0 144433003 8429568 1401 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1401 648 302 0 791 0 [pid=18984] ppid=18981 vsize=35736 CPUtime=1.37 /proc/18984/stat : 18984 (cudftodeb.nativ) R 18981 18978 12462 34817 12462 4202496 8500 0 0 0 134 3 0 0 25 0 1 0 144433009 36593664 8420 1283457024 134512640 135029684 4292443984 18446744073709551615 134969034 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18984/statm: 8934 8420 257 127 0 8315 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 45644 [startup+3.107 s] /proc/loadavg: 1.46 1.21 1.06 2/39 18984 /proc/meminfo: memFree=12524/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=0.04 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1581 411 0 0 2 2 0 0 25 0 1 0 144433003 8429568 1401 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1401 648 302 0 791 0 [pid=18984] ppid=18981 vsize=51864 CPUtime=2.97 /proc/18984/stat : 18984 (cudftodeb.nativ) R 18981 18978 12462 34817 12462 4202496 12620 0 0 0 265 32 0 0 25 0 1 0 144433009 53108736 12540 1283457024 134512640 135029684 4292443984 18446744073709551615 134974870 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18984/statm: 12966 12540 258 127 0 12347 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 61772 Solver just ended. Dumping a history of the last processes samples [startup+3.20703 s] /proc/loadavg: 1.46 1.21 1.06 2/39 18984 /proc/meminfo: memFree=12524/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=0.04 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1581 411 0 0 2 2 0 0 25 0 1 0 144433003 8429568 1401 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1401 648 302 0 791 0 [pid=18984] ppid=18981 vsize=51864 CPUtime=3.07 /proc/18984/stat : 18984 (cudftodeb.nativ) R 18981 18978 12462 34817 12462 4202496 12620 0 0 0 272 35 0 0 25 0 1 0 144433009 53108736 12540 1283457024 134512640 135029684 4292443984 18446744073709551615 134874729 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/18984/statm: 12966 12540 258 127 0 12347 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 61772 [startup+4.00725 s] /proc/loadavg: 1.46 1.21 1.06 2/39 18984 /proc/meminfo: memFree=5560/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=3.71 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1754 13032 0 0 2 2 320 47 18 0 1 0 144433003 8429568 1427 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1427 653 302 0 791 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 9908 [startup+4.40701 s] /proc/loadavg: 1.46 1.21 1.06 1/40 18992 /proc/meminfo: memFree=44104/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=3.71 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1754 13032 0 0 2 2 320 47 18 0 1 0 144433003 8429568 1427 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1427 653 302 0 791 0 [pid=18985] ppid=18981 vsize=2576 CPUtime=0 /proc/18985/stat : 18985 (apt-get.sh) S 18981 18978 12462 34817 12462 4202496 410 489 0 0 0 0 0 0 23 0 1 0 144433383 2637824 273 1283457024 134512640 135304128 4287992608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18985/statm: 644 273 232 194 0 31 0 [pid=18988] ppid=18985 vsize=52744 CPUtime=0.19 /proc/18988/stat : 18988 (apt-get) D 18985 18978 12462 34817 12462 4202496 569 1741 1 0 0 0 16 3 24 0 1 0 144433384 54009856 437 1283457024 134512640 134650667 4292999200 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/18988/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 65228 [startup+4.60702 s] /proc/loadavg: 1.46 1.21 1.06 1/40 18992 /proc/meminfo: memFree=44104/1048576 swapFree=0/0 [pid=18978] ppid=18977 vsize=1676 CPUtime=0 /proc/18978/stat : 18978 (sh) S 18977 18978 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144433003 1716224 129 1283457024 134512640 134593992 4290758192 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/18978/statm: 419 129 112 20 0 46 0 [pid=18981] ppid=18978 vsize=8232 CPUtime=3.71 /proc/18981/stat : 18981 (apt-pbo) S 18978 18978 12462 34817 12462 4202496 1754 13032 0 0 2 2 320 47 18 0 1 0 144433003 8429568 1427 1283457024 134512640 135745756 4289963168 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/18981/statm: 2058 1427 653 302 0 791 0 [pid=18985] ppid=18981 vsize=2576 CPUtime=0 /proc/18985/stat : 18985 (apt-get.sh) S 18981 18978 12462 34817 12462 4202496 410 489 0 0 0 0 0 0 23 0 1 0 144433383 2637824 273 1283457024 134512640 135304128 4287992608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18985/statm: 644 273 232 194 0 31 0 [pid=18988] ppid=18985 vsize=52744 CPUtime=0.19 /proc/18988/stat : 18988 (apt-get) D 18985 18978 12462 34817 12462 4202496 569 1741 1 0 0 0 16 3 24 0 1 0 144433384 54009856 437 1283457024 134512640 134650667 4292999200 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/18988/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 65228 Child status: 100 Real time (s): 4.68507 CPU time (s): 3.93625 CPU user time (s): 3.40421 CPU system time (s): 0.532033 CPU usage (%): 84.0167 Max. virtual memory (cumulated for all children) (KiB): 65228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.40421 system time used= 0.532033 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18759 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= 54 involuntary context switches= 144 runsolver used 0 second user time and 0 second system time The end