runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-198948-1168285820 -o ROOT/results/node7/solver-198948-1168285820 -C 1800 -M 900 /tmp/evaluation/198948-1168285820/solver /tmp/evaluation/198948-1168285820/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
/proc/loadavg: 1.81 1.90 1.81 5/87 14615
/proc/meminfo: memFree=1657552/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=18540 CPUtime=0
/proc/14614/stat : 14614 (runsolver) R 14612 7679 7679 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 176977548 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 4220129 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14614/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108218 s]
/proc/loadavg: 1.81 1.90 1.81 5/87 14615
/proc/meminfo: memFree=1657552/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=0.02
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 376 2243 0 0 0 0 1 1 19 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5352
[startup+0.518258 s]
/proc/loadavg: 1.81 1.90 1.81 5/87 14615
/proc/meminfo: memFree=1657552/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=0.02
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 376 2243 0 0 0 0 1 1 19 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5352
[startup+1.34434 s]
/proc/loadavg: 1.81 1.90 1.81 3/88 14627
/proc/meminfo: memFree=1620168/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=0.02
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 376 2243 0 0 0 0 1 1 19 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14627] ppid=14614 vsize=40156 CPUtime=1.25
/proc/14627/stat : 14627 (bordewijk) R 14614 14614 7679 0 -1 4194304 9305 0 0 0 16 109 0 0 25 0 1 0 176977556 41119744 9264 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14627/statm: 10039 9264 217 97 0 9320 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 45508
[startup+2.98351 s]
/proc/loadavg: 1.81 1.90 1.81 2/82 14639
/proc/meminfo: memFree=1657592/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=0.88
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8843 0 0 0 45 43 0 0 25 0 1 0 176977756 39555072 8818 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987271 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8818 135 64 0 8972 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 43980
[startup+6.25986 s]
/proc/loadavg: 1.74 1.88 1.81 2/79 14645
/proc/meminfo: memFree=1645320/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=4.16
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8843 0 0 0 373 43 0 0 25 0 1 0 176977756 39555072 8818 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8818 135 64 0 8972 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 43980
[startup+12.7245 s]
/proc/loadavg: 1.68 1.87 1.80 2/79 14645
/proc/meminfo: memFree=1645336/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=10.62
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 1019 43 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 43980
[startup+25.5339 s]
/proc/loadavg: 1.53 1.82 1.79 2/79 14645
/proc/meminfo: memFree=1645464/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=23.43
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 2300 43 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43980
[startup+51.1756 s]
/proc/loadavg: 1.35 1.76 1.77 2/79 14645
/proc/meminfo: memFree=1645720/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=49.07
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 4863 44 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987297 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43980
[startup+102.442 s]
/proc/loadavg: 1.15 1.64 1.72 2/79 14645
/proc/meminfo: memFree=1645784/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=100.32
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 9988 44 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 43980
[startup+162.532 s]
/proc/loadavg: 1.05 1.52 1.68 2/79 14645
/proc/meminfo: memFree=1645784/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=160.39
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 15995 44 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134983349 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 162.4
Current children cumulated vsize (KiB) 43980
[startup+222.617 s]
/proc/loadavg: 1.02 1.42 1.63 2/79 14645
/proc/meminfo: memFree=1645784/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=220.46
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 22002 44 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 43980
[startup+282.703 s]
/proc/loadavg: 1.00 1.34 1.59 2/79 14645
/proc/meminfo: memFree=1645784/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=280.54
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 8844 0 0 0 28009 45 0 0 25 0 1 0 176977756 39555072 8819 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 8819 136 64 0 8972 0
Current children cumulated CPU time (s) 282.55
Current children cumulated vsize (KiB) 43980
[startup+342.79 s]
/proc/loadavg: 1.00 1.28 1.55 2/79 14645
/proc/meminfo: memFree=1645016/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=340.61
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 34016 45 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 342.62
Current children cumulated vsize (KiB) 43980
[startup+402.88 s]
/proc/loadavg: 1.00 1.22 1.51 2/79 14645
/proc/meminfo: memFree=1645016/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=400.68
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 40023 45 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 402.69
Current children cumulated vsize (KiB) 43980
[startup+462.967 s]
/proc/loadavg: 1.00 1.18 1.48 2/79 14645
/proc/meminfo: memFree=1644952/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=460.75
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 46030 45 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134965777 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 462.76
Current children cumulated vsize (KiB) 43980
[startup+523.053 s]
/proc/loadavg: 1.00 1.14 1.44 2/79 14645
/proc/meminfo: memFree=1644952/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=520.82
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 52036 46 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 522.83
################
# More data... #
################
/proc/loadavg: 1.00 1.03 1.23 2/79 14843
/proc/meminfo: memFree=1644696/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1121.46
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 112087 59 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134963376 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1123.47
Current children cumulated vsize (KiB) 43980
[startup+1183.93 s]
/proc/loadavg: 1.00 1.02 1.21 2/79 14843
/proc/meminfo: memFree=1644696/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1181.53
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 118094 59 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1183.54
Current children cumulated vsize (KiB) 43980
[startup+1244.02 s]
/proc/loadavg: 1.00 1.01 1.19 2/79 14843
/proc/meminfo: memFree=1644632/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1241.59
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 124100 59 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1243.6
Current children cumulated vsize (KiB) 43980
[startup+1304.11 s]
/proc/loadavg: 1.00 1.01 1.18 2/79 14843
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1301.68
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 130108 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1303.69
Current children cumulated vsize (KiB) 43980
[startup+1364.19 s]
/proc/loadavg: 1.00 1.00 1.16 2/79 14843
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1361.74
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 136114 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1363.75
Current children cumulated vsize (KiB) 43980
[startup+1424.27 s]
/proc/loadavg: 1.00 1.00 1.15 2/79 14843
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1421.81
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 142121 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1423.82
Current children cumulated vsize (KiB) 43980
[startup+1484.36 s]
/proc/loadavg: 1.04 1.01 1.15 2/79 14843
/proc/meminfo: memFree=1644504/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1481.88
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 148128 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1483.89
Current children cumulated vsize (KiB) 43980
[startup+1544.44 s]
/proc/loadavg: 1.01 1.01 1.14 2/79 14843
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1541.95
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 154135 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1543.96
Current children cumulated vsize (KiB) 43980
[startup+1604.53 s]
/proc/loadavg: 1.00 1.00 1.12 2/79 14843
/proc/meminfo: memFree=1644504/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1602.02
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 160142 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134983909 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1604.03
Current children cumulated vsize (KiB) 43980
[startup+1664.61 s]
/proc/loadavg: 1.00 1.00 1.11 2/79 14843
/proc/meminfo: memFree=1644568/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1662.09
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 166149 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1664.1
Current children cumulated vsize (KiB) 43980
[startup+1724.71 s]
/proc/loadavg: 1.00 1.00 1.10 2/79 14845
/proc/meminfo: memFree=1644312/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1722.16
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 172156 60 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987362 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1724.17
Current children cumulated vsize (KiB) 43980
[startup+1784.79 s]
/proc/loadavg: 1.07 1.02 1.09 2/79 14845
/proc/meminfo: memFree=1644312/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1782.23
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 178162 61 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134987299 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1784.24
Current children cumulated vsize (KiB) 43980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.58 s]
/proc/loadavg: 1.05 1.01 1.09 2/79 14845
/proc/meminfo: memFree=1644376/2055920 swapFree=4192812/4192956
[pid=14614] ppid=14612 vsize=5352 CPUtime=2.01
/proc/14614/stat : 14614 (solver) S 14612 14614 7679 0 -1 4194304 396 11549 0 0 0 0 21 180 16 0 1 0 176977548 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14614/statm: 1338 242 203 169 0 49 0
[pid=14639] ppid=14614 vsize=38628 CPUtime=1798.03
/proc/14639/stat : 14639 (standalone) R 14614 14614 7679 0 -1 4194304 9072 0 0 0 179742 61 0 0 25 0 1 0 176977756 39555072 9047 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554225 0 0 4096 0 0 0 0 17 0 0 0
/proc/14639/statm: 9657 9047 137 64 0 8972 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 43980
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 14614 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=218966 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=803725
CPU time returned by wait4() is 2.02269
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1800.6
CPU time (s): 1800.04
CPU user time (s): 1797.63
CPU system time (s): 2.41
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 45508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.218966
system time used= 1.80373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11945
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= 82
involuntary context switches= 75
runsolver used 1.60875 s user time and 4.82427 s system time
The end
Begin job on node7 on Mon Jan 8 19:50:21 UTC 2007
IDJOB= 198948
IDBENCH= 3583
FILE ID= node7/198948-1168285820
PBS_JOBID= 3501637
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/knights/knights-100-25.xml
COMMAND LINE= /tmp/evaluation/198948-1168285820/solver /tmp/evaluation/198948-1168285820/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-198948-1168285820 -o ROOT/results/node7/solver-198948-1168285820 -C 1800 -M 900 /tmp/evaluation/198948-1168285820/solver /tmp/evaluation/198948-1168285820/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 9d35ec6817208fafbfd82c9a9e9d58e8
RANDOM SEED= 476321270
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: 1658032 kB
Buffers: 70236 kB
Cached: 206932 kB
SwapCached: 0 kB
Active: 240816 kB
Inactive: 102348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10804 kB
Writeback: 0 kB
Mapped: 86084 kB
Slab: 39476 kB
Committed_AS: 5453616 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= 66551 MiB
End job on node7 on Mon Jan 8 20:20:22 UTC 2007