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/201007051233/aspcud-trendy-1.2/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debian-dudf.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.04 1.03 1.00 3/34 11078 /proc/meminfo: memFree=674660/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=2504 CPUtime=0.06 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 539 0 0 0 6 0 0 0 25 0 1 0 527706694 2564096 335 1283457024 134512640 135993029 4289709552 18446744073709551615 134585467 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 626 335 110 362 0 208 0 [startup+0.222716 s] /proc/loadavg: 1.04 1.03 1.00 3/34 11078 /proc/meminfo: memFree=674660/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=3744 CPUtime=0.2 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 824 0 0 0 20 0 0 0 25 0 1 0 527706694 3833856 620 1283457024 134512640 135993029 4289709552 18446744073709551615 134597024 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 936 620 110 362 0 518 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8336 [startup+0.312741 s] /proc/loadavg: 1.04 1.03 1.00 3/34 11078 /proc/meminfo: memFree=674660/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=4488 CPUtime=0.3 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 1004 0 0 0 30 0 0 0 25 0 1 0 527706694 4595712 800 1283457024 134512640 135993029 4289709552 18446744073709551615 134609337 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 1122 800 110 362 0 704 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9080 [startup+0.40275 s] /proc/loadavg: 1.04 1.03 1.00 3/34 11078 /proc/meminfo: memFree=674660/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=5232 CPUtime=0.38 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 1169 0 0 0 38 0 0 0 25 0 1 0 527706694 5357568 965 1283457024 134512640 135993029 4289709552 18446744073709551615 134602663 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 1308 965 110 362 0 890 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 9824 [startup+0.712799 s] /proc/loadavg: 1.04 1.03 1.00 3/34 11078 /proc/meminfo: memFree=674660/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=7712 CPUtime=0.7 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 1824 0 0 0 70 0 0 0 25 0 1 0 527706694 7897088 1620 1283457024 134512640 135993029 4289709552 18446744073709551615 134566722 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 1928 1620 110 362 0 1510 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 12304 [startup+1.51293 s] /proc/loadavg: 1.04 1.03 1.00 2/35 11079 /proc/meminfo: memFree=665600/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=14160 CPUtime=1.5 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 3365 0 0 0 150 0 0 0 25 0 1 0 527706694 14499840 3161 1283457024 134512640 135993029 4289709552 18446744073709551615 134585612 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 3540 3161 110 362 0 3122 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 18752 [startup+3.11333 s] /proc/loadavg: 1.04 1.03 1.00 2/35 11079 /proc/meminfo: memFree=656672/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=27000 CPUtime=3.09 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 6512 0 0 0 306 3 0 0 25 0 1 0 527706694 27648000 6308 1283457024 134512640 135993029 4289709552 18446744073709551615 134569515 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 6750 6308 111 362 0 6332 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 31592 [startup+6.30418 s] /proc/loadavg: 1.03 1.03 1.00 2/35 11079 /proc/meminfo: memFree=632120/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=51680 CPUtime=6.28 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 12604 0 0 0 620 8 0 0 25 0 1 0 527706694 52920320 12400 1283457024 134512640 135993029 4289709552 18446744073709551615 134609162 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 12920 12400 111 362 0 12502 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56272 [startup+12.7157 s] /proc/loadavg: 1.03 1.03 1.00 2/35 11079 /proc/meminfo: memFree=514692/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=0.01 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1033 0 0 0 1 0 0 0 25 0 1 0 527706692 4702208 839 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 839 401 251 0 406 0 [pid=11078] ppid=11077 vsize=167176 CPUtime=12.67 /proc/11078/stat : 11078 (cudf2lp) R 11077 11077 3447 769 3447 4202496 41439 0 0 0 1133 134 0 0 25 0 1 0 527706694 171188224 41202 1283457024 134512640 135993029 4289709552 18446744073709551615 135383524 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11078/statm: 41794 41202 135 362 0 41376 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 171768 [startup+25.5123 s] /proc/loadavg: 1.02 1.03 1.00 2/36 11081 /proc/meminfo: memFree=91836/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=13.42 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1226 45530 0 0 1 0 1168 173 18 0 1 0 527706692 4702208 842 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 842 404 251 0 406 0 [pid=11080] ppid=11077 vsize=514828 CPUtime=10.09 /proc/11080/stat : 11080 (bingo) R 11077 11077 3447 769 3447 4202496 149430 0 0 0 958 51 0 0 25 0 1 0 527708037 527183872 96958 1283457024 134512640 136195415 4288929168 18446744073709551615 134631518 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11080/statm: 128707 96958 220 411 0 128294 0 [pid=11081] ppid=11077 vsize=186496 CPUtime=1.93 /proc/11081/stat : 11081 (clasp) S 11077 11077 3447 769 3447 4202496 52881 0 0 0 178 15 0 0 18 0 1 0 527708040 190971904 45532 1283457024 134512640 136080129 4294740768 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/11081/statm: 46624 45532 144 383 0 46239 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 705916 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+29.6217 s] /proc/loadavg: 1.10 1.04 1.01 2/36 11081 /proc/meminfo: memFree=6184/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=13.42 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1226 45530 0 0 1 0 1168 173 18 0 1 0 527706692 4702208 842 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 842 404 251 0 406 0 [pid=11080] ppid=11077 vsize=956432 CPUtime=13.73 /proc/11080/stat : 11080 (bingo) R 11077 11077 3447 769 3447 4202496 267805 0 0 0 1283 90 0 0 25 0 1 0 527708037 979386368 177740 1283457024 134512640 136195415 4288929168 18446744073709551615 135584503 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11080/statm: 239108 177740 220 411 0 238695 0 [pid=11081] ppid=11077 vsize=192040 CPUtime=2.18 /proc/11081/stat : 11081 (clasp) S 11077 11077 3447 769 3447 4202496 54438 0 0 0 202 16 0 0 18 0 1 0 527708040 196648960 47089 1283457024 134512640 136080129 4294740768 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/11081/statm: 48010 47089 144 383 0 47625 0 Current children cumulated CPU time (s) 29.33 Current children cumulated vsize (KiB) 1153064 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+29.7232 s] /proc/loadavg: 1.10 1.04 1.01 2/36 11081 /proc/meminfo: memFree=6184/1048576 swapFree=2094596/2097144 [pid=11077] ppid=11076 vsize=4592 CPUtime=15.63 /proc/11077/stat : 11077 (aspcud-trendy-1) S 11076 11077 3447 769 3447 4202496 1306 99968 0 0 1 0 1370 192 18 0 1 0 527706692 4702208 843 1283457024 134512640 135539072 4287294320 18446744073709551615 4159890350 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/11077/statm: 1148 843 404 251 0 406 0 [pid=11080] ppid=11077 vsize=0 CPUtime=13.81 /proc/11080/stat : 11080 (bingo) R 11077 11077 3447 769 3447 4203524 267805 0 0 0 1283 98 0 0 25 0 1 0 527708037 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/11080/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 29.44 Current children cumulated vsize (KiB) 4592 Child status: 1 Real time (s): 29.7506 CPU time (s): 29.4858 CPU user time (s): 26.5657 CPU system time (s): 2.92018 CPU usage (%): 99.1102 Max. virtual memory (cumulated for all children) (KiB): 1153064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.5657 system time used= 2.92018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 369771 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7775 involuntary context switches= 8350 runsolver used 0.008 second user time and 0.004 second system time The end