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-4241939-1500628780/watcher-4241939-1500628780 -o /tmp/evaluation-result-4241939-1500628780/solver-4241939-1500628780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500623775-5881 --watchdog 2560 BTD 2400 HOME/instance-4241939-1500628780.xml
pid=7286
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.00 3/191 7289
/proc/meminfo: memFree=31027700/32770624 swapFree=6272/659872
[pid=7289] ppid=7286 vsize=30676 CPUtime=0 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 475 0 0 0 0 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611520496 4393765 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
[startup+0.100114 s]
/proc/loadavg: 2.00 2.01 2.00 3/191 7289
/proc/meminfo: memFree=31027700/32770624 swapFree=6272/659872
[pid=7289] ppid=7286 vsize=30676 CPUtime=0.09 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 475 0 0 0 9 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611519816 4394203 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30676
[startup+0.200249 s]
/proc/loadavg: 2.00 2.01 2.00 3/191 7289
/proc/meminfo: memFree=31027700/32770624 swapFree=6272/659872
[pid=7289] ppid=7286 vsize=30676 CPUtime=0.19 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 475 0 0 0 19 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611519816 4393809 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30676
[startup+0.300199 s]
/proc/loadavg: 2.00 2.01 2.00 3/191 7289
/proc/meminfo: memFree=31027700/32770624 swapFree=6272/659872
[pid=7289] ppid=7286 vsize=30676 CPUtime=0.29 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 475 0 0 0 29 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611519816 4393889 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30676
[startup+0.700205 s]
/proc/loadavg: 2.00 2.01 2.00 3/191 7289
/proc/meminfo: memFree=31027700/32770624 swapFree=6272/659872
[pid=7289] ppid=7286 vsize=30676 CPUtime=0.69 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 505 0 0 0 69 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611519496 4393896 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30676
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7290
/proc/meminfo: memFree=31027124/32770624 swapFree=6272/659900
[pid=7289] ppid=7286 vsize=30676 CPUtime=1.49 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 505 0 0 0 149 0 0 0 20 0 1 0 16320964 31412224 326 33554432000 4194304 35031059 140733611520496 140733611519496 4394288 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30676
[startup+3.10012 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7290
/proc/meminfo: memFree=31026752/32770624 swapFree=6272/659900
[pid=7289] ppid=7286 vsize=30676 CPUtime=3.09 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 530 0 0 0 309 0 0 0 20 0 1 0 16320964 31412224 373 33554432000 4194304 35031059 140733611520496 140733611519496 4394123 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 373 306 7529 0 116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30676
[startup+6.3002 s]
/proc/loadavg: 1.92 2.00 2.00 3/192 7351
/proc/meminfo: memFree=31064432/32770624 swapFree=6272/659948
[pid=7289] ppid=7286 vsize=30676 CPUtime=6.29 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 581 0 0 0 629 0 0 0 20 0 1 0 16320964 31412224 373 33554432000 4194304 35031059 140733611520496 140733611519496 4394534 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 373 306 7529 0 116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30676
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.00 3/192 7351
/proc/meminfo: memFree=31064692/32770624 swapFree=6272/659956
[pid=7289] ppid=7286 vsize=30676 CPUtime=12.69 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 619 0 0 0 1269 0 0 0 20 0 1 0 16320964 31412224 373 33554432000 4194304 35031059 140733611520496 140733611519496 4394382 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 373 306 7529 0 116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30676
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.00 3/192 7358
/proc/meminfo: memFree=31065668/32770624 swapFree=6272/659972
[pid=7289] ppid=7286 vsize=30676 CPUtime=25.49 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 695 0 0 0 2549 0 0 0 20 0 1 0 16320964 31412224 373 33554432000 4194304 35031059 140733611520496 140733611519496 4393896 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7669 373 306 7529 0 116 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30676
[startup+51.1002 s]
/proc/loadavg: 1.96 2.00 2.00 3/192 7358
/proc/meminfo: memFree=31065860/32770624 swapFree=6272/659992
[pid=7289] ppid=7286 vsize=30808 CPUtime=51.08 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 748 0 0 0 5108 0 0 0 20 0 1 0 16320964 31547392 373 33554432000 4194304 35031059 140733611520496 140733611519496 4394338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 373 306 7529 0 149 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30808
[startup+102.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/191 7359
/proc/meminfo: memFree=31065512/32770624 swapFree=6272/660028
[pid=7289] ppid=7286 vsize=30808 CPUtime=102.27 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 793 0 0 0 10227 0 0 0 20 0 1 0 16320964 31547392 375 33554432000 4194304 35031059 140733611520496 140733611519496 4394421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 375 307 7529 0 149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30808
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/192 7361
/proc/meminfo: memFree=31065988/32770624 swapFree=6272/660048
[pid=7289] ppid=7286 vsize=30808 CPUtime=162.25 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 839 0 0 0 16225 0 0 0 20 0 1 0 16320964 31547392 375 33554432000 4194304 35031059 140733611520496 140733611519496 4394327 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 375 307 7529 0 149 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30808
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 7362
/proc/meminfo: memFree=31066204/32770624 swapFree=6272/660068
[pid=7289] ppid=7286 vsize=30808 CPUtime=222.24 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 887 0 0 0 22224 0 0 0 20 0 1 0 16320964 31547392 378 33554432000 4194304 35031059 140733611520496 140733611519496 4394338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 378 307 7529 0 149 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30808
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7363
/proc/meminfo: memFree=31065964/32770624 swapFree=6272/660088
[pid=7289] ppid=7286 vsize=30808 CPUtime=282.22 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 936 0 0 0 28222 0 0 0 20 0 1 0 16320964 31547392 379 33554432000 4194304 35031059 140733611520496 140733611519496 4394498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 379 307 7529 0 149 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 30808
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7365
/proc/meminfo: memFree=31065820/32770624 swapFree=6272/660116
[pid=7289] ppid=7286 vsize=30808 CPUtime=342.22 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 984 0 0 0 34221 1 0 0 20 0 1 0 16320964 31547392 379 33554432000 4194304 35031059 140733611520496 140733611519496 4393970 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 379 307 7529 0 149 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 30808
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/192 7366
/proc/meminfo: memFree=31065448/32770624 swapFree=6272/660152
[pid=7289] ppid=7286 vsize=30808 CPUtime=402.2 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 1035 0 0 0 40219 1 0 0 20 0 1 0 16320964 31547392 380 33554432000 4194304 35031059 140733611520496 140733611519496 4394362 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 380 307 7529 0 149 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 30808
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/191 7367
/proc/meminfo: memFree=31065464/32770624 swapFree=6272/660176
[pid=7289] ppid=7286 vsize=30808 CPUtime=462.19 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 1085 0 0 0 46218 1 0 0 20 0 1 0 16320964 31547392 381 33554432000 4194304 35031059 140733611520496 140733611519496 4394498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 381 307 7529 0 149 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 30808
[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/191 7369
/proc/meminfo: memFree=31065556/32770624 swapFree=6272/660192
[pid=7289] ppid=7286 vsize=30808 CPUtime=522.18 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 1134 0 0 0 52216 2 0 0 20 0 1 0 16320964 31547392 381 33554432000 4194304 35031059 140733611520496 140733611519496 4394421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 381 307 7529 0 149 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 30808
[startup+582.3 s]
/proc/loadavg: 2.13 2.07 2.03 3/191 7370
/proc/meminfo: memFree=31065712/32770624 swapFree=6272/660224
[pid=7289] ppid=7286 vsize=30808 CPUtime=582.17 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 1185 0 0 0 58215 2 0 0 20 0 1 0 16320964 31547392 382 33554432000 4194304 35031059 140733611520496 140733611519496 4394494 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 382 307 7529 0 149 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 30808
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.05 3/191 7408
/proc/meminfo: memFree=31064748/32770624 swapFree=6272/660688
[pid=7289] ppid=7286 vsize=30808 CPUtime=1781.91 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2197 0 0 0 178185 6 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 30808
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7417
/proc/meminfo: memFree=31063988/32770624 swapFree=6272/660724
[pid=7289] ppid=7286 vsize=30808 CPUtime=1841.9 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2246 0 0 0 184184 6 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 1841.9
Current children cumulated vsize (KiB) 30808
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7418
/proc/meminfo: memFree=31064032/32770624 swapFree=6272/660752
[pid=7289] ppid=7286 vsize=30808 CPUtime=1901.89 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2296 0 0 0 190183 6 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 1901.89
Current children cumulated vsize (KiB) 30808
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7419
/proc/meminfo: memFree=31064380/32770624 swapFree=6272/660772
[pid=7289] ppid=7286 vsize=30808 CPUtime=1961.87 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2345 0 0 0 196181 6 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394362 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 1961.87
Current children cumulated vsize (KiB) 30808
[startup+2022.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/192 7420
/proc/meminfo: memFree=31064360/32770624 swapFree=6272/660796
[pid=7289] ppid=7286 vsize=30808 CPUtime=2021.86 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2394 0 0 0 202180 6 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 2021.86
Current children cumulated vsize (KiB) 30808
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/192 7421
/proc/meminfo: memFree=31064336/32770624 swapFree=6272/660816
[pid=7289] ppid=7286 vsize=30808 CPUtime=2081.86 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2442 0 0 0 208179 7 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4394494 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 2081.86
Current children cumulated vsize (KiB) 30808
[startup+2142.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/191 7423
/proc/meminfo: memFree=31064496/32770624 swapFree=6272/660848
[pid=7289] ppid=7286 vsize=30808 CPUtime=2141.84 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2500 0 0 0 214177 7 0 0 20 0 1 0 16320964 31547392 388 33554432000 4194304 35031059 140733611520496 140733611519496 4393821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 388 307 7529 0 149 0
Current children cumulated CPU time (s) 2141.84
Current children cumulated vsize (KiB) 30808
[startup+2202.31 s]
/proc/loadavg: 2.05 2.06 2.05 3/192 7425
/proc/meminfo: memFree=31064356/32770624 swapFree=6272/660876
[pid=7289] ppid=7286 vsize=30808 CPUtime=2201.83 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2545 0 0 0 220176 7 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2201.83
Current children cumulated vsize (KiB) 30808
[startup+2262.3 s]
/proc/loadavg: 2.05 2.07 2.05 3/192 7426
/proc/meminfo: memFree=31064232/32770624 swapFree=6272/660896
[pid=7289] ppid=7286 vsize=30808 CPUtime=2261.81 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2594 0 0 0 226174 7 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394350 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2261.81
Current children cumulated vsize (KiB) 30808
[startup+2322.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/192 7428
/proc/meminfo: memFree=31064216/32770624 swapFree=6272/660924
[pid=7289] ppid=7286 vsize=30808 CPUtime=2321.8 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2643 0 0 0 232172 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394459 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2321.8
Current children cumulated vsize (KiB) 30808
[startup+2382.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660948
[pid=7289] ppid=7286 vsize=30808 CPUtime=2381.79 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2698 0 0 0 238171 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2381.79
Current children cumulated vsize (KiB) 30808
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7289 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.05 2.06 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2393.09 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2698 0 0 0 239301 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4393809 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2393.09
Current children cumulated vsize (KiB) 30808
[startup+2396.8 s]
/proc/loadavg: 2.05 2.06 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2396.28 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2698 0 0 0 239620 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394327 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2396.28
Current children cumulated vsize (KiB) 30808
[startup+2398.4 s]
/proc/loadavg: 2.05 2.06 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2397.88 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2737 0 0 0 239780 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2397.88
Current children cumulated vsize (KiB) 30808
[startup+2399.21 s]
/proc/loadavg: 2.05 2.05 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2398.69 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2740 0 0 0 239861 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2398.69
Current children cumulated vsize (KiB) 30808
[startup+2400 s]
/proc/loadavg: 2.05 2.05 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2399.48 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2741 0 0 0 239940 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394239 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2399.48
Current children cumulated vsize (KiB) 30808
[startup+2400.4 s]
/proc/loadavg: 2.05 2.05 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2399.88 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2741 0 0 0 239980 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394350 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2399.88
Current children cumulated vsize (KiB) 30808
[startup+2400.5 s]
/proc/loadavg: 2.05 2.05 2.05 3/192 7429
/proc/meminfo: memFree=31064076/32770624 swapFree=6272/660952
[pid=7289] ppid=7286 vsize=30808 CPUtime=2399.98 cores=0,2,4,6
/proc/7289/stat : 7289 (BTD) R 7286 7289 5850 0 -1 4202496 2741 0 0 0 239990 8 0 0 20 0 1 0 16320964 31547392 389 33554432000 4194304 35031059 140733611520496 140733611519496 4394413 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 52228096 140733611525370 140733611525446 140733611525446 140733611528145 0
/proc/7289/statm: 7702 389 307 7529 0 149 0
Current children cumulated CPU time (s) 2399.98
Current children cumulated vsize (KiB) 30808
Child status: 0
Real time (s): 2400.52
CPU time (s): 2400.02
CPU user time (s): 2399.93
CPU system time (s): 0.087981
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 30808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.93
system time used= 0.087981
maximum resident set size= 1616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2794
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= 122113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9066 second user time and 8.10941 second system time
The end