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 (14854 MiB free)
memory of node 1: 16384 MiB (13806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408176-1569792694/watcher-4408176-1569792694 -o /tmp/evaluation-result-4408176-1569792694/solver-4408176-1569792694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1569787352-30040 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408176-1569792694.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=31104, runsolver pid=31101
[startup+0.100172 s]*
/proc/loadavg: 2.32 2.09 2.03 4/215 31111
/proc/meminfo: memFree=29334792/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=30512 memory=6900 CPUtime=0.1 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 1899 0 0 0 10 0 0 0 20 0 1 0 555184651 31244288 1725 33554432000 4194304 6211132 140733241890768 140733241887304 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 7628 1725 842 493 0 933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 6900 KiB
[startup+0.209738 s]*
/proc/loadavg: 2.32 2.09 2.03 3/199 31111
/proc/meminfo: memFree=29357992/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=31452 memory=7956 CPUtime=0.21 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 2159 0 0 0 21 0 0 0 20 0 1 0 555184651 32206848 1989 33554432000 4194304 6211132 140733241890768 140733241887304 4982624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 7863 1989 842 493 0 1168 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31452 KiB
Current children cumulated memory: 7956 KiB
[startup+0.309017 s]*
/proc/loadavg: 2.32 2.09 2.03 2/197 31127
/proc/meminfo: memFree=29352432/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=32548 memory=8748 CPUtime=0.31 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 2401 0 0 0 31 0 0 0 20 0 1 0 555184651 33329152 2187 33554432000 4194304 6211132 140733241890768 140733241887304 140703286549352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 8137 2187 842 493 0 1442 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 8748 KiB
[startup+0.700272 s]
/proc/loadavg: 2.32 2.09 2.03 2/196 31130
/proc/meminfo: memFree=29355436/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=36104 memory=12376 CPUtime=0.69 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3308 0 0 0 69 0 0 0 20 0 1 0 555184651 36970496 3094 33554432000 4194304 6211132 140733241890768 140733241887304 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 9026 3094 842 493 0 2331 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36104 KiB
Current children cumulated memory: 12376 KiB
[startup+1.50028 s]
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29333372/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=43752 memory=20028 CPUtime=1.49 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 5215 0 0 0 149 0 0 0 20 0 1 0 555184651 44802048 5007 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 10938 5007 842 493 0 4243 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43752 KiB
Current children cumulated memory: 20028 KiB
[startup+3.1095 s]
/proc/loadavg: 2.32 2.09 2.03 3/202 31143
/proc/meminfo: memFree=29273608/32770624 swapFree=66954172/67108860
[pid=31104] ppid=31101 vsize=59176 memory=35420 CPUtime=3.1 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 9137 0 0 0 309 1 0 0 20 0 1 0 555184651 60596224 8855 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 14794 8855 842 493 0 8099 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 59176 KiB
Current children cumulated memory: 35420 KiB
[startup+6.30027 s]
/proc/loadavg: 2.29 2.09 2.03 3/201 31146
/proc/meminfo: memFree=29988276/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=89804 memory=65880 CPUtime=6.29 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 16795 0 0 0 627 2 0 0 20 0 1 0 555184651 91959296 16470 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 22451 16470 842 493 0 15756 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 89804 KiB
Current children cumulated memory: 65880 KiB
[startup+12.7003 s]
/proc/loadavg: 2.27 2.09 2.03 3/202 31148
/proc/meminfo: memFree=29884748/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=152244 memory=126672 CPUtime=12.69 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 32103 0 0 0 1266 3 0 0 20 0 1 0 555184651 155897856 31668 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 38061 31668 842 493 0 31366 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 152244 KiB
Current children cumulated memory: 126672 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 2.09 2.03 3/201 31148
/proc/meminfo: memFree=29659868/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=273184 memory=248692 CPUtime=25.49 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 62706 0 0 0 2541 8 0 0 20 0 1 0 555184651 279740416 62173 33554432000 4194304 6211132 140733241890768 140733241864680 140703286549386 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 68296 62173 842 493 0 61601 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 273184 KiB
Current children cumulated memory: 248692 KiB
[startup+51.1094 s]
/proc/loadavg: 2.14 2.08 2.03 3/201 31148
/proc/meminfo: memFree=29207928/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=519700 memory=492236 CPUtime=51.1 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 123158 0 0 0 5095 15 0 0 20 0 1 0 555184651 532172800 123059 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 129925 123059 842 493 0 123230 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 519700 KiB
Current children cumulated memory: 492236 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.03 3/202 31154
/proc/meminfo: memFree=28323448/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=1015360 memory=980732 CPUtime=102.29 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 243289 0 0 0 10197 32 0 0 20 0 1 0 555184651 1039728640 245183 33554432000 4194304 6211132 140733241890768 140733241864680 140703277528638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 253840 245183 842 493 0 247145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1015360 KiB
Current children cumulated memory: 980732 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/201 31158
/proc/meminfo: memFree=27284428/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=1590364 memory=1551560 CPUtime=162.27 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 382923 0 0 0 16176 51 0 0 20 0 1 0 555184651 1628532736 387890 33554432000 4194304 6211132 140733241890768 140733241864680 5451520 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 397591 387890 842 493 0 390896 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1590364 KiB
Current children cumulated memory: 1551560 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/201 31162
/proc/meminfo: memFree=26243828/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=2151528 memory=2124424 CPUtime=222.25 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 522033 0 0 0 22154 71 0 0 20 0 1 0 555184651 2203164672 531106 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 537882 531106 842 493 0 531187 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2151528 KiB
Current children cumulated memory: 2124424 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/200 31168
/proc/meminfo: memFree=25205876/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=2730136 memory=2695192 CPUtime=282.22 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 661200 0 0 0 28132 90 0 0 20 0 1 0 555184651 2795659264 673798 33554432000 4194304 6211132 140733241890768 140733241864680 140703277530538 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 682534 673798 842 493 0 675839 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2730136 KiB
Current children cumulated memory: 2695192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/199 31172
/proc/meminfo: memFree=24165628/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=3331988 memory=3268416 CPUtime=342.19 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 800431 0 0 0 34111 108 0 0 20 0 1 0 555184651 3411955712 817104 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 832997 817104 842 493 0 826302 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 3331988 KiB
Current children cumulated memory: 3268416 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/199 31176
/proc/meminfo: memFree=23123948/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=3886388 memory=3841204 CPUtime=402.17 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 939102 0 0 0 40092 125 0 0 20 0 1 0 555184651 3979661312 960301 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 971597 960301 842 493 0 964902 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 3886388 KiB
Current children cumulated memory: 3841204 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/200 31182
/proc/meminfo: memFree=22085280/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=4456796 memory=4413508 CPUtime=462.16 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 1078207 0 0 0 46070 146 0 0 20 0 1 0 555184651 4563759104 1103377 33554432000 4194304 6211132 140733241890768 140733241864680 5453928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 1114199 1103377 842 493 0 1107504 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 4456796 KiB
Current children cumulated memory: 4413508 KiB
################
# More data... #
################
Current children cumulated vsize: 10749180 KiB
Current children cumulated memory: 10702332 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/201 31255
/proc/meminfo: memFree=9619220/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=11427092 memory=11274252 CPUtime=1181.91 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 2743806 0 0 0 117760 431 0 0 20 0 1 0 555184651 11701342208 2818563 33554432000 4194304 6211132 140733241890768 140733241864680 5446662 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 2856773 2818563 842 493 0 2850078 0
Current children cumulated CPU time: 1181.91 s
Current children cumulated vsize: 11427092 KiB
Current children cumulated memory: 11274252 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 31259
/proc/meminfo: memFree=8583456/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=11980832 memory=11844192 CPUtime=1241.9 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 2882393 0 0 0 123730 460 0 0 20 0 1 0 555184651 12268371968 2961048 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 2995208 2961048 842 493 0 2988513 0
Current children cumulated CPU time: 1241.9 s
Current children cumulated vsize: 11980832 KiB
Current children cumulated memory: 11844192 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 31263
/proc/meminfo: memFree=7543688/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=12534440 memory=12416308 CPUtime=1301.88 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3020954 0 0 0 129700 488 0 0 20 0 1 0 555184651 12835266560 3104077 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3133610 3104077 842 493 0 3126915 0
Current children cumulated CPU time: 1301.88 s
Current children cumulated vsize: 12534440 KiB
Current children cumulated memory: 12416308 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/202 31284
/proc/meminfo: memFree=6504224/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=13087124 memory=12987364 CPUtime=1361.87 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3159327 0 0 0 135670 517 0 0 20 0 1 0 555184651 13401214976 3246841 33554432000 4194304 6211132 140733241890768 140733241864680 5452264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3271781 3246841 842 493 0 3265086 0
Current children cumulated CPU time: 1361.87 s
Current children cumulated vsize: 13087124 KiB
Current children cumulated memory: 12987364 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 31288
/proc/meminfo: memFree=5469580/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=13640204 memory=13556912 CPUtime=1421.86 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3297764 0 0 0 141639 547 0 0 20 0 1 0 555184651 13967568896 3389228 33554432000 4194304 6211132 140733241890768 140733241864680 4982624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3410051 3389228 842 493 0 3403356 0
Current children cumulated CPU time: 1421.86 s
Current children cumulated vsize: 13640204 KiB
Current children cumulated memory: 13556912 KiB
[startup+1482.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/200 31293
/proc/meminfo: memFree=4431512/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=14248516 memory=14128300 CPUtime=1481.85 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3436685 0 0 0 147608 577 0 0 20 0 1 0 555184651 14590480384 3532075 33554432000 4194304 6211132 140733241890768 140733241864680 140703276604389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3562129 3532075 842 493 0 3555434 0
Current children cumulated CPU time: 1481.85 s
Current children cumulated vsize: 14248516 KiB
Current children cumulated memory: 14128300 KiB
[startup+1542.3 s]
/proc/loadavg: 2.25 2.14 2.08 3/201 31299
/proc/meminfo: memFree=3394340/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=14801200 memory=14699312 CPUtime=1541.84 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3575034 0 0 0 153575 609 0 0 20 0 1 0 555184651 15156428800 3674828 33554432000 4194304 6211132 140733241890768 140733241864680 140703277528627 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3700300 3674828 842 493 0 3693605 0
Current children cumulated CPU time: 1541.84 s
Current children cumulated vsize: 14801200 KiB
Current children cumulated memory: 14699312 KiB
[startup+1602.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/200 31303
/proc/meminfo: memFree=2357144/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15353488 memory=15268064 CPUtime=1601.82 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3713291 0 0 0 159540 642 0 0 20 0 1 0 555184651 15721971712 3817016 33554432000 4194304 6211132 140733241890768 140733241864680 5446681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3838372 3817016 842 493 0 3831677 0
Current children cumulated CPU time: 1601.82 s
Current children cumulated vsize: 15353488 KiB
Current children cumulated memory: 15268064 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1658.7 s]
/proc/loadavg: 2.04 2.10 2.07 3/199 31308
/proc/meminfo: memFree=1389820/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.21 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 4202496 3843271 0 0 0 165147 674 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 140703276600126 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.21 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1661.47 s]
# the end of solver process 31104 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1651.73 s, system=7.53059 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1659.2 s]
/proc/loadavg: 2.03 2.09 2.07 3/200 31309
/proc/meminfo: memFree=1206192/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.3 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 512 3843276 0 0 0 165155 675 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.3 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
[startup+1660 s]*
/proc/loadavg: 2.03 2.09 2.07 3/200 31309
/proc/meminfo: memFree=741376/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.39 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) S 31101 31104 30008 0 -1 512 3843276 0 0 0 165164 675 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.39 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
[startup+1660.4 s]
/proc/loadavg: 2.03 2.09 2.07 3/200 31309
/proc/meminfo: memFree=741376/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.45 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 30008 0 -1 512 3843276 0 0 0 165170 675 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.45 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
[startup+1660.6 s]
/proc/loadavg: 2.03 2.09 2.07 3/200 31309
/proc/meminfo: memFree=741376/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.47 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) S 31101 31104 30008 0 -1 512 3843276 0 0 0 165171 676 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.47 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
[startup+1660.7 s]
/proc/loadavg: 2.03 2.09 2.07 3/200 31309
/proc/meminfo: memFree=741376/32770624 swapFree=66954180/67108860
[pid=31104] ppid=31101 vsize=15872776 memory=15803600 CPUtime=1658.48 cores=1,3,5,7
/proc/31104/stat : 31104 (cosoco) S 31101 31104 30008 0 -1 512 3843276 0 0 0 165172 676 0 0 20 0 1 0 555184651 16253722624 3950900 33554432000 4194304 6211132 140733241890768 140733241864680 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 32788480 140733241897995 140733241898097 140733241898097 140733241901006 0
/proc/31104/statm: 3968194 3950900 842 493 0 3961499 0
Current children cumulated CPU time: 1658.48 s
Current children cumulated vsize: 15872776 KiB
Current children cumulated memory: 15803600 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1661.47
CPU time (s): 1659.26
CPU user time (s): 1651.73
CPU system time (s): 7.53059
CPU usage (%): 99.8671
Max. virtual memory (cumulated for all children) (KiB): 15872776
Max. memory (cumulated for all children) (KiB): 15803600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1651.73
system time used= 7.53059
maximum resident set size= 15803784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843276
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= 113847
involuntary context switches= 939
# summary of solver processes directly reported to runsolver:
# pid: 31104
# total CPU time (s): 1659.26
# total CPU user time (s): 1651.73
# total CPU system time (s): 7.53059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19657 second user time and 10.6943 second system time
The end