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 (13886 MiB free)
memory of node 1: 16384 MiB (13930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408124-1569809274/watcher-4408124-1569809274 -o /tmp/evaluation-result-4408124-1569809274/solver-4408124-1569809274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23554 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408124-1569809274.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=28057, runsolver pid=28054
Current StackSize limit: 8192 KiB
[startup+0.100193 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28479640/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=32592 memory=8640 CPUtime=0.1 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 2353 0 0 0 10 0 0 0 20 0 1 0 556863765 33374208 2160 33554432000 4194304 6211132 140730283626480 140730283623016 140082650057829 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 8148 2160 798 493 0 1453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32592 KiB
Current children cumulated memory: 8640 KiB
[startup+0.209736 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28479020/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=33304 memory=9224 CPUtime=0.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 2526 0 0 0 21 0 0 0 20 0 1 0 556863765 34103296 2306 33554432000 4194304 6211132 140730283626480 140730283623016 140082650054768 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 8326 2306 798 493 0 1631 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 9224 KiB
[startup+0.309079 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28471084/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=41984 memory=17988 CPUtime=0.3 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 4718 0 0 0 30 0 0 0 20 0 1 0 556863765 42991616 4497 33554432000 4194304 6211132 140730283626480 140730283623016 5071149 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 10496 4497 816 493 0 3801 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41984 KiB
Current children cumulated memory: 17988 KiB
[startup+0.700395 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28453104/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=76012 memory=52200 CPUtime=0.69 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 13237 0 0 0 67 2 0 0 20 0 1 0 556863765 77836288 13050 33554432000 4194304 6211132 140730283626480 140730283623016 140082646576101 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 19003 13050 816 493 0 12308 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76012 KiB
Current children cumulated memory: 52200 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28409084/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=147220 memory=123276 CPUtime=1.49 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 31023 0 0 0 144 5 0 0 20 0 1 0 556863765 150753280 30819 33554432000 4194304 6211132 140730283626480 140730283619784 140082646576101 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 36805 30819 816 493 0 30110 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 147220 KiB
Current children cumulated memory: 123276 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28231384/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=289756 memory=265944 CPUtime=3.1 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 67151 0 0 0 300 10 0 0 20 0 1 0 556863765 296710144 66486 33554432000 4194304 6211132 140730283626480 140730283619784 140082650061213 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 72439 66486 816 493 0 65744 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 289756 KiB
Current children cumulated memory: 265944 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28058
/proc/meminfo: memFree=28161192/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=350232 memory=326820 CPUtime=6.29 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 119075 0 0 0 615 14 0 0 20 0 1 0 556863765 358637568 81705 33554432000 4194304 6211132 140730283626480 140730283624136 5446158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 87558 81705 860 493 0 80863 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 350232 KiB
Current children cumulated memory: 326820 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28060
/proc/meminfo: memFree=28149392/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=361716 memory=338288 CPUtime=12.68 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 150828 0 0 0 1252 16 0 0 20 0 1 0 556863765 370397184 84572 33554432000 4194304 6211132 140730283626480 140730283624136 5446210 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 90429 84572 862 493 0 83734 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 361716 KiB
Current children cumulated memory: 338288 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28060
/proc/meminfo: memFree=28143556/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=368712 memory=345236 CPUtime=25.49 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 183101 0 0 0 2531 18 0 0 20 0 1 0 556863765 377561088 86309 33554432000 4194304 6211132 140730283626480 140730283624136 140082646576101 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 92178 86309 862 493 0 85483 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 368712 KiB
Current children cumulated memory: 345236 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28061
/proc/meminfo: memFree=28123316/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=387588 memory=364104 CPUtime=51.1 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 226598 0 0 0 5089 21 0 0 20 0 1 0 556863765 396890112 91026 33554432000 4194304 6211132 140730283626480 140730283624136 5446292 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 96897 91026 862 493 0 90202 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 387588 KiB
Current children cumulated memory: 364104 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 28066
/proc/meminfo: memFree=28109688/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=400524 memory=377020 CPUtime=102.28 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 267170 0 0 0 10205 23 0 0 20 0 1 0 556863765 410136576 94255 33554432000 4194304 6211132 140730283626480 140730283624136 140082647502239 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 100131 94255 862 493 0 93436 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 400524 KiB
Current children cumulated memory: 377020 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28070
/proc/meminfo: memFree=28093832/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=411480 memory=387960 CPUtime=162.28 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 301542 0 0 0 16203 25 0 0 20 0 1 0 556863765 421355520 96990 33554432000 4194304 6211132 140730283626480 140730283624136 5456330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 102870 96990 862 493 0 96175 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 411480 KiB
Current children cumulated memory: 387960 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 28081
/proc/meminfo: memFree=28078496/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=425736 memory=402304 CPUtime=222.27 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 331860 0 0 0 22201 26 0 0 20 0 1 0 556863765 435953664 100576 33554432000 4194304 6211132 140730283626480 140730283624136 140082656521053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 106434 100576 862 493 0 99739 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 425736 KiB
Current children cumulated memory: 402304 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 28087
/proc/meminfo: memFree=28075716/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=428640 memory=405104 CPUtime=282.26 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 335100 0 0 0 28200 26 0 0 20 0 1 0 556863765 438927360 101276 33554432000 4194304 6211132 140730283626480 140730283624136 5441163 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 107160 101276 862 493 0 100465 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 428640 KiB
Current children cumulated memory: 405104 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 28091
/proc/meminfo: memFree=28070448/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=433392 memory=409888 CPUtime=342.26 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 337480 0 0 0 34199 27 0 0 20 0 1 0 556863765 443793408 102472 33554432000 4194304 6211132 140730283626480 140730283624136 5164621 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 108348 102472 862 493 0 101653 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 409888 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 28095
/proc/meminfo: memFree=28068020/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=434712 memory=411316 CPUtime=402.26 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 339319 0 0 0 40199 27 0 0 20 0 1 0 556863765 445145088 102829 33554432000 4194304 6211132 140730283626480 140730283624440 5441106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 108678 102829 862 493 0 101983 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 434712 KiB
Current children cumulated memory: 411316 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28101
/proc/meminfo: memFree=28065972/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=435240 memory=411792 CPUtime=462.26 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 340432 0 0 0 46199 27 0 0 20 0 1 0 556863765 445685760 102948 33554432000 4194304 6211132 140730283626480 140730283624136 5476895 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 108810 102948 862 493 0 102115 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 435240 KiB
Current children cumulated memory: 411792 KiB
################
# More data... #
################
/proc/28057/statm: 112374 106503 862 493 0 105679 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 449496 KiB
Current children cumulated memory: 426012 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28224
/proc/meminfo: memFree=28042200/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=449760 memory=426284 CPUtime=1842.22 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 368157 0 0 0 184192 30 0 0 20 0 1 0 556863765 460554240 106571 33554432000 4194304 6211132 140730283626480 140730283624136 140082647502265 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112440 106571 862 493 0 105745 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 449760 KiB
Current children cumulated memory: 426284 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28230
/proc/meminfo: memFree=28040824/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=450024 memory=426616 CPUtime=1902.22 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 368896 0 0 0 190192 30 0 0 20 0 1 0 556863765 460824576 106654 33554432000 4194304 6211132 140730283626480 140730283624136 140082647499665 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112506 106654 862 493 0 105811 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 450024 KiB
Current children cumulated memory: 426616 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28234
/proc/meminfo: memFree=28039644/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451080 memory=427636 CPUtime=1962.22 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 369874 0 0 0 196191 31 0 0 20 0 1 0 556863765 461905920 106909 33554432000 4194304 6211132 140730283626480 140730283624136 5480300 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112770 106909 862 493 0 106075 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427636 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28246
/proc/meminfo: memFree=28039648/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451080 memory=427664 CPUtime=2022.22 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 370842 0 0 0 202191 31 0 0 20 0 1 0 556863765 461905920 106916 33554432000 4194304 6211132 140730283626480 140730283624136 5165031 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112770 106916 862 493 0 106075 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.45 2.11 2.08 2/202 28315
/proc/meminfo: memFree=22582972/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451080 memory=427664 CPUtime=2082.22 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 371738 0 0 0 208191 31 0 0 20 0 1 0 556863765 461905920 106916 33554432000 4194304 6211132 140730283626480 140730283624136 5069032 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112770 106916 862 493 0 106075 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427664 KiB
[startup+2142.3 s]
/proc/loadavg: 3.33 2.44 2.19 2/201 28383
/proc/meminfo: memFree=21724580/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451080 memory=427664 CPUtime=2142.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 372646 0 0 0 214190 31 0 0 20 0 1 0 556863765 461905920 106916 33554432000 4194304 6211132 140730283626480 140730283624136 5451514 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112770 106916 862 493 0 106075 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 451080 KiB
Current children cumulated memory: 427664 KiB
[startup+2202.3 s]
/proc/loadavg: 3.76 2.76 2.32 3/201 28452
/proc/meminfo: memFree=28051924/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451212 memory=427720 CPUtime=2202.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 373394 0 0 0 220190 31 0 0 20 0 1 0 556863765 462041088 106930 33554432000 4194304 6211132 140730283626480 140730283624136 5446189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112803 106930 862 493 0 106108 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 427720 KiB
[startup+2262.3 s]
/proc/loadavg: 2.65 2.62 2.30 3/202 28458
/proc/meminfo: memFree=27442912/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451212 memory=427848 CPUtime=2262.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 374100 0 0 0 226190 31 0 0 20 0 1 0 556863765 462041088 106962 33554432000 4194304 6211132 140730283626480 140730283624136 5446225 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112803 106962 862 493 0 106108 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 427848 KiB
[startup+2322.3 s]
/proc/loadavg: 2.24 2.51 2.28 3/201 28463
/proc/meminfo: memFree=26832608/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427880 CPUtime=2322.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 374826 0 0 0 232190 31 0 0 20 0 1 0 556863765 462176256 106970 33554432000 4194304 6211132 140730283626480 140730283624136 5009608 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106970 862 493 0 106141 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427880 KiB
[startup+2382.3 s]
/proc/loadavg: 2.09 2.41 2.27 3/201 28467
/proc/meminfo: memFree=26223684/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427900 CPUtime=2382.21 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 375412 0 0 0 238190 31 0 0 20 0 1 0 556863765 462176256 106975 33554432000 4194304 6211132 140730283626480 140730283624440 5441132 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106975 862 493 0 106141 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427900 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.34 2.25 3/202 28473
/proc/meminfo: memFree=25615308/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427904 CPUtime=2442.2 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 375963 0 0 0 244189 31 0 0 20 0 1 0 556863765 462176256 106976 33554432000 4194304 6211132 140730283626480 140730283624440 5451514 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106976 862 493 0 106141 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427904 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.28 2.23 3/200 28477
/proc/meminfo: memFree=25007272/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427904 CPUtime=2502.2 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 376514 0 0 0 250189 31 0 0 20 0 1 0 556863765 462176256 106976 33554432000 4194304 6211132 140730283626480 140730283624440 5453954 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106976 862 493 0 106141 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427904 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.26 2.23 3/200 28478
/proc/meminfo: memFree=24834316/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427904 CPUtime=2519.9 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 376966 0 0 0 251959 31 0 0 20 0 1 0 556863765 462176256 106976 33554432000 4194304 6211132 140730283626480 140730283624440 140082656521098 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106976 862 493 0 106141 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 28057 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.31899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.01 2.26 2.23 3/200 28478
/proc/meminfo: memFree=24834316/32770624 swapFree=66966920/67108860
[pid=28057] ppid=28054 vsize=451344 memory=427904 CPUtime=2519.9 cores=0,2,4,6
/proc/28057/stat : 28057 (cosoco) R 28054 28057 23523 0 -1 4202496 376966 0 0 0 251959 31 0 0 20 0 1 0 556863765 462176256 106976 33554432000 4194304 6211132 140730283626480 140730283624440 140082656521098 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38400000 140730283631627 140730283631729 140730283631729 140730283634638 0
/proc/28057/statm: 112836 106976 862 493 0 106141 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 451344 KiB
Current children cumulated memory: 427904 KiB
Child status: 1
Real time (s): 2520
CPU time (s): 2519.92
CPU user time (s): 2519.6
CPU system time (s): 0.31899
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 451344
Max. memory (cumulated for all children) (KiB): 427904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.31899
maximum resident set size= 427972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377015
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= 44
involuntary context switches= 3167
# summary of solver processes directly reported to runsolver:
# pid: 28057
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.31899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0457 second user time and 16.221 second system time
The end