runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-232295-1168321331 -o ROOT/results/node5/solver-232295-1168321331 -C 1800 -M 900 /tmp/evaluation/232295-1168321331/solver2 /tmp/evaluation/232295-1168321331/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.00 2.01 1.94 5/94 8309
/proc/meminfo: memFree=1132408/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0
/proc/8308/stat : 8308 (solver2) R 8306 8308 6909 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 160747702 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8308/statm: 1338 231 193 169 0 49 0
[pid=8310] ppid=8308 vsize=5352 CPUtime=0
/proc/8310/stat : 8310 (solver2) R 8308 8308 6909 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 160747702 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8310/statm: 1338 231 193 169 0 49 0
[startup+0.104815 s]
/proc/loadavg: 2.00 2.01 1.94 5/94 8309
/proc/meminfo: memFree=1132408/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0.07
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 376 2300 0 0 0 0 6 1 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5352
[startup+0.512864 s]
/proc/loadavg: 2.00 2.01 1.94 5/94 8309
/proc/meminfo: memFree=1132408/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0.07
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 376 2300 0 0 0 0 6 1 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5352
[startup+1.33395 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 8321
/proc/meminfo: memFree=1097512/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0.07
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 376 2300 0 0 0 0 6 1 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8321] ppid=8308 vsize=27812 CPUtime=1.22
/proc/8321/stat : 8321 (bordewijk) R 8308 8308 6909 0 -1 4194304 7726 0 0 0 115 7 0 0 25 0 1 0 160747712 28479488 6674 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134826321 0 0 4096 0 0 0 0 17 1 0 0
/proc/8321/statm: 6953 6674 169 97 0 6531 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 33164
[startup+2.97214 s]
/proc/loadavg: 2.00 2.01 1.94 4/95 8321
/proc/meminfo: memFree=1030760/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0.07
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 376 2300 0 0 0 0 6 1 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8321] ppid=8308 vsize=130140 CPUtime=2.84
/proc/8321/stat : 8321 (bordewijk) R 8308 8308 6909 0 -1 4194304 35179 0 0 0 202 82 0 0 25 0 1 0 160747712 133263360 31374 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8321/statm: 32535 31374 217 97 0 31816 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 135492
[startup+6.26551 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 8321
/proc/meminfo: memFree=986664/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=0.07
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 376 2300 0 0 0 0 6 1 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8321] ppid=8308 vsize=130140 CPUtime=6.12
/proc/8321/stat : 8321 (bordewijk) R 8308 8308 6909 0 -1 4194304 35179 0 0 0 219 393 0 0 25 0 1 0 160747712 133263360 31374 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8321/statm: 32535 31374 217 97 0 31816 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135492
[startup+12.7312 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 8322
/proc/meminfo: memFree=1027752/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=5.36
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22143 0 0 0 414 122 0 0 25 0 1 0 160748435 95064064 22005 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073561541 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22005 136 64 0 22524 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 98188
[startup+25.5637 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 8322
/proc/meminfo: memFree=1027568/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=18.14
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22208 0 0 0 1692 122 0 0 25 0 1 0 160748435 95064064 22070 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073722005 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22070 137 64 0 22524 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 98188
[startup+51.2216 s]
/proc/loadavg: 2.00 2.01 1.94 3/95 8322
/proc/meminfo: memFree=1026480/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=43.68
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 4246 122 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073987938 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 98188
[startup+102.507 s]
/proc/loadavg: 2.00 2.00 1.94 3/95 8322
/proc/meminfo: memFree=1026608/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=94.78
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 9355 123 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073470125 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 98188
[startup+162.512 s]
/proc/loadavg: 2.00 2.00 1.94 3/95 8322
/proc/meminfo: memFree=1026544/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=154.55
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 15332 123 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073471458 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 98188
[startup+222.524 s]
/proc/loadavg: 2.00 2.00 1.94 3/95 8322
/proc/meminfo: memFree=1026544/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=214.34
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 21310 124 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4074001966 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 221.59
Current children cumulated vsize (KiB) 98188
[startup+282.531 s]
/proc/loadavg: 1.93 1.98 1.93 4/95 8396
/proc/meminfo: memFree=878448/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=274.09
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 27284 125 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073903593 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 281.34
Current children cumulated vsize (KiB) 98188
[startup+342.544 s]
/proc/loadavg: 2.24 2.06 1.96 3/95 8396
/proc/meminfo: memFree=426608/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=333.84
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 33259 125 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073482378 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 341.09
Current children cumulated vsize (KiB) 98188
[startup+402.551 s]
/proc/loadavg: 2.12 2.06 1.96 3/98 8447
/proc/meminfo: memFree=759192/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=393.52
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 39226 126 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073472801 0 0 4096 0 0 0 0 17 1 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 400.77
Current children cumulated vsize (KiB) 98188
[startup+462.592 s]
/proc/loadavg: 2.05 2.05 1.96 3/98 8447
/proc/meminfo: memFree=379480/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=453.04
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22527 0 0 0 45178 126 0 0 25 0 1 0 160748435 95064064 22389 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073935472 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23209 22389 137 64 0 22524 0
Current children cumulated CPU time (s) 460.29
Current children cumulated vsize (KiB) 98188
[startup+522.63 s]
/proc/loadavg: 2.01 2.04 1.96 3/98 8447
/proc/meminfo: memFree=306136/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92836 CPUtime=512.83
################
# More data... #
################
/proc/loadavg: 2.00 2.01 1.98 3/87 8710
/proc/meminfo: memFree=996840/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1110.31
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 110901 130 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073669593 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1117.56
Current children cumulated vsize (KiB) 98196
[startup+1183.29 s]
/proc/loadavg: 2.00 2.00 1.98 3/93 8856
/proc/meminfo: memFree=995640/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1170
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 116861 139 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554198 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1177.25
Current children cumulated vsize (KiB) 98196
[startup+1243.34 s]
/proc/loadavg: 2.06 2.01 1.99 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1229.72
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 122826 146 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073537634 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1236.97
Current children cumulated vsize (KiB) 98196
[startup+1303.39 s]
/proc/loadavg: 2.02 2.01 1.99 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1289.49
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 128803 146 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4074033965 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1296.74
Current children cumulated vsize (KiB) 98196
[startup+1363.44 s]
/proc/loadavg: 2.04 2.02 2.00 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1349.27
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 134781 146 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073623405 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1356.52
Current children cumulated vsize (KiB) 98196
[startup+1423.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1409.04
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 140758 146 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4074030714 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1416.29
Current children cumulated vsize (KiB) 98196
[startup+1483.55 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1468.83
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 146736 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554209 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1476.08
Current children cumulated vsize (KiB) 98196
[startup+1543.61 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1528.61
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 152714 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073663532 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1535.86
Current children cumulated vsize (KiB) 98196
[startup+1603.66 s]
/proc/loadavg: 2.04 2.01 2.00 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1588.38
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 158691 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073712877 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1595.63
Current children cumulated vsize (KiB) 98196
[startup+1663.71 s]
/proc/loadavg: 2.01 2.01 2.00 3/87 8908
/proc/meminfo: memFree=996648/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1648.16
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 164669 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134554206 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1655.41
Current children cumulated vsize (KiB) 98196
[startup+1723.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8908
/proc/meminfo: memFree=996776/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1707.94
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 170647 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073591021 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1715.19
Current children cumulated vsize (KiB) 98196
[startup+1783.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8908
/proc/meminfo: memFree=996776/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1767.71
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 176624 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4073718094 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1774.96
Current children cumulated vsize (KiB) 98196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 8908
/proc/meminfo: memFree=996840/2055920 swapFree=4192812/4192956
[pid=8308] ppid=8306 vsize=5352 CPUtime=7.25
/proc/8308/stat : 8308 (solver2) S 8306 8308 6909 0 -1 4194304 397 37480 0 0 0 0 232 493 16 0 1 0 160747702 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8308/statm: 1338 242 203 169 0 49 0
[pid=8322] ppid=8308 vsize=92844 CPUtime=1792.75
/proc/8322/stat : 8322 (standalone) R 8308 8308 6909 0 -1 4194304 22739 0 0 0 179128 147 0 0 25 0 1 0 160748435 95072256 22601 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134519668 0 0 4096 0 0 0 0 17 0 0 0
/proc/8322/statm: 23211 22601 138 64 0 22526 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 98196
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 8308 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=330645 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=939249
CPU time returned by wait4() is 7.26989
while last known CPU time is 1800
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.98
CPU time (s): 1800
CPU user time (s): 1793.6
CPU system time (s): 6.4
CPU usage (%): 99.5035
Max. virtual memory (cumulated for all children) (KiB): 135492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33065
system time used= 4.93925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37877
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= 158
involuntary context switches= 167
runsolver used 1.77073 s user time and 4.94825 s system time
The end
Begin job on node5 on Tue Jan 9 05:42:13 UTC 2007
IDJOB= 232295
IDBENCH= 6511
FILE ID= node5/232295-1168321331
PBS_JOBID= 3502667
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-100-3.xml
COMMAND LINE= /tmp/evaluation/232295-1168321331/solver2 /tmp/evaluation/232295-1168321331/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-232295-1168321331 -o ROOT/results/node5/solver-232295-1168321331 -C 1800 -M 900 /tmp/evaluation/232295-1168321331/solver2 /tmp/evaluation/232295-1168321331/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= c7321ffc592167f34f044d3f3740ddb3
RANDOM SEED= 105696569
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.240
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.240
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: 1132824 kB
Buffers: 82712 kB
Cached: 715200 kB
SwapCached: 0 kB
Active: 402908 kB
Inactive: 453720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1132824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10760 kB
Writeback: 0 kB
Mapped: 85208 kB
Slab: 51176 kB
Committed_AS: 4516860 kB
PageTables: 2264 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= 66529 MiB
End job on node5 on Tue Jan 9 06:12:22 UTC 2007