runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-234229-1168331219 -o ROOT/results/node18/solver-234229-1168331219 -C 1800 -M 900 /tmp/evaluation/234229-1168331219/solver2 /tmp/evaluation/234229-1168331219/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: 2.48 2.37 2.16 5/93 1987
/proc/meminfo: memFree=1199928/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=0
/proc/1986/stat : 1986 (solver2) R 1984 1986 1097 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 181516794 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/1986/statm: 1338 231 193 169 0 49 0
[pid=1988] ppid=1986 vsize=5352 CPUtime=0
/proc/1988/stat : 1988 (solver2) R 1986 1986 1097 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 181516795 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/1988/statm: 1338 231 193 169 0 49 0
[startup+0.105178 s]
/proc/loadavg: 2.48 2.37 2.16 5/93 1987
/proc/meminfo: memFree=1199928/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=0.04
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 376 2261 0 0 0 0 4 0 19 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+0.517252 s]
/proc/loadavg: 2.48 2.37 2.16 5/93 1987
/proc/meminfo: memFree=1199928/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=0.04
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 376 2261 0 0 0 0 4 0 19 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+1.3453 s]
/proc/loadavg: 2.48 2.37 2.16 3/94 2000
/proc/meminfo: memFree=1148456/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=0.04
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 376 2261 0 0 0 0 4 0 19 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2000] ppid=1986 vsize=48036 CPUtime=1.25
/proc/2000/stat : 2000 (bordewijk) R 1986 1986 1097 0 -1 4194304 12130 0 0 0 80 45 0 0 23 0 1 0 181516802 49188864 11227 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2000/statm: 12009 11227 217 97 0 11290 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 53388
[startup+2.98246 s]
/proc/loadavg: 2.48 2.37 2.16 3/94 2000
/proc/meminfo: memFree=1147240/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 5352
[startup+6.26177 s]
/proc/loadavg: 2.44 2.37 2.16 3/94 2001
/proc/meminfo: memFree=1163624/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=3.25
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7454 0 0 0 276 49 0 0 25 0 1 0 181517092 33710080 7428 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131963774 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7428 136 64 0 7545 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 38272
[startup+12.7364 s]
/proc/loadavg: 2.40 2.36 2.16 3/94 2001
/proc/meminfo: memFree=1163112/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=9.66
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7603 0 0 0 917 49 0 0 25 0 1 0 181517092 33710080 7577 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134556232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7577 136 64 0 7545 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 38272
[startup+25.5506 s]
/proc/loadavg: 2.34 2.35 2.16 3/94 2001
/proc/meminfo: memFree=1163304/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=22.37
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 2188 49 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131885410 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 38272
[startup+51.2091 s]
/proc/loadavg: 2.21 2.31 2.15 3/94 2001
/proc/meminfo: memFree=1163304/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=47.79
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 4730 49 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131758253 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 38272
[startup+102.496 s]
/proc/loadavg: 2.09 2.26 2.14 3/94 2001
/proc/meminfo: memFree=1163368/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=98.66
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 9816 50 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131734521 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 38272
[startup+162.555 s]
/proc/loadavg: 2.09 2.23 2.14 3/94 2001
/proc/meminfo: memFree=1163432/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=158.22
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 15772 50 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131772642 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 161.14
Current children cumulated vsize (KiB) 38272
[startup+222.593 s]
/proc/loadavg: 2.03 2.18 2.12 3/94 2001
/proc/meminfo: memFree=1163432/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=217.75
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 21724 51 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555370 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (KiB) 38272
[startup+282.601 s]
/proc/loadavg: 2.01 2.15 2.11 3/94 2001
/proc/meminfo: memFree=1144936/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=277.26
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 27675 51 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131917080 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 280.18
Current children cumulated vsize (KiB) 38272
[startup+342.61 s]
/proc/loadavg: 2.00 2.12 2.10 3/94 2001
/proc/meminfo: memFree=1144944/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=336.77
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 33626 51 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134555397 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (KiB) 38272
[startup+402.616 s]
/proc/loadavg: 2.00 2.09 2.09 3/94 2001
/proc/meminfo: memFree=1144880/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=396.28
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 39576 52 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131857751 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 38272
[startup+462.624 s]
/proc/loadavg: 2.00 2.07 2.08 3/94 2001
/proc/meminfo: memFree=1144816/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=455.79
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7606 0 0 0 45527 52 0 0 25 0 1 0 181517092 33710080 7580 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131723160 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7580 136 64 0 7545 0
Current children cumulated CPU time (s) 458.71
Current children cumulated vsize (KiB) 38272
[startup+522.647 s]
/proc/loadavg: 2.00 2.06 2.08 3/94 2001
/proc/meminfo: memFree=1144496/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=515.32
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7670 0 0 0 51479 53 0 0 25 0 1 0 181517092 33710080 7644 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131798116 0 0 4096 0 0 0 0 17 1 0 0
/proc/2001/statm: 8230 7644 137 64 0 7545 0
Current children cumulated CPU time (s) 518.24
################
# More data... #
################
/proc/loadavg: 2.09 2.17 2.11 3/87 2350
/proc/meminfo: memFree=1398952/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1111.76
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 111116 60 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131837808 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1114.68
Current children cumulated vsize (KiB) 38272
[startup+1183.12 s]
/proc/loadavg: 2.03 2.14 2.09 3/87 2350
/proc/meminfo: memFree=1398952/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1171.71
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 117110 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1174.63
Current children cumulated vsize (KiB) 38272
[startup+1243.15 s]
/proc/loadavg: 2.01 2.11 2.09 3/87 2350
/proc/meminfo: memFree=1398952/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1231.68
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 123107 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131772693 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1234.6
Current children cumulated vsize (KiB) 38272
[startup+1303.17 s]
/proc/loadavg: 2.00 2.09 2.08 3/87 2350
/proc/meminfo: memFree=1398952/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1291.65
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 129104 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131783769 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1294.57
Current children cumulated vsize (KiB) 38272
[startup+1363.19 s]
/proc/loadavg: 2.04 2.08 2.08 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1351.59
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 135098 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131840460 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1354.51
Current children cumulated vsize (KiB) 38272
[startup+1423.22 s]
/proc/loadavg: 2.01 2.06 2.07 3/87 2350
/proc/meminfo: memFree=1398960/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1411.57
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 141096 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131963210 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1414.49
Current children cumulated vsize (KiB) 38272
[startup+1483.25 s]
/proc/loadavg: 2.00 2.05 2.07 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1471.54
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 147093 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554217 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1474.46
Current children cumulated vsize (KiB) 38272
[startup+1543.27 s]
/proc/loadavg: 2.04 2.05 2.07 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1531.48
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 153087 61 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131959175 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1534.4
Current children cumulated vsize (KiB) 38272
[startup+1603.29 s]
/proc/loadavg: 2.01 2.04 2.06 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1591.47
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 159085 62 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131733397 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1594.39
Current children cumulated vsize (KiB) 38272
[startup+1663.31 s]
/proc/loadavg: 2.00 2.03 2.06 3/87 2350
/proc/meminfo: memFree=1398960/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1651.43
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 165081 62 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131733313 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1654.35
Current children cumulated vsize (KiB) 38272
[startup+1723.33 s]
/proc/loadavg: 2.00 2.02 2.05 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1711.37
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 171075 62 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131960531 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1714.29
Current children cumulated vsize (KiB) 38272
[startup+1783.35 s]
/proc/loadavg: 2.00 2.02 2.04 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1771.34
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 177072 62 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1774.26
Current children cumulated vsize (KiB) 38272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.2 s]
/proc/loadavg: 2.00 2.02 2.04 3/87 2350
/proc/meminfo: memFree=1398896/2055920 swapFree=4192812/4192956
[pid=1986] ppid=1984 vsize=5352 CPUtime=2.92
/proc/1986/stat : 1986 (solver2) S 1984 1986 1097 0 -1 4194304 397 14392 0 0 0 0 94 198 16 0 1 0 181516794 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1986/statm: 1338 242 203 169 0 49 0
[pid=2001] ppid=1986 vsize=32920 CPUtime=1797.18
/proc/2001/stat : 2001 (standalone) R 1986 1986 1097 0 -1 4194304 7689 0 0 0 179656 62 0 0 25 0 1 0 181517092 33710080 7663 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4131729912 0 0 4096 0 0 0 0 17 0 0 0
/proc/2001/statm: 8230 7663 137 64 0 7545 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 38272
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 1986 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=944856 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=990697
CPU time returned by wait4() is 2.93555
while last known CPU time is 1800.11
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.86
CPU time (s): 1800.11
CPU user time (s): 1797.5
CPU system time (s): 2.61
CPU usage (%): 99.4612
Max. virtual memory (cumulated for all children) (KiB): 53388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.944856
system time used= 1.9907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14789
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= 116
involuntary context switches= 152
runsolver used 2.09768 s user time and 5.11922 s system time
The end
Begin job on node18 on Tue Jan 9 08:27:01 UTC 2007
IDJOB= 234229
IDBENCH= 6672
FILE ID= node18/234229-1168331219
PBS_JOBID= 3503057
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-100-3.xml
COMMAND LINE= /tmp/evaluation/234229-1168331219/solver2 /tmp/evaluation/234229-1168331219/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-234229-1168331219 -o ROOT/results/node18/solver-234229-1168331219 -C 1800 -M 900 /tmp/evaluation/234229-1168331219/solver2 /tmp/evaluation/234229-1168331219/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 43bdd08ffdcb9ff8323d7868c2b8c930
RANDOM SEED= 465012113
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.231
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.231
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: 1200344 kB
Buffers: 76984 kB
Cached: 370728 kB
SwapCached: 0 kB
Active: 493564 kB
Inactive: 299428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1200344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10348 kB
Writeback: 0 kB
Mapped: 374284 kB
Slab: 46840 kB
Committed_AS: 6326184 kB
PageTables: 2676 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= 66534 MiB
End job on node18 on Tue Jan 9 08:57:11 UTC 2007