runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15054 MiB free)
memory of node 1: 16384 MiB (15479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397482-1568590131/watcher-4397482-1568590131 -o /tmp/evaluation-result-4397482-1568590131/solver-4397482-1568590131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397482-1568590131.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4371, runsolver pid=4368
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 1.99 2.03 2.05 3/201 4372
/proc/meminfo: memFree=31263008/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=31708 memory=8380 CPUtime=0.09 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 2292 0 0 0 9 0 0 0 20 0 1 0 435275746 32468992 2095 33554432000 4194304 6211092 140728635713440 140728635709976 5082405 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 7927 2095 910 493 0 1232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31708 KiB
Current children cumulated memory: 8380 KiB
[startup+0.209763 s]*
/proc/loadavg: 1.99 2.03 2.05 3/201 4372
/proc/meminfo: memFree=31262264/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=8908 CPUtime=0.2 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 2439 0 0 0 20 0 0 0 20 0 1 0 435275746 33153024 2227 33554432000 4194304 6211092 140728635713440 140728635709976 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2227 910 493 0 1399 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 8908 KiB
[startup+0.309205 s]*
/proc/loadavg: 1.99 2.03 2.05 3/201 4372
/proc/meminfo: memFree=31262264/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=8908 CPUtime=0.3 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 2439 0 0 0 30 0 0 0 20 0 1 0 435275746 33153024 2227 33554432000 4194304 6211092 140728635713440 140728635709976 5009244 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2227 910 493 0 1399 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 8908 KiB
[startup+0.700344 s]
/proc/loadavg: 1.99 2.03 2.05 3/201 4372
/proc/meminfo: memFree=31262264/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=8908 CPUtime=0.69 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 2439 0 0 0 69 0 0 0 20 0 1 0 435275746 33153024 2227 33554432000 4194304 6211092 140728635713440 140728635709976 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2227 910 493 0 1399 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 8908 KiB
[startup+1.50033 s]
/proc/loadavg: 1.99 2.03 2.05 3/201 4372
/proc/meminfo: memFree=31262264/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=8908 CPUtime=1.49 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 2445 0 0 0 149 0 0 0 20 0 1 0 435275746 33153024 2227 33554432000 4194304 6211092 140728635713440 140728635701320 5035302 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2227 910 493 0 1399 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 8908 KiB
[startup+3.10929 s]
/proc/loadavg: 1.83 1.99 2.03 3/200 4372
/proc/meminfo: memFree=31262524/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=3.09 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 3683 0 0 0 309 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+6.30033 s]
/proc/loadavg: 1.83 1.99 2.03 3/200 4372
/proc/meminfo: memFree=31262472/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=6.28 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 4916 0 0 0 628 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+12.7003 s]
/proc/loadavg: 1.84 1.99 2.03 3/200 4372
/proc/meminfo: memFree=31262852/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=12.68 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 6153 0 0 0 1268 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+25.5003 s]
/proc/loadavg: 1.88 1.99 2.03 3/200 4372
/proc/meminfo: memFree=31263184/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=25.48 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 8608 0 0 0 2548 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5038617 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+51.1092 s]
/proc/loadavg: 1.92 1.99 2.03 3/201 4375
/proc/meminfo: memFree=31262484/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=51.09 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 9367 0 0 0 5109 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5035344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/200 4379
/proc/meminfo: memFree=31262032/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=102.28 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 10123 0 0 0 10228 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/201 4391
/proc/meminfo: memFree=31261212/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9136 CPUtime=162.27 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 10884 0 0 0 16227 0 0 0 20 0 1 0 435275746 33153024 2284 33554432000 4194304 6211092 140728635713440 140728635701320 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2284 911 493 0 1399 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9136 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 4395
/proc/meminfo: memFree=31261324/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9140 CPUtime=222.27 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 11647 0 0 0 22227 0 0 0 20 0 1 0 435275746 33153024 2285 33554432000 4194304 6211092 140728635713440 140728635701320 5035320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2285 911 493 0 1399 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9140 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 4401
/proc/meminfo: memFree=31261784/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9144 CPUtime=282.26 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 12407 0 0 0 28226 0 0 0 20 0 1 0 435275746 33153024 2286 33554432000 4194304 6211092 140728635713440 140728635701320 5148684 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2286 911 493 0 1399 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9144 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 4405
/proc/meminfo: memFree=31261880/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9144 CPUtime=342.26 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 13164 0 0 0 34226 0 0 0 20 0 1 0 435275746 33153024 2286 33554432000 4194304 6211092 140728635713440 140728635701320 5409439 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2286 911 493 0 1399 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9144 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/200 4409
/proc/meminfo: memFree=31261872/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9148 CPUtime=402.25 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 13921 0 0 0 40225 0 0 0 20 0 1 0 435275746 33153024 2287 33554432000 4194304 6211092 140728635713440 140728635701320 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2287 911 493 0 1399 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9148 KiB
[startup+462.3 s]
/proc/loadavg: 2.29 2.07 2.06 3/199 4415
/proc/meminfo: memFree=31262720/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9148 CPUtime=462.24 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 14689 0 0 0 46224 0 0 0 20 0 1 0 435275746 33153024 2287 33554432000 4194304 6211092 140728635713440 140728635701320 5149705 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2287 911 493 0 1399 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9148 KiB
################
# More data... #
################
Current children cumulated memory: 9152 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4484
/proc/meminfo: memFree=31262720/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1242.19 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 24549 0 0 0 124218 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5009244 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1242.19 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4488
/proc/meminfo: memFree=31262284/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1302.18 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 25310 0 0 0 130217 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5380267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1302.18 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 4502
/proc/meminfo: memFree=31261860/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1362.18 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 26065 0 0 0 136217 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5397226 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1362.18 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1422.3 s]
/proc/loadavg: 1.91 1.99 2.03 3/200 4570
/proc/meminfo: memFree=31265836/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1422.17 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 26821 0 0 0 142216 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5149758 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1422.17 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1482.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 4574
/proc/meminfo: memFree=31265784/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1482.17 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 27581 0 0 0 148216 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5017688 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1482.17 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 4580
/proc/meminfo: memFree=31265712/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1542.16 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 28338 0 0 0 154215 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5081703 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1542.16 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 4584
/proc/meminfo: memFree=31265572/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9152 CPUtime=1602.16 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 29102 0 0 0 160215 1 0 0 20 0 1 0 435275746 33153024 2288 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2288 911 493 0 1399 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9152 KiB
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/199 4589
/proc/meminfo: memFree=31265552/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1662.15 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 29864 0 0 0 166214 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5409465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1722.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/199 4595
/proc/meminfo: memFree=31266012/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1722.15 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 172214 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1731.36 s]
# the end of solver process 4371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1731.19 s, system=0.015998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 2.12 2.05 2.05 3/199 4595
/proc/meminfo: memFree=31266020/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1727.85 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 172784 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5149136 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1727.85 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1729.6 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4595
/proc/meminfo: memFree=31266028/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1729.44 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 172943 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5250241 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1729.44 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1730.4 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4595
/proc/meminfo: memFree=31266028/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1730.24 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 173023 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5396750 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1730.24 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1730.8 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4595
/proc/meminfo: memFree=31266028/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1730.64 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 173063 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1730.64 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1731.2 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4595
/proc/meminfo: memFree=31266028/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1731.04 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 173103 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5149807 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1731.04 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
[startup+1731.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4595
/proc/meminfo: memFree=31266028/32770624 swapFree=66984752/67108860
[pid=4371] ppid=4368 vsize=32376 memory=9156 CPUtime=1731.14 cores=0,2,4,6
/proc/4371/stat : 4371 (cosoco) R 4368 4371 32461 0 -1 4202496 30624 0 0 0 173113 1 0 0 20 0 1 0 435275746 33153024 2289 33554432000 4194304 6211092 140728635713440 140728635701320 5250241 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40210432 140728635716619 140728635716721 140728635716721 140728635719630 0
/proc/4371/statm: 8094 2289 911 493 0 1399 0
Current children cumulated CPU time: 1731.14 s
Current children cumulated vsize: 32376 KiB
Current children cumulated memory: 9156 KiB
Child status: 0
Real time (s): 1731.36
CPU time (s): 1731.21
CPU user time (s): 1731.19
CPU system time (s): 0.015998
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 32376
Max. memory (cumulated for all children) (KiB): 9156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.19
system time used= 0.015998
maximum resident set size= 9220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30677
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= 15
involuntary context switches= 2169
# summary of solver processes directly reported to runsolver:
# pid: 4371
# total CPU time (s): 1731.21
# total CPU user time (s): 1731.19
# total CPU system time (s): 0.015998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25649 second user time and 11.2755 second system time
The end