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 (15011 MiB free)
memory of node 1: 16384 MiB (15753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389365-1568360629/watcher-4389365-1568360629 -o /tmp/evaluation-result-4389365-1568360629/solver-4389365-1568360629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568359037-18066 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389365-1568360629.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=18334, runsolver pid=18330
[startup+0.100109 s]*
/proc/loadavg: 2.27 2.03 1.97 4/217 18336
/proc/meminfo: memFree=31487912/32770624 swapFree=66993828/67108860
[pid=18334] ppid=18330 vsize=30204 memory=6420 CPUtime=0.1 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 1820 0 1 0 10 0 0 0 20 0 1 0 412316002 30928896 1605 33554432000 4194304 6210612 140728268686544 140728268676520 140674015747045 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 7551 1605 822 493 0 856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30204 KiB
Current children cumulated memory: 6420 KiB
[startup+0.209816 s]*
/proc/loadavg: 2.27 2.03 1.97 2/198 18336
/proc/meminfo: memFree=31509676/32770624 swapFree=66993832/67108860
[pid=18334] ppid=18330 vsize=32916 memory=9260 CPUtime=0.2 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 2523 0 1 0 20 0 0 0 20 0 1 0 412316002 33705984 2315 33554432000 4194304 6210612 140728268686544 140728268676520 140674016670814 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8229 2315 822 493 0 1534 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32916 KiB
Current children cumulated memory: 9260 KiB
[startup+0.309199 s]*
/proc/loadavg: 2.27 2.03 1.97 2/201 18345
/proc/meminfo: memFree=31509412/32770624 swapFree=66993836/67108860
[pid=18334] ppid=18330 vsize=33048 memory=9524 CPUtime=0.3 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 2577 0 1 0 30 0 0 0 20 0 1 0 412316002 33841152 2381 33554432000 4194304 6210612 140728268686544 140728268684200 5451317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8262 2381 860 493 0 1567 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 9524 KiB
[startup+0.70023 s]
/proc/loadavg: 2.27 2.03 1.97 2/198 18353
/proc/meminfo: memFree=31511728/32770624 swapFree=66993856/67108860
[pid=18334] ppid=18330 vsize=33312 memory=9788 CPUtime=0.68 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 2623 0 1 0 68 0 0 0 20 0 1 0 412316002 34111488 2447 33554432000 4194304 6210612 140728268686544 140728268684504 5164477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8328 2447 861 493 0 1633 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33312 KiB
Current children cumulated memory: 9788 KiB
[startup+1.50025 s]
/proc/loadavg: 2.27 2.03 1.97 3/204 18368
/proc/meminfo: memFree=31502416/32770624 swapFree=66993996/67108860
[pid=18334] ppid=18330 vsize=33312 memory=9788 CPUtime=1.49 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 2627 0 1 0 148 1 0 0 20 0 1 0 412316002 34111488 2447 33554432000 4194304 6210612 140728268686544 140728268684504 5478268 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8328 2447 861 493 0 1633 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33312 KiB
Current children cumulated memory: 9788 KiB
[startup+3.10927 s]
/proc/loadavg: 2.27 2.03 1.97 3/203 18370
/proc/meminfo: memFree=31720824/32770624 swapFree=66994004/67108860
[pid=18334] ppid=18330 vsize=33312 memory=9888 CPUtime=3.1 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 3957 0 1 0 309 1 0 0 20 0 1 0 412316002 34111488 2472 33554432000 4194304 6210612 140728268686544 140728268684504 5478196 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8328 2472 861 493 0 1633 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33312 KiB
Current children cumulated memory: 9888 KiB
[startup+6.30023 s]
/proc/loadavg: 2.17 2.01 1.97 3/203 18370
/proc/meminfo: memFree=31721168/32770624 swapFree=66994004/67108860
[pid=18334] ppid=18330 vsize=33444 memory=9968 CPUtime=6.28 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 5417 0 1 0 627 1 0 0 20 0 1 0 412316002 34246656 2492 33554432000 4194304 6210612 140728268686544 140728268684504 5164288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2492 861 493 0 1666 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 9968 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 2.01 1.97 3/203 18372
/proc/meminfo: memFree=31720416/32770624 swapFree=66994004/67108860
[pid=18334] ppid=18330 vsize=33444 memory=9996 CPUtime=12.68 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 6834 0 1 0 1267 1 0 0 20 0 1 0 412316002 34246656 2499 33554432000 4194304 6210612 140728268686544 140728268684504 5476700 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2499 861 493 0 1666 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 9996 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.03 1.97 3/203 18372
/proc/meminfo: memFree=31721072/32770624 swapFree=66994004/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10016 CPUtime=25.48 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 7819 0 1 0 2547 1 0 0 20 0 1 0 412316002 34246656 2504 33554432000 4194304 6210612 140728268686544 140728268684504 5476656 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2504 861 493 0 1666 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10016 KiB
[startup+51.1091 s]
/proc/loadavg: 2.13 2.03 1.97 3/203 18372
/proc/meminfo: memFree=31721548/32770624 swapFree=66994068/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10028 CPUtime=51.09 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 8347 0 1 0 5107 2 0 0 20 0 1 0 412316002 34246656 2507 33554432000 4194304 6210612 140728268686544 140728268684504 5442952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2507 861 493 0 1666 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10028 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/203 18378
/proc/meminfo: memFree=31720764/32770624 swapFree=66994076/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10036 CPUtime=102.27 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 8829 0 1 0 10225 2 0 0 20 0 1 0 412316002 34246656 2509 33554432000 4194304 6210612 140728268686544 140728268684504 5069008 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2509 861 493 0 1666 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10036 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/203 18382
/proc/meminfo: memFree=31720960/32770624 swapFree=66994080/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10036 CPUtime=162.25 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 9362 0 1 0 16223 2 0 0 20 0 1 0 412316002 34246656 2509 33554432000 4194304 6210612 140728268686544 140728268684504 5478249 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2509 861 493 0 1666 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10036 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/203 18386
/proc/meminfo: memFree=31720820/32770624 swapFree=66994080/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10044 CPUtime=222.24 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 9871 0 1 0 22222 2 0 0 20 0 1 0 412316002 34246656 2511 33554432000 4194304 6210612 140728268686544 140728268684504 5451392 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2511 861 493 0 1666 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10044 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 18392
/proc/meminfo: memFree=31719996/32770624 swapFree=66994080/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10044 CPUtime=282.23 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 10354 0 1 0 28221 2 0 0 20 0 1 0 412316002 34246656 2511 33554432000 4194304 6210612 140728268686544 140728268684504 5451347 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2511 861 493 0 1666 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10044 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/199 18396
/proc/meminfo: memFree=31720888/32770624 swapFree=66994080/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10056 CPUtime=342.21 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 10876 0 1 0 34219 2 0 0 20 0 1 0 412316002 34246656 2514 33554432000 4194304 6210612 140728268686544 140728268684504 5440933 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2514 861 493 0 1666 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10056 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/199 18400
/proc/meminfo: memFree=31720304/32770624 swapFree=66994080/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10056 CPUtime=402.2 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 11378 0 1 0 40218 2 0 0 20 0 1 0 412316002 34246656 2514 33554432000 4194304 6210612 140728268686544 140728268684504 5451272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2514 861 493 0 1666 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10056 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/200 18413
/proc/meminfo: memFree=31715836/32770624 swapFree=66995356/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10060 CPUtime=462.19 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 11892 0 1 0 46217 2 0 0 20 0 1 0 412316002 34246656 2515 33554432000 4194304 6210612 140728268686544 140728268684504 5478240 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2515 861 493 0 1666 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10060 KiB
################
# More data... #
################
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.10 2.05 3/200 18556
/proc/meminfo: memFree=31713840/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=1781.92 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 22263 0 1 0 178189 3 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5478203 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 1781.92 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.09 2.05 3/200 18560
/proc/meminfo: memFree=31713504/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=1841.9 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 22696 0 1 0 184187 3 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5456150 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/200 18566
/proc/meminfo: memFree=31713564/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=1901.89 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 23154 0 1 0 190186 3 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5455474 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 1901.89 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/199 18570
/proc/meminfo: memFree=31713464/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=1961.89 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 23554 0 1 0 196185 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 140674016667572 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 1961.89 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 18575
/proc/meminfo: memFree=31713464/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2021.87 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 24063 0 1 0 202183 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5442952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 18581
/proc/meminfo: memFree=31713436/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2081.86 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 24486 0 1 0 208182 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5456146 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2081.86 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 18585
/proc/meminfo: memFree=31713584/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2141.85 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 24914 0 1 0 214181 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 4981744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2141.85 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 18589
/proc/meminfo: memFree=31714092/32770624 swapFree=66995440/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2201.84 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 25347 0 1 0 220180 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5478208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2201.84 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 18603
/proc/meminfo: memFree=31713848/32770624 swapFree=66995456/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2261.82 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 25881 0 1 0 226178 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5446752 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2261.82 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 18607
/proc/meminfo: memFree=31711288/32770624 swapFree=66995456/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2321.81 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 26346 0 1 0 232177 4 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5442912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2321.81 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 18612
/proc/meminfo: memFree=31707576/32770624 swapFree=66995456/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2381.79 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 26819 0 1 0 238174 5 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 140674016673183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 18618
/proc/meminfo: memFree=31707020/32770624 swapFree=66995456/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2441.78 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 27121 0 1 0 244173 5 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5452091 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2441.78 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 18622
/proc/meminfo: memFree=31707236/32770624 swapFree=66995460/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2501.77 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 27798 0 1 0 250172 5 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5456150 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2501.77 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 18622
/proc/meminfo: memFree=31707112/32770624 swapFree=66995460/67108860
[pid=18334] ppid=18330 vsize=33444 memory=10068 CPUtime=2519.47 cores=0,2,4,6
/proc/18334/stat : 18334 (cosoco) R 18330 18334 18035 0 -1 4202496 28120 0 1 0 251942 5 0 0 20 0 1 0 412316002 34246656 2517 33554432000 4194304 6210612 140728268686544 140728268684504 5456150 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 41140224 140728268694539 140728268694641 140728268694641 140728268697550 0
/proc/18334/statm: 8361 2517 861 493 0 1666 0
Current children cumulated CPU time: 2519.47 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 10068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18334 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.43 s, system=0.057988 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.49
CPU user time (s): 2519.43
CPU system time (s): 0.057988
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 33444
Max. memory (cumulated for all children) (KiB): 10068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.057988
maximum resident set size= 10136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28168
page faults= 1
swaps= 0
block input operations= 3472
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 2848
# summary of solver processes directly reported to runsolver:
# pid: 18334
# total CPU time (s): 2519.49
# total CPU user time (s): 2519.43
# total CPU system time (s): 0.057988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.97377 second user time and 16.1524 second system time
The end