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 (14822 MiB free)
memory of node 1: 16384 MiB (15305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397091-1568575443/watcher-4397091-1568575443 -o /tmp/evaluation-result-4397091-1568575443/solver-4397091-1568575443 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4608 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397091-1568575443.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
solver pid=5285, runsolver pid=5282
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30849676/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=29224 memory=5640 CPUtime=0.1 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 1607 0 0 0 10 0 0 0 20 0 1 0 433815768 29925376 1410 33554432000 4194304 6211092 140736719610928 140736719604776 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 7306 1410 846 493 0 611 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 5640 KiB
[startup+0.20956 s]*
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30848932/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=30016 memory=6432 CPUtime=0.21 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 1813 0 0 0 21 0 0 0 20 0 1 0 433815768 30736384 1608 33554432000 4194304 6211092 140736719610928 140736719604776 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 7504 1608 846 493 0 809 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30016 KiB
Current children cumulated memory: 6432 KiB
[startup+0.30896 s]*
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30848188/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=30808 memory=7224 CPUtime=0.31 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 2002 0 0 0 31 0 0 0 20 0 1 0 433815768 31547392 1806 33554432000 4194304 6211092 140736719610928 140736719604776 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 7702 1806 846 493 0 1007 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30808 KiB
Current children cumulated memory: 7224 KiB
[startup+0.700272 s]
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30846576/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=33712 memory=10128 CPUtime=0.69 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 2728 0 0 0 69 0 0 0 20 0 1 0 433815768 34521088 2532 33554432000 4194304 6211092 140736719610928 140736719604776 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 8428 2532 846 493 0 1733 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33712 KiB
Current children cumulated memory: 10128 KiB
[startup+1.50028 s]
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30842856/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=39652 memory=16200 CPUtime=1.49 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 4239 0 0 0 149 0 0 0 20 0 1 0 433815768 40603648 4050 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 9913 4050 846 493 0 3218 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39652 KiB
Current children cumulated memory: 16200 KiB
[startup+3.1095 s]
/proc/loadavg: 1.84 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30828100/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=51860 memory=28376 CPUtime=3.1 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 7466 0 0 0 309 1 0 0 20 0 1 0 433815768 53104640 7094 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 12965 7094 846 493 0 6270 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51860 KiB
Current children cumulated memory: 28376 KiB
[startup+6.30027 s]
/proc/loadavg: 1.86 1.95 1.88 3/201 5286
/proc/meminfo: memFree=30805228/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=76008 memory=52424 CPUtime=6.29 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 13665 0 0 0 627 2 0 0 20 0 1 0 433815768 77832192 13106 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 19002 13106 846 493 0 12307 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 76008 KiB
Current children cumulated memory: 52424 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.95 1.88 3/201 5287
/proc/meminfo: memFree=30760424/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=124504 memory=100724 CPUtime=12.69 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 25922 0 0 0 1265 4 0 0 20 0 1 0 433815768 127492096 25181 33554432000 4194304 6211092 140736719610928 140736719470216 140319060454206 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 31126 25181 846 493 0 24431 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124504 KiB
Current children cumulated memory: 100724 KiB
[startup+25.5003 s]
/proc/loadavg: 1.90 1.96 1.88 3/201 5289
/proc/meminfo: memFree=30661352/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=221016 memory=197264 CPUtime=25.49 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 50437 0 0 0 2541 8 0 0 20 0 1 0 433815768 226320384 49316 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 55254 49316 846 493 0 48559 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 221016 KiB
Current children cumulated memory: 197264 KiB
[startup+51.1095 s]
/proc/loadavg: 1.93 1.96 1.88 3/201 5289
/proc/meminfo: memFree=30464656/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=414540 memory=390896 CPUtime=51.1 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 98945 0 0 0 5094 16 0 0 20 0 1 0 433815768 424488960 97724 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 103635 97724 846 493 0 96940 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 414540 KiB
Current children cumulated memory: 390896 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.96 1.89 3/200 5294
/proc/meminfo: memFree=30079396/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=801984 memory=777276 CPUtime=102.29 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 195759 0 0 0 10200 29 0 0 20 0 1 0 433815768 821231616 194319 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 200496 194319 846 493 0 193801 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 801984 KiB
Current children cumulated memory: 777276 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/200 5300
/proc/meminfo: memFree=29623132/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=1255584 memory=1230820 CPUtime=162.27 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 309104 0 0 0 16182 45 0 0 20 0 1 0 433815768 1285718016 307705 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 313896 307705 846 493 0 307201 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1255584 KiB
Current children cumulated memory: 1230820 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.98 1.90 3/200 5304
/proc/meminfo: memFree=29168912/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=1710396 memory=1684072 CPUtime=222.27 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 422476 0 0 0 22166 61 0 0 20 0 1 0 433815768 1751445504 421018 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 427599 421018 846 493 0 420904 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1710396 KiB
Current children cumulated memory: 1684072 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.90 3/199 5309
/proc/meminfo: memFree=28715308/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=2161968 memory=2137624 CPUtime=282.25 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 535863 0 0 0 28149 76 0 0 20 0 1 0 433815768 2213855232 534406 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 540492 534406 846 493 0 533797 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2161968 KiB
Current children cumulated memory: 2137624 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 5315
/proc/meminfo: memFree=28259812/32770624 swapFree=66936892/67108860
[pid=5285] ppid=5282 vsize=2618532 memory=2592116 CPUtime=342.25 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 648993 0 0 0 34134 91 0 0 20 0 1 0 433815768 2681376768 648029 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 654633 648029 846 493 0 647938 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2618532 KiB
Current children cumulated memory: 2592116 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/200 5327
/proc/meminfo: memFree=27804212/32770624 swapFree=66936896/67108860
[pid=5285] ppid=5282 vsize=3070104 memory=3046048 CPUtime=402.24 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 761924 0 0 0 40117 107 0 0 20 0 1 0 433815768 3143786496 761512 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 767526 761512 846 493 0 760831 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 3070104 KiB
Current children cumulated memory: 3046048 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/200 5331
/proc/meminfo: memFree=27351876/32770624 swapFree=66936896/67108860
[pid=5285] ppid=5282 vsize=3529100 memory=3498284 CPUtime=462.24 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 875059 0 0 0 46100 124 0 0 20 0 1 0 433815768 3613798400 874571 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 882275 874571 846 493 0 875580 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 3529100 KiB
Current children cumulated memory: 3498284 KiB
################
# More data... #
################
Current children cumulated vsize: 11226564 KiB
Current children cumulated memory: 11202016 KiB
[startup+1542.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/199 5424
/proc/meminfo: memFree=19180144/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=11677344 memory=11653504 CPUtime=1542.08 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 2908289 0 0 0 153703 505 0 0 20 0 1 0 433815768 11957600256 2913376 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 2919336 2913376 846 493 0 2912641 0
Current children cumulated CPU time: 1542.08 s
Current children cumulated vsize: 11677344 KiB
Current children cumulated memory: 11653504 KiB
[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/200 5438
/proc/meminfo: memFree=18724036/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=12152860 memory=12107640 CPUtime=1602.08 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3021417 0 0 0 159678 530 0 0 20 0 1 0 433815768 12444528640 3026910 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3038215 3026910 846 493 0 3031520 0
Current children cumulated CPU time: 1602.08 s
Current children cumulated vsize: 12152860 KiB
Current children cumulated memory: 12107640 KiB
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/200 5442
/proc/meminfo: memFree=18270052/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=12603772 memory=12560724 CPUtime=1662.07 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3134239 0 0 0 165652 555 0 0 20 0 1 0 433815768 12906262528 3140181 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3150943 3140181 846 493 0 3144248 0
Current children cumulated CPU time: 1662.07 s
Current children cumulated vsize: 12603772 KiB
Current children cumulated memory: 12560724 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/200 5446
/proc/meminfo: memFree=17816484/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=13054552 memory=13013540 CPUtime=1722.06 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3247051 0 0 0 171627 579 0 0 20 0 1 0 433815768 13367861248 3253385 33554432000 4194304 6211092 140736719610928 140736719470216 5452145 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3263638 3253385 846 493 0 3256943 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 13054552 KiB
Current children cumulated memory: 13013540 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/200 5452
/proc/meminfo: memFree=17362444/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=13505332 memory=13466280 CPUtime=1782.05 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3359876 0 0 0 177598 607 0 0 20 0 1 0 433815768 13829459968 3366570 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3376333 3366570 846 493 0 3369638 0
Current children cumulated CPU time: 1782.05 s
Current children cumulated vsize: 13505332 KiB
Current children cumulated memory: 13466280 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/200 5456
/proc/meminfo: memFree=16908164/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=13956244 memory=13919364 CPUtime=1842.05 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3472702 0 0 0 183572 633 0 0 20 0 1 0 433815768 14291193856 3479841 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3489061 3479841 846 493 0 3482366 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 13956244 KiB
Current children cumulated memory: 13919364 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/199 5461
/proc/meminfo: memFree=16457312/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=14407024 memory=14370140 CPUtime=1902.04 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3585489 0 0 0 189543 661 0 0 20 0 1 0 433815768 14752792576 3592535 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3601756 3592535 846 493 0 3595061 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 14407024 KiB
Current children cumulated memory: 14370140 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/199 5467
/proc/meminfo: memFree=16003264/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=14857672 memory=14822696 CPUtime=1962.03 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3698248 0 0 0 195514 689 0 0 20 0 1 0 433815768 15214256128 3705674 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3714418 3705674 846 493 0 3707723 0
Current children cumulated CPU time: 1962.03 s
Current children cumulated vsize: 14857672 KiB
Current children cumulated memory: 14822696 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 5471
/proc/meminfo: memFree=15549192/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15307924 memory=15275168 CPUtime=2022.02 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3810932 0 0 0 201484 718 0 0 20 0 1 0 433815768 15675314176 3818792 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3826981 3818792 846 493 0 3820286 0
Current children cumulated CPU time: 2022.02 s
Current children cumulated vsize: 15307924 KiB
Current children cumulated memory: 15275168 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 5476
/proc/meminfo: memFree=15097188/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15757780 memory=15727116 CPUtime=2082.02 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3923529 0 0 0 207448 754 0 0 20 0 1 0 433815768 16135966720 3931779 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3939445 3931779 846 493 0 3932750 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 15757780 KiB
Current children cumulated memory: 15727116 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2097.6 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 5478
/proc/meminfo: memFree=14984348/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15872620 memory=15841876 CPUtime=2097.31 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 4202496 3952238 0 0 0 208968 763 0 0 20 0 1 0 433815768 16253562880 3960469 33554432000 4194304 6211092 140736719610928 140736719470216 140319060458469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3968155 3960469 846 493 0 3961460 0
Current children cumulated CPU time: 2097.31 s
Current children cumulated vsize: 15872620 KiB
Current children cumulated memory: 15841876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2100.3 s]
# the end of solver process 5285 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2089.96 s, system=8.33687 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2098.4 s]
/proc/loadavg: 2.00 2.01 2.03 4/200 5479
/proc/meminfo: memFree=14786940/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15872620 memory=15841876 CPUtime=2097.43 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) S 5282 5285 4577 0 -1 512 3952242 0 0 0 208980 763 0 0 20 0 1 0 433815768 16253562880 3960469 33554432000 4194304 6211092 140736719610928 140736719470216 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3968155 3960469 846 493 0 3961460 0
Current children cumulated CPU time: 2097.43 s
Current children cumulated vsize: 15872620 KiB
Current children cumulated memory: 15841876 KiB
[startup+2099.2 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 5479
/proc/meminfo: memFree=14272944/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15872620 memory=15841876 CPUtime=2097.54 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) R 5282 5285 4577 0 -1 512 3952242 0 0 0 208991 763 0 0 20 0 1 0 433815768 16253562880 3960469 33554432000 4194304 6211092 140736719610928 140736719470216 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3968155 3960469 846 493 0 3961460 0
Current children cumulated CPU time: 2097.54 s
Current children cumulated vsize: 15872620 KiB
Current children cumulated memory: 15841876 KiB
[startup+2099.6 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 5479
/proc/meminfo: memFree=14272944/32770624 swapFree=66936900/67108860
[pid=5285] ppid=5282 vsize=15872620 memory=15841876 CPUtime=2097.59 cores=0,2,4,6
/proc/5285/stat : 5285 (cosoco) S 5282 5285 4577 0 -1 512 3952242 0 0 0 208996 763 0 0 20 0 1 0 433815768 16253562880 3960469 33554432000 4194304 6211092 140736719610928 140736719470216 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 10354688 140736719619083 140736719619185 140736719619185 140736719622094 0
/proc/5285/statm: 3968155 3960469 846 493 0 3961460 0
Current children cumulated CPU time: 2097.59 s
Current children cumulated vsize: 15872620 KiB
Current children cumulated memory: 15841876 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2100.3
CPU time (s): 2098.3
CPU user time (s): 2089.96
CPU system time (s): 8.33687
CPU usage (%): 99.9049
Max. virtual memory (cumulated for all children) (KiB): 15872620
Max. memory (cumulated for all children) (KiB): 15841876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2089.96
system time used= 8.33687
maximum resident set size= 15841920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3952242
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= 124698
involuntary context switches= 1752
# summary of solver processes directly reported to runsolver:
# pid: 5285
# total CPU time (s): 2098.3
# total CPU user time (s): 2089.96
# total CPU system time (s): 8.33687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41706 second user time and 14.4237 second system time
The end