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-4240278-1500623800/watcher-4240278-1500623800 -o /tmp/evaluation-result-4240278-1500623800/solver-4240278-1500623800 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500623775-4001 --watchdog 2560 BTD 2400 HOME/instance-4240278-1500623800.xml
pid=4455
running on 4 cores: 1,3,5,7
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: 0.56 0.14 0.09 3/187 4458
/proc/meminfo: memFree=31347656/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=0 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716747424 4393805 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
[startup+0.100126 s]
/proc/loadavg: 0.56 0.14 0.09 3/187 4458
/proc/meminfo: memFree=31347656/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=0.09 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 504 0 0 0 9 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716746424 4393765 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30676
[startup+0.200244 s]
/proc/loadavg: 0.56 0.14 0.09 3/187 4458
/proc/meminfo: memFree=31347656/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=0.19 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 504 0 0 0 19 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716746424 4394334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30676
[startup+0.3002 s]
/proc/loadavg: 0.56 0.14 0.09 3/187 4458
/proc/meminfo: memFree=31347656/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=0.29 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 504 0 0 0 29 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716746424 4393783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30676
[startup+0.700171 s]
/proc/loadavg: 0.56 0.14 0.09 3/187 4458
/proc/meminfo: memFree=31347656/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=0.69 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 504 0 0 0 69 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716746424 4393926 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30676
[startup+1.50017 s]
/proc/loadavg: 0.56 0.14 0.09 3/188 4459
/proc/meminfo: memFree=31366396/32770624 swapFree=6652/514904
[pid=4458] ppid=4455 vsize=30676 CPUtime=1.49 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 504 0 0 0 149 0 0 0 20 0 1 0 15814547 31412224 326 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 326 271 7529 0 116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30676
[startup+3.10017 s]
/proc/loadavg: 0.68 0.17 0.10 3/188 4459
/proc/meminfo: memFree=31366224/32770624 swapFree=6652/514904
[pid=4458] ppid=4455 vsize=30676 CPUtime=3.09 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 539 0 0 0 309 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394242 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30676
[startup+6.30017 s]
/proc/loadavg: 0.68 0.17 0.10 3/188 4459
/proc/meminfo: memFree=31365804/32770624 swapFree=6652/514908
[pid=4458] ppid=4455 vsize=30676 CPUtime=6.29 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 559 0 0 0 629 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394364 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30676
[startup+12.7002 s]
/proc/loadavg: 0.88 0.23 0.12 3/188 4459
/proc/meminfo: memFree=31365252/32770624 swapFree=6652/514916
[pid=4458] ppid=4455 vsize=30676 CPUtime=12.7 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 568 0 0 0 1270 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 30676
[startup+25.5002 s]
/proc/loadavg: 1.05 0.29 0.14 3/188 4459
/proc/meminfo: memFree=31365472/32770624 swapFree=6652/514928
[pid=4458] ppid=4455 vsize=30676 CPUtime=25.5 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 609 0 0 0 2550 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394242 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 30676
[startup+51.1002 s]
/proc/loadavg: 1.38 0.43 0.19 3/188 4459
/proc/meminfo: memFree=31365472/32770624 swapFree=6652/514944
[pid=4458] ppid=4455 vsize=30676 CPUtime=51.1 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 619 0 0 0 5110 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394239 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 30676
[startup+102.3 s]
/proc/loadavg: 1.75 0.69 0.29 3/188 4461
/proc/meminfo: memFree=31365824/32770624 swapFree=6652/514976
[pid=4458] ppid=4455 vsize=30676 CPUtime=102.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 667 0 0 0 10230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4393970 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30676
[startup+162.3 s]
/proc/loadavg: 1.91 0.93 0.40 3/188 4462
/proc/meminfo: memFree=31365568/32770624 swapFree=6652/515000
[pid=4458] ppid=4455 vsize=30676 CPUtime=162.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 689 0 0 0 16230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4393966 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 30676
[startup+222.306 s]
/proc/loadavg: 1.97 1.13 0.50 3/188 4470
/proc/meminfo: memFree=31364292/32770624 swapFree=6652/515028
[pid=4458] ppid=4455 vsize=30676 CPUtime=222.31 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 723 0 0 0 22231 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 30676
[startup+282.3 s]
/proc/loadavg: 1.99 1.28 0.59 3/188 4494
/proc/meminfo: memFree=31364236/32770624 swapFree=6652/515064
[pid=4458] ppid=4455 vsize=30676 CPUtime=282.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 734 0 0 0 28230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394362 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 30676
[startup+342.3 s]
/proc/loadavg: 2.04 1.43 0.69 3/188 4495
/proc/meminfo: memFree=31364768/32770624 swapFree=6652/515096
[pid=4458] ppid=4455 vsize=30676 CPUtime=342.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 781 0 0 0 34230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394498 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 30676
[startup+402.3 s]
/proc/loadavg: 2.01 1.53 0.77 3/188 4496
/proc/meminfo: memFree=31365036/32770624 swapFree=6652/515112
[pid=4458] ppid=4455 vsize=30676 CPUtime=402.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 804 0 0 0 40230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394288 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 30676
[startup+462.3 s]
/proc/loadavg: 2.01 1.62 0.84 3/188 4497
/proc/meminfo: memFree=31365060/32770624 swapFree=6652/515132
[pid=4458] ppid=4455 vsize=30676 CPUtime=462.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 839 0 0 0 46230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 30676
[startup+522.3 s]
/proc/loadavg: 2.00 1.69 0.92 3/188 4498
/proc/meminfo: memFree=31365080/32770624 swapFree=6652/515156
[pid=4458] ppid=4455 vsize=30676 CPUtime=522.3 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 874 0 0 0 52230 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394406 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 30676
[startup+582.3 s]
/proc/loadavg: 2.00 1.74 0.98 3/187 4499
/proc/meminfo: memFree=31364988/32770624 swapFree=6652/515176
[pid=4458] ppid=4455 vsize=30676 CPUtime=582.31 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 912 0 0 0 58231 0 0 0 20 0 1 0 15814547 31412224 373 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 373 308 7529 0 116 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 30676
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.63 3/187 4528
/proc/meminfo: memFree=31364584/32770624 swapFree=6652/515528
[pid=4458] ppid=4455 vsize=30676 CPUtime=1482.32 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1464 0 0 0 148232 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394364 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 30676
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.65 3/187 4529
/proc/meminfo: memFree=31364260/32770624 swapFree=6652/515556
[pid=4458] ppid=4455 vsize=30676 CPUtime=1542.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1503 0 0 0 154233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 30676
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.67 3/187 4530
/proc/meminfo: memFree=31364548/32770624 swapFree=6652/515576
[pid=4458] ppid=4455 vsize=30676 CPUtime=1602.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1544 0 0 0 160233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 30676
[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 1.70 3/187 4531
/proc/meminfo: memFree=31364352/32770624 swapFree=6652/515596
[pid=4458] ppid=4455 vsize=30676 CPUtime=1662.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1584 0 0 0 166233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394239 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 30676
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 1.72 3/187 4533
/proc/meminfo: memFree=31365312/32770624 swapFree=6652/515628
[pid=4458] ppid=4455 vsize=30676 CPUtime=1722.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1623 0 0 0 172233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 30676
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 1.74 3/187 4534
/proc/meminfo: memFree=31365116/32770624 swapFree=6652/515660
[pid=4458] ppid=4455 vsize=30676 CPUtime=1782.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1664 0 0 0 178233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4393783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 30676
[startup+1842.3 s]
/proc/loadavg: 2.08 2.05 1.76 3/187 4535
/proc/meminfo: memFree=31365528/32770624 swapFree=6652/515688
[pid=4458] ppid=4455 vsize=30676 CPUtime=1842.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1705 0 0 0 184233 0 0 0 20 0 1 0 15814547 31412224 374 33554432000 4194304 35031059 140729716747424 140729716746424 4394459 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 374 308 7529 0 116 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 30676
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 1.78 3/187 4537
/proc/meminfo: memFree=31365816/32770624 swapFree=6652/515720
[pid=4458] ppid=4455 vsize=30676 CPUtime=1902.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1746 0 0 0 190233 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 30676
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 1.79 3/187 4538
/proc/meminfo: memFree=31365864/32770624 swapFree=6652/515740
[pid=4458] ppid=4455 vsize=30676 CPUtime=1962.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1783 0 0 0 196233 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394362 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 30676
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 1.80 3/187 4546
/proc/meminfo: memFree=31365112/32770624 swapFree=6652/515772
[pid=4458] ppid=4455 vsize=30676 CPUtime=2022.33 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1825 0 0 0 202233 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4393970 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 30676
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.81 3/187 4547
/proc/meminfo: memFree=31365936/32770624 swapFree=6652/515800
[pid=4458] ppid=4455 vsize=30676 CPUtime=2082.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1865 0 0 0 208234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4393805 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 30676
[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/187 4548
/proc/meminfo: memFree=31365948/32770624 swapFree=6652/515828
[pid=4458] ppid=4455 vsize=30676 CPUtime=2142.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1906 0 0 0 214234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 30676
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 1.84 3/187 4549
/proc/meminfo: memFree=31366000/32770624 swapFree=6652/515848
[pid=4458] ppid=4455 vsize=30676 CPUtime=2202.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1946 0 0 0 220234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394362 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 30676
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/187 4550
/proc/meminfo: memFree=31365808/32770624 swapFree=6652/515868
[pid=4458] ppid=4455 vsize=30676 CPUtime=2262.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 1987 0 0 0 226234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394498 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 30676
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/187 4551
/proc/meminfo: memFree=31365976/32770624 swapFree=6652/515888
[pid=4458] ppid=4455 vsize=30676 CPUtime=2322.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 2029 0 0 0 232234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 30676
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 4552
/proc/meminfo: memFree=31365904/32770624 swapFree=6652/515912
[pid=4458] ppid=4455 vsize=30676 CPUtime=2382.34 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 2066 0 0 0 238234 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4393809 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 30676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 1.87 4/185 4621
/proc/meminfo: memFree=31366504/32770624 swapFree=6652/515924
[pid=4458] ppid=4455 vsize=30676 CPUtime=2400.04 cores=1,3,5,7
/proc/4458/stat : 4458 (BTD) R 4455 4458 3969 0 -1 4202496 2105 0 0 0 240004 0 0 0 20 0 1 0 15814547 31412224 375 33554432000 4194304 35031059 140729716747424 140729716746424 4394494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 65949696 140729716753658 140729716753734 140729716753734 140729716756433 0
/proc/4458/statm: 7669 375 308 7529 0 116 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 30676
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 4458 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.05
CPU user time (s): 2400.05
CPU system time (s): 0.004
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 30676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.004
maximum resident set size= 1500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2105
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= 2
involuntary context switches= 120603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23606 second user time and 8.36823 second system time
The end