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-4240286-1500623807/watcher-4240286-1500623807 -o /tmp/evaluation-result-4240286-1500623807/solver-4240286-1500623807 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500623775-4734 --watchdog 2560 BTD 2400 HOME/instance-4240286-1500623807.xml
pid=5187
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.70 0.19 0.10 3/186 5190
/proc/meminfo: memFree=31171508/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=0 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586053000 4394313 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
[startup+0.100154 s]
/proc/loadavg: 0.70 0.19 0.10 3/186 5190
/proc/meminfo: memFree=31171508/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=0.1 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 10 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4393821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30676
[startup+0.200255 s]
/proc/loadavg: 0.70 0.19 0.10 3/186 5190
/proc/meminfo: memFree=31171508/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=0.2 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 20 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4393482 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30676
[startup+0.30024 s]
/proc/loadavg: 0.70 0.19 0.10 3/186 5190
/proc/meminfo: memFree=31171508/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=0.3 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 30 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4393966 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 30676
[startup+0.700223 s]
/proc/loadavg: 0.70 0.19 0.10 3/186 5190
/proc/meminfo: memFree=31171508/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=0.69 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 69 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4394168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30676
[startup+1.50022 s]
/proc/loadavg: 0.70 0.19 0.10 3/187 5191
/proc/meminfo: memFree=31170416/32770624 swapFree=6192/467624
[pid=5190] ppid=5187 vsize=30676 CPUtime=1.49 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 490 0 0 0 149 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4393805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30676
[startup+3.10022 s]
/proc/loadavg: 0.70 0.19 0.10 3/187 5191
/proc/meminfo: memFree=31169996/32770624 swapFree=6192/467624
[pid=5190] ppid=5187 vsize=30676 CPUtime=3.09 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 501 0 0 0 309 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4393963 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30676
[startup+6.30021 s]
/proc/loadavg: 0.80 0.22 0.11 3/187 5191
/proc/meminfo: memFree=31168284/32770624 swapFree=6192/467628
[pid=5190] ppid=5187 vsize=30676 CPUtime=6.29 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 512 0 0 0 629 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4394338 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 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.90 0.25 0.12 3/187 5191
/proc/meminfo: memFree=31167108/32770624 swapFree=6192/467648
[pid=5190] ppid=5187 vsize=30676 CPUtime=12.69 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 523 0 0 0 1269 0 0 0 20 0 1 0 15809678 31412224 326 33554432000 4194304 35031059 140732586057280 140732586056600 4394459 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 326 267 7529 0 116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30676
[startup+25.5003 s]
/proc/loadavg: 1.14 0.33 0.15 3/187 5191
/proc/meminfo: memFree=31164752/32770624 swapFree=6192/467656
[pid=5190] ppid=5187 vsize=30676 CPUtime=25.49 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 546 0 0 0 2549 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4393970 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30676
[startup+51.1003 s]
/proc/loadavg: 1.43 0.47 0.20 3/187 5191
/proc/meminfo: memFree=31121148/32770624 swapFree=6192/467668
[pid=5190] ppid=5187 vsize=30676 CPUtime=51.08 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 584 0 0 0 5108 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394522 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30676
[startup+102.3 s]
/proc/loadavg: 1.81 0.72 0.30 3/187 5193
/proc/meminfo: memFree=31113468/32770624 swapFree=6192/467712
[pid=5190] ppid=5187 vsize=30676 CPUtime=102.27 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 608 0 0 0 10227 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4393970 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30676
[startup+162.3 s]
/proc/loadavg: 1.93 0.95 0.41 3/187 5194
/proc/meminfo: memFree=31112856/32770624 swapFree=6192/467740
[pid=5190] ppid=5187 vsize=30676 CPUtime=162.25 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 632 0 0 0 16225 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394239 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30676
[startup+222.306 s]
/proc/loadavg: 1.97 1.14 0.51 3/187 5202
/proc/meminfo: memFree=31112412/32770624 swapFree=6192/467784
[pid=5190] ppid=5187 vsize=30676 CPUtime=222.24 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 656 0 0 0 22224 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4393809 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30676
[startup+282.3 s]
/proc/loadavg: 1.99 1.30 0.60 3/187 5225
/proc/meminfo: memFree=31113204/32770624 swapFree=6192/467824
[pid=5190] ppid=5187 vsize=30676 CPUtime=282.21 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 668 0 0 0 28221 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 30676
[startup+342.3 s]
/proc/loadavg: 2.00 1.43 0.69 3/187 5226
/proc/meminfo: memFree=31113788/32770624 swapFree=6192/467848
[pid=5190] ppid=5187 vsize=30676 CPUtime=342.2 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 680 0 0 0 34220 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4393478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 30676
[startup+402.3 s]
/proc/loadavg: 2.00 1.53 0.77 3/187 5227
/proc/meminfo: memFree=31113276/32770624 swapFree=6192/467892
[pid=5190] ppid=5187 vsize=30676 CPUtime=402.18 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 692 0 0 0 40218 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394242 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 30676
[startup+462.3 s]
/proc/loadavg: 2.00 1.62 0.85 3/187 5228
/proc/meminfo: memFree=31113364/32770624 swapFree=6192/467916
[pid=5190] ppid=5187 vsize=30676 CPUtime=462.16 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 704 0 0 0 46216 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394017 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 30676
[startup+522.3 s]
/proc/loadavg: 2.00 1.69 0.92 3/187 5229
/proc/meminfo: memFree=31113488/32770624 swapFree=6192/467940
[pid=5190] ppid=5187 vsize=30676 CPUtime=522.15 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 716 0 0 0 52215 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 30676
[startup+582.3 s]
/proc/loadavg: 2.06 1.76 0.99 3/187 5230
/proc/meminfo: memFree=31113240/32770624 swapFree=6192/467976
[pid=5190] ppid=5187 vsize=30676 CPUtime=582.13 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 728 0 0 0 58213 0 0 0 20 0 1 0 15809678 31412224 359 33554432000 4194304 35031059 140732586057280 140732586056600 4394362 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7669 359 295 7529 0 116 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 30676
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.65 3/187 5260
/proc/meminfo: memFree=31113016/32770624 swapFree=6192/468484
[pid=5190] ppid=5187 vsize=30808 CPUtime=1541.86 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1107 0 0 0 154186 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 30808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/187 5261
/proc/meminfo: memFree=31112944/32770624 swapFree=6192/468520
[pid=5190] ppid=5187 vsize=30808 CPUtime=1601.84 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1119 0 0 0 160184 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394500 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 30808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/187 5262
/proc/meminfo: memFree=31112624/32770624 swapFree=6192/468548
[pid=5190] ppid=5187 vsize=30808 CPUtime=1661.82 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1131 0 0 0 166182 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393838 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 30808
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/187 5264
/proc/meminfo: memFree=31113256/32770624 swapFree=6192/468576
[pid=5190] ppid=5187 vsize=30808 CPUtime=1721.81 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1143 0 0 0 172181 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 30808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/187 5265
/proc/meminfo: memFree=31113128/32770624 swapFree=6192/468608
[pid=5190] ppid=5187 vsize=30808 CPUtime=1781.79 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1155 0 0 0 178179 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393926 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 30808
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/187 5266
/proc/meminfo: memFree=31112808/32770624 swapFree=6192/468644
[pid=5190] ppid=5187 vsize=30808 CPUtime=1841.77 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1182 0 0 0 184177 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393926 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 30808
[startup+1902.3 s]
/proc/loadavg: 2.06 2.02 1.77 3/187 5268
/proc/meminfo: memFree=31113080/32770624 swapFree=6192/468688
[pid=5190] ppid=5187 vsize=30808 CPUtime=1901.76 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1194 0 0 0 190176 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393970 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1901.76
Current children cumulated vsize (KiB) 30808
[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 1.78 3/187 5269
/proc/meminfo: memFree=31113092/32770624 swapFree=6192/468716
[pid=5190] ppid=5187 vsize=30808 CPUtime=1961.74 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1206 0 0 0 196174 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393799 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 1961.74
Current children cumulated vsize (KiB) 30808
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.79 3/188 5278
/proc/meminfo: memFree=31112424/32770624 swapFree=6192/468752
[pid=5190] ppid=5187 vsize=30808 CPUtime=2021.72 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1218 0 0 0 202172 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394494 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2021.72
Current children cumulated vsize (KiB) 30808
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.81 3/188 5279
/proc/meminfo: memFree=31112576/32770624 swapFree=6192/468776
[pid=5190] ppid=5187 vsize=30808 CPUtime=2081.71 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1230 0 0 0 208171 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393970 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2081.71
Current children cumulated vsize (KiB) 30808
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.82 3/188 5280
/proc/meminfo: memFree=31112728/32770624 swapFree=6192/468812
[pid=5190] ppid=5187 vsize=30808 CPUtime=2141.69 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1242 0 0 0 214169 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393926 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2141.69
Current children cumulated vsize (KiB) 30808
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.83 3/188 5281
/proc/meminfo: memFree=31112688/32770624 swapFree=6192/468852
[pid=5190] ppid=5187 vsize=30808 CPUtime=2201.68 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1254 0 0 0 220168 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394327 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2201.68
Current children cumulated vsize (KiB) 30808
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/188 5282
/proc/meminfo: memFree=31112908/32770624 swapFree=6192/468872
[pid=5190] ppid=5187 vsize=30808 CPUtime=2261.65 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1266 0 0 0 226165 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393838 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2261.65
Current children cumulated vsize (KiB) 30808
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 5283
/proc/meminfo: memFree=31112976/32770624 swapFree=6192/468900
[pid=5190] ppid=5187 vsize=30808 CPUtime=2321.64 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1278 0 0 0 232164 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394338 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2321.64
Current children cumulated vsize (KiB) 30808
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 5345
/proc/meminfo: memFree=31213416/32770624 swapFree=6192/468956
[pid=5190] ppid=5187 vsize=30808 CPUtime=2381.62 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1290 0 0 0 238162 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4394321 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2381.62
Current children cumulated vsize (KiB) 30808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 5345
/proc/meminfo: memFree=31212652/32770624 swapFree=6192/468980
[pid=5190] ppid=5187 vsize=30808 CPUtime=2400.01 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1301 0 0 0 240001 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393765 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 30808
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 5190 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 5345
/proc/meminfo: memFree=31212652/32770624 swapFree=6192/468980
[pid=5190] ppid=5187 vsize=30808 CPUtime=2400.01 cores=1,3,5,7
/proc/5190/stat : 5190 (BTD) R 5187 5190 4702 0 -1 4202496 1301 0 0 0 240001 0 0 0 20 0 1 0 15809678 31547392 387 33554432000 4194304 35031059 140732586057280 140732586056280 4393765 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 66560000 140732586063098 140732586063174 140732586063174 140732586065873 0
/proc/5190/statm: 7702 387 308 7529 0 149 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 30808
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.7
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 30808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0
maximum resident set size= 1548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1301
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= 120652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.25567 second user time and 8.21838 second system time
The end