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/rand6d933e.cudf.easy.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/easy//rand6d933e.cudf /home/misc2010/tmp/201007050905/aspcud-trendy-1.2/rand6d933e.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.07 1.11 0.87 5/37 27300 /proc/meminfo: memFree=406208/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4456 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) R 27299 27300 24102 769 24102 4202496 862 0 0 0 1 0 0 0 25 0 1 0 525061114 4562944 732 1283457024 134512640 135539072 4289830432 18446744073709551615 4159567710 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/27300/statm: 1114 732 365 251 0 405 0 [startup+0.173323 s] /proc/loadavg: 1.07 1.11 0.87 5/37 27300 /proc/meminfo: memFree=406208/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4592 [startup+0.213329 s] /proc/loadavg: 1.07 1.11 0.87 5/37 27300 /proc/meminfo: memFree=406208/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4592 [startup+0.313344 s] /proc/loadavg: 1.07 1.11 0.87 5/37 27300 /proc/meminfo: memFree=406208/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4592 [startup+0.713397 s] /proc/loadavg: 1.07 1.11 0.87 5/37 27300 /proc/meminfo: memFree=406208/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4592 [startup+1.51368 s] /proc/loadavg: 1.07 1.11 0.87 2/39 27302 /proc/meminfo: memFree=393196/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 [pid=27302] ppid=27300 vsize=15152 CPUtime=1.49 /proc/27302/stat : 27302 (cudf2lp) R 27300 27300 24102 769 24102 4202496 3627 0 0 0 147 2 0 0 25 0 1 0 525061116 15515648 3422 1283457024 134512640 135993029 4287386624 18446744073709551615 134570022 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/27302/statm: 3788 3422 110 362 0 3370 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19744 [startup+3.11408 s] /proc/loadavg: 1.07 1.11 0.87 2/39 27302 /proc/meminfo: memFree=381416/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=0.01 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1032 0 0 0 1 0 0 0 25 0 1 0 525061114 4702208 839 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 839 401 251 0 406 0 [pid=27302] ppid=27300 vsize=28180 CPUtime=3.09 /proc/27302/stat : 27302 (cudf2lp) R 27300 27300 24102 769 24102 4202496 6864 0 0 0 304 5 0 0 25 0 1 0 525061116 28856320 6659 1283457024 134512640 135993029 4287386624 18446744073709551615 134567429 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/27302/statm: 7045 6659 110 362 0 6627 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 32772 [startup+6.31476 s] /proc/loadavg: 1.07 1.11 0.87 2/39 27302 /proc/meminfo: memFree=313464/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=5.55 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1217 17983 0 0 1 0 467 87 18 0 1 0 525061114 4702208 842 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 842 404 251 0 406 0 Current children cumulated CPU time (s) 5.55 Current children cumulated vsize (KiB) 4592 [startup+12.7068 s] /proc/loadavg: 1.06 1.10 0.87 3/40 27304 /proc/meminfo: memFree=5156/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4592 CPUtime=5.55 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1217 17983 0 0 1 0 467 87 18 0 1 0 525061114 4702208 842 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1148 842 404 251 0 406 0 [pid=27303] ppid=27300 vsize=320336 CPUtime=6.05 /proc/27303/stat : 27303 (bingo) R 27300 27300 24102 769 24102 4202496 111869 0 0 0 564 41 0 0 25 0 1 0 525061672 328024064 68481 1283457024 134512640 136195415 4292169920 18446744073709551615 134657148 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/27303/statm: 80084 68481 221 411 0 79671 0 [pid=27304] ppid=27300 vsize=100040 CPUtime=1 /proc/27304/stat : 27304 (clasp) S 27300 27300 24102 769 24102 4202496 27678 0 0 0 88 12 0 0 18 0 1 0 525061675 102440960 24362 1283457024 134512640 136080129 4290824032 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/27304/statm: 25010 24362 144 383 0 24625 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 424968 [startup+25.5055 s] /proc/loadavg: 1.05 1.10 0.88 2/40 27306 /proc/meminfo: memFree=360772/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4720 CPUtime=17.27 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1422 175802 0 0 1 0 1562 164 18 0 1 0 525061114 4833280 858 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1180 858 404 251 0 438 0 [pid=27305] ppid=27300 vsize=0 CPUtime=6.62 /proc/27305/stat : 27305 (bingo) Z 27300 27300 24102 769 24102 4202508 112418 0 0 0 620 42 0 0 25 0 1 0 525062851 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27305/statm: 0 0 0 0 0 0 0 [pid=27306] ppid=27300 vsize=107612 CPUtime=1.44 /proc/27306/stat : 27306 (clasp) R 27300 27300 24102 769 24102 4202496 30355 0 0 0 132 12 0 0 18 0 1 0 525062852 110194688 26057 1283457024 134512640 136080129 4289185216 18446744073709551615 134893376 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27306/statm: 26903 26057 163 383 0 26518 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 112332 [startup+51.1058 s] /proc/loadavg: 1.03 1.09 0.88 3/39 27310 /proc/meminfo: memFree=337336/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4720 CPUtime=39.57 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1823 493533 0 0 2 1 3669 285 18 0 1 0 525061114 4833280 859 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1180 859 404 251 0 438 0 [pid=27309] ppid=27300 vsize=0 CPUtime=6.61 /proc/27309/stat : 27309 (bingo) Z 27300 27300 24102 769 24102 4202508 113738 0 0 0 619 42 0 0 25 0 1 0 525065101 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27309/statm: 0 0 0 0 0 0 0 [pid=27310] ppid=27300 vsize=125684 CPUtime=4.52 /proc/27310/stat : 27310 (clasp) R 27300 27300 24102 769 24102 4202496 46215 0 0 0 430 22 0 0 25 0 1 0 525065103 128700416 30862 1283457024 134512640 136080129 4293603824 18446744073709551615 134625267 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27310/statm: 31421 30862 193 383 0 31036 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 130404 Solver just ended. Dumping a history of the last processes samples [startup+51.2058 s] /proc/loadavg: 1.03 1.09 0.88 3/39 27310 /proc/meminfo: memFree=337336/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4720 CPUtime=39.57 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1823 493533 0 0 2 1 3669 285 18 0 1 0 525061114 4833280 859 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1180 859 404 251 0 438 0 [pid=27309] ppid=27300 vsize=0 CPUtime=6.61 /proc/27309/stat : 27309 (bingo) Z 27300 27300 24102 769 24102 4202508 113738 0 0 0 619 42 0 0 25 0 1 0 525065101 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27309/statm: 0 0 0 0 0 0 0 [pid=27310] ppid=27300 vsize=125684 CPUtime=4.62 /proc/27310/stat : 27310 (clasp) R 27300 27300 24102 769 24102 4202496 46215 0 0 0 440 22 0 0 25 0 1 0 525065103 128700416 30862 1283457024 134512640 136080129 4293603824 18446744073709551615 134842246 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27310/statm: 31421 30862 193 383 0 31036 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 130404 [startup+51.3061 s] /proc/loadavg: 1.03 1.09 0.88 3/39 27310 /proc/meminfo: memFree=337336/1048576 swapFree=2095456/2097144 [pid=27300] ppid=27299 vsize=4720 CPUtime=39.57 /proc/27300/stat : 27300 (aspcud-trendy-1) S 27299 27300 24102 769 24102 4202496 1823 493533 0 0 2 1 3669 285 18 0 1 0 525061114 4833280 859 1283457024 134512640 135539072 4289830432 18446744073709551615 4160349102 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/27300/statm: 1180 859 404 251 0 438 0 [pid=27309] ppid=27300 vsize=0 CPUtime=6.61 /proc/27309/stat : 27309 (bingo) Z 27300 27300 24102 769 24102 4202508 113738 0 0 0 619 42 0 0 25 0 1 0 525065101 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/27309/statm: 0 0 0 0 0 0 0 [pid=27310] ppid=27300 vsize=94440 CPUtime=4.73 /proc/27310/stat : 27310 (clasp) R 27300 27300 24102 769 24102 4202496 46225 0 0 0 448 25 0 0 25 0 1 0 525065103 96706560 17258 1283457024 134512640 136080129 4293603824 18446744073709551615 135703614 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/27310/statm: 23610 17258 203 383 0 23225 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 99160 Child status: 0 Real time (s): 51.3788 CPU time (s): 51.0032 CPU user time (s): 47.415 CPU system time (s): 3.58822 CPU usage (%): 99.2689 Max. virtual memory (cumulated for all children) (KiB): 584820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.415 system time used= 3.58822 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 656661 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= 14517 involuntary context switches= 17017 runsolver used 0 second user time and 0 second system time The end