| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | ? (TO) | 1745.23 | 252.313 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml |
| MD5SUM | 3fdf89d4941046bada2032faa76e855a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63832030 |
| Best CPU time to get the best result obtained on this benchmark | 57.3117 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4790 |
| Number of constraints | 2852 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 121 |
| Distribution of domain sizes | [{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 1264 |
| Distribution of variable degrees | [{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}] |
| Number of extensional constraints | 1263 |
| Number of intensional constraints | 1589 |
| Distribution of constraint types | [{"type":"extension","count":1263},{"type":"intension","count":1589}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.21/0.23 c 0.21/0.23 c This is cosoco 2.00 -- 0.21/0.23 c 0.21/0.23 c command line: cosoco -model -nbcores=8 HOME/instance-4398553-1568611192.xml 0.21/0.23 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.21/0.23 c intension eq(dist(f[245],f[259]),40) -> extension (support ? 1) - 34tuples 0.21/0.24 c intension eq(dist(f[171],f[366]),40) -> extension (support ? 1) - 222tuples 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension eq(dist(f[168],f[394]),40) -> extension (support ? 1) - 22tuples 0.21/0.25 c intension eq(dist(f[189],f[377]),40) -> extension (support ? 1) - 222tuples 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension eq(dist(f[383],f[402]),40) -> extension (support ? 1) - 34tuples 0.21/0.26 c intension eq(dist(f[19],f[30]),40) -> extension (support ? 1) - 222tuples 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension eq(dist(f[264],f[465]),40) -> extension (support ? 1) - 22tuples 0.21/0.27 c intension eq(dist(f[271],f[76]),40) -> extension (support ? 1) - 222tuples 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension eq(dist(f[152],f[320]),40) -> extension (support ? 1) - 34tuples 0.21/0.29 c intension eq(dist(f[253],f[301]),40) -> extension (support ? 1) - 222tuples 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension eq(dist(f[108],f[191]),40) -> extension (support ? 1) - 34tuples 0.21/0.31 c intension eq(dist(f[43],f[464]),40) -> extension (support ? 1) - 222tuples 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension eq(dist(f[242],f[314]),40) -> extension (support ? 1) - 34tuples 0.30/0.32 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.30/0.34 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.30/0.35 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.30/0.38 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.30/0.39 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.30/0.40 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension eq(dist(f[38],f[47]),40) -> extension (support ? 1) - 222tuples 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension eq(dist(f[105],f[211]),40) -> extension (support ? 1) - 34tuples 0.41/0.43 c intension eq(dist(f[183],f[454]),40) -> extension (support ? 1) - 222tuples 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension ne(dist(f[235],f[396]),13) -> extension (support ? 0) - 0tuples 0.41/0.44 c intension ne(dist(f[168],f[169]),118) -> extension (support ? 0) - 0tuples 0.41/0.45 c intension ne(dist(f[327],f[355]),9) -> extension (support ? 0) - 0tuples 0.41/0.46 c intension ne(dist(f[144],f[290]),66) -> extension (support ? 0) - 0tuples 0.41/0.46 c intension ne(dist(f[138],f[283]),73) -> extension (support ? 0) - 0tuples 0.41/0.47 c intension ne(dist(f[377],f[476]),53) -> extension (support ? 0) - 0tuples 0.41/0.48 c intension ne(dist(f[312],f[374]),3) -> extension (support ? 0) - 0tuples 0.41/0.48 c intension ne(dist(f[194],f[70]),200) -> extension (support ? 0) - 142tuples 0.41/0.49 c intension ne(dist(f[203],f[294]),21) -> extension (support ? 0) - 0tuples 0.41/0.50 c intension ne(dist(f[233],f[422]),27) -> extension (support ? 0) - 0tuples 0.41/0.51 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.50/0.51 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.50/0.52 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.50/0.53 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.50/0.53 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.50/0.54 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.50/0.55 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.50/0.55 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.50/0.56 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.50/0.56 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.50/0.57 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.50/0.58 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.50/0.58 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.50/0.59 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.50/0.60 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.60/0.61 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.60/0.61 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.60/0.62 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.60/0.63 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.60/0.64 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.60/0.64 c AllEqual constraint using 1 generic x=y constraints 0.69/0.72 c intension eq(dist(f[13],f[383]),d[60]) -> extension (support ? 1) - 729tuples 0.69/0.74 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 1.00/1.05 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 1.00/1.07 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 1.00/1.09 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 1.10/1.12 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 1.10/1.14 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 1.10/1.16 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 1.10/1.18 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 1.19/1.20 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 1.19/1.20 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 1.19/1.26 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 1.19/1.28 c intension -> extension : same as previous 1.19/1.28 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 1.29/1.31 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 1.39/1.41 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 1.49/1.55 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 1.59/1.60 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 1.59/1.62 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 1.59/1.67 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.69/1.76 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.69/1.78 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 1744.83/252.02 c enable optimization 1744.83/252.02 c ========================================[ Problem Statistics ]=========================================== 1744.83/252.02 c | 1744.83/252.02 c | Parse time : 37.02 s 1744.83/252.02 c | 1744.83/252.02 c | Variables: 4790 1744.83/252.02 c | Domain Sizes: 1..121 1744.83/252.02 c | 1744.83/252.02 c | Constraints: 2853 1744.83/252.02 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 1744.83/252.02 c | 1744.83/252.02 c | Types: 1744.83/252.02 c | (X != Y): 17 1744.83/252.02 c | (X = Y): 29 1744.83/252.02 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 1776) 1744.83/252.02 c | Intension: 1241 1744.83/252.02 c | Sum: 1 1744.83/252.02 c | 1744.83/252.02 c | Objective: Minimize Sum 1744.83/252.02 1744.83/252.02 c ========================================================================================================= 1744.83/252.02 c Parallel mode: Portfolio 1744.83/252.02 c [pFactory][Group N°0] created (threads:8). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1744.83/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1744.83/252.02 c [pFactory][Group N°0] concurrent mode: enabled. 1744.83/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1744.83/252.02 c [pFactory][Group N°0] task 7 launched on thread 1. 1744.83/252.02 c [pFactory][Group N°0] task 6 launched on thread 2. 1744.83/252.02 c [pFactory][Group N°0] task 5 launched on thread 0. 1744.83/252.02 c [pFactory][Group N°0] task 4 launched on thread 6. 1744.83/252.02 c [pFactory][Group N°0] task 3 launched on thread 7. 1744.83/252.02 c [pFactory][Group N°0] task 2 launched on thread 3. 1744.83/252.02 c [pFactory][Group N°0] task 1 launched on thread 5. 1744.83/252.02 c [pFactory][Group N°0] task 0 launched on thread 4. 1744.83/252.02 1744.83/252.02 c *** INTERRUPTED *** 1744.83/252.02 c call to solver : 0 1744.83/252.02 c 1744.83/252.02 c restarts : 420 1744.83/252.02 c conflicts : 4261 (2 /sec) 1744.83/252.02 c decisions : 151974 (88 /sec) 1744.83/252.02 c propagations : 7696340 (4441 /sec) 1744.83/252.02 c root propagations : 10735 1744.83/252.02 c filter calls : 1626588 (939 /sec) 1744.83/252.02 c useless filter calls : 1323256 (81 %) 1744.83/252.02 c Memory used : 4165.34 MB 1744.83/252.02 c Best bound time (wc) : -1.56861e+09 s 1744.83/252.02 c CPU time : 1732.92 s 1744.83/252.02 c real time : 252.018 s 1744.83/252.02 1744.83/252.02 c No Bound found! 1744.83/252.02 1744.83/252.02 s UNKNOWN
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 (14596 MiB free)
memory of node 1: 16384 MiB (15464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398553-1568611192/watcher-4398553-1568611192 -o /tmp/evaluation-result-4398553-1568611192/solver-4398553-1568611192 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398553-1568611192.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 thread
solver pid=17055, runsolver pid=17052
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30737896/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=76764 memory=52644 CPUtime=0.09 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 13381 0 0 0 8 1 0 0 20 0 1 0 437388113 78606336 13161 33554432000 4194304 6211092 140729070267264 140729070263800 139910858472421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 19191 13161 755 493 0 12496 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76764 KiB
Current children cumulated memory: 52644 KiB
[startup+0.20922 s]*
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30676144/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=138396 memory=114448 CPUtime=0.21 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 28788 0 0 0 17 4 0 0 20 0 1 0 437388113 141717504 28612 33554432000 4194304 6211092 140729070267264 140729070263800 139910858472421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 34599 28612 755 493 0 27904 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 138396 KiB
Current children cumulated memory: 114448 KiB
[startup+0.309335 s]*
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30653824/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=156884 memory=133068 CPUtime=0.3 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 33539 0 0 0 26 4 0 0 20 0 1 0 437388113 160649216 33267 33554432000 4194304 6211092 140729070267264 140729070263800 139910858478488 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 39221 33267 826 493 0 32526 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 133068 KiB
[startup+0.700325 s]
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30620776/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=215632 memory=192056 CPUtime=0.69 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 52195 0 0 0 62 7 0 0 20 0 1 0 437388113 220807168 47948 33554432000 4194304 6211092 140729070267264 140729070261752 139910858472421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 53908 48014 833 493 0 47213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 215632 KiB
Current children cumulated memory: 192056 KiB
[startup+1.50037 s]
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30449848/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=507532 memory=483844 CPUtime=1.49 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 126375 0 0 0 133 16 0 0 20 0 1 0 437388113 519712768 120961 33554432000 4194304 6211092 140729070267264 140729070261752 139910858472421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 126883 120961 835 493 0 120188 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 507532 KiB
Current children cumulated memory: 483844 KiB
[startup+3.10925 s]
/proc/loadavg: 7.85 8.13 8.12 2/191 17056
/proc/meminfo: memFree=30080904/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=737632 memory=710316 CPUtime=3.09 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 186352 0 0 0 287 22 0 0 20 0 1 0 437388113 755335168 177579 33554432000 4194304 6211092 140729070267264 140729070262920 5816132 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 184408 177579 840 493 0 177713 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 737632 KiB
Current children cumulated memory: 710316 KiB
[startup+6.30028 s]
/proc/loadavg: 7.22 8.00 8.08 2/192 17058
/proc/meminfo: memFree=29907968/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=930268 memory=892584 CPUtime=6.29 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 238441 0 0 0 602 27 0 0 20 0 1 0 437388113 952594432 223146 33554432000 4194304 6211092 140729070267264 140729070262920 5817892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 232567 223146 840 493 0 225872 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 930268 KiB
Current children cumulated memory: 892584 KiB
[startup+12.7003 s]
/proc/loadavg: 6.72 7.88 8.04 2/191 17058
/proc/meminfo: memFree=29565476/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=1315652 memory=1256912 CPUtime=12.69 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 337823 0 0 0 1229 40 0 0 20 0 1 0 437388113 1347227648 314228 33554432000 4194304 6211092 140729070267264 140729070262920 5016216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 328913 314228 840 493 0 322218 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1315652 KiB
Current children cumulated memory: 1256912 KiB
[startup+25.5003 s]
/proc/loadavg: 5.45 7.54 7.93 2/191 17059
/proc/meminfo: memFree=28821492/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=2089156 memory=1988908 CPUtime=25.49 cores=0-7
/proc/17055/stat : 17055 (cosoco) R 17052 17055 13237 0 -1 4202496 533711 0 0 0 2485 64 0 0 20 0 1 0 437388113 2139295744 497227 33554432000 4194304 6211092 140729070267264 140729070264536 5707920 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 522289 497227 840 493 0 515594 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2089156 KiB
Current children cumulated memory: 1988908 KiB
[startup+51.1108 s]
/proc/loadavg: 5.48 7.36 7.86 9/201 17076
/proc/meminfo: memFree=27223324/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=4134232 memory=3555024 CPUtime=141.19 cores=0-7
/proc/17055/stat : 17055 (cosoco) S 17052 17055 13237 0 -1 1077944320 4076767 0 0 0 13445 674 0 0 20 0 9 0 437388113 4233453568 888756 33554432000 4194304 6211092 140729070267264 140729070265520 139910874513143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 1033558 888756 890 493 0 1026863 0
[pid=17055/tid=17060] ppid=17052 vsize=4134232 memory=56 CPUtime=12.79 cores=0-7
/proc/17055/task/17060/stat : 17060 (cosoco) R 17052 17055 13237 0 -1 4202560 360913 0 0 0 1164 115 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910851369496 5038995 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17061] ppid=17052 vsize=4134232 memory=3548700 CPUtime=12.91 cores=0-7
/proc/17055/task/17061/stat : 17061 (cosoco) R 17052 17055 13237 0 -1 4202560 361657 0 0 0 1265 26 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910842976680 5069176 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17062] ppid=17052 vsize=4134232 memory=3552372 CPUtime=12.95 cores=0-7
/proc/17055/task/17062/stat : 17062 (cosoco) R 17052 17055 13237 0 -1 4202560 355767 0 0 0 1265 30 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910834584088 5451554 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17063] ppid=17052 vsize=4134232 memory=3520796 CPUtime=12.9 cores=0-7
/proc/17055/task/17063/stat : 17063 (cosoco) R 17052 17055 13237 0 -1 4202560 414673 0 0 0 1194 96 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910826191464 5440580 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17064] ppid=17052 vsize=4134232 memory=3554776 CPUtime=12.86 cores=0-7
/proc/17055/task/17064/stat : 17064 (cosoco) R 17052 17055 13237 0 -1 4202560 416587 0 0 0 1194 92 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910817798760 5068955 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17065] ppid=17052 vsize=4134232 memory=281212312654704 CPUtime=12.91 cores=0-7
/proc/17055/task/17065/stat : 17065 (cosoco) R 17052 17055 13237 0 -1 4202560 414591 0 0 0 1261 30 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910809406056 5008940 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17066] ppid=17052 vsize=4134232 memory=3554468 CPUtime=12.92 cores=0-7
/proc/17055/task/17066/stat : 17066 (cosoco) R 17052 17055 13237 0 -1 4202560 337443 0 0 0 1208 84 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910801013160 5008940 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17067] ppid=17052 vsize=4134232 memory=45796 CPUtime=12.84 cores=0-7
/proc/17055/task/17067/stat : 17067 (cosoco) R 17052 17055 13237 0 -1 4202560 425222 0 0 0 1189 95 0 0 20 0 9 0 437391919 4233453568 888756 33554432000 4194304 6211092 140729070267264 139910792620456 5394151 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
Current children cumulated CPU time: 141.19 s
Current children cumulated vsize: 4134232 KiB
Current children cumulated memory: 3555024 KiB
[startup+102.301 s]
/proc/loadavg: 6.91 7.46 7.86 9/200 17079
/proc/meminfo: memFree=27166768/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=4265304 memory=3610760 CPUtime=549.75 cores=0-7
/proc/17055/stat : 17055 (cosoco) S 17052 17055 13237 0 -1 1077944320 7008286 0 0 0 54093 882 0 0 20 0 9 0 437388113 4367671296 902690 33554432000 4194304 6211092 140729070267264 140729070265520 139910874513143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 1066326 902690 890 493 0 1059631 0
[pid=17055/tid=17060] ppid=17052 vsize=4265304 memory=3576 CPUtime=63.85 cores=0-7
/proc/17055/task/17060/stat : 17060 (cosoco) R 17052 17055 13237 0 -1 4202560 727854 0 0 0 6238 147 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910851369384 5443100 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17061] ppid=17052 vsize=4265304 memory=3605544 CPUtime=64.06 cores=0-7
/proc/17055/task/17061/stat : 17061 (cosoco) R 17052 17055 13237 0 -1 4202560 755194 0 0 0 6353 53 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910842976872 5446197 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17062] ppid=17052 vsize=4265304 memory=3610652 CPUtime=63.65 cores=0-7
/proc/17055/task/17062/stat : 17062 (cosoco) R 17052 17055 13237 0 -1 4202560 737567 0 0 0 6314 51 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910834583976 5446267 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17063] ppid=17052 vsize=4265304 memory=281212313103552 CPUtime=64.05 cores=0-7
/proc/17055/task/17063/stat : 17063 (cosoco) R 17052 17055 13237 0 -1 4202560 801233 0 0 0 6278 127 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910826191544 5164656 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17064] ppid=17052 vsize=4265304 memory=3609276 CPUtime=64.03 cores=0-7
/proc/17055/task/17064/stat : 17064 (cosoco) R 17052 17055 13237 0 -1 4202560 771756 0 0 0 6286 117 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910817798568 5451602 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17065] ppid=17052 vsize=4265304 memory=3576 CPUtime=63.9 cores=0-7
/proc/17055/task/17065/stat : 17065 (cosoco) R 17052 17055 13237 0 -1 4202560 756770 0 0 0 6336 54 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910809405976 5039561 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17066] ppid=17052 vsize=4265304 memory=45816 CPUtime=64.09 cores=0-7
/proc/17055/task/17066/stat : 17066 (cosoco) R 17052 17055 13237 0 -1 4202560 677767 0 0 0 6299 110 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910801013160 5009164 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17067] ppid=17052 vsize=4265304 memory=6935054825532540783 CPUtime=63.99 cores=0-7
/proc/17055/task/17067/stat : 17067 (cosoco) R 17052 17055 13237 0 -1 4202560 790221 0 0 0 6283 116 0 0 20 0 9 0 437391919 4367671296 902690 33554432000 4194304 6211092 140729070267264 139910792620568 139910859396416 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
Current children cumulated CPU time: 549.75 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3610760 KiB
[startup+162.301 s]
/proc/loadavg: 7.60 7.56 7.87 9/200 17082
/proc/meminfo: memFree=27130008/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=4265304 memory=3648844 CPUtime=1028.74 cores=0-7
/proc/17055/stat : 17055 (cosoco) S 17052 17055 13237 0 -1 1077944320 8160543 0 0 0 101807 1067 0 0 20 0 9 0 437388113 4367671296 912211 33554432000 4194304 6211092 140729070267264 140729070265520 139910874513143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 1066326 912211 890 493 0 1059631 0
[pid=17055/tid=17060] ppid=17052 vsize=4265304 memory=3648200 CPUtime=123.81 cores=0-7
/proc/17055/task/17060/stat : 17060 (cosoco) R 17052 17055 13237 0 -1 4202560 900043 0 0 0 12220 161 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910851369384 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17061] ppid=17052 vsize=4265304 memory=3647844 CPUtime=124.05 cores=0-7
/proc/17055/task/17061/stat : 17061 (cosoco) R 17052 17055 13237 0 -1 4202560 892874 0 0 0 12341 64 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910842976680 5455642 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17062] ppid=17052 vsize=4265304 memory=3647716 CPUtime=123.63 cores=0-7
/proc/17055/task/17062/stat : 17062 (cosoco) R 17052 17055 13237 0 -1 4202560 883803 0 0 0 12250 113 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910834583976 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17063] ppid=17052 vsize=4265304 memory=3647808 CPUtime=124.03 cores=0-7
/proc/17055/task/17063/stat : 17063 (cosoco) R 17052 17055 13237 0 -1 4202560 942696 0 0 0 12267 136 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910826191464 5156232 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17064] ppid=17052 vsize=4265304 memory=3647808 CPUtime=124.03 cores=0-7
/proc/17055/task/17064/stat : 17064 (cosoco) R 17052 17055 13237 0 -1 4202560 910480 0 0 0 12223 180 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910817798568 5039217 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17065] ppid=17052 vsize=4265304 memory=3643760 CPUtime=123.02 cores=0-7
/proc/17055/task/17065/stat : 17065 (cosoco) R 17052 17055 13237 0 -1 4202560 870979 0 0 0 12242 60 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910809405976 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17066] ppid=17052 vsize=4265304 memory=3648796 CPUtime=124.08 cores=0-7
/proc/17055/task/17066/stat : 17066 (cosoco) R 17052 17055 13237 0 -1 4202560 836965 0 0 0 12285 123 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910801013272 5451488 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17067] ppid=17052 vsize=4265304 memory=3648796 CPUtime=123.98 cores=0-7
/proc/17055/task/17067/stat : 17067 (cosoco) R 17052 17055 13237 0 -1 4202560 932776 0 0 0 12274 124 0 0 20 0 9 0 437391919 4367671296 912211 33554432000 4194304 6211092 140729070267264 139910792620456 5009644 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
Current children cumulated CPU time: 1028.74 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3648844 KiB
[startup+222.301 s]
/proc/loadavg: 7.98 7.67 7.89 9/200 17085
/proc/meminfo: memFree=27111212/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=4265304 memory=3669220 CPUtime=1507.69 cores=0-7
/proc/17055/stat : 17055 (cosoco) S 17052 17055 13237 0 -1 1077944320 9223997 0 0 0 149605 1164 0 0 20 0 9 0 437388113 4367671296 917305 33554432000 4194304 6211092 140729070267264 140729070265520 139910874513143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 1066326 917305 890 493 0 1059631 0
[pid=17055/tid=17060] ppid=17052 vsize=4265304 memory=3576 CPUtime=183.2 cores=0-7
/proc/17055/task/17060/stat : 17060 (cosoco) R 17052 17055 13237 0 -1 4202560 1029920 0 0 0 18150 170 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910851369496 5441131 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17061] ppid=17052 vsize=4265304 memory=3668904 CPUtime=184.01 cores=0-7
/proc/17055/task/17061/stat : 17061 (cosoco) R 17052 17055 13237 0 -1 4202560 1041762 0 0 0 18327 74 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910842976680 5164850 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17062] ppid=17052 vsize=4265304 memory=3668984 CPUtime=183.59 cores=0-7
/proc/17055/task/17062/stat : 17062 (cosoco) R 17052 17055 13237 0 -1 4202560 993656 0 0 0 18225 134 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910834584088 5009164 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17063] ppid=17052 vsize=4265304 memory=3668920 CPUtime=184.02 cores=0-7
/proc/17055/task/17063/stat : 17063 (cosoco) R 17052 17055 13237 0 -1 4202560 1082613 0 0 0 18256 146 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910826191272 5156184 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17064] ppid=17052 vsize=4265304 memory=3668920 CPUtime=184.01 cores=0-7
/proc/17055/task/17064/stat : 17064 (cosoco) R 17052 17055 13237 0 -1 4202560 1053596 0 0 0 18208 193 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910817798680 5039149 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17065] ppid=17052 vsize=4265304 memory=3668920 CPUtime=182.74 cores=0-7
/proc/17055/task/17065/stat : 17065 (cosoco) R 17052 17055 13237 0 -1 4202560 970334 0 0 0 18199 75 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910809405976 139910859396434 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17066] ppid=17052 vsize=4265304 memory=45816 CPUtime=184.05 cores=0-7
/proc/17055/task/17066/stat : 17066 (cosoco) R 17052 17055 13237 0 -1 4202560 989221 0 0 0 18272 133 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910801013352 5456310 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17067] ppid=17052 vsize=4265304 memory=988 CPUtime=183.92 cores=0-7
/proc/17055/task/17067/stat : 17067 (cosoco) R 17052 17055 13237 0 -1 4202560 1072969 0 0 0 18260 132 0 0 20 0 9 0 437391919 4367671296 917305 33554432000 4194304 6211092 140729070267264 139910792620568 5037847 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
Current children cumulated CPU time: 1507.69 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3669220 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.33 7.78 7.92 9/200 17087
/proc/meminfo: memFree=27088468/32770624 swapFree=66952660/67108860
[pid=17055] ppid=17052 vsize=4265304 memory=3691528 CPUtime=1744.83 cores=0-7
/proc/17055/stat : 17055 (cosoco) S 17052 17055 13237 0 -1 1077944320 9713343 0 0 0 173281 1202 0 0 20 0 9 0 437388113 4367671296 922882 33554432000 4194304 6211092 140729070267264 140729070265520 139910874513143 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
/proc/17055/statm: 1066326 922882 890 493 0 1059631 0
[pid=17055/tid=17060] ppid=17052 vsize=4265304 memory=1408 CPUtime=212.48 cores=0-7
/proc/17055/task/17060/stat : 17060 (cosoco) R 17052 17055 13237 0 -1 4202560 1096459 0 0 0 21073 175 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910851369384 5072352 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17061] ppid=17052 vsize=4265304 memory=8317482817917895235 CPUtime=213.71 cores=0-7
/proc/17055/task/17061/stat : 17061 (cosoco) R 17052 17055 13237 0 -1 4202560 1106728 0 0 0 21293 78 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910842976680 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17062] ppid=17052 vsize=4265304 memory=1384 CPUtime=213.3 cores=0-7
/proc/17055/task/17062/stat : 17062 (cosoco) R 17052 17055 13237 0 -1 4202560 1069930 0 0 0 21189 141 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910834583976 139910859392948 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17063] ppid=17052 vsize=4265304 memory=4156 CPUtime=213.71 cores=0-7
/proc/17055/task/17063/stat : 17063 (cosoco) R 17052 17055 13237 0 -1 4202560 1140512 0 0 0 21220 151 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910826191464 5164850 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17064] ppid=17052 vsize=4265304 memory=1056 CPUtime=213.72 cores=0-7
/proc/17055/task/17064/stat : 17064 (cosoco) R 17052 17055 13237 0 -1 4202560 1097888 0 0 0 21176 196 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910817798680 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17065] ppid=17052 vsize=4265304 memory=1188 CPUtime=212.45 cores=0-7
/proc/17055/task/17065/stat : 17065 (cosoco) R 17052 17055 13237 0 -1 4202560 1038927 0 0 0 21165 80 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910809405976 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17066] ppid=17052 vsize=4265304 memory=1536 CPUtime=213.74 cores=0-7
/proc/17055/task/17066/stat : 17066 (cosoco) R 17052 17055 13237 0 -1 4202560 1052634 0 0 0 21234 140 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910801013160 5069293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
[pid=17055/tid=17067] ppid=17052 vsize=4265304 memory=9592 CPUtime=213.61 cores=0-7
/proc/17055/task/17067/stat : 17067 (cosoco) R 17052 17055 13237 0 -1 4202560 1120350 0 0 0 21226 135 0 0 20 0 9 0 437391919 4367671296 922882 33554432000 4194304 6211092 140729070267264 139910792620568 5455634 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15384576 140729070269462 140729070269554 140729070269554 140729070272462 0
Current children cumulated CPU time: 1744.83 s
Current children cumulated vsize: 4265304 KiB
Current children cumulated memory: 3691528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.313 s]
# the end of solver process 17055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1732.92 s, system=12.3107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.209 s]
/proc/loadavg: 8.33 7.78 7.92 2/193 17087
/proc/meminfo: memFree=28698860/32770624 swapFree=66952660/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+252.3 s]
/proc/loadavg: 8.33 7.78 7.92 2/193 17087
/proc/meminfo: memFree=28698860/32770624 swapFree=66952660/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 252.313
CPU time (s): 1745.23
CPU user time (s): 1732.92
CPU system time (s): 12.3107
CPU usage (%): 691.695
Max. virtual memory (cumulated for all children) (KiB): 4265304
Max. memory (cumulated for all children) (KiB): 3691528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.92
system time used= 12.3107
maximum resident set size= 3691868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9713635
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= 54796
involuntary context switches= 15251
# summary of solver processes directly reported to runsolver:
# pid: 17055
# total CPU time (s): 1745.23
# total CPU user time (s): 1732.92
# total CPU system time (s): 12.3107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22277 second user time and 2.21976 second system time
The end
Begin job on node127 at 2019-09-16 07:19:12 IDJOB=4398553 IDBENCH=141276 IDSOLVER=2852 FILE ID=node127/4398553-1568611192 RUNJOBID= node127-1568598290-13264 PBS_JOBID= 21703425 Free space on /tmp= 61244 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398553-1568611192/watcher-4398553-1568611192 -o /tmp/evaluation-result-4398553-1568611192/solver-4398553-1568611192 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398553-1568611192.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=1255479939 node127.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.55 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.55 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.55 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.55 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: 30782220 kB MemAvailable: 31831500 kB Buffers: 55176 kB Cached: 1279112 kB SwapCached: 51336 kB Active: 466640 kB Inactive: 920600 kB Active(anon): 12112 kB Inactive(anon): 90416 kB Active(file): 454528 kB Inactive(file): 830184 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66952660 kB Dirty: 73880 kB Writeback: 0 kB AnonPages: 113916 kB Mapped: 46064 kB Shmem: 40564 kB Slab: 190308 kB SReclaimable: 160808 kB SUnreclaim: 29500 kB KernelStack: 3344 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61240 MiB End job on node127 at 2019-09-16 07:23:25