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-4241915-1500628670/watcher-4241915-1500628670 -o /tmp/evaluation-result-4241915-1500628670/solver-4241915-1500628670 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500623775-4154 --watchdog 2560 BTD 2400 HOME/instance-4241915-1500628670.xml 

pid=5905
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: 2.03 2.02 1.99 3/186 5908
/proc/meminfo: memFree=30760492/32770624 swapFree=6836/525320
[pid=5908] ppid=5905 vsize=30916 CPUtime=0 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 16298167 31657984 329 33554432000 4194304 35031059 140727946552576 140727946552576 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 7729 329 232 7529 0 176 0

[startup+0.100162 s]
/proc/loadavg: 2.03 2.02 1.99 3/186 5908
/proc/meminfo: memFree=30760492/32770624 swapFree=6836/525320
[pid=5908] ppid=5905 vsize=33616 CPUtime=0.09 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 1151 0 0 0 9 0 0 0 20 0 1 0 16298167 34422784 970 33554432000 4194304 35031059 140727946552576 140727946548344 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 8404 970 232 7529 0 851 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33616

[startup+0.200322 s]
/proc/loadavg: 2.03 2.02 1.99 3/186 5908
/proc/meminfo: memFree=30760492/32770624 swapFree=6836/525320
[pid=5908] ppid=5905 vsize=37604 CPUtime=0.19 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 2143 0 0 0 19 0 0 0 20 0 1 0 16298167 38506496 1999 33554432000 4194304 35031059 140727946552576 140727946547896 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 9401 1999 232 7529 0 1848 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37604

[startup+0.300273 s]
/proc/loadavg: 2.03 2.02 1.99 3/186 5908
/proc/meminfo: memFree=30760492/32770624 swapFree=6836/525320
[pid=5908] ppid=5905 vsize=42512 CPUtime=0.29 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 3367 0 0 0 29 0 0 0 20 0 1 0 16298167 43532288 3193 33554432000 4194304 35031059 140727946552576 140727946548344 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 10628 3193 232 7529 0 3075 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42512

[startup+0.700239 s]
/proc/loadavg: 2.03 2.02 1.99 3/186 5908
/proc/meminfo: memFree=30760492/32770624 swapFree=6836/525320
[pid=5908] ppid=5905 vsize=66308 CPUtime=0.69 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 9322 0 0 0 68 1 0 0 20 0 1 0 16298167 67899392 9152 33554432000 4194304 35031059 140727946552576 140727946545864 4223208 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 16577 9152 261 7529 0 9024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66308

