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 (14232 MiB free)
memory of node 1: 16384 MiB (15046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396864-1568593288/watcher-4396864-1568593288 -o /tmp/evaluation-result-4396864-1568593288/solver-4396864-1568593288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13958 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396864-1568593288.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=18434, runsolver pid=18431
[startup+0.100088 s]*
/proc/loadavg: 1.93 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29975944/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=32592 memory=8640 CPUtime=0.1 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 2355 0 0 0 10 0 0 0 20 0 1 0 435579301 33374208 2160 33554432000 4194304 6211092 140727098451728 140727098448264 5814371 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 8148 2160 798 493 0 1453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32592 KiB
Current children cumulated memory: 8640 KiB
[startup+0.209821 s]*
/proc/loadavg: 1.93 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29974864/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=33304 memory=9484 CPUtime=0.21 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 2561 0 0 0 21 0 0 0 20 0 1 0 435579301 34103296 2371 33554432000 4194304 6211092 140727098451728 140727098448264 140056659033061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 8326 2371 804 493 0 1631 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 9484 KiB
[startup+0.309166 s]*
/proc/loadavg: 1.93 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29966836/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=42112 memory=18300 CPUtime=0.31 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 4768 0 0 0 31 0 0 0 20 0 1 0 435579301 43122688 4575 33554432000 4194304 6211092 140727098451728 140727098445032 140056659033061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 10528 4575 816 493 0 3833 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 18300 KiB
[startup+0.700286 s]
/proc/loadavg: 1.93 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29948980/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=76416 memory=52604 CPUtime=0.69 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 13342 0 0 0 67 2 0 0 20 0 1 0 435579301 78249984 13151 33554432000 4194304 6211092 140727098451728 140727098445032 140056659033061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 19104 13151 816 493 0 12409 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 52604 KiB
[startup+1.50029 s]
/proc/loadavg: 1.93 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29905084/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=147760 memory=123816 CPUtime=1.48 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 31176 0 0 0 144 4 0 0 20 0 1 0 435579301 151306240 30954 33554432000 4194304 6211092 140727098451728 140727098445032 140056659033061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 36940 30954 816 493 0 30245 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147760 KiB
Current children cumulated memory: 123816 KiB
[startup+3.10967 s]
/proc/loadavg: 1.94 1.97 2.03 3/204 18435
/proc/meminfo: memFree=29727020/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=290968 memory=267024 CPUtime=3.1 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 67439 0 0 0 301 9 0 0 20 0 1 0 435579301 297951232 66756 33554432000 4194304 6211092 140727098451728 140727098446824 140056659033061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 72742 66756 816 493 0 66047 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 290968 KiB
Current children cumulated memory: 267024 KiB
[startup+6.30022 s]
/proc/loadavg: 1.94 1.97 2.03 3/204 18436
/proc/meminfo: memFree=29657548/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=349968 memory=326568 CPUtime=6.29 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 118718 0 0 0 615 14 0 0 20 0 1 0 435579301 358367232 81642 33554432000 4194304 6211092 140727098451728 140727098449384 5440597 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 87492 81642 860 493 0 80797 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 349968 KiB
Current children cumulated memory: 326568 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 1.97 2.03 3/204 18436
/proc/meminfo: memFree=29646076/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=361716 memory=338268 CPUtime=12.68 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 150896 0 0 0 1253 15 0 0 20 0 1 0 435579301 370397184 84567 33554432000 4194304 6211092 140727098451728 140727098449384 140056659959199 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 90429 84567 862 493 0 83734 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 361716 KiB
Current children cumulated memory: 338268 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.97 2.03 3/204 18438
/proc/meminfo: memFree=29639008/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=368052 memory=344656 CPUtime=25.49 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 183155 0 0 0 2532 17 0 0 20 0 1 0 435579301 376885248 86164 33554432000 4194304 6211092 140727098451728 140727098449384 5451600 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 92013 86164 862 493 0 85318 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 368052 KiB
Current children cumulated memory: 344656 KiB
[startup+51.1095 s]
/proc/loadavg: 2.21 2.02 2.05 3/204 18438
/proc/meminfo: memFree=29620264/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=386928 memory=363400 CPUtime=51.09 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 226045 0 0 0 5090 19 0 0 20 0 1 0 435579301 396214272 90850 33554432000 4194304 6211092 140727098451728 140727098449384 5009608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 96732 90850 862 493 0 90037 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 386928 KiB
Current children cumulated memory: 363400 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.02 2.05 3/205 18443
/proc/meminfo: memFree=29603956/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=399600 memory=376168 CPUtime=102.28 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 276108 0 0 0 10207 21 0 0 20 0 1 0 435579301 409190400 94042 33554432000 4194304 6211092 140727098451728 140727098449384 5440705 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 99900 94042 862 493 0 93205 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 399600 KiB
Current children cumulated memory: 376168 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/205 18449
/proc/meminfo: memFree=29591392/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=411480 memory=387956 CPUtime=162.28 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 328901 0 0 0 16204 24 0 0 20 0 1 0 435579301 421355520 96989 33554432000 4194304 6211092 140727098451728 140727098449384 5439828 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 102870 96989 862 493 0 96175 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 411480 KiB
Current children cumulated memory: 387956 KiB
[startup+222.3 s]
/proc/loadavg: 2.42 2.13 2.08 3/204 18453
/proc/meminfo: memFree=29581016/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=421908 memory=398404 CPUtime=222.28 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 371008 0 0 0 22201 27 0 0 20 0 1 0 435579301 432033792 99601 33554432000 4194304 6211092 140727098451728 140727098449688 140056659956609 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 105477 99601 862 493 0 98782 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 421908 KiB
Current children cumulated memory: 398404 KiB
[startup+282.3 s]
/proc/loadavg: 2.28 2.14 2.09 3/204 18458
/proc/meminfo: memFree=29574080/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=428508 memory=405000 CPUtime=282.28 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 395377 0 0 0 28199 29 0 0 20 0 1 0 435579301 438792192 101250 33554432000 4194304 6211092 140727098451728 140727098449384 5440611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 107127 101250 862 493 0 100432 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 428508 KiB
Current children cumulated memory: 405000 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/204 18465
/proc/meminfo: memFree=29570260/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=432072 memory=408592 CPUtime=342.27 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 409880 0 0 0 34197 30 0 0 20 0 1 0 435579301 442441728 102148 33554432000 4194304 6211092 140727098451728 140727098449384 5446126 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 108018 102148 862 493 0 101323 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 432072 KiB
Current children cumulated memory: 408592 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 2.08 2.07 3/203 18469
/proc/meminfo: memFree=29567788/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=434448 memory=410948 CPUtime=402.27 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 412649 0 0 0 40197 30 0 0 20 0 1 0 435579301 444874752 102737 33554432000 4194304 6211092 140727098451728 140727098449160 5452161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 108612 102737 862 493 0 101917 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 434448 KiB
Current children cumulated memory: 410948 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.06 2.07 3/203 18474
/proc/meminfo: memFree=29566336/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=435240 memory=411708 CPUtime=462.26 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 413691 0 0 0 46196 30 0 0 20 0 1 0 435579301 445685760 102927 33554432000 4194304 6211092 140727098451728 140727098449384 5069044 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 108810 102927 862 493 0 102115 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 435240 KiB
Current children cumulated memory: 411708 KiB
################
# More data... #
################
/proc/18434/statm: 112374 106500 862 493 0 105679 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 449496 KiB
Current children cumulated memory: 426000 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/204 18609
/proc/meminfo: memFree=29549556/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=449496 memory=426004 CPUtime=1782.21 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 439420 0 0 0 178189 32 0 0 20 0 1 0 435579301 460283904 106501 33554432000 4194304 6211092 140727098451728 140727098449384 5451572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112374 106501 862 493 0 105679 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 449496 KiB
Current children cumulated memory: 426004 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/204 18613
/proc/meminfo: memFree=29550244/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=449496 memory=426008 CPUtime=1842.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 440106 0 0 0 184188 32 0 0 20 0 1 0 435579301 460283904 106502 33554432000 4194304 6211092 140727098451728 140727098449384 5443061 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112374 106502 862 493 0 105679 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 449496 KiB
Current children cumulated memory: 426008 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 18617
/proc/meminfo: memFree=29549700/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=449496 memory=426008 CPUtime=1902.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 440806 0 0 0 190188 32 0 0 20 0 1 0 435579301 460283904 106502 33554432000 4194304 6211092 140727098451728 140727098449384 5443008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112374 106502 862 493 0 105679 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 449496 KiB
Current children cumulated memory: 426008 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 18623
/proc/meminfo: memFree=29548788/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=449760 memory=426328 CPUtime=1962.21 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 441655 0 0 0 196188 33 0 0 20 0 1 0 435579301 460554240 106582 33554432000 4194304 6211092 140727098451728 140727098449688 5441112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112440 106582 862 493 0 105745 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 449760 KiB
Current children cumulated memory: 426328 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 18628
/proc/meminfo: memFree=29548412/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=450024 memory=426628 CPUtime=2022.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 442533 0 0 0 202187 33 0 0 20 0 1 0 435579301 460824576 106657 33554432000 4194304 6211092 140727098451728 140727098449384 5451572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112506 106657 862 493 0 105811 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 450024 KiB
Current children cumulated memory: 426628 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 18633
/proc/meminfo: memFree=29547192/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451080 memory=427660 CPUtime=2082.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 443644 0 0 0 208187 33 0 0 20 0 1 0 435579301 461905920 106915 33554432000 4194304 6211092 140727098451728 140727098449384 5451621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112770 106915 862 493 0 106075 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427660 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 18700
/proc/meminfo: memFree=29680404/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451080 memory=427660 CPUtime=2142.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 444354 0 0 0 214187 33 0 0 20 0 1 0 435579301 461905920 106915 33554432000 4194304 6211092 140727098451728 140727098449384 5441082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112770 106915 862 493 0 106075 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427660 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/203 18704
/proc/meminfo: memFree=29680364/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451080 memory=427660 CPUtime=2202.2 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 445064 0 0 0 220187 33 0 0 20 0 1 0 435579301 461905920 106915 33554432000 4194304 6211092 140727098451728 140727098449384 5442964 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112770 106915 862 493 0 106075 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427660 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 18709
/proc/meminfo: memFree=29680984/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451080 memory=427660 CPUtime=2262.19 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 445779 0 0 0 226186 33 0 0 20 0 1 0 435579301 461905920 106915 33554432000 4194304 6211092 140727098451728 140727098449384 5441112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112770 106915 862 493 0 106075 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427660 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 18715
/proc/meminfo: memFree=29680776/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451212 memory=427836 CPUtime=2322.19 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 446561 0 0 0 232186 33 0 0 20 0 1 0 435579301 462041088 106959 33554432000 4194304 6211092 140727098451728 140727098449384 140056668978063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112803 106959 862 493 0 106108 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 427836 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 18729
/proc/meminfo: memFree=29680632/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451344 memory=427876 CPUtime=2382.19 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 447314 0 0 0 238186 33 0 0 20 0 1 0 435579301 462176256 106969 33554432000 4194304 6211092 140727098451728 140727098449384 5476813 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112836 106969 862 493 0 106141 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427876 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 18755
/proc/meminfo: memFree=29679900/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451344 memory=427876 CPUtime=2442.19 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 448076 0 0 0 244186 33 0 0 20 0 1 0 435579301 462176256 106969 33554432000 4194304 6211092 140727098451728 140727098449688 5446087 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112836 106969 862 493 0 106141 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427876 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 18761
/proc/meminfo: memFree=29679728/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451344 memory=427900 CPUtime=2502.18 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 448767 0 0 0 250185 33 0 0 20 0 1 0 435579301 462176256 106975 33554432000 4194304 6211092 140727098451728 140727098449688 5453922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112836 106975 862 493 0 106141 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427900 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/206 18761
/proc/meminfo: memFree=29679512/32770624 swapFree=66917016/67108860
[pid=18434] ppid=18431 vsize=451344 memory=427900 CPUtime=2519.89 cores=1,3,5,7
/proc/18434/stat : 18434 (cosoco) R 18431 18434 13926 0 -1 4202496 449353 0 0 0 251956 33 0 0 20 0 1 0 435579301 462176256 106975 33554432000 4194304 6211092 140727098451728 140727098449688 5451428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23154688 140727098459147 140727098459249 140727098459249 140727098462158 0
/proc/18434/statm: 112836 106975 862 493 0 106141 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18434 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.339987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.57
CPU system time (s): 0.339987
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 451344
Max. memory (cumulated for all children) (KiB): 427900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.339987
maximum resident set size= 427968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449398
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= 33
involuntary context switches= 1560
# summary of solver processes directly reported to runsolver:
# pid: 18434
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.339987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0119 second user time and 18.041 second system time
The end