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/201007051419/aspcud-trendy-1.2/rand655e63.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//rand655e63.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/rand655e63.cudf.impossible.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.08 1.07 1/95 3415 /proc/meminfo: memFree=1008780/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=3860 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 757 0 0 0 0 0 0 0 17 0 1 0 415984768 3952640 628 1283457024 134512640 135539072 4287308064 18446744073709551615 4159158350 0 2147483391 16781312 2 18446744071697298955 0 0 17 0 0 0 0 /proc/3415/statm: 965 628 343 251 0 266 0 [startup+0.168436 s] /proc/loadavg: 1.04 1.08 1.07 1/95 3415 /proc/meminfo: memFree=1008780/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.20443 s] /proc/loadavg: 1.04 1.08 1.07 1/95 3415 /proc/meminfo: memFree=1008780/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.304433 s] /proc/loadavg: 1.04 1.08 1.07 1/95 3415 /proc/meminfo: memFree=1008780/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+0.704487 s] /proc/loadavg: 1.04 1.08 1.07 1/95 3415 /proc/meminfo: memFree=1008780/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4708 [startup+1.5045 s] /proc/loadavg: 1.04 1.08 1.07 2/97 3417 /proc/meminfo: memFree=997736/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 [pid=3417] ppid=3415 vsize=15152 CPUtime=1.45 /proc/3417/stat : 3417 (cudf2lp) R 3415 3415 13759 34823 13904 4202496 3650 0 0 0 144 1 0 0 19 0 1 0 415984772 15515648 3449 1283457024 134512640 135993029 4289080080 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3417/statm: 3788 3449 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19860 [startup+3.10457 s] /proc/loadavg: 1.04 1.08 1.07 2/97 3417 /proc/meminfo: memFree=987816/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 [pid=3417] ppid=3415 vsize=29668 CPUtime=3.05 /proc/3417/stat : 3417 (cudf2lp) R 3415 3415 13759 34823 13904 4202496 7177 0 0 0 304 1 0 0 25 0 1 0 415984772 30380032 6976 1283457024 134512640 135993029 4289080080 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3417/statm: 7417 6976 110 362 0 6999 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 34376 [startup+6.30471 s] /proc/loadavg: 1.04 1.08 1.07 2/97 3417 /proc/meminfo: memFree=959668/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 [pid=3417] ppid=3415 vsize=57572 CPUtime=6.24 /proc/3417/stat : 3417 (cudf2lp) R 3415 3415 13759 34823 13904 4202496 14055 0 0 0 620 4 0 0 25 0 1 0 415984772 58953728 13854 1283457024 134512640 135993029 4289080080 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3417/statm: 14393 13854 110 362 0 13975 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 62280 [startup+12.705 s] /proc/loadavg: 1.03 1.08 1.07 2/97 3418 /proc/meminfo: memFree=896212/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=0 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1052 0 0 0 0 0 0 0 18 0 1 0 415984768 4820992 837 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/3415/statm: 1177 837 399 251 0 435 0 [pid=3417] ppid=3415 vsize=129884 CPUtime=12.63 /proc/3417/stat : 3417 (cudf2lp) R 3415 3415 13759 34823 13904 4202496 31949 0 0 0 1230 33 0 0 25 0 1 0 415984772 133001216 31748 1283457024 134512640 135993029 4289080080 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/3417/statm: 32471 31748 134 362 0 32053 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 134592 [startup+25.5097 s] /proc/loadavg: 1.19 1.11 1.08 2/98 3421 /proc/meminfo: memFree=613468/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=16.58 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1235 56138 0 0 0 0 1480 178 18 0 1 0 415984768 4820992 840 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/3415/statm: 1177 840 402 251 0 435 0 [pid=3419] ppid=3415 vsize=283112 CPUtime=8.76 /proc/3419/stat : 3419 (bingo) R 3415 3415 13759 34823 13904 4202496 94158 0 0 0 836 40 0 0 18 0 1 0 415986434 289906688 54716 1283457024 134512640 136195415 4288524976 18446744073709551615 134658144 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3419/statm: 70778 54716 220 411 0 70365 0 [pid=3420] ppid=3415 vsize=168916 CPUtime=0.45 /proc/3420/stat : 3420 (clasp) S 3415 3415 13759 34823 13904 4202496 48747 0 0 0 38 7 0 0 18 0 1 0 415986434 172969984 41445 1283457024 134512640 136080129 4290780384 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/3420/statm: 42229 41445 144 383 0 41844 0 Current children cumulated CPU time (s) 25.79 Current children cumulated vsize (KiB) 456736 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.611 s] /proc/loadavg: 1.16 1.10 1.08 2/98 3422 /proc/meminfo: memFree=8504/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=16.58 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1235 56138 0 0 0 0 1480 178 18 0 1 0 415984768 4820992 840 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/3415/statm: 1177 840 402 251 0 435 0 [pid=3419] ppid=3415 vsize=845612 CPUtime=19.37 /proc/3419/stat : 3419 (bingo) R 3415 3415 13759 34823 13904 4202496 267174 0 0 0 1827 110 0 0 25 0 1 0 415986434 865906688 178197 1283457024 134512640 136195415 4288524976 18446744073709551615 134787547 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3419/statm: 211403 178197 220 411 0 210990 0 [pid=3420] ppid=3415 vsize=301304 CPUtime=2.34 /proc/3420/stat : 3420 (clasp) S 3415 3415 13759 34823 13904 4202496 86596 0 0 0 210 24 0 0 18 0 1 0 415986434 308535296 73503 1283457024 134512640 136080129 4290780384 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/3420/statm: 75326 73503 144 383 0 74941 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 1151624 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+36.611 s] /proc/loadavg: 1.16 1.10 1.08 2/98 3422 /proc/meminfo: memFree=8504/2097152 swapFree=2055676/2097144 [pid=3415] ppid=3414 vsize=4708 CPUtime=16.58 /proc/3415/stat : 3415 (aspcud-trendy-1) S 3414 3415 13759 34823 13904 4202496 1235 56138 0 0 0 0 1480 178 18 0 1 0 415984768 4820992 840 1283457024 134512640 135539072 4287308064 18446744073709551615 4159939502 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/3415/statm: 1177 840 402 251 0 435 0 [pid=3419] ppid=3415 vsize=845612 CPUtime=19.37 /proc/3419/stat : 3419 (bingo) R 3415 3415 13759 34823 13904 4202496 267174 0 0 0 1827 110 0 0 25 0 1 0 415986434 865906688 178197 1283457024 134512640 136195415 4288524976 18446744073709551615 134787547 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/3419/statm: 211403 178197 220 411 0 210990 0 [pid=3420] ppid=3415 vsize=301304 CPUtime=2.34 /proc/3420/stat : 3420 (clasp) S 3415 3415 13759 34823 13904 4202496 86596 0 0 0 210 24 0 0 18 0 1 0 415986434 308535296 73503 1283457024 134512640 136080129 4290780384 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/3420/statm: 75326 73503 144 383 0 74941 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 1151624 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3415 and gives # childrusage.ru_utime.tv_sec=16 # childrusage.ru_utime.tv_usec=921057 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=92130 # CPU time returned by wait4() is 19.0132 # while last known CPU time is 38.29 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.6954 CPU time (s): 38.29 CPU user time (s): 35.17 CPU system time (s): 3.12 CPU usage (%): 104.345 Max. virtual memory (cumulated for all children) (KiB): 1151624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.9211 system time used= 2.09213 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144732 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= 12627 involuntary context switches= 305 runsolver used 0 second user time and 0.012 second system time The end