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/randec88d5.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//randec88d5.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/randec88d5.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: 0.99 1.01 1.00 1/95 25768 /proc/meminfo: memFree=1035764/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=3296 CPUtime=0 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 485 0 0 0 0 0 0 0 18 0 1 0 418417293 3375104 382 1283457024 134512640 135539072 4289442608 18446744073709551615 4159072334 0 2147483391 16781312 2 18446744071697298955 0 0 17 1 0 0 0 /proc/25768/statm: 824 382 264 251 0 125 0 [startup+0.12065 s] /proc/loadavg: 0.99 1.01 1.00 1/95 25768 /proc/meminfo: memFree=1035764/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4712 [startup+0.204669 s] /proc/loadavg: 0.99 1.01 1.00 1/95 25768 /proc/meminfo: memFree=1035764/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4712 [startup+0.304653 s] /proc/loadavg: 0.99 1.01 1.00 1/95 25768 /proc/meminfo: memFree=1035764/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4712 [startup+0.70467 s] /proc/loadavg: 0.99 1.01 1.00 1/95 25768 /proc/meminfo: memFree=1035764/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4712 [startup+1.50471 s] /proc/loadavg: 0.99 1.01 1.00 2/97 25770 /proc/meminfo: memFree=1024340/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 [pid=25770] ppid=25768 vsize=15148 CPUtime=1.45 /proc/25770/stat : 25770 (cudf2lp) R 25768 25768 13759 34823 13904 4202496 3661 0 0 0 145 0 0 0 19 0 1 0 418417297 15511552 3460 1283457024 134512640 135993029 4288740032 18446744073709551615 134570587 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/25770/statm: 3787 3460 110 362 0 3369 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19860 [startup+3.10477 s] /proc/loadavg: 0.99 1.01 1.00 2/97 25770 /proc/meminfo: memFree=1014420/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 [pid=25770] ppid=25768 vsize=29664 CPUtime=3.04 /proc/25770/stat : 25770 (cudf2lp) R 25768 25768 13759 34823 13904 4202496 7181 0 0 0 301 3 0 0 23 0 1 0 418417297 30375936 6980 1283457024 134512640 135993029 4288740032 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/25770/statm: 7416 6980 110 362 0 6998 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34376 [startup+6.30491 s] /proc/loadavg: 0.99 1.01 1.00 2/97 25771 /proc/meminfo: memFree=985156/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 [pid=25770] ppid=25768 vsize=57816 CPUtime=6.24 /proc/25770/stat : 25770 (cudf2lp) R 25768 25768 13759 34823 13904 4202496 14143 0 0 0 619 5 0 0 25 0 1 0 418417297 59203584 13942 1283457024 134512640 135993029 4288740032 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/25770/statm: 14454 13942 110 362 0 14036 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 62528 [startup+12.7052 s] /proc/loadavg: 0.99 1.01 1.00 2/97 25771 /proc/meminfo: memFree=920568/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=0.03 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1053 0 0 0 1 2 0 0 18 0 1 0 418417293 4825088 838 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/25768/statm: 1178 838 399 251 0 436 0 [pid=25770] ppid=25768 vsize=131456 CPUtime=12.64 /proc/25770/stat : 25770 (cudf2lp) R 25768 25768 13759 34823 13904 4202496 32338 0 0 0 1218 46 0 0 25 0 1 0 418417297 134610944 32137 1283457024 134512640 135993029 4288740032 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/25770/statm: 32864 32137 134 362 0 32446 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 136168 [startup+25.507 s] /proc/loadavg: 1.07 1.02 1.01 3/97 25774 /proc/meminfo: memFree=629780/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=16.56 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1238 56116 0 0 1 2 1458 195 18 0 1 0 418417293 4825088 841 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/25768/statm: 1178 841 402 251 0 436 0 [pid=25772] ppid=25768 vsize=287856 CPUtime=8.85 /proc/25772/stat : 25772 (bingo) R 25768 25768 13759 34823 13904 4202496 95830 0 0 0 829 56 0 0 18 0 1 0 418418953 294764544 56002 1283457024 134512640 136195415 4293605264 18446744073709551615 134610679 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25772/statm: 71964 56002 220 411 0 71551 0 [pid=25773] ppid=25768 vsize=176212 CPUtime=0.63 /proc/25773/stat : 25773 (clasp) R 25768 25768 13759 34823 13904 4202496 51373 0 0 0 53 10 0 0 18 0 1 0 418418953 180441088 42533 1283457024 134512640 136080129 4293314368 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/25773/statm: 44053 42533 144 383 0 43668 0 Current children cumulated CPU time (s) 26.04 Current children cumulated vsize (KiB) 468780 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.0027 s] /proc/loadavg: 1.06 1.02 1.01 3/97 25775 /proc/meminfo: memFree=9200/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=16.56 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1238 56116 0 0 1 2 1458 195 18 0 1 0 418417293 4825088 841 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/25768/statm: 1178 841 402 251 0 436 0 [pid=25772] ppid=25768 vsize=853484 CPUtime=19.27 /proc/25772/stat : 25772 (bingo) R 25768 25768 13759 34823 13904 4202496 269317 0 0 0 1815 112 0 0 20 0 1 0 418418953 873967616 179825 1283457024 134512640 136195415 4293605264 18446744073709551615 135668609 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25772/statm: 213371 179825 220 411 0 212958 0 [pid=25773] ppid=25768 vsize=301300 CPUtime=2.57 /proc/25773/stat : 25773 (clasp) S 25768 25768 13759 34823 13904 4202496 86594 0 0 0 233 24 0 0 18 0 1 0 418418953 308531200 73501 1283457024 134512640 136080129 4293314368 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/25773/statm: 75325 73501 144 383 0 74940 0 Current children cumulated CPU time (s) 38.4 Current children cumulated vsize (KiB) 1159496 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.0027 s] /proc/loadavg: 1.06 1.02 1.01 3/97 25775 /proc/meminfo: memFree=9200/2097152 swapFree=2055620/2097144 [pid=25768] ppid=25767 vsize=4712 CPUtime=16.56 /proc/25768/stat : 25768 (aspcud-trendy-1) S 25767 25768 13759 34823 13904 4202496 1238 56116 0 0 1 2 1458 195 18 0 1 0 418417293 4825088 841 1283457024 134512640 135539072 4289442608 18446744073709551615 4159853486 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/25768/statm: 1178 841 402 251 0 436 0 [pid=25772] ppid=25768 vsize=853484 CPUtime=19.27 /proc/25772/stat : 25772 (bingo) R 25768 25768 13759 34823 13904 4202496 269317 0 0 0 1815 112 0 0 20 0 1 0 418418953 873967616 179825 1283457024 134512640 136195415 4293605264 18446744073709551615 135668609 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/25772/statm: 213371 179825 220 411 0 212958 0 [pid=25773] ppid=25768 vsize=301300 CPUtime=2.57 /proc/25773/stat : 25773 (clasp) S 25768 25768 13759 34823 13904 4202496 86594 0 0 0 233 24 0 0 18 0 1 0 418418953 308531200 73501 1283457024 134512640 136080129 4293314368 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/25773/statm: 75325 73501 144 383 0 74940 0 Current children cumulated CPU time (s) 38.4 Current children cumulated vsize (KiB) 1159496 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25768 and gives # childrusage.ru_utime.tv_sec=16 # childrusage.ru_utime.tv_usec=945059 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=284142 # CPU time returned by wait4() is 19.2292 # while last known CPU time is 38.4 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.0838 CPU time (s): 38.4 CPU user time (s): 35.07 CPU system time (s): 3.33 CPU usage (%): 106.419 Max. virtual memory (cumulated for all children) (KiB): 1160524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.9451 system time used= 2.28414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144712 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= 11443 involuntary context switches= 65 runsolver used 0.004 second user time and 0.016001 second system time The end