0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408197-1569788197.xml
0.00/0.01 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 132tuples
0.00/0.01 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 63tuples
0.00/0.01 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 84tuples
0.00/0.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 45tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 47tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 60tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 44tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 81tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 46tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 66tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 8tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 83tuples
0.00/0.02 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 23tuples
0.00/0.02 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 39tuples
0.00/0.02 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 53tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 12tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 55tuples
0.00/0.02 c intension le(add(w[17],x[17]),200) -> extension (support ? 0) - 51tuples
0.00/0.02 c intension le(add(w[18],x[18]),200) -> extension (support ? 0) - 116tuples
0.00/0.02 c intension le(add(w[19],x[19]),200) -> extension (support ? 0) - 22tuples
0.00/0.02 c intension le(add(w[20],x[20]),200) -> extension (support ? 0) - 35tuples
0.00/0.02 c intension le(add(w[21],x[21]),200) -> extension (support ? 0) - 81tuples
0.00/0.02 c intension le(add(w[22],x[22]),200) -> extension (support ? 0) - 6tuples
0.00/0.02 c intension le(add(w[23],x[23]),200) -> extension (support ? 0) - 74tuples
0.00/0.02 c intension le(add(w[24],x[24]),200) -> extension (support ? 0) - 65tuples
0.00/0.03 c intension le(add(w[25],x[25]),200) -> extension (support ? 0) - 55tuples
0.00/0.03 c intension le(add(w[26],x[26]),200) -> extension (support ? 0) - 93tuples
0.00/0.03 c intension le(add(w[27],x[27]),200) -> extension (support ? 0) - 10tuples
0.00/0.03 c intension le(add(w[28],x[28]),200) -> extension (support ? 0) - 12tuples
0.00/0.03 c intension le(add(w[29],x[29]),200) -> extension (support ? 0) - 34tuples
0.00/0.03 c intension le(add(w[30],x[30]),200) -> extension (support ? 0) - 11tuples
0.00/0.03 c intension le(add(w[31],x[31]),200) -> extension (support ? 0) - 11tuples
0.00/0.03 c intension le(add(w[32],x[32]),200) -> extension (support ? 0) - 25tuples
0.00/0.03 c intension le(add(w[33],x[33]),200) -> extension (support ? 0) - 49tuples
0.00/0.03 c intension le(add(w[34],x[34]),200) -> extension (support ? 0) - 15tuples
0.00/0.03 c intension le(add(w[35],x[35]),200) -> extension (support ? 0) - 71tuples
0.00/0.03 c intension le(add(w[36],x[36]),200) -> extension (support ? 0) - 64tuples
0.00/0.04 c intension le(add(w[37],x[37]),200) -> extension (support ? 0) - 23tuples
0.00/0.04 c intension le(add(w[38],x[38]),200) -> extension (support ? 0) - 46tuples
0.00/0.04 c intension le(add(w[39],x[39]),200) -> extension (support ? 0) - 44tuples
0.00/0.04 c intension le(add(w[40],x[40]),200) -> extension (support ? 0) - 46tuples
0.00/0.04 c intension le(add(w[41],x[41]),200) -> extension (support ? 0) - 72tuples
0.00/0.04 c intension le(add(w[42],x[42]),200) -> extension (support ? 0) - 37tuples
0.00/0.04 c intension le(add(w[43],x[43]),200) -> extension (support ? 0) - 93tuples
0.00/0.04 c intension le(add(w[44],x[44]),200) -> extension (support ? 0) - 66tuples
0.00/0.04 c intension le(add(w[45],x[45]),200) -> extension (support ? 0) - 86tuples
0.00/0.04 c intension le(add(w[46],x[46]),200) -> extension (support ? 0) - 10tuples
0.00/0.04 c intension le(add(w[47],x[47]),200) -> extension (support ? 0) - 23tuples
0.00/0.04 c intension le(add(w[48],x[48]),200) -> extension (support ? 0) - 44tuples
0.00/0.04 c intension le(add(w[49],x[49]),200) -> extension (support ? 0) - 42tuples
0.00/0.05 c intension le(add(w[50],x[50]),200) -> extension (support ? 0) - 27tuples
0.00/0.05 c intension le(add(w[51],x[51]),200) -> extension (support ? 0) - 58tuples
0.00/0.05 c intension le(add(w[52],x[52]),200) -> extension (support ? 0) - 41tuples
0.00/0.05 c intension le(add(w[53],x[53]),200) -> extension (support ? 0) - 47tuples
0.00/0.05 c intension le(add(w[54],x[54]),200) -> extension (support ? 0) - 5tuples
0.00/0.05 c intension le(add(w[55],x[55]),200) -> extension (support ? 0) - 7tuples
0.00/0.05 c intension le(add(w[56],x[56]),200) -> extension (support ? 0) - 37tuples
0.00/0.05 c intension le(add(w[57],x[57]),200) -> extension (support ? 0) - 35tuples
0.00/0.05 c intension le(add(w[58],x[58]),200) -> extension (support ? 0) - 20tuples
0.00/0.05 c intension le(add(w[59],x[59]),200) -> extension (support ? 0) - 3tuples
0.00/0.05 c intension le(add(w[60],x[60]),200) -> extension (support ? 0) - 14tuples
0.00/0.05 c intension le(add(w[61],x[61]),200) -> extension (support ? 0) - 43tuples
0.00/0.05 c intension le(add(w[62],x[62]),200) -> extension (support ? 0) - 77tuples
0.00/0.06 c intension le(add(w[63],x[63]),200) -> extension (support ? 0) - 17tuples
0.00/0.06 c intension le(add(w[64],x[64]),200) -> extension (support ? 0) - 32tuples
0.00/0.06 c intension le(add(w[65],x[65]),200) -> extension (support ? 0) - 61tuples
0.00/0.06 c intension le(add(w[66],x[66]),200) -> extension (support ? 0) - 31tuples
0.00/0.06 c intension le(add(w[67],x[67]),200) -> extension (support ? 0) - 15tuples
0.00/0.06 c intension le(add(w[68],x[68]),200) -> extension (support ? 0) - 12tuples
0.00/0.06 c intension le(add(w[69],x[69]),200) -> extension (support ? 0) - 11tuples
0.00/0.06 c intension le(add(w[70],x[70]),200) -> extension (support ? 0) - 26tuples
0.00/0.06 c intension le(add(w[71],x[71]),200) -> extension (support ? 0) - 55tuples
0.00/0.06 c intension le(add(w[72],x[72]),200) -> extension (support ? 0) - 35tuples
0.00/0.06 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 132tuples
0.00/0.06 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 63tuples
0.00/0.07 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 84tuples
0.00/0.07 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 45tuples
0.00/0.07 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 47tuples
0.00/0.07 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 60tuples
0.00/0.07 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 44tuples
0.00/0.07 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 81tuples
0.00/0.07 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 46tuples
0.00/0.07 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 66tuples
0.00/0.07 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 8tuples
0.00/0.07 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 83tuples
0.00/0.07 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 23tuples
0.00/0.07 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 39tuples
0.00/0.07 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 53tuples
0.00/0.08 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 12tuples
0.00/0.08 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 55tuples
0.00/0.08 c intension le(add(h[17],y[17]),200) -> extension (support ? 0) - 51tuples
0.00/0.08 c intension le(add(h[18],y[18]),200) -> extension (support ? 0) - 116tuples
0.00/0.08 c intension le(add(h[19],y[19]),200) -> extension (support ? 0) - 22tuples
0.00/0.08 c intension le(add(h[20],y[20]),200) -> extension (support ? 0) - 35tuples
0.00/0.08 c intension le(add(h[21],y[21]),200) -> extension (support ? 0) - 81tuples
0.00/0.08 c intension le(add(h[22],y[22]),200) -> extension (support ? 0) - 6tuples
0.00/0.08 c intension le(add(h[23],y[23]),200) -> extension (support ? 0) - 74tuples
0.00/0.08 c intension le(add(h[24],y[24]),200) -> extension (support ? 0) - 65tuples
0.00/0.08 c intension le(add(h[25],y[25]),200) -> extension (support ? 0) - 55tuples
0.00/0.08 c intension le(add(h[26],y[26]),200) -> extension (support ? 0) - 93tuples
0.00/0.08 c intension le(add(h[27],y[27]),200) -> extension (support ? 0) - 10tuples
0.00/0.09 c intension le(add(h[28],y[28]),200) -> extension (support ? 0) - 12tuples
0.00/0.09 c intension le(add(h[29],y[29]),200) -> extension (support ? 0) - 34tuples
0.00/0.09 c intension le(add(h[30],y[30]),200) -> extension (support ? 0) - 11tuples
0.00/0.09 c intension le(add(h[31],y[31]),200) -> extension (support ? 0) - 11tuples
0.00/0.09 c intension le(add(h[32],y[32]),200) -> extension (support ? 0) - 25tuples
0.00/0.09 c intension le(add(h[33],y[33]),200) -> extension (support ? 0) - 49tuples
0.00/0.09 c intension le(add(h[34],y[34]),200) -> extension (support ? 0) - 15tuples
0.00/0.09 c intension le(add(h[35],y[35]),200) -> extension (support ? 0) - 71tuples
0.00/0.09 c intension le(add(h[36],y[36]),200) -> extension (support ? 0) - 64tuples
0.00/0.09 c intension le(add(h[37],y[37]),200) -> extension (support ? 0) - 23tuples
0.00/0.09 c intension le(add(h[38],y[38]),200) -> extension (support ? 0) - 46tuples
0.00/0.09 c intension le(add(h[39],y[39]),200) -> extension (support ? 0) - 44tuples
0.00/0.09 c intension le(add(h[40],y[40]),200) -> extension (support ? 0) - 46tuples
0.00/0.10 c intension le(add(h[41],y[41]),200) -> extension (support ? 0) - 72tuples
0.00/0.10 c intension le(add(h[42],y[42]),200) -> extension (support ? 0) - 37tuples
0.00/0.10 c intension le(add(h[43],y[43]),200) -> extension (support ? 0) - 93tuples
0.00/0.10 c intension le(add(h[44],y[44]),200) -> extension (support ? 0) - 66tuples
0.00/0.10 c intension le(add(h[45],y[45]),200) -> extension (support ? 0) - 86tuples
0.00/0.10 c intension le(add(h[46],y[46]),200) -> extension (support ? 0) - 10tuples
0.00/0.10 c intension le(add(h[47],y[47]),200) -> extension (support ? 0) - 23tuples
0.00/0.10 c intension le(add(h[48],y[48]),200) -> extension (support ? 0) - 44tuples
0.00/0.10 c intension le(add(h[49],y[49]),200) -> extension (support ? 0) - 42tuples
0.00/0.10 c intension le(add(h[50],y[50]),200) -> extension (support ? 0) - 27tuples
0.00/0.10 c intension le(add(h[51],y[51]),200) -> extension (support ? 0) - 58tuples
0.00/0.10 c intension le(add(h[52],y[52]),200) -> extension (support ? 0) - 41tuples
0.10/0.11 c intension le(add(h[53],y[53]),200) -> extension (support ? 0) - 47tuples
0.10/0.11 c intension le(add(h[54],y[54]),200) -> extension (support ? 0) - 5tuples
0.10/0.11 c intension le(add(h[55],y[55]),200) -> extension (support ? 0) - 7tuples
0.10/0.11 c intension le(add(h[56],y[56]),200) -> extension (support ? 0) - 37tuples
0.10/0.11 c intension le(add(h[57],y[57]),200) -> extension (support ? 0) - 35tuples
0.10/0.11 c intension le(add(h[58],y[58]),200) -> extension (support ? 0) - 20tuples
0.10/0.11 c intension le(add(h[59],y[59]),200) -> extension (support ? 0) - 3tuples
0.10/0.11 c intension le(add(h[60],y[60]),200) -> extension (support ? 0) - 14tuples
0.10/0.11 c intension le(add(h[61],y[61]),200) -> extension (support ? 0) - 43tuples
0.10/0.11 c intension le(add(h[62],y[62]),200) -> extension (support ? 0) - 77tuples
0.10/0.11 c intension le(add(h[63],y[63]),200) -> extension (support ? 0) - 17tuples
0.10/0.11 c intension le(add(h[64],y[64]),200) -> extension (support ? 0) - 32tuples
0.10/0.11 c intension le(add(h[65],y[65]),200) -> extension (support ? 0) - 61tuples
0.10/0.11 c intension le(add(h[66],y[66]),200) -> extension (support ? 0) - 31tuples
0.10/0.12 c intension le(add(h[67],y[67]),200) -> extension (support ? 0) - 15tuples
0.10/0.12 c intension le(add(h[68],y[68]),200) -> extension (support ? 0) - 12tuples
0.10/0.12 c intension le(add(h[69],y[69]),200) -> extension (support ? 0) - 11tuples
0.10/0.12 c intension le(add(h[70],y[70]),200) -> extension (support ? 0) - 26tuples
0.10/0.12 c intension le(add(h[71],y[71]),200) -> extension (support ? 0) - 55tuples
0.10/0.12 c intension le(add(h[72],y[72]),200) -> extension (support ? 0) - 35tuples
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 (120 MiB free)
memory of node 1: 16384 MiB (13913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408197-1569788197/watcher-4408197-1569788197 -o /tmp/evaluation-result-4408197-1569788197/solver-4408197-1569788197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1893 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408197-1569788197.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
solver pid=2398, runsolver pid=2395
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 2.54 1.97 1.21 3/200 2399
/proc/meminfo: memFree=14361964/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=30664 memory=6892 CPUtime=0.1 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 1920 0 0 0 10 0 0 0 20 0 1 0 555082272 31399936 1723 33554432000 4194304 6211132 140722276813056 140722276809592 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 7666 1723 825 493 0 971 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30664 KiB
Current children cumulated memory: 6892 KiB
[startup+0.209826 s]*
/proc/loadavg: 2.54 1.97 1.21 3/200 2399
/proc/meminfo: memFree=14357816/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=33348 memory=9672 CPUtime=0.21 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 2581 0 0 0 21 0 0 0 20 0 1 0 555082272 34148352 2418 33554432000 4194304 6211132 140722276813056 140722276809592 5452266 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 8337 2418 839 493 0 1642 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33348 KiB
Current children cumulated memory: 9672 KiB
[startup+0.309675 s]*
/proc/loadavg: 2.54 1.97 1.21 3/200 2399
/proc/meminfo: memFree=14351780/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=35308 memory=11480 CPUtime=0.31 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 3085 0 0 0 31 0 0 0 20 0 1 0 555082272 36155392 2870 33554432000 4194304 6211132 140722276813056 140722276809592 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 8827 2870 839 493 0 2132 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35308 KiB
Current children cumulated memory: 11480 KiB
[startup+0.700334 s]
/proc/loadavg: 2.54 1.97 1.21 3/200 2399
/proc/meminfo: memFree=14336184/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=43048 memory=19028 CPUtime=0.69 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 4960 0 0 0 68 1 0 0 20 0 1 0 555082272 44081152 4757 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 10762 4757 839 493 0 4067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43048 KiB
Current children cumulated memory: 19028 KiB
[startup+1.50035 s]
/proc/loadavg: 2.54 1.97 1.21 3/200 2399
/proc/meminfo: memFree=14301072/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=59060 memory=34988 CPUtime=1.49 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 8967 0 0 0 147 2 0 0 20 0 1 0 555082272 60477440 8747 33554432000 4194304 6211132 140722276813056 140722276806200 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 14765 8747 839 493 0 8070 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 34988 KiB
[startup+3.10954 s]
/proc/loadavg: 2.58 1.99 1.22 3/202 2403
/proc/meminfo: memFree=14576380/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=92216 memory=67252 CPUtime=3.1 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 16547 0 0 0 307 3 0 0 20 0 1 0 555082272 94429184 16813 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 23054 16813 839 493 0 16359 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 92216 KiB
Current children cumulated memory: 67252 KiB
[startup+6.3002 s]
/proc/loadavg: 2.58 1.99 1.22 3/200 2404
/proc/meminfo: memFree=14579096/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=160780 memory=134320 CPUtime=6.29 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 30734 0 0 0 625 4 0 0 20 0 1 0 555082272 164638720 33580 33554432000 4194304 6211132 140722276813056 140722276806200 5451608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 40195 33580 839 493 0 33500 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 160780 KiB
Current children cumulated memory: 134320 KiB
[startup+12.7003 s]
/proc/loadavg: 2.69 2.02 1.23 5/200 2476
/proc/meminfo: memFree=28661500/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=302708 memory=261436 CPUtime=12.68 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 56946 0 0 0 1260 8 0 0 20 0 1 0 555082272 309972992 65359 33554432000 4194304 6211132 140722276813056 140722276806200 140114035636148 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 75677 65359 839 493 0 68982 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 302708 KiB
Current children cumulated memory: 261436 KiB
[startup+25.5003 s]
/proc/loadavg: 2.96 2.12 1.28 3/200 2481
/proc/meminfo: memFree=29331956/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=649248 memory=618400 CPUtime=25.48 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 125752 0 0 0 2530 18 0 0 20 0 1 0 555082272 664829952 154600 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 162312 154600 839 493 0 155617 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 649248 KiB
Current children cumulated memory: 618400 KiB
[startup+51.1094 s]
/proc/loadavg: 2.63 2.11 1.30 3/199 2481
/proc/meminfo: memFree=28055300/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=2041428 memory=1875056 CPUtime=51.06 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 363296 0 0 0 5053 53 0 0 20 0 1 0 555082272 2090422272 468764 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 510357 468764 839 493 0 503662 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 2041428 KiB
Current children cumulated memory: 1875056 KiB
[startup+102.3 s]
/proc/loadavg: 2.28 2.09 1.33 3/199 2485
/proc/meminfo: memFree=25762784/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=4482868 memory=4165736 CPUtime=102.22 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 794447 0 0 0 10109 113 0 0 20 0 1 0 555082272 4590456832 1041434 33554432000 4194304 6211132 140722276813056 140722276806200 140114035641767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 1120717 1041434 839 493 0 1114022 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 4482868 KiB
Current children cumulated memory: 4165736 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.07 1.37 3/200 2492
/proc/meminfo: memFree=24551964/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=5564632 memory=5373496 CPUtime=162.19 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 1022788 0 0 0 16076 143 0 0 20 0 1 0 555082272 5698183168 1343374 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 1391158 1343374 839 493 0 1384463 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 5564632 KiB
Current children cumulated memory: 5373496 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.06 1.41 3/200 2496
/proc/meminfo: memFree=22871936/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=7584260 memory=7058252 CPUtime=222.15 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 1339765 0 0 0 22025 190 0 0 20 0 1 0 555082272 7766282240 1764563 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 1896065 1764563 839 493 0 1889370 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 7584260 KiB
Current children cumulated memory: 7058252 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 1.45 3/201 2508
/proc/meminfo: memFree=20587132/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=10238684 memory=9337572 CPUtime=282.11 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 1768085 0 0 0 27956 255 0 0 20 0 1 0 555082272 10484412416 2334393 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 2559671 2334393 839 493 0 2552976 0
Current children cumulated CPU time: 282.11 s
Current children cumulated vsize: 10238684 KiB
Current children cumulated memory: 9337572 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 1.49 3/201 2514
/proc/meminfo: memFree=17792916/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=12324416 memory=12119468 CPUtime=342.08 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 2289897 0 0 0 33876 332 0 0 20 0 1 0 555082272 12620201984 3029867 33554432000 4194304 6211132 140722276813056 140722276806200 140114044660584 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3081104 3029867 839 493 0 3074409 0
Current children cumulated CPU time: 342.08 s
Current children cumulated vsize: 12324416 KiB
Current children cumulated memory: 12119468 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 1.52 3/201 2518
/proc/meminfo: memFree=16585628/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=14834656 memory=13323200 CPUtime=402.05 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 2517274 0 0 0 39832 373 0 0 20 0 1 0 555082272 15190687744 3330800 33554432000 4194304 6211132 140722276813056 140722276806200 5451593 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3708664 3330800 839 493 0 3701969 0
Current children cumulated CPU time: 402.05 s
Current children cumulated vsize: 14834656 KiB
Current children cumulated memory: 13323200 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+458.3 s]
/proc/loadavg: 2.00 2.03 1.55 3/200 2522
/proc/meminfo: memFree=15207264/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=15873496 memory=14709980 CPUtime=458.01 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 4202496 2777230 0 0 0 45385 416 0 0 20 0 1 0 555082272 16254459904 3677495 33554432000 4194304 6211132 140722276813056 140722276806200 140114034715621 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3968374 3677495 839 493 0 3961679 0
Current children cumulated CPU time: 458.01 s
Current children cumulated vsize: 15873496 KiB
Current children cumulated memory: 14709980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+460.995 s]
# the end of solver process 2398 was just reported to runsolver
# cumulated CPU time of all completed processes: user=454.108 s, system=4.9593 s
Solver just ended.
Dumping a history of the last processes samples
[startup+459.2 s]
/proc/loadavg: 2.00 2.03 1.55 3/201 2523
/proc/meminfo: memFree=14762580/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=15873496 memory=14709980 CPUtime=458.18 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 512 2777235 0 0 0 45398 420 0 0 20 0 1 0 555082272 16254459904 3677495 33554432000 4194304 6211132 140722276813056 140722276806200 5189800 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3968374 3677495 839 493 0 3961679 0
Current children cumulated CPU time: 458.18 s
Current children cumulated vsize: 15873496 KiB
Current children cumulated memory: 14709980 KiB
[startup+460 s]*
/proc/loadavg: 2.00 2.03 1.55 4/201 2523
/proc/meminfo: memFree=14177052/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=15873496 memory=14709980 CPUtime=458.31 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) R 2395 2398 1861 0 -1 512 2777235 0 0 0 45405 426 0 0 20 0 1 0 555082272 16254459904 3677495 33554432000 4194304 6211132 140722276813056 140722276806200 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3968374 3677495 839 493 0 3961679 0
Current children cumulated CPU time: 458.31 s
Current children cumulated vsize: 15873496 KiB
Current children cumulated memory: 14709980 KiB
[startup+460.2 s]
/proc/loadavg: 2.00 2.03 1.55 4/201 2523
/proc/meminfo: memFree=14177052/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=15873496 memory=14709980 CPUtime=458.35 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) S 2395 2398 1861 0 -1 512 2777235 0 0 0 45409 426 0 0 20 0 1 0 555082272 16254459904 3677495 33554432000 4194304 6211132 140722276813056 140722276806200 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3968374 3677495 839 493 0 3961679 0
Current children cumulated CPU time: 458.35 s
Current children cumulated vsize: 15873496 KiB
Current children cumulated memory: 14709980 KiB
[startup+460.3 s]
/proc/loadavg: 2.00 2.03 1.55 4/201 2523
/proc/meminfo: memFree=14177052/32770624 swapFree=66993608/67108860
[pid=2398] ppid=2395 vsize=15873496 memory=14709980 CPUtime=458.36 cores=1,3,5,7
/proc/2398/stat : 2398 (cosoco) S 2395 2398 1861 0 -1 512 2777235 0 0 0 45410 426 0 0 20 0 1 0 555082272 16254459904 3677495 33554432000 4194304 6211132 140722276813056 140722276806200 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140722276815883 140722276815985 140722276815985 140722276818894 0
/proc/2398/statm: 3968374 3677495 839 493 0 3961679 0
Current children cumulated CPU time: 458.36 s
Current children cumulated vsize: 15873496 KiB
Current children cumulated memory: 14709980 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 460.995
CPU time (s): 459.067
CPU user time (s): 454.108
CPU system time (s): 4.9593
CPU usage (%): 99.5818
Max. virtual memory (cumulated for all children) (KiB): 15873496
Max. memory (cumulated for all children) (KiB): 14709980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 454.108
system time used= 4.9593
maximum resident set size= 14710196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2777235
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= 146401
involuntary context switches= 580
# summary of solver processes directly reported to runsolver:
# pid: 2398
# total CPU time (s): 459.067
# total CPU user time (s): 454.108
# total CPU system time (s): 4.9593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8122 second user time and 3.04189 second system time
The end