[startup+1.50029 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30687988/32770624 swapFree=6836/525352
[pid=5908] ppid=5905 vsize=137728 CPUtime=1.49 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 27203 0 0 0 146 3 0 0 20 0 1 0 16298167 141033472 27038 33554432000 4194304 35031059 140727946552576 140727946545864 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 34432 27038 261 7529 0 26879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137728

[startup+3.10028 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30590132/32770624 swapFree=6836/525352
[pid=5908] ppid=5905 vsize=279520 CPUtime=3.09 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 63359 0 0 0 302 7 0 0 20 0 1 0 16298167 286228480 62492 33554432000 4194304 35031059 140727946552576 140727946545864 4223243 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 69880 62492 261 7529 0 62327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279520

[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30294220/32770624 swapFree=6836/525352
[pid=5908] ppid=5905 vsize=530948 CPUtime=6.29 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 129531 0 0 0 616 13 0 0 20 0 1 0 16298167 543690752 125397 33554432000 4194304 35031059 140727946552576 140727946551272 4445148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 132737 125397 286 7529 0 125184 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 530948

[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30257632/32770624 swapFree=6836/525356
[pid=5908] ppid=5905 vsize=530948 CPUtime=12.69 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 131789 0 0 0 1256 13 0 0 20 0 1 0 16298167 543690752 125397 33554432000 4194304 35031059 140727946552576 140727946551272 4445163 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 132737 125397 286 7529 0 125184 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 530948

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30174868/32770624 swapFree=6836/525376
[pid=5908] ppid=5905 vsize=610476 CPUtime=25.48 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 276828 0 0 0 2528 20 0 0 20 0 1 0 16298167 625127424 143708 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152619 143708 299 7529 0 145066 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 610476

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30170888/32770624 swapFree=6836/525376
[pid=5908] ppid=5905 vsize=610476 CPUtime=51.07 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 284520 0 0 0 5086 21 0 0 20 0 1 0 16298167 625127424 143720 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152619 143720 299 7529 0 145066 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 610476

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 5910
/proc/meminfo: memFree=30157860/32770624 swapFree=6836/525420
[pid=5908] ppid=5905 vsize=610608 CPUtime=102.25 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 292573 0 0 0 10203 22 0 0 20 0 1 0 16298167 625262592 143733 33554432000 4194304 35031059 140727946552576 140727946550808 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143733 299 7529 0 145099 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 610608

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 5919
/proc/meminfo: memFree=30132864/32770624 swapFree=6836/525448
[pid=5908] ppid=5905 vsize=610608 CPUtime=162.21 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 300734 0 0 0 16199 22 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 610608

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 5920
/proc/meminfo: memFree=30117432/32770624 swapFree=6836/525472
[pid=5908] ppid=5905 vsize=610608 CPUtime=222.18 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 306948 0 0 0 22196 22 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 610608

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/188 5921
/proc/meminfo: memFree=30102196/32770624 swapFree=6836/525496
[pid=5908] ppid=5905 vsize=610608 CPUtime=282.15 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 313045 0 0 0 28192 23 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 6458034 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 610608

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/188 5922
/proc/meminfo: memFree=30079012/32770624 swapFree=6836/525524
[pid=5908] ppid=5905 vsize=610608 CPUtime=342.11 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 319038 0 0 0 34188 23 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213261 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 610608

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 5923
/proc/meminfo: memFree=30064024/32770624 swapFree=6836/525540
[pid=5908] ppid=5905 vsize=610608 CPUtime=402.08 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 319637 0 0 0 40185 23 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 610608

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5925
/proc/meminfo: memFree=30049432/32770624 swapFree=6836/525572
[pid=5908] ppid=5905 vsize=610608 CPUtime=462.04 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 320221 0 0 0 46181 23 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 610608

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5926
/proc/meminfo: memFree=30024840/32770624 swapFree=6836/525596
[pid=5908] ppid=5905 vsize=610608 CPUtime=522.02 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 320723 0 0 0 52178 24 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 610608

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5927
/proc/meminfo: memFree=30009340/32770624 swapFree=6836/525620
[pid=5908] ppid=5905 vsize=610608 CPUtime=581.98 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 321106 0 0 0 58174 24 0 0 20 0 1 0 16298167 625262592 143742 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 143742 299 7529 0 145099 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 610608


################
# More data... #
################

/proc/loadavg: 2.00 2.01 2.00 3/187 5930
/proc/meminfo: memFree=29974832/32770624 swapFree=6836/525672
[pid=5908] ppid=5905 vsize=610608 CPUtime=701.92 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 321786 0 0 0 70168 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213261 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 610608

[startup+762.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/187 5938
/proc/meminfo: memFree=29949892/32770624 swapFree=6836/525696
[pid=5908] ppid=5905 vsize=610608 CPUtime=761.9 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 322021 0 0 0 76166 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 610608

[startup+822.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/187 5939
/proc/meminfo: memFree=29935020/32770624 swapFree=6836/525720
[pid=5908] ppid=5905 vsize=610608 CPUtime=821.86 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 322266 0 0 0 82162 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 610608

[startup+882.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/187 5940
/proc/meminfo: memFree=29920552/32770624 swapFree=6836/525744
[pid=5908] ppid=5905 vsize=610608 CPUtime=881.84 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 322518 0 0 0 88160 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213258 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 610608

[startup+942.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/187 6002
/proc/meminfo: memFree=30638204/32770624 swapFree=6836/525828
[pid=5908] ppid=5905 vsize=610608 CPUtime=941.8 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 322771 0 0 0 94156 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 610608

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 2.01 3/187 6003
/proc/meminfo: memFree=30638628/32770624 swapFree=6836/525864
[pid=5908] ppid=5905 vsize=610608 CPUtime=1001.77 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 323026 0 0 0 100153 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 610608

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/187 6004
/proc/meminfo: memFree=30638168/32770624 swapFree=6836/525884
[pid=5908] ppid=5905 vsize=610608 CPUtime=1061.74 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 323597 0 0 0 106150 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 610608

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 6005
/proc/meminfo: memFree=30638380/32770624 swapFree=6836/525908
[pid=5908] ppid=5905 vsize=610608 CPUtime=1121.72 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 324014 0 0 0 112148 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 6458051 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 610608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 6006
/proc/meminfo: memFree=30638160/32770624 swapFree=6836/525932
[pid=5908] ppid=5905 vsize=610608 CPUtime=1181.69 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 324429 0 0 0 118145 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 610608

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 6007
/proc/meminfo: memFree=30638104/32770624 swapFree=6836/525960
[pid=5908] ppid=5905 vsize=610608 CPUtime=1241.66 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 324849 0 0 0 124142 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 610608

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 6008
/proc/meminfo: memFree=30637948/32770624 swapFree=6836/525980
[pid=5908] ppid=5905 vsize=610608 CPUtime=1301.63 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 325269 0 0 0 130139 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 610608

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 6017
/proc/meminfo: memFree=30637020/32770624 swapFree=6836/526000
[pid=5908] ppid=5905 vsize=610608 CPUtime=1361.61 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 325725 0 0 0 136137 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 6458028 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 610608

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526028
[pid=5908] ppid=5905 vsize=610608 CPUtime=1421.6 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326049 0 0 0 142136 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 6458019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 610608

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5908 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1427.2 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526028
[pid=5908] ppid=5905 vsize=610608 CPUtime=1426.5 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326049 0 0 0 142626 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213239 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1426.5
Current children cumulated vsize (KiB) 610608

[startup+1428.8 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526028
[pid=5908] ppid=5905 vsize=610608 CPUtime=1428.1 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326049 0 0 0 142786 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 6458048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1428.1
Current children cumulated vsize (KiB) 610608

[startup+1430.4 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526032
[pid=5908] ppid=5905 vsize=610608 CPUtime=1429.7 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326049 0 0 0 142946 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 6458019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1429.7
Current children cumulated vsize (KiB) 610608

[startup+1431.21 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526032
[pid=5908] ppid=5905 vsize=610608 CPUtime=1430.5 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326059 0 0 0 143026 24 0 0 20 0 1 0 16298167 625262592 145138 33554432000 4194304 35031059 140727946552576 140727946551576 4213249 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 152652 145138 299 7529 0 145099 0
Current children cumulated CPU time (s) 1430.5
Current children cumulated vsize (KiB) 610608

[startup+1431.6 s]
/proc/loadavg: 2.08 2.03 2.01 3/188 6018
/proc/meminfo: memFree=30637156/32770624 swapFree=6836/526032
[pid=5908] ppid=5905 vsize=574056 CPUtime=1430.9 cores=1,3,5,7
/proc/5908/stat : 5908 (BTD) R 5905 5908 4122 0 -1 4202496 326677 0 0 0 143066 24 0 0 20 0 1 0 16298167 587833344 136223 33554432000 4194304 35031059 140727946552576 140727946551720 7392012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 57470976 140727946556666 140727946556742 140727946556742 140727946559441 0
/proc/5908/statm: 143514 136223 312 7529 0 135961 0
Current children cumulated CPU time (s) 1430.9
Current children cumulated vsize (KiB) 574056

Child status: 0
Real time (s): 1431.6
CPU time (s): 1430.91
CPU user time (s): 1430.66
CPU system time (s): 0.243883
CPU usage (%): 99.9512
Max. virtual memory (cumulated for all children) (KiB): 610608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1430.66
system time used= 0.243883
maximum resident set size= 580552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326685
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= 18
involuntary context switches= 72022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95773 second user time and 5.92711 second system time

The end