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-4242067-1500630981/watcher-4242067-1500630981 -o /tmp/evaluation-result-4242067-1500630981/solver-4242067-1500630981 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500623775-3431 --watchdog 2560 BTD 2400 HOME/instance-4242067-1500630981.xml
pid=5437
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: 2.00 2.01 2.05 3/186 5440
/proc/meminfo: memFree=30908024/32770624 swapFree=6792/945576
[pid=5440] ppid=5437 vsize=30936 CPUtime=0 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 16531639 31678464 324 33554432000 4194304 35031059 140726583016688 140726583016688 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 7734 324 232 7529 0 181 0
[startup+0.100173 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5440
/proc/meminfo: memFree=30908024/32770624 swapFree=6792/945576
[pid=5440] ppid=5437 vsize=34088 CPUtime=0.09 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 1269 0 0 0 9 0 0 0 20 0 1 0 16531639 34906112 1119 33554432000 4194304 35031059 140726583016688 140726583012456 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 8522 1119 232 7529 0 969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34088
[startup+0.200371 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5440
/proc/meminfo: memFree=30908024/32770624 swapFree=6792/945576
[pid=5440] ppid=5437 vsize=38840 CPUtime=0.19 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 2458 0 0 0 19 0 0 0 20 0 1 0 16531639 39772160 2307 33554432000 4194304 35031059 140726583016688 140726583012088 7406518 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 9710 2307 232 7529 0 2157 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38840
[startup+0.300346 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5440
/proc/meminfo: memFree=30908024/32770624 swapFree=6792/945576
[pid=5440] ppid=5437 vsize=44648 CPUtime=0.29 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 3921 0 0 0 29 0 0 0 20 0 1 0 16531639 45719552 3759 33554432000 4194304 35031059 140726583016688 140726583011928 4632155 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 11162 3759 232 7529 0 3609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44648
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5440
/proc/meminfo: memFree=30908024/32770624 swapFree=6792/945576
[pid=5440] ppid=5437 vsize=52688 CPUtime=0.7 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 5974 0 0 0 69 1 0 0 20 0 1 0 16531639 53952512 5777 33554432000 4194304 35031059 140726583016688 140726583015384 4445183 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5777 292 7529 0 5619 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 52688
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30885812/32770624 swapFree=6792/945564
[pid=5440] ppid=5437 vsize=52688 CPUtime=1.49 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 5974 0 0 0 148 1 0 0 20 0 1 0 16531639 53952512 5777 33554432000 4194304 35031059 140726583016688 140726583015384 4445172 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5777 292 7529 0 5619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52688
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30885440/32770624 swapFree=6792/945564
[pid=5440] ppid=5437 vsize=52688 CPUtime=3.09 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 7694 0 0 0 308 1 0 0 20 0 1 0 16531639 53952512 5842 33554432000 4194304 35031059 140726583016688 140726583015384 4445159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5842 297 7529 0 5619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52688
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30884428/32770624 swapFree=6792/945572
[pid=5440] ppid=5437 vsize=52688 CPUtime=6.29 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9410 0 0 0 628 1 0 0 20 0 1 0 16531639 53952512 5842 33554432000 4194304 35031059 140726583016688 140726583015384 4445159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5842 297 7529 0 5619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52688
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30884056/32770624 swapFree=6792/945572
[pid=5440] ppid=5437 vsize=52688 CPUtime=12.69 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9456 0 0 0 1268 1 0 0 20 0 1 0 16531639 53952512 5842 33554432000 4194304 35031059 140726583016688 140726583015384 4390126 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5842 297 7529 0 5619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52688
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30883816/32770624 swapFree=6792/945588
[pid=5440] ppid=5437 vsize=52688 CPUtime=25.49 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9500 0 0 0 2548 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52688
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5441
/proc/meminfo: memFree=30883816/32770624 swapFree=6792/945608
[pid=5440] ppid=5437 vsize=52688 CPUtime=51.09 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9522 0 0 0 5108 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52688
[startup+102.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 5443
/proc/meminfo: memFree=30883192/32770624 swapFree=6792/945640
[pid=5440] ppid=5437 vsize=52688 CPUtime=102.29 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9546 0 0 0 10228 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 52688
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5444
/proc/meminfo: memFree=30883780/32770624 swapFree=6792/945680
[pid=5440] ppid=5437 vsize=52688 CPUtime=162.28 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9568 0 0 0 16227 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389609 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 52688
[startup+222.306 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 5453
/proc/meminfo: memFree=30882812/32770624 swapFree=6792/945716
[pid=5440] ppid=5437 vsize=52688 CPUtime=222.28 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9589 0 0 0 22227 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 52688
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 5476
/proc/meminfo: memFree=30882332/32770624 swapFree=6792/945752
[pid=5440] ppid=5437 vsize=52688 CPUtime=282.27 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9610 0 0 0 28226 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390011 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 52688
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 5477
/proc/meminfo: memFree=30883632/32770624 swapFree=6792/945792
[pid=5440] ppid=5437 vsize=52688 CPUtime=342.27 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9631 0 0 0 34226 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389906 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 52688
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 5478
/proc/meminfo: memFree=30884036/32770624 swapFree=6792/945820
[pid=5440] ppid=5437 vsize=52688 CPUtime=402.26 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9652 0 0 0 40225 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389906 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 52688
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 5479
/proc/meminfo: memFree=30884156/32770624 swapFree=6792/945852
[pid=5440] ppid=5437 vsize=52688 CPUtime=462.26 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9673 0 0 0 46225 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390126 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 52688
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5480
/proc/meminfo: memFree=30883432/32770624 swapFree=6792/945880
[pid=5440] ppid=5437 vsize=52688 CPUtime=522.25 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9694 0 0 0 52224 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389913 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 52688
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 5481
/proc/meminfo: memFree=30882704/32770624 swapFree=6792/945912
[pid=5440] ppid=5437 vsize=52688 CPUtime=582.25 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 9715 0 0 0 58224 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 52688
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5572
/proc/meminfo: memFree=30808868/32770624 swapFree=6792/946436
[pid=5440] ppid=5437 vsize=52688 CPUtime=1482.17 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10037 0 0 0 148216 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 52688
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5573
/proc/meminfo: memFree=30809228/32770624 swapFree=6792/946468
[pid=5440] ppid=5437 vsize=52688 CPUtime=1542.18 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10058 0 0 0 154217 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 52688
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 5574
/proc/meminfo: memFree=30809140/32770624 swapFree=6792/946500
[pid=5440] ppid=5437 vsize=52688 CPUtime=1602.16 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10085 0 0 0 160215 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 52688
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 5575
/proc/meminfo: memFree=30809424/32770624 swapFree=6792/946528
[pid=5440] ppid=5437 vsize=52688 CPUtime=1662.16 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10107 0 0 0 166215 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389913 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 52688
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5577
/proc/meminfo: memFree=30808972/32770624 swapFree=6792/946564
[pid=5440] ppid=5437 vsize=52688 CPUtime=1722.16 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10128 0 0 0 172215 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390087 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 52688
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5578
/proc/meminfo: memFree=30809004/32770624 swapFree=6792/946596
[pid=5440] ppid=5437 vsize=52688 CPUtime=1782.15 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10149 0 0 0 178214 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389890 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 52688
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5579
/proc/meminfo: memFree=30808796/32770624 swapFree=6792/946632
[pid=5440] ppid=5437 vsize=52688 CPUtime=1842.15 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10170 0 0 0 184214 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389913 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 52688
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5581
/proc/meminfo: memFree=30807728/32770624 swapFree=6792/946660
[pid=5440] ppid=5437 vsize=52688 CPUtime=1902.14 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10191 0 0 0 190213 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389906 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 52688
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5582
/proc/meminfo: memFree=30807644/32770624 swapFree=6792/946696
[pid=5440] ppid=5437 vsize=52688 CPUtime=1962.14 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10212 0 0 0 196213 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389995 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 52688
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5590
/proc/meminfo: memFree=30807008/32770624 swapFree=6792/946732
[pid=5440] ppid=5437 vsize=52688 CPUtime=2022.13 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10233 0 0 0 202212 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 52688
[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 5591
/proc/meminfo: memFree=30808216/32770624 swapFree=6792/946764
[pid=5440] ppid=5437 vsize=52688 CPUtime=2082.13 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10254 0 0 0 208212 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 52688
[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 5592
/proc/meminfo: memFree=30808348/32770624 swapFree=6792/946800
[pid=5440] ppid=5437 vsize=52688 CPUtime=2142.12 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10275 0 0 0 214211 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389967 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 52688
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5593
/proc/meminfo: memFree=30808480/32770624 swapFree=6792/946828
[pid=5440] ppid=5437 vsize=52688 CPUtime=2202.12 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10296 0 0 0 220211 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389995 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 52688
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5594
/proc/meminfo: memFree=30808252/32770624 swapFree=6792/946856
[pid=5440] ppid=5437 vsize=52688 CPUtime=2262.11 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10317 0 0 0 226210 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389937 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 52688
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5595
/proc/meminfo: memFree=30808100/32770624 swapFree=6792/946892
[pid=5440] ppid=5437 vsize=52688 CPUtime=2322.11 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10343 0 0 0 232210 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4390064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 52688
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5596
/proc/meminfo: memFree=30808028/32770624 swapFree=6792/946916
[pid=5440] ppid=5437 vsize=52688 CPUtime=2382.1 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10365 0 0 0 238209 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389925 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 52688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5597
/proc/meminfo: memFree=30807532/32770624 swapFree=6792/946940
[pid=5440] ppid=5437 vsize=52688 CPUtime=2400.01 cores=0,2,4,6
/proc/5440/stat : 5440 (BTD) R 5437 5440 3400 0 -1 4202496 10387 0 0 0 240000 1 0 0 20 0 1 0 16531639 53952512 5843 33554432000 4194304 35031059 140726583016688 140726583015384 4389576 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 66383872 140726583018746 140726583018822 140726583018822 140726583021521 0
/proc/5440/statm: 13172 5843 298 7529 0 5619 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 52688
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 5440 sig 9
??? kill -5440 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.21
CPU time (s): 2400.02
CPU user time (s): 2400
CPU system time (s): 0.015998
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 52688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.015998
maximum resident set size= 23372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10387
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= 4
involuntary context switches= 121816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27341 second user time and 8.67133 second system time
The end