| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | ? (TO) | 1745.74 | 252.318 |
| 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-4409813-1569836510.xml 0.21/0.23 c intension eq(dist(f[44],f[63]),40) -> extension (support ? 1) - 222tuples 0.21/0.24 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.31/0.32 c intension eq(dist(f[179],f[261]),40) -> extension (support ? 1) - 222tuples 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension eq(dist(f[188],f[262]),40) -> extension (support ? 1) - 34tuples 0.31/0.34 c intension eq(dist(f[330],f[429]),40) -> extension (support ? 1) - 222tuples 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension eq(dist(f[307],f[426]),40) -> extension (support ? 1) - 34tuples 0.31/0.35 c intension eq(dist(f[272],f[455]),40) -> extension (support ? 1) - 222tuples 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension eq(dist(f[13],f[62]),40) -> extension (support ? 1) - 34tuples 0.31/0.37 c intension eq(dist(f[117],f[474]),40) -> extension (support ? 1) - 222tuples 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension eq(dist(f[126],f[483]),40) -> extension (support ? 1) - 34tuples 0.31/0.38 c intension eq(dist(f[195],f[8]),40) -> extension (support ? 1) - 222tuples 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension eq(dist(f[113],f[401]),40) -> extension (support ? 1) - 22tuples 0.31/0.40 c intension eq(dist(f[143],f[53]),40) -> extension (support ? 1) - 222tuples 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension eq(dist(f[224],f[58]),40) -> extension (support ? 1) - 34tuples 0.31/0.41 c intension -> extension : same as previous 0.31/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.45 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.47 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.50 c intension ne(dist(f[292],f[400]),64) -> extension (support ? 0) - 210tuples 0.41/0.51 c intension ne(dist(f[127],f[72]),78) -> extension (support ? 0) - 0tuples 0.51/0.52 c intension ne(dist(f[40],f[57]),18) -> extension (support ? 0) - 0tuples 0.51/0.52 c intension ne(dist(f[118],f[209]),75) -> extension (support ? 0) - 0tuples 0.51/0.53 c intension ne(dist(f[251],f[90]),13) -> extension (support ? 0) - 0tuples 0.51/0.53 c intension ne(dist(f[154],f[85]),17) -> extension (support ? 0) - 0tuples 0.51/0.54 c intension ne(dist(f[413],f[52]),226) -> extension (support ? 0) - 0tuples 0.51/0.55 c intension ne(dist(f[192],f[268]),20) -> extension (support ? 0) - 232tuples 0.51/0.55 c intension ne(dist(f[116],f[402]),48) -> extension (support ? 0) - 54tuples 0.51/0.56 c intension ne(dist(f[174],f[316]),54) -> extension (support ? 0) - 0tuples 0.51/0.57 c intension ne(dist(f[104],f[300]),129) -> extension (support ? 0) - 0tuples 0.51/0.57 c intension ne(dist(f[444],f[499]),47) -> extension (support ? 0) - 0tuples 0.51/0.58 c intension ne(dist(f[231],f[407]),8) -> extension (support ? 0) - 238tuples 0.51/0.59 c intension ne(dist(f[360],f[50]),2) -> extension (support ? 0) - 0tuples 0.51/0.59 c intension ne(dist(f[219],f[436]),27) -> extension (support ? 0) - 0tuples 0.51/0.60 c intension ne(dist(f[484],f[68]),31) -> extension (support ? 0) - 0tuples 0.59/0.61 c intension ne(dist(f[443],f[80]),203) -> extension (support ? 0) - 0tuples 0.59/0.61 c intension ne(dist(f[106],f[238]),73) -> extension (support ? 0) - 0tuples 0.59/0.62 c intension ne(dist(f[102],f[243]),320) -> extension (support ? 0) - 82tuples 0.59/0.63 c intension ne(dist(f[112],f[281]),226) -> extension (support ? 0) - 0tuples 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.63 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/0.64 c AllEqual constraint using 1 generic x=y constraints 0.59/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.73 c intension eq(dist(f[13],f[461]),d[62]) -> extension (support ? 1) - 729tuples 1.00/1.04 c intension eq(dist(f[105],f[307]),d[475]) -> extension (support ? 1) - 729tuples 1.00/1.06 c intension eq(dist(f[105],f[465]),d[476]) -> extension (support ? 1) - 567tuples 1.00/1.08 c intension eq(dist(f[108],f[211]),d[486]) -> extension (support ? 1) - 729tuples 1.09/1.11 c intension eq(dist(f[108],f[307]),d[488]) -> extension (support ? 1) - 729tuples 1.09/1.13 c intension eq(dist(f[108],f[314]),d[489]) -> extension (support ? 1) - 729tuples 1.09/1.15 c intension eq(dist(f[113],f[168]),d[508]) -> extension (support ? 1) - 441tuples 1.09/1.17 c intension eq(dist(f[113],f[188]),d[509]) -> extension (support ? 1) - 567tuples 1.09/1.18 c intension eq(dist(f[113],f[211]),d[510]) -> extension (support ? 1) - 567tuples 1.09/1.19 c intension eq(dist(f[113],f[264]),d[511]) -> extension (support ? 1) - 441tuples 1.18/1.24 c intension eq(dist(f[126],f[211]),d[565]) -> extension (support ? 1) - 729tuples 1.18/1.27 c intension -> extension : same as previous 1.18/1.27 c intension eq(dist(f[126],f[307]),d[567]) -> extension (support ? 1) - 729tuples 1.18/1.29 c intension eq(dist(f[126],f[401]),d[568]) -> extension (support ? 1) - 567tuples 1.39/1.40 c intension eq(dist(f[168],f[264]),d[715]) -> extension (support ? 1) - 441tuples 1.49/1.54 c intension eq(dist(f[224],f[320]),d[894]) -> extension (support ? 1) - 729tuples 1.49/1.59 c intension eq(dist(f[245],f[262]),d[949]) -> extension (support ? 1) - 729tuples 1.59/1.60 c intension eq(dist(f[245],f[426]),d[951]) -> extension (support ? 1) - 729tuples 1.59/1.65 c intension eq(dist(f[262],f[426]),d[998]) -> extension (support ? 1) - 729tuples 1.69/1.74 c intension eq(dist(f[314],f[383]),d[1109]) -> extension (support ? 1) - 729tuples 1.69/1.76 c intension eq(dist(f[320],f[461]),d[1117]) -> extension (support ? 1) - 729tuples 1745.33/252.02 c enable optimization 1745.33/252.02 c ========================================[ Problem Statistics ]=========================================== 1745.33/252.02 c | 1745.33/252.02 c | Parse time : 36.94 s 1745.33/252.02 c | 1745.33/252.02 c | Variables: 4790 1745.33/252.02 c | Domain Sizes: 1..121 1745.33/252.02 c | 1745.33/252.02 c | Constraints: 2853 1745.33/252.02 c | Arity: 2..2527 -- Binary: 326 -- Ternary: 1263 1745.33/252.02 c | 1745.33/252.02 c | Types: 1745.33/252.02 c | (X != Y): 17 1745.33/252.02 c | (X = Y): 29 1745.33/252.02 c | Extension: 1565 (nb tuples: 0..5776) -- (shared: 1776) 1745.33/252.02 c | Intension: 1241 1745.33/252.02 c | Sum: 1 1745.33/252.02 c | 1745.33/252.02 c | Objective: Minimize Sum 1745.33/252.02 1745.33/252.02 c ========================================================================================================= 1745.33/252.02 c Parallel mode: Portfolio 1745.33/252.02 c [pFactory][Group N°0] created (threads:8). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1745.33/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1745.33/252.02 c [pFactory][Group N°0] concurrent mode: enabled. 1745.33/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1745.33/252.02 c [pFactory][Group N°0] task 7 launched on thread 0. 1745.33/252.02 c [pFactory][Group N°0] task 6 launched on thread 6. 1745.33/252.02 c [pFactory][Group N°0] task 5 launched on thread 2. 1745.33/252.02 c [pFactory][Group N°0] task 4 launched on thread 1. 1745.33/252.02 c [pFactory][Group N°0] task 3 launched on thread 7. 1745.33/252.02 c [pFactory][Group N°0] task 2 launched on thread 3. 1745.33/252.02 c [pFactory][Group N°0] task 1 launched on thread 4. 1745.33/252.02 c [pFactory][Group N°0] task 0 launched on thread 5. 1745.33/252.02 1745.33/252.02 c *** INTERRUPTED *** 1745.33/252.02 c call to solver : 0 1745.33/252.02 c 1745.33/252.02 c restarts : 1009 1745.33/252.02 c conflicts : 4284 (2 /sec) 1745.33/252.02 c decisions : 161498 (93 /sec) 1745.33/252.02 c propagations : 8170113 (4714 /sec) 1745.33/252.02 c root propagations : 10735 1745.33/252.02 c filter calls : 1719660 (992 /sec) 1745.33/252.02 c useless filter calls : 1397966 (81 %) 1745.33/252.02 c Memory used : 4161.32 MB 1745.33/252.02 c Best bound time (wc) : -1.56983e+09 s 1745.33/252.02 c CPU time : 1733.18 s 1745.33/252.02 c real time : 252.018 s 1745.33/252.02 1745.33/252.02 c No Bound found! 1745.33/252.02 1745.33/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 (15212 MiB free)
memory of node 1: 16384 MiB (15455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409813-1569836510/watcher-4409813-1569836510 -o /tmp/evaluation-result-4409813-1569836510/solver-4409813-1569836510 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409813-1569836510.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=31534, runsolver pid=31531
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 8.46 7.77 8.00 2/191 31535
/proc/meminfo: memFree=31360788/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=77028 memory=53172 CPUtime=0.1 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 13457 0 0 0 8 2 0 0 20 0 1 0 559904661 78876672 13293 33554432000 4194304 6211132 140732739529200 140732739525144 140341805816805 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 19290 13293 755 493 0 12595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77028 KiB
Current children cumulated memory: 53172 KiB
[startup+0.20956 s]*
/proc/loadavg: 8.46 7.77 8.00 2/191 31535
/proc/meminfo: memFree=31299460/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=138528 memory=114448 CPUtime=0.21 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 28809 0 0 0 18 3 0 0 20 0 1 0 559904661 141852672 28612 33554432000 4194304 6211132 140732739529200 140732739525144 140341805816805 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 34632 28612 755 493 0 27937 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 138528 KiB
Current children cumulated memory: 114448 KiB
[startup+0.309382 s]*
/proc/loadavg: 8.46 7.77 8.00 2/191 31535
/proc/meminfo: memFree=31276768/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=156884 memory=133332 CPUtime=0.31 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 33551 0 0 0 27 4 0 0 20 0 1 0 559904661 160649216 33267 33554432000 4194304 6211132 140732739529200 140732739525144 5012856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 39221 33267 826 493 0 32526 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156884 KiB
Current children cumulated memory: 133332 KiB
[startup+0.700328 s]
/proc/loadavg: 8.46 7.77 8.00 2/191 31535
/proc/meminfo: memFree=31244032/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=219188 memory=195488 CPUtime=0.69 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 53073 0 0 0 62 7 0 0 20 0 1 0 559904661 224448512 48872 33554432000 4194304 6211132 140732739529200 140732739525144 140341805816805 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 54797 48872 833 493 0 48102 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 219188 KiB
Current children cumulated memory: 195488 KiB
[startup+1.50037 s]
/proc/loadavg: 8.46 7.77 8.00 2/191 31535
/proc/meminfo: memFree=31067812/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=515324 memory=491500 CPUtime=1.49 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 128311 0 0 0 132 17 0 0 20 0 1 0 559904661 527691776 122875 33554432000 4194304 6211132 140732739529200 140732739524136 140341805816805 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 128831 122875 835 493 0 122136 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 515324 KiB
Current children cumulated memory: 491500 KiB
[startup+3.10928 s]
/proc/loadavg: 7.86 7.66 7.96 2/191 31535
/proc/meminfo: memFree=30701640/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=739812 memory=712440 CPUtime=3.1 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 186981 0 0 0 285 25 0 0 20 0 1 0 559904661 757567488 178110 33554432000 4194304 6211132 140732739529200 140732739526472 5486746 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 184953 178110 840 493 0 178258 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 739812 KiB
Current children cumulated memory: 712440 KiB
[startup+6.30031 s]
/proc/loadavg: 7.86 7.66 7.96 2/191 31535
/proc/meminfo: memFree=30531844/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=931632 memory=893912 CPUtime=6.28 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 238898 0 0 0 598 30 0 0 20 0 1 0 559904661 953991168 223478 33554432000 4194304 6211132 140732739529200 140732739524856 140341821879424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 232908 223478 840 493 0 226213 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 931632 KiB
Current children cumulated memory: 893912 KiB
[startup+12.7003 s]
/proc/loadavg: 7.31 7.55 7.93 2/191 31535
/proc/meminfo: memFree=30188060/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=1317192 memory=1258540 CPUtime=12.69 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 338360 0 0 0 1226 43 0 0 20 0 1 0 559904661 1348804608 314635 33554432000 4194304 6211132 140732739529200 140732739526472 140341821879424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 329298 314635 840 493 0 322603 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1317192 KiB
Current children cumulated memory: 1258540 KiB
[startup+25.5003 s]
/proc/loadavg: 5.91 7.23 7.82 2/191 31536
/proc/meminfo: memFree=29444612/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=2091096 memory=1990608 CPUtime=25.49 cores=0-7
/proc/31534/stat : 31534 (cosoco) R 31531 31534 29594 0 -1 4202496 534077 0 0 0 2482 67 0 0 20 0 1 0 559904661 2141282304 497652 33554432000 4194304 6211132 140732739529200 140732739526472 140341821879424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 522774 497652 840 493 0 516079 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2091096 KiB
Current children cumulated memory: 1990608 KiB
[startup+51.1138 s]
/proc/loadavg: 5.17 6.93 7.70 7/199 31546
/proc/meminfo: memFree=27844048/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=4195656 memory=3563676 CPUtime=141.66 cores=0-7
/proc/31534/stat : 31534 (cosoco) S 31531 31534 29594 0 -1 1077944320 4038894 0 0 0 13572 594 0 0 20 0 9 0 559904661 4296351744 890919 33554432000 4194304 6211132 140732739529200 140732739527456 140341821857527 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 1048914 890919 879 493 0 1042219 0
[pid=31534/tid=31539] ppid=31531 vsize=4195656 memory=1264872 CPUtime=13 cores=0-7
/proc/31534/task/31539/stat : 31539 (cosoco) R 31531 31534 29594 0 -1 4202560 360206 0 0 0 1214 86 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341798713768 5442996 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31540] ppid=31531 vsize=4195656 memory=10808 CPUtime=12.88 cores=0-7
/proc/31534/task/31540/stat : 31540 (cosoco) R 31531 31534 29594 0 -1 4202560 272061 0 0 0 1266 22 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341790321256 5008940 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31541] ppid=31531 vsize=4195656 memory=3550408 CPUtime=12.9 cores=0-7
/proc/31534/task/31541/stat : 31541 (cosoco) R 31531 31534 29594 0 -1 4202560 387375 0 0 0 1194 96 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341781928472 5453944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31542] ppid=31531 vsize=4195656 memory=3559008 CPUtime=12.95 cores=0-7
/proc/31534/task/31542/stat : 31542 (cosoco) R 31531 31534 29594 0 -1 4202560 436892 0 0 0 1258 37 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341773535848 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31543] ppid=31531 vsize=4195656 memory=1277 CPUtime=12.98 cores=0-7
/proc/31534/task/31543/stat : 31543 (cosoco) R 31531 31534 29594 0 -1 4202560 416809 0 0 0 1207 91 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341765143144 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31544] ppid=31531 vsize=4195656 memory=3624 CPUtime=12.99 cores=0-7
/proc/31534/task/31544/stat : 31544 (cosoco) R 31531 31534 29594 0 -1 4202560 412060 0 0 0 1265 34 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341756750440 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31545] ppid=31531 vsize=4195656 memory=164 CPUtime=12.98 cores=0-7
/proc/31534/task/31545/stat : 31545 (cosoco) R 31531 31534 29594 0 -1 4202560 355228 0 0 0 1271 27 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341748357656 5451650 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31546] ppid=31531 vsize=4195656 memory=56 CPUtime=12.9 cores=0-7
/proc/31534/task/31546/stat : 31546 (cosoco) R 31531 31534 29594 0 -1 4202560 426061 0 0 0 1200 90 0 0 20 0 9 0 559908463 4296351744 890919 33554432000 4194304 6211132 140732739529200 140341739964840 140341806740566 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
Current children cumulated CPU time: 141.66 s
Current children cumulated vsize: 4195656 KiB
Current children cumulated memory: 3563676 KiB
[startup+102.301 s]
/proc/loadavg: 6.77 7.09 7.71 9/199 31549
/proc/meminfo: memFree=27784984/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=4261192 memory=3620152 CPUtime=550.17 cores=0-7
/proc/31534/stat : 31534 (cosoco) S 31531 31534 29594 0 -1 1077944320 7342747 0 0 0 54072 945 0 0 20 0 9 0 559904661 4363460608 905038 33554432000 4194304 6211132 140732739529200 140732739527456 140341821857527 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 1065298 905038 879 493 0 1058603 0
[pid=31534/tid=31539] ppid=31531 vsize=4261192 memory=3615472 CPUtime=64.13 cores=0-7
/proc/31534/task/31539/stat : 31539 (cosoco) R 31531 31534 29594 0 -1 4202560 806866 0 0 0 6229 184 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341798713960 140341805811559 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31540] ppid=31531 vsize=4261192 memory=56 CPUtime=63.97 cores=0-7
/proc/31534/task/31540/stat : 31540 (cosoco) R 31531 31534 29594 0 -1 4202560 685972 0 0 0 6350 47 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341790321176 5446675 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31541] ppid=31531 vsize=4261192 memory=10808 CPUtime=64.06 cores=0-7
/proc/31534/task/31541/stat : 31541 (cosoco) R 31531 31534 29594 0 -1 4202560 793366 0 0 0 6280 126 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341781928360 5476556 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31542] ppid=31531 vsize=4261192 memory=984 CPUtime=64.03 cores=0-7
/proc/31534/task/31542/stat : 31542 (cosoco) R 31531 31534 29594 0 -1 4202560 856294 0 0 0 6273 130 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341773535928 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31543] ppid=31531 vsize=4261192 memory=2024 CPUtime=64.12 cores=0-7
/proc/31534/task/31543/stat : 31543 (cosoco) R 31531 31534 29594 0 -1 4202560 789127 0 0 0 6298 114 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341765143064 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31544] ppid=31531 vsize=4261192 memory=1428 CPUtime=64.14 cores=0-7
/proc/31534/task/31544/stat : 31544 (cosoco) R 31531 31534 29594 0 -1 4202560 819828 0 0 0 6355 59 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341756750248 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31545] ppid=31531 vsize=4261192 memory=3607828 CPUtime=63.58 cores=0-7
/proc/31534/task/31545/stat : 31545 (cosoco) R 31531 31534 29594 0 -1 4202560 779394 0 0 0 6301 57 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341748357544 140341806742954 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31546] ppid=31531 vsize=4261192 memory=1428 CPUtime=64.07 cores=0-7
/proc/31534/task/31546/stat : 31546 (cosoco) R 31531 31534 29594 0 -1 4202560 839640 0 0 0 6289 118 0 0 20 0 9 0 559908463 4363460608 905038 33554432000 4194304 6211132 140732739529200 140341739964952 5164628 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
Current children cumulated CPU time: 550.17 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3620152 KiB
[startup+162.301 s]
/proc/loadavg: 7.66 7.29 7.74 9/199 31552
/proc/meminfo: memFree=27751780/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=4261192 memory=3652536 CPUtime=1029.15 cores=0-7
/proc/31534/stat : 31534 (cosoco) S 31531 31534 29594 0 -1 1077944320 8745994 0 0 0 101867 1048 0 0 20 0 9 0 559904661 4363460608 913134 33554432000 4194304 6211132 140732739529200 140732739527456 140341821857527 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 1065298 913134 879 493 0 1058603 0
[pid=31534/tid=31539] ppid=31531 vsize=4261192 memory=3638528 CPUtime=124.09 cores=0-7
/proc/31534/task/31539/stat : 31539 (cosoco) R 31531 31534 29594 0 -1 4202560 995732 0 0 0 12209 200 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341798713768 5456342 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31540] ppid=31531 vsize=4261192 memory=3628456 CPUtime=123.32 cores=0-7
/proc/31534/task/31540/stat : 31540 (cosoco) R 31531 31534 29594 0 -1 4202560 874656 0 0 0 12269 63 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341790321256 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31541] ppid=31531 vsize=4261192 memory=3641436 CPUtime=124.01 cores=0-7
/proc/31534/task/31541/stat : 31541 (cosoco) R 31531 31534 29594 0 -1 4202560 984679 0 0 0 12260 141 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341781928360 5440659 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31542] ppid=31531 vsize=4261192 memory=3651768 CPUtime=124 cores=0-7
/proc/31534/task/31542/stat : 31542 (cosoco) R 31531 31534 29594 0 -1 4202560 1030371 0 0 0 12255 145 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341773535848 5069221 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31543] ppid=31531 vsize=4261192 memory=3652312 CPUtime=124.11 cores=0-7
/proc/31534/task/31543/stat : 31543 (cosoco) R 31531 31534 29594 0 -1 4202560 911891 0 0 0 12289 122 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341765143064 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31544] ppid=31531 vsize=4261192 memory=3652472 CPUtime=124.14 cores=0-7
/proc/31534/task/31544/stat : 31544 (cosoco) R 31531 31534 29594 0 -1 4202560 989758 0 0 0 12343 71 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341756750248 140341806740800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31545] ppid=31531 vsize=4261192 memory=3652456 CPUtime=123.36 cores=0-7
/proc/31534/task/31545/stat : 31545 (cosoco) R 31531 31534 29594 0 -1 4202560 969644 0 0 0 12267 69 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341748357544 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31546] ppid=31531 vsize=4261192 memory=3652376 CPUtime=124.04 cores=0-7
/proc/31534/task/31546/stat : 31546 (cosoco) R 31531 31534 29594 0 -1 4202560 1017003 0 0 0 12277 127 0 0 20 0 9 0 559908463 4363460608 913134 33554432000 4194304 6211132 140732739529200 140341739964840 5453958 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
Current children cumulated CPU time: 1029.15 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3652536 KiB
[startup+222.301 s]
/proc/loadavg: 8.83 7.69 7.85 9/199 31557
/proc/meminfo: memFree=27711580/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=4261192 memory=3693120 CPUtime=1508.16 cores=0-7
/proc/31534/stat : 31534 (cosoco) S 31531 31534 29594 0 -1 1077944320 9705640 0 0 0 149680 1136 0 0 20 0 9 0 559904661 4363460608 923280 33554432000 4194304 6211132 140732739529200 140732739527456 140341821857527 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 1065298 923280 879 493 0 1058603 0
[pid=31534/tid=31539] ppid=31531 vsize=4261192 memory=3679904 CPUtime=184.08 cores=0-7
/proc/31534/task/31539/stat : 31539 (cosoco) R 31531 31534 29594 0 -1 4202560 1120068 0 0 0 18191 217 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341798713880 5441152 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31540] ppid=31531 vsize=4261192 memory=3640420 CPUtime=183.29 cores=0-7
/proc/31534/task/31540/stat : 31540 (cosoco) R 31531 31534 29594 0 -1 4202560 1011632 0 0 0 18256 73 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341790321176 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31541] ppid=31531 vsize=4261192 memory=3681504 CPUtime=183.66 cores=0-7
/proc/31534/task/31541/stat : 31541 (cosoco) R 31531 31534 29594 0 -1 4202560 1097086 0 0 0 18218 148 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341781928472 5446265 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31542] ppid=31531 vsize=4261192 memory=3681316 CPUtime=184 cores=0-7
/proc/31534/task/31542/stat : 31542 (cosoco) R 31531 31534 29594 0 -1 4202560 1158240 0 0 0 18233 167 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341773535656 5451590 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31543] ppid=31531 vsize=4261192 memory=3683408 CPUtime=184.1 cores=0-7
/proc/31534/task/31543/stat : 31543 (cosoco) R 31531 31534 29594 0 -1 4202560 997685 0 0 0 18280 130 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341765143064 5442966 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31544] ppid=31531 vsize=4261192 memory=3693120 CPUtime=184.13 cores=0-7
/proc/31534/task/31544/stat : 31544 (cosoco) R 31531 31534 29594 0 -1 4202560 1117514 0 0 0 18335 78 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341756750360 5009423 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31545] ppid=31531 vsize=4261192 memory=3693120 CPUtime=182.82 cores=0-7
/proc/31534/task/31545/stat : 31545 (cosoco) R 31531 31534 29594 0 -1 4202560 1092146 0 0 0 18204 78 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341748357544 5446292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31546] ppid=31531 vsize=4261192 memory=3693120 CPUtime=184.01 cores=0-7
/proc/31534/task/31546/stat : 31546 (cosoco) R 31531 31534 29594 0 -1 4202560 1139011 0 0 0 18266 135 0 0 20 0 9 0 559908463 4363460608 923280 33554432000 4194304 6211132 140732739529200 140341739964952 5156264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
Current children cumulated CPU time: 1508.16 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3693120 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.64 7.75 7.87 9/199 31557
/proc/meminfo: memFree=27687740/32770624 swapFree=67000008/67108860
[pid=31534] ppid=31531 vsize=4261192 memory=3716036 CPUtime=1745.33 cores=0-7
/proc/31534/stat : 31534 (cosoco) S 31531 31534 29594 0 -1 1077944320 10122438 0 0 0 173307 1226 0 0 20 0 9 0 559904661 4363460608 929009 33554432000 4194304 6211132 140732739529200 140732739527456 140341821857527 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
/proc/31534/statm: 1065298 929009 879 493 0 1058603 0
[pid=31534/tid=31539] ppid=31531 vsize=4261192 memory=8317482817917895235 CPUtime=213.78 cores=0-7
/proc/31534/task/31539/stat : 31539 (cosoco) R 31531 31534 29594 0 -1 4202560 1170902 0 0 0 21124 254 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341798713768 5451634 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31540] ppid=31531 vsize=4261192 memory=10808 CPUtime=212.82 cores=0-7
/proc/31534/task/31540/stat : 31540 (cosoco) R 31531 31534 29594 0 -1 4202560 1058991 0 0 0 21205 77 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341790321064 5479629 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31541] ppid=31531 vsize=4261192 memory=984 CPUtime=213.1 cores=0-7
/proc/31534/task/31541/stat : 31541 (cosoco) R 31531 31534 29594 0 -1 4202560 1158632 0 0 0 21157 153 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341781928360 5451650 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31542] ppid=31531 vsize=4261192 memory=6935054825532540783 CPUtime=213.69 cores=0-7
/proc/31534/task/31542/stat : 31542 (cosoco) R 31531 31534 29594 0 -1 4202560 1205779 0 0 0 21171 198 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341773535656 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31543] ppid=31531 vsize=4261192 memory=1428 CPUtime=213.81 cores=0-7
/proc/31534/task/31543/stat : 31543 (cosoco) R 31531 31534 29594 0 -1 4202560 1066927 0 0 0 21248 133 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341765143064 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31544] ppid=31531 vsize=4261192 memory=1128 CPUtime=213.82 cores=0-7
/proc/31534/task/31544/stat : 31544 (cosoco) R 31531 31534 29594 0 -1 4202560 1162202 0 0 0 21302 80 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341756750360 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31545] ppid=31531 vsize=4261192 memory=772 CPUtime=212.52 cores=0-7
/proc/31534/task/31545/stat : 31545 (cosoco) R 31531 31534 29594 0 -1 4202560 1143185 0 0 0 21170 82 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341748357656 5443093 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
[pid=31534/tid=31546] ppid=31531 vsize=4261192 memory=4032 CPUtime=213.7 cores=0-7
/proc/31534/task/31546/stat : 31546 (cosoco) R 31531 31534 29594 0 -1 4202560 1183567 0 0 0 21232 138 0 0 20 0 9 0 559908463 4363460608 929009 33554432000 4194304 6211132 140732739529200 140341739964952 5186256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35258368 140732739535894 140732739535986 140732739535986 140732739538894 0
Current children cumulated CPU time: 1745.33 s
Current children cumulated vsize: 4261192 KiB
Current children cumulated memory: 3716036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.318 s]
# the end of solver process 31534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1733.18 s, system=12.5588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.209 s]
/proc/loadavg: 8.64 7.75 7.87 2/192 31557
/proc/meminfo: memFree=29280332/32770624 swapFree=67000008/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.64 7.75 7.87 2/192 31557
/proc/meminfo: memFree=29280332/32770624 swapFree=67000008/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.318
CPU time (s): 1745.74
CPU user time (s): 1733.18
CPU system time (s): 12.5588
CPU usage (%): 691.88
Max. virtual memory (cumulated for all children) (KiB): 4261192
Max. memory (cumulated for all children) (KiB): 3716036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.18
system time used= 12.5588
maximum resident set size= 3716432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10122518
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= 56931
involuntary context switches= 13119
# summary of solver processes directly reported to runsolver:
# pid: 31534
# total CPU time (s): 1745.74
# total CPU user time (s): 1733.18
# total CPU system time (s): 12.5588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18097 second user time and 2.25906 second system time
The end
Begin job on node106 at 2019-09-30 10:40:23 IDJOB=4409813 IDBENCH=141276 IDSOLVER=2878 FILE ID=node106/4409813-1569836510 RUNJOBID= node106-1569823905-29621 PBS_JOBID= 21705930 Free space on /tmp= 61960 MiB SOLVER NAME= cosoco 2.0 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-4409813-1569836510/watcher-4409813-1569836510 -o /tmp/evaluation-result-4409813-1569836510/solver-4409813-1569836510 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409813-1569836510.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=244017850 node106.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.79 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.79 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.79 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.79 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: 31404092 kB MemAvailable: 31861064 kB Buffers: 194488 kB Cached: 586936 kB SwapCached: 4560 kB Active: 351836 kB Inactive: 438764 kB Active(anon): 19724 kB Inactive(anon): 66616 kB Active(file): 332112 kB Inactive(file): 372148 kB Unevictable: 109328 kB Mlocked: 109328 kB SwapTotal: 67108860 kB SwapFree: 67000008 kB Dirty: 74004 kB Writeback: 0 kB AnonPages: 114588 kB Mapped: 26980 kB Shmem: 68520 kB Slab: 166472 kB SReclaimable: 137092 kB SUnreclaim: 29380 kB KernelStack: 3552 kB PageTables: 5028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530924 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 61960 MiB End job on node106 at 2019-09-30 10:44:35