runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242758-1500667675/watcher-4242758-1500667675 -o /tmp/evaluation-result-4242758-1500667675/solver-4242758-1500667675 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500667675-5213 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242758-1500667675.xml
pid=5235
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.57 1.92 2.01 3/240 5238
/proc/meminfo: memFree=32030020/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=27520 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1077 0 0 0 0 0 0 0 20 0 1 0 2034947 28180480 898 33554432000 4194304 5970956 140732683113808 140732683110456 140069650003453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 6880 898 703 434 0 244 0
[startup+0.100119 s]
/proc/loadavg: 1.57 1.92 2.01 3/240 5238
/proc/meminfo: memFree=32030020/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=29088 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1856 0 0 0 9 0 0 0 20 0 1 0 2034947 29786112 1366 33554432000 4194304 5970956 140732683113808 140732683101128 4918464 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1366 821 434 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29088
[startup+0.200259 s]
/proc/loadavg: 1.57 1.92 2.01 3/240 5238
/proc/meminfo: memFree=32030020/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=29088 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1856 0 0 0 19 0 0 0 20 0 1 0 2034947 29786112 1366 33554432000 4194304 5970956 140732683113808 140732683101128 5136629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1366 821 434 0 636 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29088
[startup+0.300208 s]
/proc/loadavg: 1.57 1.92 2.01 3/240 5238
/proc/meminfo: memFree=32030020/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=29088 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1856 0 0 0 29 0 0 0 20 0 1 0 2034947 29786112 1366 33554432000 4194304 5970956 140732683113808 140732683101128 5136634 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1366 821 434 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29088
[startup+0.700173 s]
/proc/loadavg: 1.57 1.92 2.01 3/240 5238
/proc/meminfo: memFree=32030020/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=29088 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1863 0 0 0 69 0 0 0 20 0 1 0 2034947 29786112 1366 33554432000 4194304 5970956 140732683113808 140732683101128 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1366 821 434 0 636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29088
[startup+1.50017 s]
/proc/loadavg: 1.57 1.92 2.01 3/244 5245
/proc/meminfo: memFree=32023656/32770624 swapFree=5776/220652
[pid=5238] ppid=5235 vsize=29088 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 1864 0 0 0 149 0 0 0 20 0 1 0 2034947 29786112 1366 33554432000 4194304 5970956 140732683113808 140732683101128 5031424 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1366 821 434 0 636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29088
[startup+3.10018 s]
/proc/loadavg: 1.57 1.92 2.01 3/244 5245
/proc/meminfo: memFree=32022672/32770624 swapFree=5776/220708
[pid=5238] ppid=5235 vsize=29088 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 2270 0 0 0 309 0 0 0 20 0 1 0 2034947 29786112 1407 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1407 853 434 0 636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29088
[startup+6.30017 s]
/proc/loadavg: 1.60 1.92 2.01 3/244 5245
/proc/meminfo: memFree=32022720/32770624 swapFree=5776/220376
[pid=5238] ppid=5235 vsize=29088 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 2678 0 0 0 628 0 0 0 20 0 1 0 2034947 29786112 1407 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1407 853 434 0 636 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29088
[startup+12.7002 s]
/proc/loadavg: 1.63 1.92 2.01 3/244 5245
/proc/meminfo: memFree=32022136/32770624 swapFree=5776/220452
[pid=5238] ppid=5235 vsize=29088 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 3087 0 0 0 1268 0 0 0 20 0 1 0 2034947 29786112 1407 33554432000 4194304 5970956 140732683113808 140732683101128 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1407 853 434 0 636 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29088
[startup+25.5002 s]
/proc/loadavg: 1.72 1.92 2.01 3/244 5245
/proc/meminfo: memFree=32022136/32770624 swapFree=5776/220472
[pid=5238] ppid=5235 vsize=29088 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 3895 0 0 0 2548 0 0 0 20 0 1 0 2034947 29786112 1407 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1407 853 434 0 636 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29088
[startup+51.1002 s]
/proc/loadavg: 1.81 1.93 2.01 3/244 5245
/proc/meminfo: memFree=32022260/32770624 swapFree=5776/220484
[pid=5238] ppid=5235 vsize=29088 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 4312 0 0 0 5107 0 0 0 20 0 1 0 2034947 29786112 1408 33554432000 4194304 5970956 140732683113808 140732683101128 5031460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1408 853 434 0 636 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29088
[startup+102.3 s]
/proc/loadavg: 1.99 1.96 2.02 3/244 5246
/proc/meminfo: memFree=32020896/32770624 swapFree=5776/220520
[pid=5238] ppid=5235 vsize=29088 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 4722 0 0 0 10227 1 0 0 20 0 1 0 2034947 29786112 1408 33554432000 4194304 5970956 140732683113808 140732683101128 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1408 853 434 0 636 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29088
[startup+162.3 s]
/proc/loadavg: 2.14 1.99 2.03 3/244 5254
/proc/meminfo: memFree=32020900/32770624 swapFree=5776/220560
[pid=5238] ppid=5235 vsize=29088 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 5128 0 0 0 16225 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29088
[startup+222.308 s]
/proc/loadavg: 2.05 1.99 2.03 3/244 5255
/proc/meminfo: memFree=32021504/32770624 swapFree=5776/220592
[pid=5238] ppid=5235 vsize=29088 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 5540 0 0 0 22225 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29088
[startup+282.3 s]
/proc/loadavg: 2.02 1.99 2.03 3/244 5256
/proc/meminfo: memFree=32021728/32770624 swapFree=5776/220612
[pid=5238] ppid=5235 vsize=29088 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 5946 0 0 0 28223 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29088
[startup+342.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/243 5257
/proc/meminfo: memFree=32021844/32770624 swapFree=5776/220644
[pid=5238] ppid=5235 vsize=29088 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 6352 0 0 0 34222 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29088
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 5258
/proc/meminfo: memFree=32021712/32770624 swapFree=5776/220664
[pid=5238] ppid=5235 vsize=29088 CPUtime=402.22 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 6758 0 0 0 40221 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 29088
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 5259
/proc/meminfo: memFree=32021572/32770624 swapFree=5776/220696
[pid=5238] ppid=5235 vsize=29088 CPUtime=462.21 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 7167 0 0 0 46220 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 29088
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 5260
/proc/meminfo: memFree=32022128/32770624 swapFree=5776/220724
[pid=5238] ppid=5235 vsize=29088 CPUtime=522.2 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 7573 0 0 0 52219 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29088
[startup+582.3 s]
/proc/loadavg: 2.08 2.01 2.03 3/243 5261
/proc/meminfo: memFree=32022128/32770624 swapFree=5776/220748
[pid=5238] ppid=5235 vsize=29088 CPUtime=582.19 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 7979 0 0 0 58218 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29088
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 5293
/proc/meminfo: memFree=32018440/32770624 swapFree=5776/221216
[pid=5238] ppid=5235 vsize=29088 CPUtime=1542.02 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 14431 0 0 0 154201 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 29088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 5294
/proc/meminfo: memFree=32018820/32770624 swapFree=5776/221240
[pid=5238] ppid=5235 vsize=29088 CPUtime=1602 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 14832 0 0 0 160199 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136795 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 29088
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 5295
/proc/meminfo: memFree=32018304/32770624 swapFree=5776/221272
[pid=5238] ppid=5235 vsize=29088 CPUtime=1661.99 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 15237 0 0 0 166198 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 29088
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5296
/proc/meminfo: memFree=32018604/32770624 swapFree=5776/221304
[pid=5238] ppid=5235 vsize=29088 CPUtime=1721.98 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 15643 0 0 0 172197 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 29088
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5297
/proc/meminfo: memFree=32018600/32770624 swapFree=5776/221332
[pid=5238] ppid=5235 vsize=29088 CPUtime=1781.97 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 16043 0 0 0 178196 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 29088
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5298
/proc/meminfo: memFree=32019272/32770624 swapFree=5776/221364
[pid=5238] ppid=5235 vsize=29088 CPUtime=1841.96 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 16439 0 0 0 184195 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 29088
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5299
/proc/meminfo: memFree=32020000/32770624 swapFree=5776/221392
[pid=5238] ppid=5235 vsize=29088 CPUtime=1901.95 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 16846 0 0 0 190194 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1901.95
Current children cumulated vsize (KiB) 29088
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5307
/proc/meminfo: memFree=32019468/32770624 swapFree=5776/221424
[pid=5238] ppid=5235 vsize=29088 CPUtime=1961.94 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 17240 0 0 0 196193 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 1961.94
Current children cumulated vsize (KiB) 29088
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5308
/proc/meminfo: memFree=32020016/32770624 swapFree=5776/221456
[pid=5238] ppid=5235 vsize=29088 CPUtime=2021.93 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 17637 0 0 0 202192 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5031739 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2021.93
Current children cumulated vsize (KiB) 29088
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5309
/proc/meminfo: memFree=32019788/32770624 swapFree=5776/221484
[pid=5238] ppid=5235 vsize=29088 CPUtime=2081.93 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 18029 0 0 0 208192 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2081.93
Current children cumulated vsize (KiB) 29088
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5310
/proc/meminfo: memFree=32019352/32770624 swapFree=5776/221512
[pid=5238] ppid=5235 vsize=29088 CPUtime=2141.91 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 18421 0 0 0 214190 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2141.91
Current children cumulated vsize (KiB) 29088
[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 5311
/proc/meminfo: memFree=32018680/32770624 swapFree=5776/221536
[pid=5238] ppid=5235 vsize=29088 CPUtime=2201.91 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 18827 0 0 0 220190 1 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 29088
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 5312
/proc/meminfo: memFree=32017912/32770624 swapFree=5776/221572
[pid=5238] ppid=5235 vsize=29088 CPUtime=2261.9 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 19227 0 0 0 226188 2 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5031460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2261.9
Current children cumulated vsize (KiB) 29088
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5313
/proc/meminfo: memFree=32018908/32770624 swapFree=5776/221588
[pid=5238] ppid=5235 vsize=29088 CPUtime=2321.89 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 19633 0 0 0 232187 2 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5031455 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2321.89
Current children cumulated vsize (KiB) 29088
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5314
/proc/meminfo: memFree=32019092/32770624 swapFree=5776/221612
[pid=5238] ppid=5235 vsize=29088 CPUtime=2381.88 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 20034 0 0 0 238186 2 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5136620 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2381.88
Current children cumulated vsize (KiB) 29088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5314
/proc/meminfo: memFree=32019092/32770624 swapFree=5776/221612
[pid=5238] ppid=5235 vsize=29088 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 20434 0 0 0 240005 2 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5320472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 29088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5238 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5314
/proc/meminfo: memFree=32019092/32770624 swapFree=5776/221612
[pid=5238] ppid=5235 vsize=29088 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/5238/stat : 5238 (cosoco) R 5235 5238 2451 0 -1 4202496 20434 0 0 0 240005 2 0 0 20 0 1 0 2034947 29786112 1409 33554432000 4194304 5970956 140732683113808 140732683101128 5320472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 39137280 140732683121857 140732683121987 140732683121987 140732683124686 0
/proc/5238/statm: 7272 1409 853 434 0 636 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 29088
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.08
CPU user time (s): 2400.06
CPU system time (s): 0.020996
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 29088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.020996
maximum resident set size= 5760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20460
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= 15
involuntary context switches= 121987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49545 second user time and 10.4447 second system time
The end