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 (15000 MiB free)
memory of node 1: 16384 MiB (15532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396925-1568593395/watcher-4396925-1568593395 -o /tmp/evaluation-result-4396925-1568593395/solver-4396925-1568593395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568593336-23100 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396925-1568593395.xml
running on 4 cores: 0,2,4,6
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=23130, runsolver pid=23127
[startup+0.1002 s]*
/proc/loadavg: 1.00 1.04 1.38 3/199 23131
/proc/meminfo: memFree=31109380/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=36548 memory=12628 CPUtime=0.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 3343 0 0 0 10 0 0 0 20 0 1 0 435592552 37425152 3157 33554432000 4194304 6211092 140732368928288 140732368924824 140358610956800 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 9137 3157 798 493 0 2442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36548 KiB
Current children cumulated memory: 12628 KiB
[startup+0.209802 s]*
/proc/loadavg: 1.00 1.04 1.38 3/199 23131
/proc/meminfo: memFree=30935656/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=37260 memory=13180 CPUtime=0.21 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 3514 0 0 0 21 0 0 0 20 0 1 0 435592552 38154240 3295 33554432000 4194304 6211092 140732368928288 140732368924824 140358614440331 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 9315 3295 798 493 0 2620 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37260 KiB
Current children cumulated memory: 13180 KiB
[startup+0.309267 s]*
/proc/loadavg: 1.00 1.04 1.38 3/199 23131
/proc/meminfo: memFree=30777556/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=37772 memory=13952 CPUtime=0.3 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 3670 0 0 0 30 0 0 0 20 0 1 0 435592552 38678528 3488 33554432000 4194304 6211092 140732368928288 140732368924824 140358614439199 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 9443 3488 798 493 0 2748 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 13952 KiB
[startup+0.700339 s]
/proc/loadavg: 1.08 1.06 1.39 3/199 23131
/proc/meminfo: memFree=30354964/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=40324 memory=16524 CPUtime=0.69 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 4389 0 0 0 69 0 0 0 20 0 1 0 435592552 41291776 4131 33554432000 4194304 6211092 140732368928288 140732368924824 140358620451936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 10081 4131 798 493 0 3386 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40324 KiB
Current children cumulated memory: 16524 KiB
[startup+1.5004 s]
/proc/loadavg: 1.08 1.06 1.39 3/199 23131
/proc/meminfo: memFree=30292716/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=89604 memory=65356 CPUtime=1.49 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 16789 0 0 0 147 2 0 0 20 0 1 0 435592552 91754496 16339 33554432000 4194304 6211092 140732368928288 140732368924824 5071149 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 22401 16339 816 493 0 15706 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 89604 KiB
Current children cumulated memory: 65356 KiB
[startup+3.10953 s]
/proc/loadavg: 1.08 1.06 1.39 3/199 23131
/proc/meminfo: memFree=30100188/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=244360 memory=220352 CPUtime=3.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 56016 0 0 0 302 8 0 0 20 0 1 0 435592552 250224640 55023 33554432000 4194304 6211092 140732368928288 140732368923384 140358610959333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 61090 55023 816 493 0 54395 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 244360 KiB
Current children cumulated memory: 220352 KiB
[startup+6.30039 s]
/proc/loadavg: 1.16 1.08 1.39 3/199 23131
/proc/meminfo: memFree=29811764/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=550896 memory=526784 CPUtime=6.29 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 133656 0 0 0 611 18 0 0 20 0 1 0 435592552 564117504 131696 33554432000 4194304 6211092 140732368928288 140732368921176 140358610959333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 137724 131696 816 493 0 131029 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 550896 KiB
Current children cumulated memory: 526784 KiB
[startup+12.7004 s]
/proc/loadavg: 1.22 1.09 1.39 3/200 23133
/proc/meminfo: memFree=29233112/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=1167404 memory=1143332 CPUtime=12.69 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 289121 0 0 0 1226 43 0 0 20 0 1 0 435592552 1195421696 285767 33554432000 4194304 6211092 140732368928288 140732368921176 140358610959333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 291851 285833 816 493 0 285156 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1167404 KiB
Current children cumulated memory: 1143332 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.12 1.40 3/199 23133
/proc/meminfo: memFree=28664588/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=1673856 memory=1650380 CPUtime=25.48 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 511040 0 0 0 2483 65 0 0 20 0 1 0 435592552 1714028544 412595 33554432000 4194304 6211092 140732368928288 140732368925944 140358611882895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 418464 412595 861 493 0 411769 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1673856 KiB
Current children cumulated memory: 1650380 KiB
[startup+51.1096 s]
/proc/loadavg: 1.60 1.20 1.42 3/199 23133
/proc/meminfo: memFree=28434976/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=1897464 memory=1873976 CPUtime=51.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 716909 0 0 0 5030 80 0 0 20 0 1 0 435592552 1943003136 468494 33554432000 4194304 6211092 140732368928288 140732368925944 5442982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 474366 468494 863 493 0 467671 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1897464 KiB
Current children cumulated memory: 1873976 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.33 1.45 3/199 23139
/proc/meminfo: memFree=28293364/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2036856 memory=2013444 CPUtime=102.28 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1006509 0 0 0 10131 97 0 0 20 0 1 0 435592552 2085740544 503361 33554432000 4194304 6211092 140732368928288 140732368925944 5454160 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 509214 503361 863 493 0 502519 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2036856 KiB
Current children cumulated memory: 2013444 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.45 1.48 3/199 23204
/proc/meminfo: memFree=29197196/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2086092 memory=2062688 CPUtime=162.27 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1185838 0 0 0 16120 107 0 0 20 0 1 0 435592552 2136158208 515672 33554432000 4194304 6211092 140732368928288 140732368925944 5164677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 521523 515672 863 493 0 514828 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2086092 KiB
Current children cumulated memory: 2062688 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.55 1.52 3/199 23209
/proc/meminfo: memFree=29149676/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2134668 memory=2111228 CPUtime=222.26 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) D 23127 23130 23069 0 -1 4202496 1395303 0 0 0 22108 118 0 0 20 0 1 0 435592552 2185900032 527807 33554432000 4194304 6211092 140732368928288 140732368925944 5068955 0 0 4096 8405026 18446744071582151416 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 533667 527807 863 493 0 526972 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2134668 KiB
Current children cumulated memory: 2111228 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.55 3/200 23216
/proc/meminfo: memFree=29144300/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2140080 memory=2116652 CPUtime=282.24 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1508208 0 0 0 28099 125 0 0 20 0 1 0 435592552 2191441920 529163 33554432000 4194304 6211092 140732368928288 140732368925944 5164999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 535020 529163 863 493 0 528325 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2140080 KiB
Current children cumulated memory: 2116652 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.70 1.57 3/200 23220
/proc/meminfo: memFree=29117872/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2166612 memory=2143128 CPUtime=342.23 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1655457 0 0 0 34092 131 0 0 20 0 1 0 435592552 2218610688 535782 33554432000 4194304 6211092 140732368928288 140732368925944 5068981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 541653 535782 863 493 0 534958 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2166612 KiB
Current children cumulated memory: 2143128 KiB
[startup+402.3 s]
/proc/loadavg: 2.47 1.90 1.65 3/200 23225
/proc/meminfo: memFree=29113876/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2169648 memory=2146148 CPUtime=402.22 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1741954 0 0 0 40086 136 0 0 20 0 1 0 435592552 2221719552 536537 33554432000 4194304 6211092 140732368928288 140732368925944 5478349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 542412 536537 863 493 0 535717 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2169648 KiB
Current children cumulated memory: 2146148 KiB
[startup+462.3 s]
/proc/loadavg: 2.17 1.92 1.68 3/200 23231
/proc/meminfo: memFree=29111172/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2172420 memory=2149020 CPUtime=462.22 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 1884581 0 0 0 46078 144 0 0 20 0 1 0 435592552 2224558080 537255 33554432000 4194304 6211092 140732368928288 140732368925944 5072366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 543105 537255 863 493 0 536410 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2172420 KiB
Current children cumulated memory: 2149020 KiB
################
# More data... #
################
/proc/23130/statm: 545481 539631 863 493 0 538786 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 2181924 KiB
Current children cumulated memory: 2158524 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/201 23358
/proc/meminfo: memFree=29101012/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182188 memory=2158788 CPUtime=1782.11 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2390186 0 0 0 178043 168 0 0 20 0 1 0 435592552 2234560512 539697 33554432000 4194304 6211092 140732368928288 140732368925944 5440624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545547 539697 863 493 0 538852 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2182188 KiB
Current children cumulated memory: 2158788 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/201 23362
/proc/meminfo: memFree=29100800/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182188 memory=2158800 CPUtime=1842.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2391157 0 0 0 184042 168 0 0 20 0 1 0 435592552 2234560512 539700 33554432000 4194304 6211092 140732368928288 140732368925944 5068981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545547 539700 863 493 0 538852 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2182188 KiB
Current children cumulated memory: 2158800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/201 23368
/proc/meminfo: memFree=29099672/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182584 memory=2159096 CPUtime=1902.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2392623 0 0 0 190042 168 0 0 20 0 1 0 435592552 2234966016 539774 33554432000 4194304 6211092 140732368928288 140732368925944 5446082 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545646 539774 863 493 0 538951 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 2182584 KiB
Current children cumulated memory: 2159096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/201 23372
/proc/meminfo: memFree=29100168/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182584 memory=2159172 CPUtime=1962.1 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2393515 0 0 0 196042 168 0 0 20 0 1 0 435592552 2234966016 539793 33554432000 4194304 6211092 140732368928288 140732368925944 5441120 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545646 539793 863 493 0 538951 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 2182584 KiB
Current children cumulated memory: 2159172 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23377
/proc/meminfo: memFree=29100352/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182584 memory=2159208 CPUtime=2022.09 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2394277 0 0 0 202041 168 0 0 20 0 1 0 435592552 2234966016 539802 33554432000 4194304 6211092 140732368928288 140732368925944 5441074 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545646 539802 863 493 0 538951 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 2182584 KiB
Current children cumulated memory: 2159208 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23383
/proc/meminfo: memFree=29099504/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2182848 memory=2159448 CPUtime=2082.09 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2395426 0 0 0 208041 168 0 0 20 0 1 0 435592552 2235236352 539862 33554432000 4194304 6211092 140732368928288 140732368925944 5164999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545712 539862 863 493 0 539017 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 2182848 KiB
Current children cumulated memory: 2159448 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23387
/proc/meminfo: memFree=29100008/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2183112 memory=2159676 CPUtime=2142.09 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2396888 0 0 0 214040 169 0 0 20 0 1 0 435592552 2235506688 539919 33554432000 4194304 6211092 140732368928288 140732368925944 5446260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545778 539919 863 493 0 539083 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2183112 KiB
Current children cumulated memory: 2159676 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23392
/proc/meminfo: memFree=29099860/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2183244 memory=2159832 CPUtime=2202.08 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2397898 0 0 0 220039 169 0 0 20 0 1 0 435592552 2235641856 539958 33554432000 4194304 6211092 140732368928288 140732368925944 5476819 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545811 539958 863 493 0 539116 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 2183244 KiB
Current children cumulated memory: 2159832 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 23398
/proc/meminfo: memFree=29099360/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2183772 memory=2160324 CPUtime=2262.08 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2399513 0 0 0 226039 169 0 0 20 0 1 0 435592552 2236182528 540081 33554432000 4194304 6211092 140732368928288 140732368925944 140358611879824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545943 540081 863 493 0 539248 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 2183772 KiB
Current children cumulated memory: 2160324 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23410
/proc/meminfo: memFree=29097932/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2183772 memory=2160396 CPUtime=2322.07 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2400558 0 0 0 232038 169 0 0 20 0 1 0 435592552 2236182528 540099 33554432000 4194304 6211092 140732368928288 140732368925944 140358620904266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545943 540099 863 493 0 539248 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 2183772 KiB
Current children cumulated memory: 2160396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/201 23436
/proc/meminfo: memFree=29097800/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2183772 memory=2160412 CPUtime=2382.07 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2401359 0 0 0 238038 169 0 0 20 0 1 0 435592552 2236182528 540103 33554432000 4194304 6211092 140732368928288 140732368925944 5451482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 545943 540103 863 493 0 539248 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 2183772 KiB
Current children cumulated memory: 2160412 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/201 23442
/proc/meminfo: memFree=29097800/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2184036 memory=2160580 CPUtime=2442.07 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2402874 0 0 0 244038 169 0 0 20 0 1 0 435592552 2236452864 540145 33554432000 4194304 6211092 140732368928288 140732368925944 5439602 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 546009 540145 863 493 0 539314 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 2184036 KiB
Current children cumulated memory: 2160580 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/201 23446
/proc/meminfo: memFree=29098044/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2184432 memory=2161048 CPUtime=2502.06 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2404091 0 0 0 250037 169 0 0 20 0 1 0 435592552 2236858368 540262 33554432000 4194304 6211092 140732368928288 140732368925944 5446158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 546108 540262 863 493 0 539413 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 2184432 KiB
Current children cumulated memory: 2161048 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.96 3/201 23447
/proc/meminfo: memFree=29097704/32770624 swapFree=66997024/67108860
[pid=23130] ppid=23127 vsize=2184564 memory=2161092 CPUtime=2519.77 cores=0,2,4,6
/proc/23130/stat : 23130 (cosoco) R 23127 23130 23069 0 -1 4202496 2404335 0 0 0 251808 169 0 0 20 0 1 0 435592552 2236993536 540273 33554432000 4194304 6211092 140732368928288 140732368925944 5441131 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 21848064 140732368929803 140732368929905 140732368929905 140732368932814 0
/proc/23130/statm: 546141 540273 863 493 0 539446 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2184564 KiB
Current children cumulated memory: 2161092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 23130 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.09 s, system=1.7079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.79
CPU user time (s): 2518.09
CPU system time (s): 1.7079
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 2184564
Max. memory (cumulated for all children) (KiB): 2161092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.09
system time used= 1.7079
maximum resident set size= 2161168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2404376
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= 127
involuntary context switches= 1749
# summary of solver processes directly reported to runsolver:
# pid: 23130
# total CPU time (s): 2519.79
# total CPU user time (s): 2518.09
# total CPU system time (s): 1.7079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7873 second user time and 14.4469 second system time
The end