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 (15030 MiB free)
memory of node 1: 16384 MiB (14711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408253-1569805298/watcher-4408253-1569805298 -o /tmp/evaluation-result-4408253-1569805298/solver-4408253-1569805298 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408253-1569805298.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6718, runsolver pid=6715
[startup+0.100153 s]*
/proc/loadavg: 2.09 2.04 2.05 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3692 CPUtime=0.1 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1135 0 0 0 10 0 0 0 20 0 1 0 556468066 27881472 923 33554432000 4194304 6211132 140734537145456 140734537143720 5157568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 923 832 493 0 112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3692 KiB
[startup+0.209347 s]*
/proc/loadavg: 2.09 2.04 2.05 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3692 CPUtime=0.21 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1135 0 0 0 21 0 0 0 20 0 1 0 556468066 27881472 923 33554432000 4194304 6211132 140734537145456 140734537143720 5156272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 923 832 493 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3692 KiB
[startup+0.308878 s]*
/proc/loadavg: 2.09 2.04 2.05 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3692 CPUtime=0.31 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1135 0 0 0 31 0 0 0 20 0 1 0 556468066 27881472 923 33554432000 4194304 6211132 140734537145456 140734537143720 5250311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 923 832 493 0 112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3692 KiB
[startup+0.700275 s]
/proc/loadavg: 2.09 2.04 2.05 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3692 CPUtime=0.69 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1135 0 0 0 69 0 0 0 20 0 1 0 556468066 27881472 923 33554432000 4194304 6211132 140734537145456 140734537143720 5156515 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 923 832 493 0 112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3692 KiB
[startup+1.50027 s]
/proc/loadavg: 2.09 2.04 2.05 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3692 CPUtime=1.49 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1135 0 0 0 149 0 0 0 20 0 1 0 556468066 27881472 923 33554432000 4194304 6211132 140734537145456 140734537143720 5155687 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 923 832 493 0 112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3692 KiB
[startup+3.10891 s]
/proc/loadavg: 2.01 2.02 2.04 3/199 6719
/proc/meminfo: memFree=30455416/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=3.1 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1159 0 0 0 310 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+6.30026 s]
/proc/loadavg: 2.01 2.02 2.04 3/200 6741
/proc/meminfo: memFree=30453264/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=6.29 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1183 0 0 0 629 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5157479 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.04 3/200 6741
/proc/meminfo: memFree=30453548/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=12.69 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1207 0 0 0 1269 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5155861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/200 6743
/proc/meminfo: memFree=30452956/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=25.49 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1255 0 0 0 2549 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5156975 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+51.109 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 6744
/proc/meminfo: memFree=30453220/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=51.09 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1279 0 0 0 5109 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/200 6748
/proc/meminfo: memFree=30453424/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=102.27 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1303 0 0 0 10227 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5158208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/201 6754
/proc/meminfo: memFree=30453536/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=162.26 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1327 0 0 0 16226 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5156000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 6758
/proc/meminfo: memFree=30454356/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=222.25 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1355 0 0 0 22225 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5156028 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6762
/proc/meminfo: memFree=30453092/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=282.24 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1379 0 0 0 28224 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250495 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 6768
/proc/meminfo: memFree=30454128/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=342.22 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1403 0 0 0 34222 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250321 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6772
/proc/meminfo: memFree=30453936/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=402.21 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1427 0 0 0 40221 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+421.556 s]
# the end of solver process 6718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=421.468 s, system=0.001999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6772
/proc/meminfo: memFree=30453936/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=409.51 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1427 0 0 0 40951 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250321 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 409.51 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+416 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 6772
/proc/meminfo: memFree=30453936/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=415.92 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1427 0 0 0 41592 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 415.92 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+419.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6772
/proc/meminfo: memFree=30453936/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=419.11 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1451 0 0 0 41911 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5158208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 419.11 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+420.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6772
/proc/meminfo: memFree=30453936/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=420.71 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1451 0 0 0 42071 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5155711 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 420.71 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+421.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6773
/proc/meminfo: memFree=30454368/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=421.11 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1451 0 0 0 42111 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5155828 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 421.11 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+421.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6773
/proc/meminfo: memFree=30454368/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=421.31 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1451 0 0 0 42131 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5155532 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 421.31 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
[startup+421.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6773
/proc/meminfo: memFree=30454368/32770624 swapFree=66997324/67108860
[pid=6718] ppid=6715 vsize=27228 memory=3892 CPUtime=421.41 cores=1,3,5,7
/proc/6718/stat : 6718 (cosoco) R 6715 6718 2465 0 -1 4202496 1451 0 0 0 42141 0 0 0 20 0 1 0 556468066 27881472 973 33554432000 4194304 6211132 140734537145456 140734537143720 5250304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24326144 140734537151499 140734537151601 140734537151601 140734537154510 0
/proc/6718/statm: 6807 973 873 493 0 112 0
Current children cumulated CPU time: 421.41 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3892 KiB
Child status: 0
Real time (s): 421.556
CPU time (s): 421.47
CPU user time (s): 421.468
CPU system time (s): 0.001999
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 27228
Max. memory (cumulated for all children) (KiB): 3892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.468
system time used= 0.001999
maximum resident set size= 3960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1501
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= 14
involuntary context switches= 2224
# summary of solver processes directly reported to runsolver:
# pid: 6718
# total CPU time (s): 421.47
# total CPU user time (s): 421.468
# total CPU system time (s): 0.001999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4609 second user time and 2.72831 second system time
The end