| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | ? (MO) | 755.419 | 757.396 |
| Name | StripPacking/StripPacking-m1-seriesN/ StripPacking-N6d.xml |
| MD5SUM | 2c28ca4ad49bcbb6099e9194469961d5 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 485 |
| Number of constraints | 292 |
| Number of domains | 97 |
| Minimum domain size | 1 |
| Maximum domain size | 200 |
| Distribution of domain sizes | [{"size":1,"count":8},{"size":2,"count":283},{"size":200,"count":194}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":1,"count":97},{"degree":2,"count":194},{"degree":3,"count":194}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 388 |
| Distribution of constraint arities | [{"arity":2,"count":194},{"arity":3,"count":97},{"arity":388,"count":1}] |
| Number of extensional constraints | 97 |
| Number of intensional constraints | 194 |
| Distribution of constraint types | [{"type":"extension","count":97},{"type":"intension","count":194},{"type":"noOverlap","count":1}] |
| Optimization problem | NO |
| Type of objective |
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 -model -nbcores=8 HOME/instance-4409466-1569818130.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.02 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 29tuples 0.00/0.02 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 31tuples 0.00/0.02 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 57tuples 0.00/0.02 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 26tuples 0.00/0.02 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 16tuples 0.00/0.02 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 17tuples 0.00/0.02 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 22tuples 0.00/0.02 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.03 c intension le(add(w[17],x[17]),200) -> extension (support ? 0) - 62tuples 0.00/0.03 c intension le(add(w[18],x[18]),200) -> extension (support ? 0) - 10tuples 0.00/0.03 c intension le(add(w[19],x[19]),200) -> extension (support ? 0) - 24tuples 0.00/0.03 c intension le(add(w[20],x[20]),200) -> extension (support ? 0) - 5tuples 0.00/0.03 c intension le(add(w[21],x[21]),200) -> extension (support ? 0) - 4tuples 0.00/0.03 c intension le(add(w[22],x[22]),200) -> extension (support ? 0) - 23tuples 0.00/0.03 c intension le(add(w[23],x[23]),200) -> extension (support ? 0) - 5tuples 0.00/0.03 c intension le(add(w[24],x[24]),200) -> extension (support ? 0) - 25tuples 0.00/0.03 c intension le(add(w[25],x[25]),200) -> extension (support ? 0) - 59tuples 0.00/0.03 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.04 c intension le(add(w[30],x[30]),200) -> extension (support ? 0) - 49tuples 0.00/0.04 c intension le(add(w[31],x[31]),200) -> extension (support ? 0) - 42tuples 0.00/0.04 c intension le(add(w[32],x[32]),200) -> extension (support ? 0) - 17tuples 0.00/0.04 c intension le(add(w[33],x[33]),200) -> extension (support ? 0) - 72tuples 0.00/0.04 c intension le(add(w[34],x[34]),200) -> extension (support ? 0) - 51tuples 0.00/0.04 c intension le(add(w[35],x[35]),200) -> extension (support ? 0) - 44tuples 0.00/0.04 c intension le(add(w[36],x[36]),200) -> extension (support ? 0) - 38tuples 0.00/0.04 c intension le(add(w[37],x[37]),200) -> extension (support ? 0) - 119tuples 0.00/0.04 c intension le(add(w[38],x[38]),200) -> extension (support ? 0) - 34tuples 0.00/0.04 c intension le(add(w[39],x[39]),200) -> extension (support ? 0) - 13tuples 0.00/0.04 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.05 c intension le(add(w[42],x[42]),200) -> extension (support ? 0) - 38tuples 0.00/0.05 c intension le(add(w[43],x[43]),200) -> extension (support ? 0) - 74tuples 0.00/0.05 c intension le(add(w[44],x[44]),200) -> extension (support ? 0) - 45tuples 0.00/0.05 c intension le(add(w[45],x[45]),200) -> extension (support ? 0) - 40tuples 0.00/0.05 c intension le(add(w[46],x[46]),200) -> extension (support ? 0) - 86tuples 0.00/0.05 c intension le(add(w[47],x[47]),200) -> extension (support ? 0) - 47tuples 0.00/0.05 c intension le(add(w[48],x[48]),200) -> extension (support ? 0) - 59tuples 0.00/0.05 c intension le(add(w[49],x[49]),200) -> extension (support ? 0) - 87tuples 0.00/0.05 c intension le(add(w[50],x[50]),200) -> extension (support ? 0) - 22tuples 0.00/0.05 c intension le(add(w[51],x[51]),200) -> extension (support ? 0) - 23tuples 0.00/0.05 c intension le(add(w[52],x[52]),200) -> extension (support ? 0) - 31tuples 0.00/0.05 c intension le(add(w[53],x[53]),200) -> extension (support ? 0) - 32tuples 0.00/0.06 c intension le(add(w[54],x[54]),200) -> extension (support ? 0) - 56tuples 0.00/0.06 c intension le(add(w[55],x[55]),200) -> extension (support ? 0) - 8tuples 0.00/0.06 c intension le(add(w[56],x[56]),200) -> extension (support ? 0) - 39tuples 0.00/0.06 c intension le(add(w[57],x[57]),200) -> extension (support ? 0) - 55tuples 0.00/0.06 c intension le(add(w[58],x[58]),200) -> extension (support ? 0) - 40tuples 0.00/0.06 c intension le(add(w[59],x[59]),200) -> extension (support ? 0) - 118tuples 0.00/0.06 c intension le(add(w[60],x[60]),200) -> extension (support ? 0) - 17tuples 0.00/0.06 c intension le(add(w[61],x[61]),200) -> extension (support ? 0) - 0tuples 0.00/0.06 c intension le(add(w[62],x[62]),200) -> extension (support ? 0) - 32tuples 0.00/0.06 c intension le(add(w[63],x[63]),200) -> extension (support ? 0) - 18tuples 0.00/0.06 c intension le(add(w[64],x[64]),200) -> extension (support ? 0) - 47tuples 0.00/0.06 c intension le(add(w[65],x[65]),200) -> extension (support ? 0) - 41tuples 0.00/0.07 c intension le(add(w[66],x[66]),200) -> extension (support ? 0) - 8tuples 0.00/0.07 c intension le(add(w[67],x[67]),200) -> extension (support ? 0) - 39tuples 0.00/0.07 c intension le(add(w[68],x[68]),200) -> extension (support ? 0) - 6tuples 0.00/0.07 c intension le(add(w[69],x[69]),200) -> extension (support ? 0) - 41tuples 0.00/0.07 c intension le(add(w[70],x[70]),200) -> extension (support ? 0) - 26tuples 0.00/0.07 c intension le(add(w[71],x[71]),200) -> extension (support ? 0) - 18tuples 0.00/0.07 c intension le(add(w[72],x[72]),200) -> extension (support ? 0) - 12tuples 0.00/0.07 c intension le(add(w[73],x[73]),200) -> extension (support ? 0) - 30tuples 0.00/0.07 c intension le(add(w[74],x[74]),200) -> extension (support ? 0) - 19tuples 0.00/0.07 c intension le(add(w[75],x[75]),200) -> extension (support ? 0) - 33tuples 0.00/0.07 c intension le(add(w[76],x[76]),200) -> extension (support ? 0) - 13tuples 0.00/0.07 c intension le(add(w[77],x[77]),200) -> extension (support ? 0) - 17tuples 0.00/0.08 c intension le(add(w[78],x[78]),200) -> extension (support ? 0) - 66tuples 0.00/0.08 c intension le(add(w[79],x[79]),200) -> extension (support ? 0) - 33tuples 0.00/0.08 c intension le(add(w[80],x[80]),200) -> extension (support ? 0) - 72tuples 0.00/0.08 c intension le(add(w[81],x[81]),200) -> extension (support ? 0) - 15tuples 0.00/0.08 c intension le(add(w[82],x[82]),200) -> extension (support ? 0) - 57tuples 0.00/0.08 c intension le(add(w[83],x[83]),200) -> extension (support ? 0) - 17tuples 0.00/0.08 c intension le(add(w[84],x[84]),200) -> extension (support ? 0) - 37tuples 0.00/0.08 c intension le(add(w[85],x[85]),200) -> extension (support ? 0) - 3tuples 0.00/0.08 c intension le(add(w[86],x[86]),200) -> extension (support ? 0) - 49tuples 0.00/0.08 c intension le(add(w[87],x[87]),200) -> extension (support ? 0) - 47tuples 0.00/0.08 c intension le(add(w[88],x[88]),200) -> extension (support ? 0) - 40tuples 0.00/0.08 c intension le(add(w[89],x[89]),200) -> extension (support ? 0) - 47tuples 0.00/0.09 c intension le(add(w[90],x[90]),200) -> extension (support ? 0) - 40tuples 0.00/0.09 c intension le(add(w[91],x[91]),200) -> extension (support ? 0) - 33tuples 0.00/0.09 c intension le(add(w[92],x[92]),200) -> extension (support ? 0) - 51tuples 0.00/0.09 c intension le(add(w[93],x[93]),200) -> extension (support ? 0) - 116tuples 0.00/0.09 c intension le(add(w[94],x[94]),200) -> extension (support ? 0) - 10tuples 0.00/0.09 c intension le(add(w[95],x[95]),200) -> extension (support ? 0) - 24tuples 0.00/0.09 c intension le(add(w[96],x[96]),200) -> extension (support ? 0) - 55tuples 0.00/0.09 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 84tuples 0.00/0.09 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 43tuples 0.00/0.09 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 34tuples 0.00/0.10 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 93tuples 0.00/0.10 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 53tuples 0.00/0.10 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 29tuples 0.00/0.10 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 31tuples 0.00/0.10 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 57tuples 0.00/0.10 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 26tuples 0.00/0.10 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 16tuples 0.00/0.10 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 17tuples 0.00/0.10 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 22tuples 0.00/0.10 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 7tuples 0.00/0.10 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 11tuples 0.00/0.10 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 39tuples 0.10/0.11 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 27tuples 0.10/0.11 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 43tuples 0.10/0.11 c intension le(add(h[17],y[17]),200) -> extension (support ? 0) - 62tuples 0.10/0.11 c intension le(add(h[18],y[18]),200) -> extension (support ? 0) - 10tuples 0.10/0.11 c intension le(add(h[19],y[19]),200) -> extension (support ? 0) - 24tuples 0.10/0.11 c intension le(add(h[20],y[20]),200) -> extension (support ? 0) - 5tuples 0.10/0.11 c intension le(add(h[21],y[21]),200) -> extension (support ? 0) - 4tuples 0.10/0.11 c intension le(add(h[22],y[22]),200) -> extension (support ? 0) - 23tuples 0.10/0.11 c intension le(add(h[23],y[23]),200) -> extension (support ? 0) - 5tuples 0.10/0.11 c intension le(add(h[24],y[24]),200) -> extension (support ? 0) - 25tuples 0.10/0.11 c intension le(add(h[25],y[25]),200) -> extension (support ? 0) - 59tuples 0.10/0.11 c intension le(add(h[26],y[26]),200) -> extension (support ? 0) - 1tuples 0.10/0.11 c intension le(add(h[27],y[27]),200) -> extension (support ? 0) - 69tuples 0.10/0.12 c intension le(add(h[28],y[28]),200) -> extension (support ? 0) - 36tuples 0.10/0.12 c intension le(add(h[29],y[29]),200) -> extension (support ? 0) - 21tuples 0.10/0.12 c intension le(add(h[30],y[30]),200) -> extension (support ? 0) - 49tuples 0.10/0.12 c intension le(add(h[31],y[31]),200) -> extension (support ? 0) - 42tuples 0.10/0.12 c intension le(add(h[32],y[32]),200) -> extension (support ? 0) - 17tuples 0.10/0.12 c intension le(add(h[33],y[33]),200) -> extension (support ? 0) - 72tuples 0.10/0.12 c intension le(add(h[34],y[34]),200) -> extension (support ? 0) - 51tuples 0.10/0.12 c intension le(add(h[35],y[35]),200) -> extension (support ? 0) - 44tuples 0.10/0.12 c intension le(add(h[36],y[36]),200) -> extension (support ? 0) - 38tuples 0.10/0.12 c intension le(add(h[37],y[37]),200) -> extension (support ? 0) - 119tuples 0.10/0.12 c intension le(add(h[38],y[38]),200) -> extension (support ? 0) - 34tuples 0.10/0.12 c intension le(add(h[39],y[39]),200) -> extension (support ? 0) - 13tuples 0.10/0.13 c intension le(add(h[40],y[40]),200) -> extension (support ? 0) - 28tuples 0.10/0.13 c intension le(add(h[41],y[41]),200) -> extension (support ? 0) - 45tuples 0.10/0.13 c intension le(add(h[42],y[42]),200) -> extension (support ? 0) - 38tuples 0.10/0.13 c intension le(add(h[43],y[43]),200) -> extension (support ? 0) - 74tuples 0.10/0.13 c intension le(add(h[44],y[44]),200) -> extension (support ? 0) - 45tuples 0.10/0.13 c intension le(add(h[45],y[45]),200) -> extension (support ? 0) - 40tuples 0.10/0.13 c intension le(add(h[46],y[46]),200) -> extension (support ? 0) - 86tuples 0.10/0.13 c intension le(add(h[47],y[47]),200) -> extension (support ? 0) - 47tuples 0.10/0.13 c intension le(add(h[48],y[48]),200) -> extension (support ? 0) - 59tuples 0.10/0.13 c intension le(add(h[49],y[49]),200) -> extension (support ? 0) - 87tuples 0.10/0.13 c intension le(add(h[50],y[50]),200) -> extension (support ? 0) - 22tuples 0.10/0.13 c intension le(add(h[51],y[51]),200) -> extension (support ? 0) - 23tuples 0.10/0.14 c intension le(add(h[52],y[52]),200) -> extension (support ? 0) - 31tuples 0.10/0.14 c intension le(add(h[53],y[53]),200) -> extension (support ? 0) - 32tuples 0.10/0.14 c intension le(add(h[54],y[54]),200) -> extension (support ? 0) - 56tuples 0.10/0.14 c intension le(add(h[55],y[55]),200) -> extension (support ? 0) - 8tuples 0.10/0.14 c intension le(add(h[56],y[56]),200) -> extension (support ? 0) - 39tuples 0.10/0.14 c intension le(add(h[57],y[57]),200) -> extension (support ? 0) - 55tuples 0.10/0.14 c intension le(add(h[58],y[58]),200) -> extension (support ? 0) - 40tuples 0.10/0.14 c intension le(add(h[59],y[59]),200) -> extension (support ? 0) - 118tuples 0.10/0.14 c intension le(add(h[60],y[60]),200) -> extension (support ? 0) - 17tuples 0.10/0.14 c intension le(add(h[61],y[61]),200) -> extension (support ? 0) - 0tuples 0.10/0.14 c intension le(add(h[62],y[62]),200) -> extension (support ? 0) - 32tuples 0.10/0.14 c intension le(add(h[63],y[63]),200) -> extension (support ? 0) - 18tuples 0.10/0.15 c intension le(add(h[64],y[64]),200) -> extension (support ? 0) - 47tuples 0.10/0.15 c intension le(add(h[65],y[65]),200) -> extension (support ? 0) - 41tuples 0.10/0.15 c intension le(add(h[66],y[66]),200) -> extension (support ? 0) - 8tuples 0.10/0.15 c intension le(add(h[67],y[67]),200) -> extension (support ? 0) - 39tuples 0.10/0.15 c intension le(add(h[68],y[68]),200) -> extension (support ? 0) - 6tuples 0.10/0.15 c intension le(add(h[69],y[69]),200) -> extension (support ? 0) - 41tuples 0.10/0.15 c intension le(add(h[70],y[70]),200) -> extension (support ? 0) - 26tuples 0.10/0.15 c intension le(add(h[71],y[71]),200) -> extension (support ? 0) - 18tuples 0.10/0.15 c intension le(add(h[72],y[72]),200) -> extension (support ? 0) - 12tuples 0.10/0.15 c intension le(add(h[73],y[73]),200) -> extension (support ? 0) - 30tuples 0.10/0.15 c intension le(add(h[74],y[74]),200) -> extension (support ? 0) - 19tuples 0.10/0.15 c intension le(add(h[75],y[75]),200) -> extension (support ? 0) - 33tuples 0.10/0.16 c intension le(add(h[76],y[76]),200) -> extension (support ? 0) - 13tuples 0.10/0.16 c intension le(add(h[77],y[77]),200) -> extension (support ? 0) - 17tuples 0.10/0.16 c intension le(add(h[78],y[78]),200) -> extension (support ? 0) - 66tuples 0.10/0.16 c intension le(add(h[79],y[79]),200) -> extension (support ? 0) - 33tuples 0.10/0.16 c intension le(add(h[80],y[80]),200) -> extension (support ? 0) - 72tuples 0.10/0.16 c intension le(add(h[81],y[81]),200) -> extension (support ? 0) - 15tuples 0.10/0.16 c intension le(add(h[82],y[82]),200) -> extension (support ? 0) - 57tuples 0.10/0.16 c intension le(add(h[83],y[83]),200) -> extension (support ? 0) - 17tuples 0.10/0.16 c intension le(add(h[84],y[84]),200) -> extension (support ? 0) - 37tuples 0.10/0.16 c intension le(add(h[85],y[85]),200) -> extension (support ? 0) - 3tuples 0.10/0.16 c intension le(add(h[86],y[86]),200) -> extension (support ? 0) - 49tuples 0.10/0.16 c intension le(add(h[87],y[87]),200) -> extension (support ? 0) - 47tuples 0.10/0.17 c intension le(add(h[88],y[88]),200) -> extension (support ? 0) - 40tuples 0.10/0.17 c intension le(add(h[89],y[89]),200) -> extension (support ? 0) - 47tuples 0.10/0.17 c intension le(add(h[90],y[90]),200) -> extension (support ? 0) - 40tuples 0.10/0.17 c intension le(add(h[91],y[91]),200) -> extension (support ? 0) - 33tuples 0.10/0.17 c intension le(add(h[92],y[92]),200) -> extension (support ? 0) - 51tuples 0.10/0.17 c intension le(add(h[93],y[93]),200) -> extension (support ? 0) - 116tuples 0.10/0.17 c intension le(add(h[94],y[94]),200) -> extension (support ? 0) - 10tuples 0.10/0.17 c intension le(add(h[95],y[95]),200) -> extension (support ? 0) - 24tuples 0.10/0.17 c intension le(add(h[96],y[96]),200) -> extension (support ? 0) - 55tuples
One s line expected
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 (15198 MiB free)
memory of node 1: 16384 MiB (15485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409466-1569818130/watcher-4409466-1569818130 -o /tmp/evaluation-result-4409466-1569818130/solver-4409466-1569818130 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409466-1569818130.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog threadver pid=14142
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31406272/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=42140 memory=18500 CPUtime=0.1 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 4796 0 0 0 10 0 0 0 20 0 1 0 557726693 43151360 4625 33554432000 4194304 6211132 140725667381472 140725667378008 140106647557016 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 10535 4625 825 493 0 3840 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 18500 KiB
[startup+0.209635 s]*
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31394740/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=52872 memory=29184 CPUtime=0.2 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 7501 0 0 0 20 0 0 0 20 0 1 0 557726693 54140928 7296 33554432000 4194304 6211132 140725667381472 140725667378008 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 13218 7296 840 493 0 6523 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52872 KiB
Current children cumulated memory: 29184 KiB
[startup+0.309462 s]*
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31392228/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=55092 memory=31524 CPUtime=0.3 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 8047 0 0 0 30 0 0 0 20 0 1 0 557726693 56414208 7881 33554432000 4194304 6211132 140725667381472 140725667378008 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 13773 7881 840 493 0 7078 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55092 KiB
Current children cumulated memory: 31524 KiB
[startup+0.700291 s]
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31388136/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=62984 memory=39316 CPUtime=0.69 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 9995 0 0 0 68 1 0 0 20 0 1 0 557726693 64495616 9829 33554432000 4194304 6211132 140725667381472 140725667378008 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 15746 9829 840 493 0 9051 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62984 KiB
Current children cumulated memory: 39316 KiB
[startup+1.50028 s]
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31378216/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=81980 memory=56000 CPUtime=1.49 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 14163 0 0 0 148 1 0 0 20 0 1 0 557726693 83947520 14000 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 20495 14000 840 493 0 13800 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81980 KiB
Current children cumulated memory: 56000 KiB
[startup+3.10931 s]
/proc/loadavg: 1.18 1.47 1.80 2/192 14146
/proc/meminfo: memFree=31335340/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=118628 memory=92604 CPUtime=3.09 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 22358 0 0 0 307 2 0 0 20 0 1 0 557726693 121475072 23151 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 29657 23151 840 493 0 22962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118628 KiB
Current children cumulated memory: 92604 KiB
[startup+6.30027 s]
/proc/loadavg: 1.08 1.45 1.79 2/192 14146
/proc/meminfo: memFree=31275728/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=189728 memory=156900 CPUtime=6.29 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 36418 0 0 0 624 5 0 0 20 0 1 0 557726693 194281472 39225 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 47432 39225 840 493 0 40737 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 189728 KiB
Current children cumulated memory: 156900 KiB
[startup+12.7003 s]
/proc/loadavg: 1.08 1.44 1.78 2/192 14146
/proc/meminfo: memFree=31148352/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=317812 memory=288840 CPUtime=12.69 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 62283 0 0 0 1260 9 0 0 20 0 1 0 557726693 325439488 72210 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 79453 72210 840 493 0 72758 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 317812 KiB
Current children cumulated memory: 288840 KiB
[startup+25.5003 s]
/proc/loadavg: 1.06 1.42 1.77 2/192 14149
/proc/meminfo: memFree=30879660/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=605856 memory=555428 CPUtime=25.49 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 114098 0 0 0 2534 15 0 0 20 0 1 0 557726693 620396544 138857 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 151464 138857 840 493 0 144769 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 605856 KiB
Current children cumulated memory: 555428 KiB
[startup+51.1093 s]
/proc/loadavg: 1.04 1.38 1.75 2/191 14149
/proc/meminfo: memFree=29785224/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=1709460 memory=1642348 CPUtime=51.1 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 319949 0 0 0 5065 45 0 0 20 0 1 0 557726693 1750487040 410587 33554432000 4194304 6211132 140725667381472 140725667374616 140106647546686 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 427365 410587 840 493 0 420670 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1709460 KiB
Current children cumulated memory: 1642348 KiB
[startup+102.3 s]
/proc/loadavg: 1.02 1.33 1.71 2/191 14152
/proc/meminfo: memFree=27290580/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=4461916 memory=4131504 CPUtime=102.27 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 788435 0 0 0 10113 114 0 0 20 0 1 0 557726693 4569001984 1032876 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 1115479 1032876 840 493 0 1108784 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 4461916 KiB
Current children cumulated memory: 4131504 KiB
[startup+162.3 s]
/proc/loadavg: 1.01 1.27 1.67 2/191 14157
/proc/meminfo: memFree=25603372/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=6457568 memory=5825856 CPUtime=162.26 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 1108289 0 0 0 16068 158 0 0 20 0 1 0 557726693 6612549632 1456464 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 1614392 1456464 840 493 0 1607697 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 6457568 KiB
Current children cumulated memory: 5825856 KiB
[startup+222.3 s]
/proc/loadavg: 1.00 1.22 1.63 2/191 14160
/proc/meminfo: memFree=23026240/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=9324116 memory=8387616 CPUtime=222.23 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 1589273 0 0 0 22000 223 0 0 20 0 1 0 557726693 9547894784 2096904 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 2331029 2096904 840 493 0 2324334 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 9324116 KiB
Current children cumulated memory: 8387616 KiB
[startup+282.3 s]
/proc/loadavg: 1.00 1.18 1.59 2/191 14163
/proc/meminfo: memFree=20450484/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=11343996 memory=10969304 CPUtime=282.2 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 2074286 0 0 0 27929 291 0 0 20 0 1 0 557726693 11616251904 2742326 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 2835999 2742326 840 493 0 2829304 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 11343996 KiB
Current children cumulated memory: 10969304 KiB
[startup+342.3 s]
/proc/loadavg: 1.00 1.15 1.55 2/192 14176
/proc/meminfo: memFree=18559980/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=14170960 memory=12847400 CPUtime=342.17 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 2426785 0 0 0 33873 344 0 0 20 0 1 0 557726693 14511063040 3211850 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 3542740 3211850 840 493 0 3536045 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 14170960 KiB
Current children cumulated memory: 12847400 KiB
[startup+402.3 s]
/proc/loadavg: 1.00 1.12 1.52 2/192 14179
/proc/meminfo: memFree=15830100/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=16343904 memory=15580784 CPUtime=402.15 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 2939449 0 0 0 39803 412 0 0 20 0 1 0 557726693 16736157696 3895196 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 4085976 3895196 840 493 0 4079281 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 16343904 KiB
Current children cumulated memory: 15580784 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 1.10 1.48 2/192 14182
/proc/meminfo: memFree=13812816/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=17854644 memory=17593228 CPUtime=462.13 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 3317390 0 0 0 45734 479 0 0 20 0 1 0 557726693 18283155456 4398307 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 4463661 4398307 840 493 0 4456966 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 17854644 KiB
Current children cumulated memory: 17593228 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 1.08 1.45 2/192 14187
/proc/meminfo: memFree=11102132/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=22005532 memory=20289596 CPUtime=522.1 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 3823859 0 0 0 51642 568 0 0 20 0 1 0 557726693 22533664768 5072399 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 5501383 5072399 840 493 0 5494688 0
Current children cumulated CPU time: 522.1 s
Current children cumulated vsize: 22005532 KiB
Current children cumulated memory: 20289596 KiB
[startup+582.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/192 14190
/proc/meminfo: memFree=9242952/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=23590136 memory=22154368 CPUtime=582.07 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 4174033 0 0 0 57574 633 0 0 20 0 1 0 557726693 24156299264 5538592 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 5897534 5538592 840 493 0 5890839 0
Current children cumulated CPU time: 582.07 s
Current children cumulated vsize: 23590136 KiB
Current children cumulated memory: 22154368 KiB
[startup+642.3 s]
/proc/loadavg: 1.00 1.05 1.40 2/191 14193
/proc/meminfo: memFree=6868920/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=25361180 memory=24515272 CPUtime=642.05 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 4617076 0 0 0 63496 709 0 0 20 0 1 0 557726693 25969848320 6128818 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 6340295 6128818 840 493 0 6333600 0
Current children cumulated CPU time: 642.05 s
Current children cumulated vsize: 25361180 KiB
Current children cumulated memory: 24515272 KiB
[startup+702.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/191 14198
/proc/meminfo: memFree=4170592/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=27386720 memory=27216524 CPUtime=702.02 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 5123787 0 0 0 69400 802 0 0 20 0 1 0 557726693 28044001280 6804131 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 6846680 6804131 840 493 0 6839985 0
Current children cumulated CPU time: 702.02 s
Current children cumulated vsize: 27386720 KiB
Current children cumulated memory: 27216524 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+753.9 s]
/proc/loadavg: 1.00 1.04 1.35 2/191 14201
/proc/meminfo: memFree=2616940/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=31744064 memory=28767580 CPUtime=753.6 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 4202496 5416002 0 0 0 74498 862 0 0 20 0 1 0 557726693 32505921536 7191895 33554432000 4194304 6211132 140725667381472 140725667374616 140106647550949 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 7936016 7191895 840 493 0 7929321 0
Current children cumulated CPU time: 753.6 s
Current children cumulated vsize: 31744064 KiB
Current children cumulated memory: 28767580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+757.396 s]
# the end of solver process 14145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=745.274 s, system=10.1446 s
Solver just ended.
Dumping a history of the last processes samples
[startup+755.2 s]
/proc/loadavg: 1.00 1.04 1.35 3/192 14202
/proc/meminfo: memFree=1999572/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=31744064 memory=28767580 CPUtime=753.81 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 512 5416006 0 0 0 74518 863 0 0 20 0 1 0 557726693 32505921536 7191895 33554432000 4194304 6211132 140725667381472 140725667374616 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 7936016 7191895 840 493 0 7929321 0
Current children cumulated CPU time: 753.81 s
Current children cumulated vsize: 31744064 KiB
Current children cumulated memory: 28767580 KiB
[startup+755.6 s]
/proc/loadavg: 1.00 1.04 1.35 3/192 14202
/proc/meminfo: memFree=1999572/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=31744064 memory=28767580 CPUtime=753.87 cores=0-7
/proc/14145/stat : 14145 (cosoco) S 14142 14145 14101 0 -1 512 5416006 0 0 0 74524 863 0 0 20 0 1 0 557726693 32505921536 7191895 33554432000 4194304 6211132 140725667381472 140725667374616 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 7936016 7191895 840 493 0 7929321 0
Current children cumulated CPU time: 753.87 s
Current children cumulated vsize: 31744064 KiB
Current children cumulated memory: 28767580 KiB
[startup+755.8 s]
/proc/loadavg: 1.00 1.04 1.35 3/192 14202
/proc/meminfo: memFree=1999572/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=31744064 memory=28767580 CPUtime=753.9 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 512 5416006 0 0 0 74526 864 0 0 20 0 1 0 557726693 32505921536 7191895 33554432000 4194304 6211132 140725667381472 140725667374616 5189582 0 16384 4096 8405026 0 0 0 17 7 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 7936016 7191895 840 493 0 7929321 0
Current children cumulated CPU time: 753.9 s
Current children cumulated vsize: 31744064 KiB
Current children cumulated memory: 28767580 KiB
[startup+755.9 s]
/proc/loadavg: 1.00 1.04 1.35 3/192 14202
/proc/meminfo: memFree=1999572/32770624 swapFree=66936012/67108860
[pid=14145] ppid=14142 vsize=31744064 memory=28767580 CPUtime=753.91 cores=0-7
/proc/14145/stat : 14145 (cosoco) R 14142 14145 14101 0 -1 512 5416006 0 0 0 74527 864 0 0 20 0 1 0 557726693 32505921536 7191895 33554432000 4194304 6211132 140725667381472 140725667374616 5189582 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 18038784 140725667390481 140725667390573 140725667390573 140725667393486 0
/proc/14145/statm: 7936016 7191895 840 493 0 7929321 0
Current children cumulated CPU time: 753.91 s
Current children cumulated vsize: 31744064 KiB
Current children cumulated memory: 28767580 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 757.396
CPU time (s): 755.419
CPU user time (s): 745.274
CPU system time (s): 10.1446
CPU usage (%): 99.739
Max. virtual memory (cumulated for all children) (KiB): 31744064
Max. memory (cumulated for all children) (KiB): 28767580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 745.274
system time used= 10.1446
maximum resident set size= 28767768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5416006
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= 136687
involuntary context switches= 340
# summary of solver processes directly reported to runsolver:
# pid: 14145
# total CPU time (s): 755.419
# total CPU user time (s): 745.274
# total CPU system time (s): 10.1446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.69978 second user time and 5.15992 second system time
The end
Begin job on node147 at 2019-09-30 06:34:45 IDJOB=4409466 IDBENCH=120428 IDSOLVER=2877 FILE ID=node147/4409466-1569818130 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N6d.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409466-1569818130/watcher-4409466-1569818130 -o /tmp/evaluation-result-4409466-1569818130/solver-4409466-1569818130 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409466-1569818130.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2c28ca4ad49bcbb6099e9194469961d5 RANDOM SEED=238227114 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31420844 kB MemAvailable: 31796036 kB Buffers: 230012 kB Cached: 474388 kB SwapCached: 68896 kB Active: 411864 kB Inactive: 365380 kB Active(anon): 18232 kB Inactive(anon): 137016 kB Active(file): 393632 kB Inactive(file): 228364 kB Unevictable: 107716 kB Mlocked: 107716 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 113124 kB Mapped: 26280 kB Shmem: 73672 kB Slab: 167452 kB SReclaimable: 138060 kB SUnreclaim: 29392 kB KernelStack: 3296 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61496 MiB End job on node147 at 2019-09-30 06:47:23