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/201007050905/aspcud-trendy-1.2/rand61b840.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//rand61b840.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand61b840.cudf.easy.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.06 1.14 0.84 5/33 26967 /proc/meminfo: memFree=471088/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4556 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) R 26966 26967 24102 769 24102 4202496 956 0 0 0 2 0 0 0 25 0 1 0 525042373 4665344 819 1283457024 134512640 135539072 4293126464 18446744073709551615 134778192 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/26967/statm: 1139 819 389 251 0 406 0 [startup+0.156829 s] /proc/loadavg: 1.06 1.14 0.84 5/33 26967 /proc/meminfo: memFree=471088/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.206837 s] /proc/loadavg: 1.06 1.14 0.84 5/33 26967 /proc/meminfo: memFree=471088/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.306856 s] /proc/loadavg: 1.06 1.14 0.84 5/33 26967 /proc/meminfo: memFree=471088/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+0.706938 s] /proc/loadavg: 1.06 1.14 0.84 5/33 26967 /proc/meminfo: memFree=471088/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4596 [startup+1.50711 s] /proc/loadavg: 1.06 1.14 0.84 2/35 26969 /proc/meminfo: memFree=460804/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 [pid=26969] ppid=26967 vsize=15404 CPUtime=1.49 /proc/26969/stat : 26969 (cudf2lp) R 26967 26967 24102 769 24102 4202496 3726 0 0 0 149 0 0 0 25 0 1 0 525042375 15773696 3522 1283457024 134512640 135993029 4288931200 18446744073709551615 134571466 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26969/statm: 3851 3522 110 362 0 3433 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 20000 [startup+3.10744 s] /proc/loadavg: 1.06 1.14 0.84 2/35 26969 /proc/meminfo: memFree=451008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=0.02 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 525042373 4706304 840 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 840 401 251 0 407 0 [pid=26969] ppid=26967 vsize=29672 CPUtime=3.08 /proc/26969/stat : 26969 (cudf2lp) R 26967 26967 24102 769 24102 4202496 7227 0 0 0 308 0 0 0 25 0 1 0 525042375 30384128 7023 1283457024 134512640 135993029 4288931200 18446744073709551615 134571527 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26969/statm: 7418 7023 110 362 0 7000 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 34268 [startup+6.30812 s] /proc/loadavg: 1.06 1.14 0.84 3/36 26971 /proc/meminfo: memFree=452108/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=5.28 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1218 17982 0 0 2 0 444 82 18 0 1 0 525042373 4706304 843 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1149 843 404 251 0 407 0 [pid=26970] ppid=26967 vsize=30684 CPUtime=0.93 /proc/26970/stat : 26970 (bingo) R 26967 26967 24102 769 24102 4202496 10096 0 0 0 88 5 0 0 25 0 1 0 525042901 31420416 6090 1283457024 134512640 136195415 4293554704 18446744073709551615 135227850 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/26970/statm: 7671 6090 205 411 0 7258 0 [pid=26971] ppid=26967 vsize=23088 CPUtime=0.08 /proc/26971/stat : 26971 (clasp) S 26967 26967 24102 769 24102 4202496 6603 0 0 0 4 4 0 0 20 0 1 0 525042903 23642112 5376 1283457024 134512640 136080129 4289574448 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/26971/statm: 5772 5376 144 383 0 5387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58368 [startup+12.7127 s] /proc/loadavg: 1.05 1.14 0.84 2/36 26971 /proc/meminfo: memFree=34020/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4596 CPUtime=5.28 /proc/26967/stat : 26967 (aspcud-trendy-1) R 26966 26967 24102 769 24102 4202496 1218 17982 0 0 2 0 444 82 18 0 1 0 525042373 4706304 843 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 0 0 0 17 0 0 0 0 /proc/26967/statm: 1149 843 404 251 0 407 0 [pid=26970] ppid=26967 vsize=0 CPUtime=6.52 /proc/26970/stat : 26970 (bingo) Z 26967 26967 24102 769 24102 4202508 111875 0 0 0 598 54 0 0 25 0 1 0 525042901 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26970/statm: 0 0 0 0 0 0 0 [pid=26971] ppid=26967 vsize=100040 CPUtime=0.88 /proc/26971/stat : 26971 (clasp) R 26967 26967 24102 769 24102 4202496 27680 0 0 0 74 14 0 0 18 0 1 0 525042903 102440960 24365 1283457024 134512640 136080129 4289574448 18446744073709551615 134697568 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26971/statm: 25010 24365 147 383 0 24625 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 104636 [startup+25.5081 s] /proc/loadavg: 1.04 1.13 0.84 2/36 26973 /proc/meminfo: memFree=361620/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=16.6 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1423 175778 0 0 2 0 1498 160 18 0 1 0 525042373 4837376 859 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 859 404 251 0 439 0 [pid=26972] ppid=26967 vsize=0 CPUtime=6.71 /proc/26972/stat : 26972 (bingo) Z 26967 26967 24102 769 24102 4202508 112413 0 0 0 614 57 0 0 25 0 1 0 525044037 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26972/statm: 0 0 0 0 0 0 0 [pid=26973] ppid=26967 vsize=109672 CPUtime=2.13 /proc/26973/stat : 26973 (clasp) R 26967 26967 24102 769 24102 4202496 31454 0 0 0 200 13 0 0 19 0 1 0 525044038 112304128 26397 1283457024 134512640 136080129 4293329328 18446744073709551615 134912540 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26973/statm: 27418 26397 163 383 0 27033 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 114396 [startup+51.1145 s] /proc/loadavg: 1.10 1.13 0.85 2/36 26977 /proc/meminfo: memFree=350008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=37.66 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1824 493429 0 0 2 0 3448 316 18 0 1 0 525042373 4837376 860 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 860 404 251 0 439 0 [pid=26976] ppid=26967 vsize=0 CPUtime=6.33 /proc/26976/stat : 26976 (bingo) Z 26967 26967 24102 769 24102 4202508 113732 0 0 0 583 50 0 0 25 0 1 0 525046145 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26976/statm: 0 0 0 0 0 0 0 [pid=26977] ppid=26967 vsize=125632 CPUtime=7.04 /proc/26977/stat : 26977 (clasp) R 26967 26967 24102 769 24102 4202496 46184 0 0 0 690 14 0 0 25 0 1 0 525046148 128647168 30850 1283457024 134512640 136080129 4291436512 18446744073709551615 134809536 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26977/statm: 31408 30850 193 383 0 31023 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 130356 Solver just ended. Dumping a history of the last processes samples [startup+51.2146 s] /proc/loadavg: 1.10 1.13 0.85 2/36 26977 /proc/meminfo: memFree=350008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=37.66 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1824 493429 0 0 2 0 3448 316 18 0 1 0 525042373 4837376 860 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 860 404 251 0 439 0 [pid=26976] ppid=26967 vsize=0 CPUtime=6.33 /proc/26976/stat : 26976 (bingo) Z 26967 26967 24102 769 24102 4202508 113732 0 0 0 583 50 0 0 25 0 1 0 525046145 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26976/statm: 0 0 0 0 0 0 0 [pid=26977] ppid=26967 vsize=125632 CPUtime=7.14 /proc/26977/stat : 26977 (clasp) R 26967 26967 24102 769 24102 4202496 46184 0 0 0 700 14 0 0 25 0 1 0 525046148 128647168 30850 1283457024 134512640 136080129 4291436512 18446744073709551615 134809559 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26977/statm: 31408 30850 193 383 0 31023 0 Current children cumulated CPU time (s) 51.13 Current children cumulated vsize (KiB) 130356 [startup+52.815 s] /proc/loadavg: 1.10 1.13 0.85 2/36 26977 /proc/meminfo: memFree=350008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=37.66 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1824 493429 0 0 2 0 3448 316 18 0 1 0 525042373 4837376 860 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 860 404 251 0 439 0 [pid=26976] ppid=26967 vsize=0 CPUtime=6.33 /proc/26976/stat : 26976 (bingo) Z 26967 26967 24102 769 24102 4202508 113732 0 0 0 583 50 0 0 25 0 1 0 525046145 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26976/statm: 0 0 0 0 0 0 0 [pid=26977] ppid=26967 vsize=125632 CPUtime=8.74 /proc/26977/stat : 26977 (clasp) R 26967 26967 24102 769 24102 4202496 46184 0 0 0 860 14 0 0 25 0 1 0 525046148 128647168 30850 1283457024 134512640 136080129 4291436512 18446744073709551615 134849144 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26977/statm: 31408 30850 193 383 0 31023 0 Current children cumulated CPU time (s) 52.73 Current children cumulated vsize (KiB) 130356 [startup+53.2151 s] /proc/loadavg: 1.10 1.13 0.85 2/36 26977 /proc/meminfo: memFree=350008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=37.66 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1824 493429 0 0 2 0 3448 316 18 0 1 0 525042373 4837376 860 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 860 404 251 0 439 0 [pid=26976] ppid=26967 vsize=0 CPUtime=6.33 /proc/26976/stat : 26976 (bingo) Z 26967 26967 24102 769 24102 4202508 113732 0 0 0 583 50 0 0 25 0 1 0 525046145 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26976/statm: 0 0 0 0 0 0 0 [pid=26977] ppid=26967 vsize=125632 CPUtime=9.14 /proc/26977/stat : 26977 (clasp) R 26967 26967 24102 769 24102 4202496 46184 0 0 0 900 14 0 0 25 0 1 0 525046148 128647168 30850 1283457024 134512640 136080129 4291436512 18446744073709551615 134716408 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26977/statm: 31408 30850 193 383 0 31023 0 Current children cumulated CPU time (s) 53.13 Current children cumulated vsize (KiB) 130356 [startup+53.4159 s] /proc/loadavg: 1.10 1.13 0.85 2/36 26977 /proc/meminfo: memFree=350008/1048576 swapFree=2095456/2097144 [pid=26967] ppid=26966 vsize=4724 CPUtime=37.66 /proc/26967/stat : 26967 (aspcud-trendy-1) S 26966 26967 24102 769 24102 4202496 1824 493429 0 0 2 0 3448 316 18 0 1 0 525042373 4837376 860 1283457024 134512640 135539072 4293126464 18446744073709551615 4160340910 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/26967/statm: 1181 860 404 251 0 439 0 [pid=26976] ppid=26967 vsize=0 CPUtime=6.33 /proc/26976/stat : 26976 (bingo) Z 26967 26967 24102 769 24102 4202508 113732 0 0 0 583 50 0 0 25 0 1 0 525046145 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/26976/statm: 0 0 0 0 0 0 0 [pid=26977] ppid=26967 vsize=61808 CPUtime=9.34 /proc/26977/stat : 26977 (clasp) R 26967 26967 24102 769 24102 4202496 46194 0 0 0 918 16 0 0 25 0 1 0 525046148 63291392 10138 1283457024 134512640 136080129 4291436512 18446744073709551615 135703614 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/26977/statm: 15452 10138 203 383 0 15067 0 Current children cumulated CPU time (s) 53.33 Current children cumulated vsize (KiB) 66532 Child status: 0 Real time (s): 53.4739 CPU time (s): 53.4193 CPU user time (s): 49.5471 CPU system time (s): 3.87224 CPU usage (%): 99.898 Max. virtual memory (cumulated for all children) (KiB): 586856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.5471 system time used= 3.87224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656518 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= 14576 involuntary context switches= 15268 runsolver used 0 second user time and 0 second system time The end