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 (14945 MiB free)
memory of node 1: 16384 MiB (15442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397866-1568575188/watcher-4397866-1568575188 -o /tmp/evaluation-result-4397866-1568575188/solver-4397866-1568575188 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568572745-8031 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397866-1568575188.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8496, runsolver pid=8493
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.04 2.03 1.88 3/203 8497
/proc/meminfo: memFree=31108808/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=29240 memory=5376 CPUtime=0.1 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 1564 0 0 0 10 0 0 0 20 0 1 0 433758435 29941760 1344 33554432000 4194304 6211092 140725677962976 140725677959512 5810210 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 7310 1344 806 493 0 615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29240 KiB
Current children cumulated memory: 5376 KiB
[startup+0.209743 s]*
/proc/loadavg: 2.04 2.03 1.88 3/203 8497
/proc/meminfo: memFree=31101988/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=29888 memory=5824 CPUtime=0.21 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 1788 0 0 0 21 0 0 0 20 0 1 0 433758435 30605312 1456 33554432000 4194304 6211092 140725677962976 140725677959512 140551835276416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 7472 1456 806 493 0 777 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29888 KiB
Current children cumulated memory: 5824 KiB
[startup+0.309108 s]*
/proc/loadavg: 2.04 2.03 1.88 3/203 8497
/proc/meminfo: memFree=31093308/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=33452 memory=9252 CPUtime=0.3 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 2682 0 0 0 30 0 0 0 20 0 1 0 433758435 34254848 2313 33554432000 4194304 6211092 140725677962976 140725677959512 140551819213797 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 8363 2313 821 493 0 1668 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33452 KiB
Current children cumulated memory: 9252 KiB
[startup+0.70029 s]
/proc/loadavg: 2.04 2.03 1.88 3/203 8497
/proc/meminfo: memFree=31074160/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=48248 memory=24300 CPUtime=0.69 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 6398 0 0 0 68 1 0 0 20 0 1 0 433758435 49405952 6075 33554432000 4194304 6211092 140725677962976 140725677956056 140551819213797 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 12062 6075 821 493 0 5367 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48248 KiB
Current children cumulated memory: 24300 KiB
[startup+1.50033 s]
/proc/loadavg: 2.04 2.03 1.88 3/203 8497
/proc/meminfo: memFree=31026744/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=79344 memory=55188 CPUtime=1.49 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 14160 0 0 0 146 3 0 0 20 0 1 0 433758435 81248256 13797 33554432000 4194304 6211092 140725677962976 140725677955976 140551819213797 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 19836 13797 821 493 0 13141 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79344 KiB
Current children cumulated memory: 55188 KiB
[startup+3.10036 s]*
/proc/loadavg: 2.03 2.03 1.88 3/203 8497
/proc/meminfo: memFree=30831588/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133708 memory=110088 CPUtime=3.1 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 45815 0 0 0 303 7 0 0 20 0 1 0 433758435 136916992 27522 33554432000 4194304 6211092 140725677962976 140725677957416 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33427 27522 864 493 0 26732 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 133708 KiB
Current children cumulated memory: 110088 KiB
[startup+6.30028 s]
/proc/loadavg: 2.03 2.03 1.88 3/203 8497
/proc/meminfo: memFree=30820520/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=6.29 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 66808 0 0 0 622 7 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5397352 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 1.88 3/203 8497
/proc/meminfo: memFree=30820800/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=12.69 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 104391 0 0 0 1261 8 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 1.88 3/202 8499
/proc/meminfo: memFree=30819960/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=25.49 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 127290 0 0 0 2540 9 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5165608 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+51.1003 s]*
/proc/loadavg: 2.02 2.02 1.88 3/203 8501
/proc/meminfo: memFree=30820388/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=51.1 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 147660 0 0 0 5100 10 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/204 8512
/proc/meminfo: memFree=30818636/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=102.3 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 168023 0 0 0 10219 11 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5009098 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/205 8519
/proc/meminfo: memFree=30817452/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=162.3 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 188392 0 0 0 16219 11 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/205 8523
/proc/meminfo: memFree=30818064/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=222.3 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 208756 0 0 0 22218 12 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5008824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/205 8527
/proc/meminfo: memFree=30818096/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110364 CPUtime=282.28 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 208792 0 0 0 28216 12 0 0 20 0 1 0 433758435 137052160 27591 33554432000 4194304 6211092 140725677962976 140725677961112 5008827 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27591 865 493 0 26765 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110364 KiB
[startup+342.3 s]
/proc/loadavg: 2.15 2.05 1.92 3/204 8533
/proc/meminfo: memFree=30817884/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=342.27 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 213113 0 0 0 34214 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 1.93 3/204 8539
/proc/meminfo: memFree=30818760/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=402.28 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 213597 0 0 0 40215 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/203 8543
/proc/meminfo: memFree=30818992/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=462.28 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 213597 0 0 0 46215 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5008824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
################
# More data... #
################
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1602.36 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/203 8655
/proc/meminfo: memFree=30818980/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1662.37 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 218422 0 0 0 166224 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1662.37 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/203 8659
/proc/meminfo: memFree=30819084/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1722.37 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 218892 0 0 0 172224 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5008844 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/203 8665
/proc/meminfo: memFree=30819184/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1782.38 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 218892 0 0 0 178225 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397352 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8669
/proc/meminfo: memFree=30818340/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1842.38 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 219380 0 0 0 184225 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5186258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/202 8680
/proc/meminfo: memFree=30818112/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1902.39 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 219385 0 0 0 190226 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397387 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8687
/proc/meminfo: memFree=30818112/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=1962.39 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 219860 0 0 0 196226 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5008971 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8692
/proc/meminfo: memFree=30818272/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2022.39 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 219860 0 0 0 202226 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8696
/proc/meminfo: memFree=30818028/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2082.4 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 220344 0 0 0 208227 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8702
/proc/meminfo: memFree=30818328/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2142.4 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 220344 0 0 0 214227 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8707
/proc/meminfo: memFree=30818160/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2202.41 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 220818 0 0 0 220228 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397382 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8712
/proc/meminfo: memFree=30818104/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2262.41 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 220826 0 0 0 226228 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5008831 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8718
/proc/meminfo: memFree=30818068/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2322.42 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 221307 0 0 0 232229 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5165624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/203 8723
/proc/meminfo: memFree=30817872/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2382.42 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 221309 0 0 0 238229 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397387 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.08 2.03 2.01 5/217 8755
/proc/meminfo: memFree=30932632/32770624 swapFree=67004404/67108860
[pid=8496] ppid=8493 vsize=133840 memory=110400 CPUtime=2400.02 cores=1,3,5,7
/proc/8496/stat : 8496 (cosoco) R 8493 8496 7999 0 -1 4202496 221778 0 0 0 239989 13 0 0 20 0 1 0 433758435 137052160 27600 33554432000 4194304 6211092 140725677962976 140725677961112 5397226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 29122560 140725677970443 140725677970545 140725677970545 140725677973454 0
/proc/8496/statm: 33460 27600 865 493 0 26765 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 133840 KiB
Current children cumulated memory: 110400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 8496 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.9 s, system=0.13901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2399.9
CPU system time (s): 0.13901
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 133840
Max. memory (cumulated for all children) (KiB): 110400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.9
system time used= 0.13901
maximum resident set size= 110468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221831
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= 57
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 8496
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.9
# total CPU system time (s): 0.13901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87115 second user time and 16.6794 second system time
The end