runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-287062-1169494111 -o ROOT/results/node25/solver-287062-1169494111 -C 1800 -M 900 /tmp/evaluation/287062-1169494111/solver
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
/proc/loadavg: 1.36 1.71 1.68 5/88 20887
/proc/meminfo: memFree=1851200/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=18540 CPUtime=0
/proc/20886/stat : 20886 (runsolver) R 20884 20784 20784 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 297804268 18984960 277 18446744073709551615 4194304 4267372 548682069136 18446744073709551615 215779157764 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20886/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.10724 s]
/proc/loadavg: 1.36 1.71 1.68 5/88 20887
/proc/meminfo: memFree=1851200/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.51531 s]
/proc/loadavg: 1.36 1.71 1.68 5/88 20887
/proc/meminfo: memFree=1851200/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33745 s]
/proc/loadavg: 1.36 1.71 1.68 3/90 20890
/proc/meminfo: memFree=1825136/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=32016 CPUtime=1.31
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 7496 0 0 0 127 4 0 0 25 0 1 0 297804269 32784384 7456 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684898 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 8004 7456 241 197 0 7244 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 39968
[startup+2.98773 s]
/proc/loadavg: 1.41 1.71 1.68 3/90 20890
/proc/meminfo: memFree=1809264/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=51880 CPUtime=2.96
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 12477 0 0 0 290 6 0 0 25 0 1 0 297804269 53125120 12437 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 12970 12437 241 197 0 12210 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 59832
[startup+6.27029 s]
/proc/loadavg: 1.41 1.71 1.68 3/90 20890
/proc/meminfo: memFree=1783088/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=71776 CPUtime=6.22
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 17466 0 0 0 614 8 0 0 25 0 1 0 297804269 73498624 17425 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 17944 17425 242 197 0 17184 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 79728
[startup+12.7524 s]
/proc/loadavg: 1.50 1.72 1.68 3/90 20890
/proc/meminfo: memFree=1776432/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=12.68
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 18821 0 0 0 1259 9 0 0 25 0 1 0 297804269 79081472 18780 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18780 242 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85180
[startup+25.5966 s]
/proc/loadavg: 1.58 1.73 1.68 3/90 20890
/proc/meminfo: memFree=1776432/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=25.46
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 18821 0 0 0 2537 9 0 0 25 0 1 0 297804269 79081472 18780 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684553 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18780 242 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 85180
[startup+51.292 s]
/proc/loadavg: 1.72 1.75 1.69 3/90 20890
/proc/meminfo: memFree=1776432/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=51.03
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 18821 0 0 0 5094 9 0 0 25 0 1 0 297804269 79081472 18780 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18780 242 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 85180
[startup+102.573 s]
/proc/loadavg: 1.89 1.79 1.71 3/90 20890
/proc/meminfo: memFree=1776496/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=102.07
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 18821 0 0 0 10197 10 0 0 25 0 1 0 297804269 79081472 18780 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18780 242 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 85180
[startup+162.596 s]
/proc/loadavg: 2.04 1.84 1.73 3/90 20890
/proc/meminfo: memFree=1776496/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=78760 CPUtime=161.81
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 21504 0 0 0 16169 12 0 0 25 0 1 0 297804269 80650240 19165 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19690 19165 244 197 0 18930 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 86712
[startup+222.626 s]
/proc/loadavg: 2.01 1.87 1.74 3/90 20890
/proc/meminfo: memFree=1776240/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=221.56
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 90832 0 0 0 22109 47 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 221.56
Current children cumulated vsize (KiB) 85180
[startup+282.646 s]
/proc/loadavg: 2.00 1.89 1.75 3/90 20890
/proc/meminfo: memFree=1776240/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=281.29
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 90832 0 0 0 28082 47 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 281.29
Current children cumulated vsize (KiB) 85180
[startup+342.665 s]
/proc/loadavg: 2.00 1.91 1.77 3/90 20890
/proc/meminfo: memFree=1776240/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=341.02
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 90832 0 0 0 34054 48 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684572 0 0 4096 130 0 0 0 17 1 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 341.02
Current children cumulated vsize (KiB) 85180
[startup+402.685 s]
################
# More data... #
################
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1237.8
Current children cumulated vsize (KiB) 85180
[startup+1303.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/90 20980
/proc/meminfo: memFree=1751024/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=78760 CPUtime=1297.75
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 467704 0 0 0 129515 260 0 0 25 0 1 0 297804269 80650240 19170 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19690 19170 244 197 0 18930 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1297.75
Current children cumulated vsize (KiB) 86712
[startup+1363.14 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 20980
/proc/meminfo: memFree=1752368/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1357.73
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 535495 0 0 0 135472 301 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134683956 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1357.73
Current children cumulated vsize (KiB) 85180
[startup+1423.19 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 20980
/proc/meminfo: memFree=1751856/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1417.71
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 535495 0 0 0 141470 301 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134683881 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1417.71
Current children cumulated vsize (KiB) 85180
[startup+1483.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 20980
/proc/meminfo: memFree=1752304/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1477.69
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 535495 0 0 0 147467 302 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134790763 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1477.69
Current children cumulated vsize (KiB) 85180
[startup+1543.29 s]
/proc/loadavg: 2.12 2.03 1.92 3/90 20980
/proc/meminfo: memFree=1752304/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1537.68
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 610563 0 0 0 153423 345 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134904052 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1537.68
Current children cumulated vsize (KiB) 85180
[startup+1603.34 s]
/proc/loadavg: 2.04 2.02 1.92 3/90 20980
/proc/meminfo: memFree=1751792/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1597.66
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 610563 0 0 0 159421 345 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1597.66
Current children cumulated vsize (KiB) 85180
[startup+1663.38 s]
/proc/loadavg: 2.01 2.02 1.92 3/90 20980
/proc/meminfo: memFree=1752240/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1657.62
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 610563 0 0 0 165416 346 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134677665 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1657.62
Current children cumulated vsize (KiB) 85180
[startup+1723.42 s]
/proc/loadavg: 2.00 2.01 1.92 3/90 20980
/proc/meminfo: memFree=1752176/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1717.6
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 686014 0 0 0 171373 387 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134672808 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1717.6
Current children cumulated vsize (KiB) 85180
[startup+1783.47 s]
/proc/loadavg: 2.00 2.01 1.92 3/90 20980
/proc/meminfo: memFree=1751664/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1777.59
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 686014 0 0 0 177371 388 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1777.59
Current children cumulated vsize (KiB) 85180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.99 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 20980
/proc/meminfo: memFree=1752112/2055920 swapFree=4152688/4192956
[pid=20886] ppid=20884 vsize=5352 CPUtime=0
/proc/20886/stat : 20886 (solver) S 20884 20886 20784 0 -1 4194304 314 174 0 0 0 0 0 0 20 0 1 0 297804268 5480448 229 18446744073709551615 4194304 4889804 548682069408 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20886/statm: 1338 229 192 169 0 49 0
[pid=20889] ppid=20886 vsize=77228 CPUtime=1800.08
/proc/20889/stat : 20889 (xlisp) R 20886 20886 20784 0 -1 4194304 686014 0 0 0 179620 388 0 0 25 0 1 0 297804269 79081472 18787 18446744073709551615 134512640 135322396 4294956864 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 0 0 0
/proc/20889/statm: 19307 18787 244 197 0 18547 0
[pid=20890] ppid=20886 vsize=2600 CPUtime=0
/proc/20890/stat : 20890 (sed) S 20886 20886 20784 0 -1 4194304 146 0 0 0 0 0 0 0 23 0 1 0 297804269 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 215781965906 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20890/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 85180
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 20886 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=5999
CPU time returned by wait4() is 0.006998
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.01
CPU time (s): 1800.08
CPU user time (s): 1796.2
CPU system time (s): 3.88
CPU usage (%): 99.6718
Max. virtual memory (cumulated for all children) (KiB): 86712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634
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= 19
involuntary context switches= 5
runsolver used 2.04569 s user time and 5.95309 s system time
The end
Begin job on node25 on Mon Jan 22 19:28:33 UTC 2007
IDJOB= 287062
IDBENCH= 7036
IDSOLVER= 95
FILE ID= node25/287062-1169494111
PBS_JOBID= 3619586
Free space on /tmp= 66562 MiB
SOLVER NAME= Diarmuid-rndi 2007-01-22
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-3_ext.xml
COMMAND LINE= /tmp/evaluation/287062-1169494111/solver
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-287062-1169494111 -o ROOT/results/node25/conversion-287062-1169494111 -C 600 -M 900 /tmp/evaluation/287062-1169494111/conversion /tmp/evaluation/287062-1169494111/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-287062-1169494111 -o ROOT/results/node25/solver-287062-1169494111 -C 1800 -M 900 /tmp/evaluation/287062-1169494111/solver
META MD5SUM SOLVER= 765b919a98ff2c4c419956167ea5299a
MD5SUM BENCH= 4cf957988d5e3247af7e29122f8f1648
RANDOM SEED= 430367769
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.279
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.279
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: 1851616 kB
Buffers: 25156 kB
Cached: 113960 kB
SwapCached: 19732 kB
Active: 85024 kB
Inactive: 89664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1851616 kB
SwapTotal: 4192956 kB
SwapFree: 4152688 kB
Dirty: 2904 kB
Writeback: 0 kB
Mapped: 40612 kB
Slab: 14340 kB
Committed_AS: 5502300 kB
PageTables: 2336 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= 66560 MiB
End job on node25 on Mon Jan 22 19:58:45 UTC 2007