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 (15324 MiB free)
memory of node 1: 16384 MiB (15704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408047-1569789917/watcher-4408047-1569789917 -o /tmp/evaluation-result-4408047-1569789917/solver-4408047-1569789917 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10133 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408047-1569789917.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=10523, runsolver pid=10520
[startup+0.100142 s]*
/proc/loadavg: 2.00 2.00 1.87 3/202 10524
/proc/meminfo: memFree=31770944/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=28704 memory=4724 CPUtime=0.1 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 1512 0 0 0 10 0 0 0 20 0 1 0 555264315 29392896 1181 33554432000 4194304 6211132 140728170511984 140728170508520 139854649080805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 7176 1181 803 493 0 481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28704 KiB
Current children cumulated memory: 4724 KiB
[startup+0.209494 s]*
/proc/loadavg: 2.00 2.00 1.87 3/202 10524
/proc/meminfo: memFree=31765384/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=32776 memory=8796 CPUtime=0.21 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 2919 0 0 0 21 0 0 0 20 0 1 0 555264315 33562624 2199 33554432000 4194304 6211132 140728170511984 140728170508520 5489983 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 8194 2199 809 493 0 1499 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32776 KiB
Current children cumulated memory: 8796 KiB
[startup+0.309619 s]*
/proc/loadavg: 2.00 2.00 1.87 3/202 10524
/proc/meminfo: memFree=31764268/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=32776 memory=8796 CPUtime=0.31 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 2919 0 0 0 31 0 0 0 20 0 1 0 555264315 33562624 2199 33554432000 4194304 6211132 140728170511984 140728170508520 139854665143424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 8194 2199 809 493 0 1499 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32776 KiB
Current children cumulated memory: 8796 KiB
[startup+0.700322 s]
/proc/loadavg: 2.00 2.00 1.87 3/202 10524
/proc/meminfo: memFree=31759804/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=38356 memory=13808 CPUtime=0.69 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 4180 0 0 0 69 0 0 0 20 0 1 0 555264315 39276544 3452 33554432000 4194304 6211132 140728170511984 140728170508520 5817902 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 9589 3452 809 493 0 2894 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 13808 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.87 3/202 10524
/proc/meminfo: memFree=31749016/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=48460 memory=22520 CPUtime=1.49 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 6373 0 0 0 149 0 0 0 20 0 1 0 555264315 49623040 5630 33554432000 4194304 6211132 140728170511984 140728170509256 139854665143424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 12115 5630 809 493 0 5420 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48460 KiB
Current children cumulated memory: 22520 KiB
[startup+3.10963 s]
/proc/loadavg: 2.08 2.02 1.88 3/202 10524
/proc/meminfo: memFree=31697872/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=66648 memory=38364 CPUtime=3.1 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 11443 0 0 0 309 1 0 0 20 0 1 0 555264315 68247552 9591 33554432000 4194304 6211132 140728170511984 140728170509256 5485024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 16662 9591 810 493 0 9967 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 66648 KiB
Current children cumulated memory: 38364 KiB
[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 1.88 3/202 10524
/proc/meminfo: memFree=31650672/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=103024 memory=69776 CPUtime=6.29 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 20461 0 0 0 627 2 0 0 20 0 1 0 555264315 105496576 17444 33554432000 4194304 6211132 140728170511984 140728170509256 139854665143424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 25756 17444 810 493 0 19061 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103024 KiB
Current children cumulated memory: 69776 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.88 3/202 10524
/proc/meminfo: memFree=31523076/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=175776 memory=133116 CPUtime=12.69 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 37382 0 0 0 1264 5 0 0 20 0 1 0 555264315 179994624 33279 33554432000 4194304 6211132 140728170511984 140728170509256 139854649071722 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 43944 33279 810 493 0 37249 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 175776 KiB
Current children cumulated memory: 133116 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.88 3/201 10524
/proc/meminfo: memFree=31396820/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=319260 memory=257704 CPUtime=25.49 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 70777 0 0 0 2540 9 0 0 20 0 1 0 555264315 326922240 64426 33554432000 4194304 6211132 140728170511984 140728170509256 5817908 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 79815 64426 810 493 0 73120 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 319260 KiB
Current children cumulated memory: 257704 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.01 1.88 3/200 10527
/proc/meminfo: memFree=31231616/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=413804 CPUtime=51.09 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 247420 0 0 0 5090 19 0 0 20 0 1 0 555264315 502341632 103451 33554432000 4194304 6211132 140728170511984 140728170510248 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 103451 855 493 0 115947 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 413804 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/200 10718
/proc/meminfo: memFree=30977128/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=423660 CPUtime=102.28 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 335206 0 0 0 10205 23 0 0 20 0 1 0 555264315 502341632 105915 33554432000 4194304 6211132 140728170511984 140728170509944 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 105915 855 493 0 115947 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 423660 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/200 10722
/proc/meminfo: memFree=30734004/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=436700 CPUtime=162.27 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 401262 0 0 0 16202 25 0 0 20 0 1 0 555264315 502341632 109175 33554432000 4194304 6211132 140728170511984 140728170509944 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 109175 855 493 0 115947 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 436700 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/200 10728
/proc/meminfo: memFree=30719884/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=449744 CPUtime=222.27 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 445890 0 0 0 22200 27 0 0 20 0 1 0 555264315 502341632 112436 33554432000 4194304 6211132 140728170511984 140728170509944 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 112436 855 493 0 115947 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 449744 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/200 10732
/proc/meminfo: memFree=30706520/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=462520 CPUtime=282.27 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 479144 0 0 0 28198 29 0 0 20 0 1 0 555264315 502341632 115630 33554432000 4194304 6211132 140728170511984 140728170509944 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 115630 855 493 0 115947 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 462520 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10744
/proc/meminfo: memFree=30702220/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=342.26 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 489758 0 0 0 34197 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+366.395 s]
# the end of solver process 10523 was just reported to runsolver
# cumulated CPU time of all completed processes: user=366.067 s, system=0.297985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10744
/proc/meminfo: memFree=30702220/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=345.56 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 489758 0 0 0 34527 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 345.56 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+358.4 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701776/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=358.36 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 489758 0 0 0 35807 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 358.36 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+361.6 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=361.56 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 489759 0 0 0 36127 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 361.56 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+364.8 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=364.76 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 490135 0 0 0 36447 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 364.76 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+365.6 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=365.56 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 490135 0 0 0 36527 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 365.56 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+366 s]*
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=365.97 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 490135 0 0 0 36568 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5039014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 365.97 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+366.2 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=366.16 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 490135 0 0 0 36587 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 366.16 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
[startup+366.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/200 10747
/proc/meminfo: memFree=30701112/32770624 swapFree=66947136/67108860
[pid=10523] ppid=10520 vsize=490568 memory=466780 CPUtime=366.26 cores=0,2,4,6
/proc/10523/stat : 10523 (cosoco) R 10520 10523 10102 0 -1 4202496 490135 0 0 0 36597 29 0 0 20 0 1 0 555264315 502341632 116695 33554432000 4194304 6211132 140728170511984 140728170509944 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34967552 140728170517515 140728170517617 140728170517617 140728170520526 0
/proc/10523/statm: 122642 116695 855 493 0 115947 0
Current children cumulated CPU time: 366.26 s
Current children cumulated vsize: 490568 KiB
Current children cumulated memory: 466780 KiB
Child status: 0
Real time (s): 366.395
CPU time (s): 366.365
CPU user time (s): 366.067
CPU system time (s): 0.297985
CPU usage (%): 99.9918
Max. virtual memory (cumulated for all children) (KiB): 490568
Max. memory (cumulated for all children) (KiB): 466780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 366.067
system time used= 0.297985
maximum resident set size= 466844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490185
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= 28
involuntary context switches= 137
# summary of solver processes directly reported to runsolver:
# pid: 10523
# total CPU time (s): 366.365
# total CPU user time (s): 366.067
# total CPU system time (s): 0.297985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11112 second user time and 2.10914 second system time
The end