runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-201206-1168288971 -o ROOT/results/node16/solver-201206-1168288971 -C 1800 -M 900 /tmp/evaluation/201206-1168288971/solver2 /tmp/evaluation/201206-1168288971/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.58 1.70 5/87 8485
/proc/meminfo: memFree=1376920/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0
/proc/8484/stat : 8484 (solver2) R 8482 8484 2926 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 177292101 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8484/statm: 1338 231 193 169 0 49 0
[pid=8486] ppid=8484 vsize=5352 CPUtime=0
/proc/8486/stat : 8486 (solver2) R 8484 8484 2926 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 177292101 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8486/statm: 1338 231 193 169 0 49 0
[startup+0.104714 s]
/proc/loadavg: 1.99 1.58 1.70 5/87 8485
/proc/meminfo: memFree=1376920/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.512637 s]
/proc/loadavg: 1.99 1.58 1.70 5/87 8485
/proc/meminfo: memFree=1376920/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33349 s]
/proc/loadavg: 1.99 1.58 1.70 3/88 8497
/proc/meminfo: memFree=1342544/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0.52
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 376 2621 0 0 0 0 47 5 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8497] ppid=8484 vsize=36776 CPUtime=0.78
/proc/8497/stat : 8497 (bordewijk) R 8484 8484 2926 0 -1 4194304 8676 0 0 0 69 9 0 0 24 0 1 0 177292155 37658624 8648 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134585089 0 0 4096 0 0 0 0 17 1 0 0
/proc/8497/statm: 9194 8648 204 97 0 8475 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 42128
[startup+2.97619 s]
/proc/loadavg: 2.07 1.60 1.71 3/88 8497
/proc/meminfo: memFree=1289872/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0.52
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 376 2621 0 0 0 0 47 5 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8497] ppid=8484 vsize=83668 CPUtime=2.4
/proc/8497/stat : 8497 (bordewijk) R 8484 8484 2926 0 -1 4194304 22131 0 0 0 220 20 0 0 25 0 1 0 177292155 85676032 20395 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7508999 0 0 4096 0 0 0 0 17 1 0 0
/proc/8497/statm: 20917 20395 211 97 0 20198 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 89020
[startup+6.26758 s]
/proc/loadavg: 2.07 1.60 1.71 3/88 8497
/proc/meminfo: memFree=1203856/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=0.52
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 376 2621 0 0 0 0 47 5 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8497] ppid=8484 vsize=145184 CPUtime=5.66
/proc/8497/stat : 8497 (bordewijk) R 8484 8484 2926 0 -1 4194304 40539 0 0 0 308 258 0 0 25 0 1 0 177292155 148668416 35246 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8497/statm: 36296 35246 217 97 0 35577 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 150536
[startup+12.7404 s]
/proc/loadavg: 2.13 1.63 1.72 3/88 8498
/proc/meminfo: memFree=1292432/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66492 CPUtime=4.73
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16171 0 0 0 372 101 0 0 25 0 1 0 177292897 68087808 15622 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099299482 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16623 15622 137 64 0 15938 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 71844
[startup+25.554 s]
/proc/loadavg: 2.11 1.64 1.72 3/88 8498
/proc/meminfo: memFree=1291984/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66492 CPUtime=17.44
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16318 0 0 0 1643 101 0 0 25 0 1 0 177292897 68087808 15769 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099057269 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16623 15769 137 64 0 15938 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 71844
[startup+51.1943 s]
/proc/loadavg: 2.07 1.67 1.73 3/88 8498
/proc/meminfo: memFree=1292432/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66492 CPUtime=42.89
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16318 0 0 0 4187 102 0 0 25 0 1 0 177292897 68087808 15769 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102529439 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16623 15769 137 64 0 15938 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 71844
[startup+102.471 s]
/proc/loadavg: 2.03 1.72 1.74 3/88 8498
/proc/meminfo: memFree=1292624/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66492 CPUtime=93.75
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16318 0 0 0 9273 102 0 0 25 0 1 0 177292897 68087808 15769 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102168921 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16623 15769 137 64 0 15938 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 71844
[startup+162.573 s]
/proc/loadavg: 2.01 1.77 1.75 3/88 8498
/proc/meminfo: memFree=1292624/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66492 CPUtime=153.34
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16318 0 0 0 15231 103 0 0 25 0 1 0 177292897 68087808 15769 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101403156 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16623 15769 137 64 0 15938 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 71844
[startup+222.618 s]
/proc/loadavg: 2.00 1.81 1.76 3/88 8498
/proc/meminfo: memFree=1292048/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66504 CPUtime=212.87
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16460 0 0 0 21184 103 0 0 25 0 1 0 177292897 68100096 15911 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16626 15911 138 64 0 15941 0
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (KiB) 71856
[startup+282.692 s]
/proc/loadavg: 2.00 1.84 1.77 3/88 8498
/proc/meminfo: memFree=1291984/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66504 CPUtime=272.42
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16471 0 0 0 27138 104 0 0 25 0 1 0 177292897 68100096 15922 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16626 15922 138 64 0 15941 0
Current children cumulated CPU time (s) 280.26
Current children cumulated vsize (KiB) 71856
[startup+342.762 s]
/proc/loadavg: 2.05 1.88 1.79 3/88 8498
/proc/meminfo: memFree=1291920/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66504 CPUtime=331.95
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16473 0 0 0 33091 104 0 0 25 0 1 0 177292897 68100096 15924 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16626 15924 138 64 0 15941 0
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (KiB) 71856
[startup+402.834 s]
/proc/loadavg: 2.02 1.90 1.80 3/88 8498
/proc/meminfo: memFree=1291216/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=391.5
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16475 0 0 0 39045 105 0 0 25 0 1 0 177292897 68104192 15926 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/8498/statm: 16627 15926 138 64 0 15942 0
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (KiB) 71860
[startup+462.891 s]
/proc/loadavg: 1.97 1.90 1.81 3/88 9196
/proc/meminfo: memFree=1287384/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=451.47
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16476 0 0 0 45037 110 0 0 25 0 1 0 177292897 68104192 15927 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554211 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15927 138 64 0 15942 0
Current children cumulated CPU time (s) 459.31
Current children cumulated vsize (KiB) 71860
[startup+522.973 s]
/proc/loadavg: 1.99 1.92 1.82 3/88 9196
/proc/meminfo: memFree=1287384/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=511.49
################
# More data... #
################
/proc/loadavg: 1.99 1.97 1.88 3/94 9320
/proc/meminfo: memFree=1285776/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1111.75
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 111055 120 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1119.59
Current children cumulated vsize (KiB) 71860
[startup+1183.76 s]
/proc/loadavg: 1.99 1.97 1.88 3/88 9394
/proc/meminfo: memFree=1286800/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1171.69
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 117039 130 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099400258 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1179.53
Current children cumulated vsize (KiB) 71860
[startup+1243.83 s]
/proc/loadavg: 1.99 1.97 1.89 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1231.7
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 123040 130 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102131959 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1239.54
Current children cumulated vsize (KiB) 71860
[startup+1303.91 s]
/proc/loadavg: 1.99 1.97 1.90 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1291.74
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 129044 130 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101247222 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1299.58
Current children cumulated vsize (KiB) 71860
[startup+1363.99 s]
/proc/loadavg: 1.99 1.97 1.90 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1351.79
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 135048 131 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 71860
[startup+1424.07 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1411.8
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 141049 131 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1419.64
Current children cumulated vsize (KiB) 71860
[startup+1484.14 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1471.84
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 147053 131 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549733 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1479.68
Current children cumulated vsize (KiB) 71860
[startup+1544.22 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1531.87
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 153056 131 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1539.71
Current children cumulated vsize (KiB) 71860
[startup+1604.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286808/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1591.88
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 159057 131 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1599.72
Current children cumulated vsize (KiB) 71860
[startup+1664.38 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286872/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1651.93
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 165061 132 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549720 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1659.77
Current children cumulated vsize (KiB) 71860
[startup+1724.46 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286872/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1711.96
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 171064 132 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1719.8
Current children cumulated vsize (KiB) 71860
[startup+1784.53 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286936/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1771.97
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 177065 132 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1779.81
Current children cumulated vsize (KiB) 71860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.76 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 9394
/proc/meminfo: memFree=1286936/2055920 swapFree=4191880/4192956
[pid=8484] ppid=8482 vsize=5352 CPUtime=7.84
/proc/8484/stat : 8484 (solver2) S 8482 8484 2926 0 -1 4194304 397 43161 0 0 0 0 367 417 16 0 1 0 177292101 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8484/statm: 1338 242 203 169 0 49 0
[pid=8498] ppid=8484 vsize=66508 CPUtime=1792.19
/proc/8498/stat : 8498 (standalone) R 8484 8484 2926 0 -1 4194304 16485 0 0 0 179087 132 0 0 25 0 1 0 177292897 68104192 15936 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4101595993 0 0 4096 0 0 0 0 17 0 0 0
/proc/8498/statm: 16627 15936 138 64 0 15942 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 71860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 8484 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=676441 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=179364
CPU time returned by wait4() is 7.85581
while last known CPU time is 1800.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1804.77
CPU time (s): 1800.03
CPU user time (s): 1794.54
CPU system time (s): 5.49
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 150536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.67644
system time used= 4.17936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43558
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= 551
involuntary context switches= 815
runsolver used 2.09768 s user time and 5.88011 s system time
The end
Begin job on node16 on Mon Jan 8 20:42:53 UTC 2007
IDJOB= 201206
IDBENCH= 3749
FILE ID= node16/201206-1168288971
PBS_JOBID= 3501741
Free space on /tmp= 66475 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-3.xml
COMMAND LINE= /tmp/evaluation/201206-1168288971/solver2 /tmp/evaluation/201206-1168288971/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-201206-1168288971 -o ROOT/results/node16/solver-201206-1168288971 -C 1800 -M 900 /tmp/evaluation/201206-1168288971/solver2 /tmp/evaluation/201206-1168288971/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 931b9eff036dfe9624d2ebd0c55327ca
RANDOM SEED= 414371861
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1377400 kB
Buffers: 86536 kB
Cached: 421860 kB
SwapCached: 448 kB
Active: 420180 kB
Inactive: 199540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1377400 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 21120 kB
Writeback: 0 kB
Mapped: 130720 kB
Slab: 43368 kB
Committed_AS: 5045664 kB
PageTables: 2480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66453 MiB
End job on node16 on Mon Jan 8 21:13:00 UTC 2007