runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-199043-1168286727 -o ROOT/results/node19/solver-199043-1168286727 -C 1800 -M 900 /tmp/evaluation/199043-1168286727/solver2 /tmp/evaluation/199043-1168286727/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.86 1.95 1.90 5/87 4615
/proc/meminfo: memFree=1425320/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=0
/proc/4614/stat : 4614 (solver2) R 4612 4614 919 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177067480 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/4614/statm: 1338 231 193 169 0 49 0
[pid=4616] ppid=4614 vsize=5352 CPUtime=0
/proc/4616/stat : 4616 (solver2) R 4614 4614 919 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 177067481 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4455685 0 0 4100 65536 0 0 0 17 1 0 0
/proc/4616/statm: 1338 232 194 169 0 49 0
[pid=4617] ppid=4614 vsize=5352 CPUtime=0
/proc/4617/stat : 4617 (solver2) R 4614 4614 919 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177067481 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/4617/statm: 1338 231 193 169 0 49 0
[startup+0.105183 s]
/proc/loadavg: 1.86 1.95 1.90 5/87 4615
/proc/meminfo: memFree=1425320/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=0.01
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 376 2243 0 0 0 0 0 1 21 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5352
[startup+0.51325 s]
/proc/loadavg: 1.86 1.95 1.90 5/87 4615
/proc/meminfo: memFree=1425320/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=0.01
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 376 2243 0 0 0 0 0 1 21 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5352
[startup+1.33441 s]
/proc/loadavg: 1.86 1.95 1.90 2/82 4627
/proc/meminfo: memFree=1401040/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 5352
[startup+2.97672 s]
/proc/loadavg: 1.86 1.95 1.90 2/82 4639
/proc/meminfo: memFree=1411984/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1.62
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5757 0 0 0 132 30 0 0 25 0 1 0 177067613 26533888 5731 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5731 135 64 0 5793 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 31264
[startup+6.25633 s]
/proc/loadavg: 1.87 1.95 1.90 3/88 5336
/proc/meminfo: memFree=1397672/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=4.9
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 460 30 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 31264
[startup+12.7245 s]
/proc/loadavg: 1.88 1.96 1.90 3/88 5336
/proc/meminfo: memFree=1377336/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=11.37
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 1106 31 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31264
[startup+25.542 s]
/proc/loadavg: 1.91 1.96 1.90 3/88 5336
/proc/meminfo: memFree=1377528/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=24.16
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 2385 31 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 31264
[startup+51.1858 s]
/proc/loadavg: 1.94 1.96 1.90 3/88 5336
/proc/meminfo: memFree=1377656/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=49.77
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 4945 32 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31264
[startup+102.47 s]
/proc/loadavg: 1.97 1.96 1.91 3/88 5336
/proc/meminfo: memFree=1377720/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=101.01
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 10068 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135068469 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 31264
[startup+162.483 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377272/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=160.96
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 16063 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31264
[startup+222.505 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377272/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=220.93
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 22060 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31264
[startup+282.529 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377272/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=280.87
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 28054 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 31264
[startup+342.549 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377400/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=340.82
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 34049 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 31264
[startup+402.567 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377336/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=400.78
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 40045 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135048416 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 31264
[startup+462.588 s]
/proc/loadavg: 1.99 1.97 1.91 3/88 5336
/proc/meminfo: memFree=1377336/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=460.73
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 46040 33 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 31264
[startup+522.615 s]
/proc/loadavg: 2.04 1.99 1.91 3/88 5336
/proc/meminfo: memFree=1377336/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=520.7
################
# More data... #
################
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1060.26
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 105992 34 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 31264
[startup+1122.79 s]
/proc/loadavg: 2.01 2.01 1.93 3/88 5338
/proc/meminfo: memFree=1377208/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1120.22
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 111988 34 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 31264
[startup+1182.81 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377208/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1180.16
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 117982 34 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1181.46
Current children cumulated vsize (KiB) 31264
[startup+1242.83 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377144/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1240.12
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 123978 34 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089770 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1241.42
Current children cumulated vsize (KiB) 31264
[startup+1302.84 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377144/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1300.08
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 129973 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 31264
[startup+1362.86 s]
/proc/loadavg: 2.04 2.01 1.93 3/88 5338
/proc/meminfo: memFree=1377080/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1360.01
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 135966 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1361.31
Current children cumulated vsize (KiB) 31264
[startup+1422.88 s]
/proc/loadavg: 2.01 2.01 1.93 3/88 5338
/proc/meminfo: memFree=1377016/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1419.98
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 141963 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1421.28
Current children cumulated vsize (KiB) 31264
[startup+1482.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377080/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1479.94
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 147959 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1481.24
Current children cumulated vsize (KiB) 31264
[startup+1542.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377016/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1539.87
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 153952 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 31264
[startup+1602.93 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377080/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1599.82
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 159947 35 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1601.12
Current children cumulated vsize (KiB) 31264
[startup+1662.94 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377016/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1659.78
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 165942 36 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089679 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 31264
[startup+1722.94 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1376952/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1719.7
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 171934 36 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 31264
[startup+1782.95 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 5338
/proc/meminfo: memFree=1377016/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1779.65
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 177929 36 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1780.95
Current children cumulated vsize (KiB) 31264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.03 s]
/proc/loadavg: 2.08 2.02 1.94 3/88 5338
/proc/meminfo: memFree=1376952/2055920 swapFree=4171244/4192956
[pid=4614] ppid=4612 vsize=5352 CPUtime=1.3
/proc/4614/stat : 4614 (solver2) S 4612 4614 919 0 -1 4194304 397 8391 0 0 0 0 14 116 16 0 1 0 177067480 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4614/statm: 1338 242 203 169 0 49 0
[pid=4638] ppid=4614 vsize=25912 CPUtime=1798.73
/proc/4638/stat : 4638 (standalone) R 4614 4614 919 0 -1 4194304 5758 0 0 0 179837 36 0 0 25 0 1 0 177067613 26533888 5732 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 135089707 0 0 4096 0 0 0 0 17 0 0 0
/proc/4638/statm: 6478 5732 136 64 0 5793 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 31264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.05
CPU time (s): 1800.06
CPU user time (s): 1798.52
CPU system time (s): 1.53177
CPU usage (%): 99.8896
Max. virtual memory (cumulated for all children) (KiB): 32472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.53177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14559
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= 83
involuntary context switches= 13741
runsolver used 2.11868 s user time and 5.16421 s system time
The end
Begin job on node19 on Mon Jan 8 20:05:28 UTC 2007
IDJOB= 199043
IDBENCH= 3589
FILE ID= node19/199043-1168286727
PBS_JOBID= 3501689
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/knights/knights-80-25.xml
COMMAND LINE= /tmp/evaluation/199043-1168286727/solver2 /tmp/evaluation/199043-1168286727/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-199043-1168286727 -o ROOT/results/node19/solver-199043-1168286727 -C 1800 -M 900 /tmp/evaluation/199043-1168286727/solver2 /tmp/evaluation/199043-1168286727/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= f18ad709d55b4a2a79fe5af6c5aef318
RANDOM SEED= 878290965
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.260
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.260
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: 1425800 kB
Buffers: 67780 kB
Cached: 465024 kB
SwapCached: 9904 kB
Active: 253268 kB
Inactive: 316128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1425800 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 10708 kB
Writeback: 0 kB
Mapped: 47052 kB
Slab: 45508 kB
Committed_AS: 4661660 kB
PageTables: 2368 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= 66300 MiB
End job on node19 on Mon Jan 8 20:35:31 UTC 2007