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-4242071-1500630983/watcher-4242071-1500630983 -o /tmp/evaluation-result-4242071-1500630983/solver-4242071-1500630983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500623775-4964 --watchdog 2560 BTD 2400 HOME/instance-4242071-1500630983.xml
pid=5928
running on 4 cores: 0,2,4,6
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.92 2.00 2.03 2/186 5931
/proc/meminfo: memFree=31456960/32770624 swapFree=6716/326384
[pid=5931] ppid=5928 vsize=30932 CPUtime=0 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 16538341 31674368 295 33554432000 4194304 35031059 140722724895648 140722724895648 6458464 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 7733 295 230 7529 0 180 0
[startup+0.100195 s]
/proc/loadavg: 1.92 2.00 2.03 2/186 5931
/proc/meminfo: memFree=31456960/32770624 swapFree=6716/326384
[pid=5931] ppid=5928 vsize=35416 CPUtime=0.09 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 1592 0 0 0 9 0 0 0 20 0 1 0 16538341 36265984 1451 33554432000 4194304 35031059 140722724895648 140722724891608 7408842 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 8854 1451 232 7529 0 1301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35416
[startup+0.200359 s]
/proc/loadavg: 1.92 2.00 2.03 2/186 5931
/proc/meminfo: memFree=31456960/32770624 swapFree=6716/326384
[pid=5931] ppid=5928 vsize=40648 CPUtime=0.19 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 2922 0 0 0 19 0 0 0 20 0 1 0 16538341 41623552 2759 33554432000 4194304 35031059 140722724895648 140722724891608 7408842 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 10162 2759 232 7529 0 2609 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40648
[startup+0.300332 s]
/proc/loadavg: 1.92 2.00 2.03 2/186 5931
/proc/meminfo: memFree=31456960/32770624 swapFree=6716/326384
[pid=5931] ppid=5928 vsize=46008 CPUtime=0.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 4233 0 0 0 29 0 0 0 20 0 1 0 16538341 47112192 4101 33554432000 4194304 35031059 140722724895648 140722724891608 7993657 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 11502 4101 232 7529 0 3949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46008
[startup+0.700338 s]
/proc/loadavg: 1.92 2.00 2.03 2/186 5931
/proc/meminfo: memFree=31456960/32770624 swapFree=6716/326384
[pid=5931] ppid=5928 vsize=67128 CPUtime=0.69 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 9585 0 0 0 69 0 0 0 20 0 1 0 16538341 68739072 9452 33554432000 4194304 35031059 140722724895648 140722724894216 6458096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9452 298 7529 0 9229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67128
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.03 3/200 5961
/proc/meminfo: memFree=31533644/32770624 swapFree=6716/326412
[pid=5931] ppid=5928 vsize=67128 CPUtime=1.49 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 9585 0 0 0 149 0 0 0 20 0 1 0 16538341 68739072 9452 33554432000 4194304 35031059 140722724895648 140722724894216 4445172 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9452 298 7529 0 9229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67128
[startup+3.10034 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 5993
/proc/meminfo: memFree=31420736/32770624 swapFree=6716/326540
[pid=5931] ppid=5928 vsize=67128 CPUtime=3.08 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 11934 0 0 0 308 0 0 0 20 0 1 0 16538341 68739072 9453 33554432000 4194304 35031059 140722724895648 140722724894216 6457979 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9453 298 7529 0 9229 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67128
[startup+6.30028 s]
/proc/loadavg: 1.85 1.98 2.02 3/187 5993
/proc/meminfo: memFree=31151320/32770624 swapFree=6716/326584
[pid=5931] ppid=5928 vsize=67128 CPUtime=6.28 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 14299 0 0 0 628 0 0 0 20 0 1 0 16538341 68739072 9453 33554432000 4194304 35031059 140722724895648 140722724894216 4445163 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9453 298 7529 0 9229 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67128
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.02 3/187 5993
/proc/meminfo: memFree=31149940/32770624 swapFree=6716/326592
[pid=5931] ppid=5928 vsize=67128 CPUtime=12.69 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 15177 0 0 0 1268 1 0 0 20 0 1 0 16538341 68739072 9453 33554432000 4194304 35031059 140722724895648 140722724894216 4445163 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9453 298 7529 0 9229 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67128
[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.04 6/200 6022
/proc/meminfo: memFree=31176600/32770624 swapFree=6716/326636
[pid=5931] ppid=5928 vsize=67128 CPUtime=25.48 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16106 0 0 0 2547 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390142 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67128
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.04 3/187 6057
/proc/meminfo: memFree=31543396/32770624 swapFree=6716/326648
[pid=5931] ppid=5928 vsize=67128 CPUtime=51.08 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16131 0 0 0 5107 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390011 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67128
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 6059
/proc/meminfo: memFree=31544108/32770624 swapFree=6716/326688
[pid=5931] ppid=5928 vsize=67128 CPUtime=102.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16156 0 0 0 10228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390126 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 67128
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 6060
/proc/meminfo: memFree=31543320/32770624 swapFree=6716/326732
[pid=5931] ppid=5928 vsize=67128 CPUtime=162.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16181 0 0 0 16228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389906 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 67128
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6068
/proc/meminfo: memFree=31542900/32770624 swapFree=6716/326756
[pid=5931] ppid=5928 vsize=67128 CPUtime=222.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16206 0 0 0 22228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67128
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/187 6091
/proc/meminfo: memFree=31542420/32770624 swapFree=6716/326800
[pid=5931] ppid=5928 vsize=67128 CPUtime=282.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16231 0 0 0 28228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390142 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 67128
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/187 6092
/proc/meminfo: memFree=31543392/32770624 swapFree=6716/326836
[pid=5931] ppid=5928 vsize=67128 CPUtime=342.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16256 0 0 0 34228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 67128
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 6093
/proc/meminfo: memFree=31543908/32770624 swapFree=6716/326876
[pid=5931] ppid=5928 vsize=67128 CPUtime=402.29 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16281 0 0 0 40228 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 67128
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6094
/proc/meminfo: memFree=31543868/32770624 swapFree=6716/326908
[pid=5931] ppid=5928 vsize=67128 CPUtime=462.3 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16306 0 0 0 46229 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 67128
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6095
/proc/meminfo: memFree=31544320/32770624 swapFree=6716/326928
[pid=5931] ppid=5928 vsize=67128 CPUtime=522.3 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16330 0 0 0 52229 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 67128
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6096
/proc/meminfo: memFree=31544264/32770624 swapFree=6716/326964
[pid=5931] ppid=5928 vsize=67128 CPUtime=582.3 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16354 0 0 0 58229 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 67128
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6125
/proc/meminfo: memFree=31543844/32770624 swapFree=6716/327436
[pid=5931] ppid=5928 vsize=67128 CPUtime=1482.33 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16714 0 0 0 148232 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 67128
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6126
/proc/meminfo: memFree=31543732/32770624 swapFree=6716/327460
[pid=5931] ppid=5928 vsize=67128 CPUtime=1542.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16738 0 0 0 154233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 67128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6127
/proc/meminfo: memFree=31543844/32770624 swapFree=6716/327496
[pid=5931] ppid=5928 vsize=67128 CPUtime=1602.33 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16762 0 0 0 160232 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 67128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6128
/proc/meminfo: memFree=31544108/32770624 swapFree=6716/327532
[pid=5931] ppid=5928 vsize=67128 CPUtime=1662.33 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16786 0 0 0 166232 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390011 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 67128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6130
/proc/meminfo: memFree=31544728/32770624 swapFree=6716/327548
[pid=5931] ppid=5928 vsize=67128 CPUtime=1722.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16810 0 0 0 172233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 67128
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 6131
/proc/meminfo: memFree=31544084/32770624 swapFree=6716/327588
[pid=5931] ppid=5928 vsize=67128 CPUtime=1782.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16834 0 0 0 178233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 67128
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6132
/proc/meminfo: memFree=31543500/32770624 swapFree=6716/327620
[pid=5931] ppid=5928 vsize=67128 CPUtime=1842.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16859 0 0 0 184233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389624 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 67128
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6134
/proc/meminfo: memFree=31544120/32770624 swapFree=6716/327648
[pid=5931] ppid=5928 vsize=67128 CPUtime=1902.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16884 0 0 0 190233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389906 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 67128
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6135
/proc/meminfo: memFree=31543904/32770624 swapFree=6716/327692
[pid=5931] ppid=5928 vsize=67128 CPUtime=1962.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16909 0 0 0 196233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 67128
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 6144
/proc/meminfo: memFree=31542792/32770624 swapFree=6716/327716
[pid=5931] ppid=5928 vsize=67128 CPUtime=2022.34 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16934 0 0 0 202233 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 67128
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6145
/proc/meminfo: memFree=31543572/32770624 swapFree=6716/327760
[pid=5931] ppid=5928 vsize=67128 CPUtime=2082.35 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16959 0 0 0 208234 1 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389586 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 67128
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6146
/proc/meminfo: memFree=31543672/32770624 swapFree=6716/327796
[pid=5931] ppid=5928 vsize=67128 CPUtime=2142.36 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 16984 0 0 0 214234 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 67128
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6147
/proc/meminfo: memFree=31545024/32770624 swapFree=6716/327820
[pid=5931] ppid=5928 vsize=67128 CPUtime=2202.36 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 17014 0 0 0 220234 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4390011 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 67128
[startup+2262.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 6148
/proc/meminfo: memFree=31545244/32770624 swapFree=6716/327856
[pid=5931] ppid=5928 vsize=67128 CPUtime=2262.36 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 17039 0 0 0 226234 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 67128
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 6149
/proc/meminfo: memFree=31545184/32770624 swapFree=6716/327876
[pid=5931] ppid=5928 vsize=67128 CPUtime=2322.36 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 17064 0 0 0 232234 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389995 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 67128
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6150
/proc/meminfo: memFree=31544844/32770624 swapFree=6716/327916
[pid=5931] ppid=5928 vsize=67128 CPUtime=2382.36 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 17089 0 0 0 238234 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 67128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6150
/proc/meminfo: memFree=31545012/32770624 swapFree=6716/327924
[pid=5931] ppid=5928 vsize=67128 CPUtime=2400.06 cores=0,2,4,6
/proc/5931/stat : 5931 (BTD) R 5928 5931 4933 0 -1 4202496 17114 0 0 0 240004 2 0 0 20 0 1 0 16538341 68739072 9454 33554432000 4194304 35031059 140722724895648 140722724894216 4389906 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 57188352 140722724902138 140722724902214 140722724902214 140722724904913 0
/proc/5931/statm: 16782 9454 299 7529 0 9229 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 67128
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 5931 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): 2400
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.02
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 67128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.02
maximum resident set size= 37816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17114
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= 10
involuntary context switches= 124214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5468 second user time and 7.65294 second system time
The end