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-4389646-1568316176.xml
0.00/0.01 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 84tuples
0.00/0.01 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 43tuples
0.00/0.01 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 34tuples
0.00/0.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 93tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 53tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 29tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 31tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 57tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 26tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 16tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 17tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 22tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 7tuples
0.00/0.02 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 11tuples
0.00/0.02 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 39tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 27tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 43tuples
0.00/0.02 c intension le(add(w[17],x[17]),200) -> extension (support ? 0) - 62tuples
0.00/0.02 c intension le(add(w[18],x[18]),200) -> extension (support ? 0) - 10tuples
0.00/0.02 c intension le(add(w[19],x[19]),200) -> extension (support ? 0) - 24tuples
0.00/0.02 c intension le(add(w[20],x[20]),200) -> extension (support ? 0) - 5tuples
0.00/0.02 c intension le(add(w[21],x[21]),200) -> extension (support ? 0) - 4tuples
0.00/0.02 c intension le(add(w[22],x[22]),200) -> extension (support ? 0) - 23tuples
0.00/0.02 c intension le(add(w[23],x[23]),200) -> extension (support ? 0) - 5tuples
0.00/0.02 c intension le(add(w[24],x[24]),200) -> extension (support ? 0) - 25tuples
0.00/0.02 c intension le(add(w[25],x[25]),200) -> extension (support ? 0) - 59tuples
0.00/0.02 c intension le(add(w[26],x[26]),200) -> extension (support ? 0) - 1tuples
0.00/0.03 c intension le(add(w[27],x[27]),200) -> extension (support ? 0) - 69tuples
0.00/0.03 c intension le(add(w[28],x[28]),200) -> extension (support ? 0) - 36tuples
0.00/0.03 c intension le(add(w[29],x[29]),200) -> extension (support ? 0) - 21tuples
0.00/0.03 c intension le(add(w[30],x[30]),200) -> extension (support ? 0) - 49tuples
0.00/0.03 c intension le(add(w[31],x[31]),200) -> extension (support ? 0) - 42tuples
0.00/0.03 c intension le(add(w[32],x[32]),200) -> extension (support ? 0) - 17tuples
0.00/0.03 c intension le(add(w[33],x[33]),200) -> extension (support ? 0) - 72tuples
0.00/0.03 c intension le(add(w[34],x[34]),200) -> extension (support ? 0) - 51tuples
0.00/0.03 c intension le(add(w[35],x[35]),200) -> extension (support ? 0) - 44tuples
0.00/0.03 c intension le(add(w[36],x[36]),200) -> extension (support ? 0) - 38tuples
0.00/0.03 c intension le(add(w[37],x[37]),200) -> extension (support ? 0) - 119tuples
0.00/0.03 c intension le(add(w[38],x[38]),200) -> extension (support ? 0) - 34tuples
0.00/0.03 c intension le(add(w[39],x[39]),200) -> extension (support ? 0) - 13tuples
0.00/0.03 c intension le(add(w[40],x[40]),200) -> extension (support ? 0) - 28tuples
0.00/0.04 c intension le(add(w[41],x[41]),200) -> extension (support ? 0) - 45tuples
0.00/0.04 c intension le(add(w[42],x[42]),200) -> extension (support ? 0) - 38tuples
0.00/0.04 c intension le(add(w[43],x[43]),200) -> extension (support ? 0) - 74tuples
0.00/0.04 c intension le(add(w[44],x[44]),200) -> extension (support ? 0) - 45tuples
0.00/0.04 c intension le(add(w[45],x[45]),200) -> extension (support ? 0) - 40tuples
0.00/0.04 c intension le(add(w[46],x[46]),200) -> extension (support ? 0) - 86tuples
0.00/0.04 c intension le(add(w[47],x[47]),200) -> extension (support ? 0) - 47tuples
0.00/0.04 c intension le(add(w[48],x[48]),200) -> extension (support ? 0) - 59tuples
0.00/0.04 c intension le(add(w[49],x[49]),200) -> extension (support ? 0) - 87tuples
0.00/0.04 c intension le(add(w[50],x[50]),200) -> extension (support ? 0) - 22tuples
0.00/0.04 c intension le(add(w[51],x[51]),200) -> extension (support ? 0) - 23tuples
0.00/0.04 c intension le(add(w[52],x[52]),200) -> extension (support ? 0) - 31tuples
0.00/0.04 c intension le(add(w[53],x[53]),200) -> extension (support ? 0) - 32tuples
0.00/0.04 c intension le(add(w[54],x[54]),200) -> extension (support ? 0) - 56tuples
0.00/0.05 c intension le(add(w[55],x[55]),200) -> extension (support ? 0) - 8tuples
0.00/0.05 c intension le(add(w[56],x[56]),200) -> extension (support ? 0) - 39tuples
0.00/0.05 c intension le(add(w[57],x[57]),200) -> extension (support ? 0) - 55tuples
0.00/0.05 c intension le(add(w[58],x[58]),200) -> extension (support ? 0) - 40tuples
0.00/0.05 c intension le(add(w[59],x[59]),200) -> extension (support ? 0) - 118tuples
0.00/0.05 c intension le(add(w[60],x[60]),200) -> extension (support ? 0) - 17tuples
0.00/0.05 c intension le(add(w[61],x[61]),200) -> extension (support ? 0) - 0tuples
0.00/0.05 c intension le(add(w[62],x[62]),200) -> extension (support ? 0) - 32tuples
0.00/0.05 c intension le(add(w[63],x[63]),200) -> extension (support ? 0) - 18tuples
0.00/0.05 c intension le(add(w[64],x[64]),200) -> extension (support ? 0) - 47tuples
0.00/0.05 c intension le(add(w[65],x[65]),200) -> extension (support ? 0) - 41tuples
0.00/0.05 c intension le(add(w[66],x[66]),200) -> extension (support ? 0) - 8tuples
0.00/0.05 c intension le(add(w[67],x[67]),200) -> extension (support ? 0) - 39tuples
0.00/0.05 c intension le(add(w[68],x[68]),200) -> extension (support ? 0) - 6tuples
0.00/0.06 c intension le(add(w[69],x[69]),200) -> extension (support ? 0) - 41tuples
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) - 18tuples
0.00/0.06 c intension le(add(w[72],x[72]),200) -> extension (support ? 0) - 12tuples
0.00/0.06 c intension le(add(w[73],x[73]),200) -> extension (support ? 0) - 30tuples
0.00/0.06 c intension le(add(w[74],x[74]),200) -> extension (support ? 0) - 19tuples
0.00/0.06 c intension le(add(w[75],x[75]),200) -> extension (support ? 0) - 33tuples
0.00/0.06 c intension le(add(w[76],x[76]),200) -> extension (support ? 0) - 13tuples
0.00/0.06 c intension le(add(w[77],x[77]),200) -> extension (support ? 0) - 17tuples
0.00/0.06 c intension le(add(w[78],x[78]),200) -> extension (support ? 0) - 66tuples
0.00/0.06 c intension le(add(w[79],x[79]),200) -> extension (support ? 0) - 33tuples
0.00/0.06 c intension le(add(w[80],x[80]),200) -> extension (support ? 0) - 72tuples
0.00/0.06 c intension le(add(w[81],x[81]),200) -> extension (support ? 0) - 15tuples
0.00/0.06 c intension le(add(w[82],x[82]),200) -> extension (support ? 0) - 57tuples
0.00/0.07 c intension le(add(w[83],x[83]),200) -> extension (support ? 0) - 17tuples
0.00/0.07 c intension le(add(w[84],x[84]),200) -> extension (support ? 0) - 37tuples
0.00/0.07 c intension le(add(w[85],x[85]),200) -> extension (support ? 0) - 3tuples
0.00/0.07 c intension le(add(w[86],x[86]),200) -> extension (support ? 0) - 49tuples
0.00/0.07 c intension le(add(w[87],x[87]),200) -> extension (support ? 0) - 47tuples
0.00/0.07 c intension le(add(w[88],x[88]),200) -> extension (support ? 0) - 40tuples
0.00/0.07 c intension le(add(w[89],x[89]),200) -> extension (support ? 0) - 47tuples
0.00/0.07 c intension le(add(w[90],x[90]),200) -> extension (support ? 0) - 40tuples
0.00/0.07 c intension le(add(w[91],x[91]),200) -> extension (support ? 0) - 33tuples
0.00/0.07 c intension le(add(w[92],x[92]),200) -> extension (support ? 0) - 51tuples
0.00/0.07 c intension le(add(w[93],x[93]),200) -> extension (support ? 0) - 116tuples
0.00/0.07 c intension le(add(w[94],x[94]),200) -> extension (support ? 0) - 10tuples
0.00/0.07 c intension le(add(w[95],x[95]),200) -> extension (support ? 0) - 24tuples
0.00/0.07 c intension le(add(w[96],x[96]),200) -> extension (support ? 0) - 55tuples
0.00/0.08 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 84tuples
0.00/0.08 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 43tuples
0.00/0.08 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 34tuples
0.00/0.08 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 93tuples
0.00/0.08 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 53tuples
0.00/0.08 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 29tuples
0.00/0.08 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 31tuples
0.00/0.08 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 57tuples
0.00/0.08 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 26tuples
0.00/0.08 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 16tuples
0.00/0.08 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 17tuples
0.00/0.08 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 22tuples
0.00/0.09 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 7tuples
0.00/0.09 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 11tuples
0.00/0.09 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 39tuples
0.00/0.09 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 27tuples
0.00/0.09 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 43tuples
0.00/0.09 c intension le(add(h[17],y[17]),200) -> extension (support ? 0) - 62tuples
0.00/0.09 c intension le(add(h[18],y[18]),200) -> extension (support ? 0) - 10tuples
0.00/0.09 c intension le(add(h[19],y[19]),200) -> extension (support ? 0) - 24tuples
0.00/0.09 c intension le(add(h[20],y[20]),200) -> extension (support ? 0) - 5tuples
0.00/0.09 c intension le(add(h[21],y[21]),200) -> extension (support ? 0) - 4tuples
0.00/0.09 c intension le(add(h[22],y[22]),200) -> extension (support ? 0) - 23tuples
0.00/0.09 c intension le(add(h[23],y[23]),200) -> extension (support ? 0) - 5tuples
0.00/0.09 c intension le(add(h[24],y[24]),200) -> extension (support ? 0) - 25tuples
0.00/0.09 c intension le(add(h[25],y[25]),200) -> extension (support ? 0) - 59tuples
0.00/0.10 c intension le(add(h[26],y[26]),200) -> extension (support ? 0) - 1tuples
0.00/0.10 c intension le(add(h[27],y[27]),200) -> extension (support ? 0) - 69tuples
0.00/0.10 c intension le(add(h[28],y[28]),200) -> extension (support ? 0) - 36tuples
0.00/0.10 c intension le(add(h[29],y[29]),200) -> extension (support ? 0) - 21tuples
0.00/0.10 c intension le(add(h[30],y[30]),200) -> extension (support ? 0) - 49tuples
0.00/0.10 c intension le(add(h[31],y[31]),200) -> extension (support ? 0) - 42tuples
0.00/0.10 c intension le(add(h[32],y[32]),200) -> extension (support ? 0) - 17tuples
0.00/0.10 c intension le(add(h[33],y[33]),200) -> extension (support ? 0) - 72tuples
0.00/0.10 c intension le(add(h[34],y[34]),200) -> extension (support ? 0) - 51tuples
0.00/0.10 c intension le(add(h[35],y[35]),200) -> extension (support ? 0) - 44tuples
0.00/0.10 c intension le(add(h[36],y[36]),200) -> extension (support ? 0) - 38tuples
0.00/0.10 c intension le(add(h[37],y[37]),200) -> extension (support ? 0) - 119tuples
0.00/0.10 c intension le(add(h[38],y[38]),200) -> extension (support ? 0) - 34tuples
0.00/0.10 c intension le(add(h[39],y[39]),200) -> extension (support ? 0) - 13tuples
0.10/0.11 c intension le(add(h[40],y[40]),200) -> extension (support ? 0) - 28tuples
0.10/0.11 c intension le(add(h[41],y[41]),200) -> extension (support ? 0) - 45tuples
0.10/0.11 c intension le(add(h[42],y[42]),200) -> extension (support ? 0) - 38tuples
0.10/0.11 c intension le(add(h[43],y[43]),200) -> extension (support ? 0) - 74tuples
0.10/0.11 c intension le(add(h[44],y[44]),200) -> extension (support ? 0) - 45tuples
0.10/0.11 c intension le(add(h[45],y[45]),200) -> extension (support ? 0) - 40tuples
0.10/0.11 c intension le(add(h[46],y[46]),200) -> extension (support ? 0) - 86tuples
0.10/0.11 c intension le(add(h[47],y[47]),200) -> extension (support ? 0) - 47tuples
0.10/0.11 c intension le(add(h[48],y[48]),200) -> extension (support ? 0) - 59tuples
0.10/0.11 c intension le(add(h[49],y[49]),200) -> extension (support ? 0) - 87tuples
0.10/0.11 c intension le(add(h[50],y[50]),200) -> extension (support ? 0) - 22tuples
0.10/0.11 c intension le(add(h[51],y[51]),200) -> extension (support ? 0) - 23tuples
0.10/0.11 c intension le(add(h[52],y[52]),200) -> extension (support ? 0) - 31tuples
0.10/0.11 c intension le(add(h[53],y[53]),200) -> extension (support ? 0) - 32tuples
0.10/0.12 c intension le(add(h[54],y[54]),200) -> extension (support ? 0) - 56tuples
0.10/0.12 c intension le(add(h[55],y[55]),200) -> extension (support ? 0) - 8tuples
0.10/0.12 c intension le(add(h[56],y[56]),200) -> extension (support ? 0) - 39tuples
0.10/0.12 c intension le(add(h[57],y[57]),200) -> extension (support ? 0) - 55tuples
0.10/0.12 c intension le(add(h[58],y[58]),200) -> extension (support ? 0) - 40tuples
0.10/0.12 c intension le(add(h[59],y[59]),200) -> extension (support ? 0) - 118tuples
0.10/0.12 c intension le(add(h[60],y[60]),200) -> extension (support ? 0) - 17tuples
0.10/0.12 c intension le(add(h[61],y[61]),200) -> extension (support ? 0) - 0tuples
0.10/0.12 c intension le(add(h[62],y[62]),200) -> extension (support ? 0) - 32tuples
0.10/0.12 c intension le(add(h[63],y[63]),200) -> extension (support ? 0) - 18tuples
0.10/0.12 c intension le(add(h[64],y[64]),200) -> extension (support ? 0) - 47tuples
0.10/0.12 c intension le(add(h[65],y[65]),200) -> extension (support ? 0) - 41tuples
0.10/0.12 c intension le(add(h[66],y[66]),200) -> extension (support ? 0) - 8tuples
0.10/0.12 c intension le(add(h[67],y[67]),200) -> extension (support ? 0) - 39tuples
0.10/0.13 c intension le(add(h[68],y[68]),200) -> extension (support ? 0) - 6tuples
0.10/0.13 c intension le(add(h[69],y[69]),200) -> extension (support ? 0) - 41tuples
0.10/0.13 c intension le(add(h[70],y[70]),200) -> extension (support ? 0) - 26tuples
0.10/0.13 c intension le(add(h[71],y[71]),200) -> extension (support ? 0) - 18tuples
0.10/0.13 c intension le(add(h[72],y[72]),200) -> extension (support ? 0) - 12tuples
0.10/0.13 c intension le(add(h[73],y[73]),200) -> extension (support ? 0) - 30tuples
0.10/0.13 c intension le(add(h[74],y[74]),200) -> extension (support ? 0) - 19tuples
0.10/0.13 c intension le(add(h[75],y[75]),200) -> extension (support ? 0) - 33tuples
0.10/0.13 c intension le(add(h[76],y[76]),200) -> extension (support ? 0) - 13tuples
0.10/0.13 c intension le(add(h[77],y[77]),200) -> extension (support ? 0) - 17tuples
0.10/0.13 c intension le(add(h[78],y[78]),200) -> extension (support ? 0) - 66tuples
0.10/0.13 c intension le(add(h[79],y[79]),200) -> extension (support ? 0) - 33tuples
0.10/0.13 c intension le(add(h[80],y[80]),200) -> extension (support ? 0) - 72tuples
0.10/0.13 c intension le(add(h[81],y[81]),200) -> extension (support ? 0) - 15tuples
0.10/0.14 c intension le(add(h[82],y[82]),200) -> extension (support ? 0) - 57tuples
0.10/0.14 c intension le(add(h[83],y[83]),200) -> extension (support ? 0) - 17tuples
0.10/0.14 c intension le(add(h[84],y[84]),200) -> extension (support ? 0) - 37tuples
0.10/0.14 c intension le(add(h[85],y[85]),200) -> extension (support ? 0) - 3tuples
0.10/0.14 c intension le(add(h[86],y[86]),200) -> extension (support ? 0) - 49tuples
0.10/0.14 c intension le(add(h[87],y[87]),200) -> extension (support ? 0) - 47tuples
0.10/0.14 c intension le(add(h[88],y[88]),200) -> extension (support ? 0) - 40tuples
0.10/0.14 c intension le(add(h[89],y[89]),200) -> extension (support ? 0) - 47tuples
0.10/0.14 c intension le(add(h[90],y[90]),200) -> extension (support ? 0) - 40tuples
0.10/0.14 c intension le(add(h[91],y[91]),200) -> extension (support ? 0) - 33tuples
0.10/0.14 c intension le(add(h[92],y[92]),200) -> extension (support ? 0) - 51tuples
0.10/0.14 c intension le(add(h[93],y[93]),200) -> extension (support ? 0) - 116tuples
0.10/0.14 c intension le(add(h[94],y[94]),200) -> extension (support ? 0) - 10tuples
0.10/0.14 c intension le(add(h[95],y[95]),200) -> extension (support ? 0) - 24tuples
0.10/0.15 c intension le(add(h[96],y[96]),200) -> extension (support ? 0) - 55tuples
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 (15359 MiB free)
memory of node 1: 16384 MiB (15323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389646-1568316176/watcher-4389646-1568316176 -o /tmp/evaluation-result-4389646-1568316176/solver-4389646-1568316176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568313599-15140 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389646-1568316176.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=15741, runsolver pid=15738
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31414420/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=31156 memory=7520 CPUtime=0.1 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 2045 0 0 0 10 0 0 0 20 0 1 0 407555554 31903744 1880 33554432000 4194304 6210612 140729146575392 140729146571928 139726875630688 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 7789 1880 823 493 0 1094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31156 KiB
Current children cumulated memory: 7520 KiB
[startup+0.209943 s]*
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31410056/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=34344 memory=10380 CPUtime=0.21 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 2822 0 0 0 21 0 0 0 20 0 1 0 407555554 35168256 2595 33554432000 4194304 6210612 140729146575392 140729146572664 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 8586 2595 836 493 0 1891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 10380 KiB
[startup+0.309372 s]*
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31406336/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=36652 memory=12724 CPUtime=0.31 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 3363 0 0 0 31 0 0 0 20 0 1 0 407555554 37531648 3181 33554432000 4194304 6210612 140729146575392 140729146572664 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 9163 3181 836 493 0 2468 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36652 KiB
Current children cumulated memory: 12724 KiB
[startup+0.700345 s]
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31397344/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=45096 memory=20540 CPUtime=0.68 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 5321 0 0 0 68 0 0 0 20 0 1 0 407555554 46178304 5135 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 11274 5135 836 493 0 4579 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 20540 KiB
[startup+1.50035 s]
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31376536/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=63132 memory=37140 CPUtime=1.49 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 9467 0 0 0 148 1 0 0 20 0 1 0 407555554 64647168 9285 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 15783 9285 836 493 0 9088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63132 KiB
Current children cumulated memory: 37140 KiB
[startup+3.1096 s]
/proc/loadavg: 2.11 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31293776/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=99780 memory=70400 CPUtime=3.1 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 17309 0 0 0 308 2 0 0 20 0 1 0 407555554 102174720 17600 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 24945 17600 836 493 0 18250 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 99780 KiB
Current children cumulated memory: 70400 KiB
[startup+6.30033 s]
/proc/loadavg: 2.10 2.03 1.96 3/201 15742
/proc/meminfo: memFree=31166372/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=171012 memory=136568 CPUtime=6.29 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 31352 0 0 0 624 5 0 0 20 0 1 0 407555554 175116288 34142 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 42753 34142 836 493 0 36058 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 171012 KiB
Current children cumulated memory: 136568 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.03 1.96 3/201 15742
/proc/meminfo: memFree=30918972/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=299228 memory=272468 CPUtime=12.69 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 58196 0 0 0 1260 9 0 0 20 0 1 0 407555554 306409472 68117 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 74807 68117 836 493 0 68112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 299228 KiB
Current children cumulated memory: 272468 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 1.96 3/201 15745
/proc/meminfo: memFree=30272336/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=587404 memory=537204 CPUtime=25.5 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 110040 0 0 0 2532 18 0 0 20 0 1 0 407555554 601501696 134301 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 146851 134301 836 493 0 140156 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 587404 KiB
Current children cumulated memory: 537204 KiB
[startup+51.1098 s]
/proc/loadavg: 2.05 2.03 1.96 3/201 15745
/proc/meminfo: memFree=27833932/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=1689292 memory=1621376 CPUtime=51.11 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 315199 0 0 0 5066 45 0 0 20 0 1 0 407555554 1729835008 405344 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 422323 405344 836 493 0 415628 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 1689292 KiB
Current children cumulated memory: 1621376 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/201 15749
/proc/meminfo: memFree=23219668/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=4439372 memory=4107172 CPUtime=102.3 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 782816 0 0 0 10119 111 0 0 20 0 1 0 407555554 4545916928 1026793 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 1109843 1026793 836 493 0 1103148 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 4439372 KiB
Current children cumulated memory: 4107172 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/200 15755
/proc/meminfo: memFree=20294612/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=6425916 memory=5792396 CPUtime=162.31 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 1099903 0 0 0 16074 157 0 0 20 0 1 0 407555554 6580137984 1448099 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 1606479 1448099 836 493 0 1599784 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 6425916 KiB
Current children cumulated memory: 5792396 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 15760
/proc/meminfo: memFree=15103720/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=9296292 memory=8357848 CPUtime=222.31 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 1581840 0 0 0 22005 226 0 0 20 0 1 0 407555554 9519403008 2089462 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 2324073 2089462 836 493 0 2317378 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 9296292 KiB
Current children cumulated memory: 8357848 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 15764
/proc/meminfo: memFree=10234512/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=11295712 memory=10913340 CPUtime=282.31 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 2061754 0 0 0 27933 298 0 0 20 0 1 0 407555554 11566809088 2728335 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 2823928 2728335 836 493 0 2817233 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 11295712 KiB
Current children cumulated memory: 10913340 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 15770
/proc/meminfo: memFree=6179912/32770624 swapFree=66916652/67108860
[pid=15741] ppid=15738 vsize=14138648 memory=12811436 CPUtime=342.32 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 2418751 0 0 0 33878 354 0 0 20 0 1 0 407555554 14477975552 3202859 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3534662 3202859 836 493 0 3527967 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 14138648 KiB
Current children cumulated memory: 12811436 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+391.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 15775
/proc/meminfo: memFree=3039864/32770624 swapFree=66916664/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960728 CPUtime=391.73 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 4202496 2822758 0 0 0 38763 410 0 0 20 0 1 0 407555554 16256204800 3740182 33554432000 4194304 6210612 140729146575392 140729146568536 139726875192293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740182 836 493 0 3962105 0
Current children cumulated CPU time: 391.73 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+394.506 s]
# the end of solver process 15741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=387.851 s, system=4.93323 s
Solver just ended.
Dumping a history of the last processes samples
[startup+392 s]*
/proc/loadavg: 2.00 2.01 1.96 4/200 15776
/proc/meminfo: memFree=2855368/32770624 swapFree=66916672/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960988 CPUtime=391.76 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) S 15738 15741 15109 0 -1 512 2822764 0 0 0 38766 410 0 0 20 0 1 0 407555554 16256204800 3740247 33554432000 4194304 6210612 140729146575392 140729146568536 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740247 837 493 0 3962105 0
Current children cumulated CPU time: 391.76 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960988 KiB
[startup+392.8 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 15776
/proc/meminfo: memFree=2855368/32770624 swapFree=66916672/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960988 CPUtime=391.87 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) S 15738 15741 15109 0 -1 512 2822764 0 0 0 38776 411 0 0 20 0 1 0 407555554 16256204800 3740247 33554432000 4194304 6210612 140729146575392 140729146568536 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740247 837 493 0 3962105 0
Current children cumulated CPU time: 391.87 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960988 KiB
[startup+393.2 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 15776
/proc/meminfo: memFree=2315700/32770624 swapFree=66916672/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960988 CPUtime=391.92 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) R 15738 15741 15109 0 -1 512 2822764 0 0 0 38780 412 0 0 20 0 1 0 407555554 16256204800 3740247 33554432000 4194304 6210612 140729146575392 140729146568536 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740247 837 493 0 3962105 0
Current children cumulated CPU time: 391.92 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960988 KiB
[startup+393.6 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 15776
/proc/meminfo: memFree=2315700/32770624 swapFree=66916672/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960988 CPUtime=391.96 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) S 15738 15741 15109 0 -1 512 2822764 0 0 0 38784 412 0 0 20 0 1 0 407555554 16256204800 3740247 33554432000 4194304 6210612 140729146575392 140729146568536 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740247 837 493 0 3962105 0
Current children cumulated CPU time: 391.96 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960988 KiB
[startup+393.7 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 15776
/proc/meminfo: memFree=2315700/32770624 swapFree=66916672/67108860
[pid=15741] ppid=15738 vsize=15875200 memory=14960988 CPUtime=391.97 cores=0,2,4,6
/proc/15741/stat : 15741 (cosoco) S 15738 15741 15109 0 -1 512 2822764 0 0 0 38785 412 0 0 20 0 1 0 407555554 16256204800 3740247 33554432000 4194304 6210612 140729146575392 140729146568536 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8308220 8313664 37494784 140729146577931 140729146578033 140729146578033 140729146580942 0
/proc/15741/statm: 3968800 3740247 837 493 0 3962105 0
Current children cumulated CPU time: 391.97 s
Current children cumulated vsize: 15875200 KiB
Current children cumulated memory: 14960988 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 394.506
CPU time (s): 392.784
CPU user time (s): 387.851
CPU system time (s): 4.93323
CPU usage (%): 99.5635
Max. virtual memory (cumulated for all children) (KiB): 15875200
Max. memory (cumulated for all children) (KiB): 14960988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 387.851
system time used= 4.93323
maximum resident set size= 14960988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2822764
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= 109839
involuntary context switches= 492
# summary of solver processes directly reported to runsolver:
# pid: 15741
# total CPU time (s): 392.784
# total CPU user time (s): 387.851
# total CPU system time (s): 4.93323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62574 second user time and 2.643 second system time
The end