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-4260619-1502333105/watcher-4260619-1502333105 -o /tmp/evaluation-result-4260619-1502333105/solver-4260619-1502333105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502332249-26820 --watchdog 2580 BTD 2520 HOME/instance-4260619-1502333105.xml
pid=26846
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.14 1.27 1.66 3/183 26849
/proc/meminfo: memFree=31639776/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26849/stat : 26849 (runsolver) D 26846 26849 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 21651200 24240128 107 18446744073709551615 4194304 4338465 140724541230256 140724541227896 140434612118231 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 30986240 140724541235413 140724541235786 140724541235786 140724541239242 0
/proc/26849/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.14 1.27 1.66 3/183 26849
/proc/meminfo: memFree=31639776/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=32640 CPUtime=0.03 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1027 0 0 0 3 0 0 0 20 0 1 0 21651200 33423360 695 18446744073709551615 4194304 35031035 140727419316768 140727419316768 4641213 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 8160 695 238 7529 0 607 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32640
[startup+0.200284 s]
/proc/loadavg: 1.14 1.27 1.66 3/183 26849
/proc/meminfo: memFree=31639776/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=52468 CPUtime=0.12 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 6118 0 0 0 12 0 0 0 20 0 1 0 21651200 53727232 5397 18446744073709551615 4194304 35031035 140727419316768 140727419313944 7408826 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 13117 5397 251 7529 0 5564 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 52468
[startup+0.300345 s]
/proc/loadavg: 1.14 1.27 1.66 3/183 26849
/proc/meminfo: memFree=31639776/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=64960 CPUtime=0.23 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 9247 0 0 0 22 1 0 0 20 0 1 0 21651200 66519040 8499 18446744073709551615 4194304 35031035 140727419316768 140727419313944 6429792 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 16240 8499 251 7529 0 8687 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 64960
[startup+0.700309 s]
/proc/loadavg: 1.14 1.27 1.66 3/183 26849
/proc/meminfo: memFree=31639776/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=119996 CPUtime=0.62 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 23019 0 0 0 60 2 0 0 20 0 1 0 21651200 122875904 22293 18446744073709551615 4194304 35031035 140727419316768 140727419313944 6429792 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 29999 22293 251 7529 0 22446 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 119996
[startup+1.50029 s]
/proc/loadavg: 1.14 1.27 1.66 3/184 26850
/proc/meminfo: memFree=31499988/32770624 swapFree=0/351408
[pid=26849] ppid=26846 vsize=222500 CPUtime=1.42 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 48450 0 0 0 137 5 0 0 20 0 1 0 21651200 227840000 47703 18446744073709551615 4194304 35031035 140727419316768 140727419313944 4641188 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 55625 47703 251 7529 0 48072 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 222500
[startup+3.1003 s]
/proc/loadavg: 1.21 1.28 1.66 3/184 26850
/proc/meminfo: memFree=31356424/32770624 swapFree=0/351444
[pid=26849] ppid=26846 vsize=431676 CPUtime=3.02 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 110183 0 0 0 291 11 0 0 20 0 1 0 21651200 442036224 100261 18446744073709551615 4194304 35031035 140727419316768 140727419312472 6429792 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 107919 100261 252 7529 0 100366 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 431676
[startup+6.30031 s]
/proc/loadavg: 1.21 1.28 1.66 3/184 26850
/proc/meminfo: memFree=31097872/32770624 swapFree=0/351208
[pid=26849] ppid=26846 vsize=567352 CPUtime=6.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 281971 0 0 0 603 19 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419311800 7398297 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 567352
[startup+12.7003 s]
/proc/loadavg: 1.33 1.31 1.66 3/184 26850
/proc/meminfo: memFree=31097368/32770624 swapFree=0/351200
[pid=26849] ppid=26846 vsize=567352 CPUtime=12.62 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 412574 0 0 0 1238 24 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 6440512 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 567352
[startup+25.5004 s]
/proc/loadavg: 1.44 1.33 1.67 3/184 26850
/proc/meminfo: memFree=31097460/32770624 swapFree=0/351192
[pid=26849] ppid=26846 vsize=567352 CPUtime=25.42 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 540556 0 0 0 2512 30 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7416186 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 567352
[startup+51.1004 s]
/proc/loadavg: 1.63 1.38 1.68 3/184 26851
/proc/meminfo: memFree=31097536/32770624 swapFree=0/351196
[pid=26849] ppid=26846 vsize=567352 CPUtime=51.03 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 721820 0 0 0 5065 38 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376729 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 567352
[startup+102.3 s]
/proc/loadavg: 1.85 1.49 1.69 3/181 26853
/proc/meminfo: memFree=31100328/32770624 swapFree=0/351220
[pid=26849] ppid=26846 vsize=567352 CPUtime=102.23 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 831289 0 0 0 10180 43 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376558 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 567352
[startup+162.3 s]
/proc/loadavg: 1.95 1.58 1.71 3/181 26855
/proc/meminfo: memFree=31100972/32770624 swapFree=0/351232
[pid=26849] ppid=26846 vsize=567352 CPUtime=162.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 916266 0 0 0 16175 47 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7398412 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 567352
[startup+222.306 s]
/proc/loadavg: 2.01 1.67 1.73 3/181 26857
/proc/meminfo: memFree=31100652/32770624 swapFree=0/351248
[pid=26849] ppid=26846 vsize=567352 CPUtime=222.23 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 968566 0 0 0 22173 50 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7406616 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 567352
[startup+282.3 s]
/proc/loadavg: 2.01 1.73 1.75 3/181 26859
/proc/meminfo: memFree=31100864/32770624 swapFree=0/351272
[pid=26849] ppid=26846 vsize=567352 CPUtime=282.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 996570 0 0 0 28169 53 0 0 20 0 1 0 21651200 580968448 134347 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376729 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134347 291 7529 0 134285 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 567352
[startup+342.3 s]
/proc/loadavg: 2.00 1.78 1.77 3/181 26861
/proc/meminfo: memFree=31100228/32770624 swapFree=0/351288
[pid=26849] ppid=26846 vsize=567352 CPUtime=342.21 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 997380 0 0 0 34168 53 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7415454 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 567352
[startup+402.3 s]
/proc/loadavg: 2.00 1.82 1.78 3/181 26863
/proc/meminfo: memFree=31099024/32770624 swapFree=0/351312
[pid=26849] ppid=26846 vsize=567352 CPUtime=402.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 997675 0 0 0 40168 54 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376801 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 567352
[startup+462.3 s]
/proc/loadavg: 2.00 1.85 1.79 3/181 26865
/proc/meminfo: memFree=31098900/32770624 swapFree=0/351328
[pid=26849] ppid=26846 vsize=567352 CPUtime=462.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 997970 0 0 0 46168 54 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4346776 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 567352
[startup+522.3 s]
/proc/loadavg: 2.00 1.88 1.81 3/181 26867
/proc/meminfo: memFree=31099620/32770624 swapFree=0/351352
[pid=26849] ppid=26846 vsize=567352 CPUtime=522.22 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 998264 0 0 0 52167 55 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7415457 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 567352
[startup+582.3 s]
/proc/loadavg: 2.05 1.92 1.82 3/185 26884
/proc/meminfo: memFree=31094924/32770624 swapFree=0/351404
[pid=26849] ppid=26846 vsize=567352 CPUtime=582.23 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 998560 0 0 0 58167 56 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7416166 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 567352
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/181 26935
/proc/meminfo: memFree=31098900/32770624 swapFree=0/351748
[pid=26849] ppid=26846 vsize=567352 CPUtime=1602.24 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1003581 0 0 0 160154 70 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4346772 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 567352
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/181 26938
/proc/meminfo: memFree=31098984/32770624 swapFree=0/351772
[pid=26849] ppid=26846 vsize=567352 CPUtime=1662.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1003876 0 0 0 166154 71 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376765 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 567352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/181 26940
/proc/meminfo: memFree=31098736/32770624 swapFree=0/351776
[pid=26849] ppid=26846 vsize=567352 CPUtime=1722.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1004172 0 0 0 172154 71 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376784 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 567352
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.97 3/185 26957
/proc/meminfo: memFree=31093324/32770624 swapFree=0/351788
[pid=26849] ppid=26846 vsize=567352 CPUtime=1782.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1004467 0 0 0 178153 72 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7416160 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 567352
[startup+1842.3 s]
/proc/loadavg: 2.09 2.05 1.98 3/186 26984
/proc/meminfo: memFree=31093344/32770624 swapFree=0/351832
[pid=26849] ppid=26846 vsize=567352 CPUtime=1842.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1004762 0 0 0 184152 73 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7415457 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 567352
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/186 26986
/proc/meminfo: memFree=31094060/32770624 swapFree=0/351844
[pid=26849] ppid=26846 vsize=567352 CPUtime=1902.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1005058 0 0 0 190152 73 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4346776 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 567352
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/183 26988
/proc/meminfo: memFree=31097708/32770624 swapFree=0/351844
[pid=26849] ppid=26846 vsize=567352 CPUtime=1962.25 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1005353 0 0 0 196151 74 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7405833 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 567352
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/183 26990
/proc/meminfo: memFree=31098084/32770624 swapFree=0/351856
[pid=26849] ppid=26846 vsize=567352 CPUtime=2022.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1005648 0 0 0 202150 76 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376746 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 567352
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/182 26992
/proc/meminfo: memFree=31098100/32770624 swapFree=0/351876
[pid=26849] ppid=26846 vsize=567352 CPUtime=2082.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1005944 0 0 0 208150 76 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4346752 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 567352
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/181 26994
/proc/meminfo: memFree=31098364/32770624 swapFree=0/351888
[pid=26849] ppid=26846 vsize=567352 CPUtime=2142.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1006239 0 0 0 214149 77 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7398425 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 567352
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/181 26996
/proc/meminfo: memFree=31098244/32770624 swapFree=0/351908
[pid=26849] ppid=26846 vsize=567352 CPUtime=2202.27 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1006534 0 0 0 220149 78 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4346776 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 567352
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/181 26998
/proc/meminfo: memFree=31098536/32770624 swapFree=0/351916
[pid=26849] ppid=26846 vsize=567352 CPUtime=2262.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1006829 0 0 0 226147 79 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376729 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 567352
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/181 27000
/proc/meminfo: memFree=31098156/32770624 swapFree=0/351920
[pid=26849] ppid=26846 vsize=567352 CPUtime=2322.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1007123 0 0 0 232146 80 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376535 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 567352
[startup+2382.3 s]
/proc/loadavg: 2.11 2.04 1.99 3/185 27017
/proc/meminfo: memFree=31093576/32770624 swapFree=0/351940
[pid=26849] ppid=26846 vsize=567352 CPUtime=2382.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1007419 0 0 0 238145 81 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 7405808 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 567352
[startup+2442.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/185 27019
/proc/meminfo: memFree=31094284/32770624 swapFree=0/351976
[pid=26849] ppid=26846 vsize=567352 CPUtime=2442.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1007713 0 0 0 244144 82 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376729 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2442.26
Current children cumulated vsize (KiB) 567352
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 27021
/proc/meminfo: memFree=31097924/32770624 swapFree=0/351984
[pid=26849] ppid=26846 vsize=567352 CPUtime=2502.26 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1008009 0 0 0 250144 82 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376734 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 567352
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 27021
/proc/meminfo: memFree=31097924/32770624 swapFree=0/351984
[pid=26849] ppid=26846 vsize=567352 CPUtime=2519.97 cores=1,3,5,7
/proc/26849/stat : 26849 (BTD) R 26846 26849 6971 0 -1 4202496 1008151 0 0 0 251914 83 0 0 20 0 1 0 21651200 580968448 134500 18446744073709551615 4194304 35031035 140727419316768 140727419315768 4376729 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 58511360 140727419322885 140727419322961 140727419322961 140727419326417 0
/proc/26849/statm: 141838 134500 291 7529 0 134285 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 567352
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 26849 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.97
CPU user time (s): 2519.14
CPU system time (s): 0.831019
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 567352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.14
system time used= 0.831019
maximum resident set size= 538000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008151
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= 37
involuntary context switches= 639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03901 second user time and 11.2493 second system time
The end