Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 14.7818 | 2.10656 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-60-03.xml |
MD5SUM | 20e15596ff36696b27df04e6639fd466 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 14.7818 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1369 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 53 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1168},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.21/0.27 c root propagations : 0 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c This is cosoco 2.00 -- 0.21/0.27 c 0.21/0.27 c command line: cosoco -model -nbcores=8 HOME/instance-4409252-1569827682.xml 0.21/0.27 c ========================================[ Problem Statistics ]=========================================== 0.21/0.27 c | 0.21/0.27 c | Parse time : 0.24 s 0.21/0.27 c | 0.21/0.27 c | Variables: 1200 0.21/0.27 c | Domain Sizes: 2..24 0.21/0.27 c | 0.21/0.27 c | Constraints: 1392 0.21/0.27 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.21/0.27 c | 0.21/0.27 c | Types: 0.21/0.27 c | Exactly K: 24 0.21/0.27 c | Extension: 200 (nb tuples: 24..24) -- (shared: 1592) 0.21/0.27 c | Sum: 1168 0.21/0.27 c | 0.21/0.27 c ========================================================================================================= 0.21/0.27 c Parallel mode: Portfolio 0.21/0.27 c [pFactory][Group N°0] created (threads:8). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.27 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.27 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.27 c [pFactory][Group N°0] task 7 launched on thread 0. 0.21/0.27 c [pFactory][Group N°0] task 6 launched on thread 1. 0.21/0.27 c [pFactory][Group N°0] task 5 launched on thread 6. 0.21/0.27 c [pFactory][Group N°0] task 4 launched on thread 2. 0.21/0.27 c [pFactory][Group N°0] task 3 launched on thread 5. 0.21/0.27 c [pFactory][Group N°0] task 2 launched on thread 7. 0.21/0.27 c [pFactory][Group N°0] task 1 launched on thread 4. 0.21/0.27 c [pFactory][Group N°0] task 0 launched on thread 3. 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c root propagations : 0 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.28 c root propagations : 0 0.21/0.28 c restarts enabled, print stats at every restarts 0.21/0.28 c 0.21/0.28 c 0.21/0.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.23/0.56 c 32 919 42836 9631 0 0 835 851 820 2.93/0.61 c 32 922 51555 9178 0 0 785 811 770 2.93/0.65 c 32 1014 54911 8126 0 0 928 949 910 2.93/0.66 c 33 991 55920 12974 0 0 72 72 36 2.93/0.66 c 101 1083 59015 17617 0 0 286 812 793 3.65/0.70 c 33 1005 57845 11166 0 0 83 83 41 3.65/0.70 c 33 1082 58703 9224 0 0 68 68 34 3.65/0.71 c 32 1046 66513 9869 0 0 391 901 836 3.65/0.73 c 101 1271 76350 15734 0 0 921 956 923 3.65/0.74 c 33 1075 68633 10313 0 0 29 29 14 3.65/0.75 c 64 1260 71867 13796 0 0 54 57 53 3.65/0.77 c 101 1247 82484 13418 0 0 96 936 892 3.65/0.78 c 65 1305 74743 14374 0 0 45 45 22 3.65/0.79 c 66 1350 77624 14952 0 0 45 45 22 4.49/0.81 c 67 1395 80546 15582 0 0 45 45 22 4.49/0.82 c 101 1214 87724 17076 0 0 548 894 866 4.49/0.82 c 64 1234 81839 26885 0 0 86 180 137 4.49/0.82 c 64 1175 82602 19720 0 0 127 134 126 4.49/0.88 c 65 1412 91557 29117 0 0 178 178 89 5.25/0.92 c 211 1558 117961 31592 0 0 41 177 166 5.25/0.93 c 128 1671 100937 22547 0 0 40 49 45 5.25/0.93 c 65 1296 100425 23356 0 0 121 121 60 5.25/0.95 c 66 1571 101146 31434 0 0 159 159 79 5.25/0.95 c 129 1711 103543 23096 0 0 40 40 20 5.25/0.96 c 66 1314 101952 23824 0 0 18 18 9 5.25/0.96 c 67 1324 102916 24214 0 0 10 10 5 5.25/0.99 c 64 1617 104800 17950 0 0 402 420 397 5.25/1.00 c 65 1643 105466 18382 0 0 26 26 13 6.13/1.01 c 66 1687 106649 18909 0 0 44 44 22 6.13/1.01 c 67 1715 109790 33238 0 0 144 144 72 6.13/1.04 c 211 2356 129620 46482 0 0 128 163 149 6.13/1.05 c 67 1812 112858 20640 0 0 125 125 62 6.92/1.15 c 211 1582 141180 26839 0 0 25 203 195 7.64/1.22 c 130 2558 142375 28680 0 0 847 847 423 7.64/1.24 c 128 1987 149983 34838 0 0 15 233 135 7.64/1.29 c 129 2133 156345 36907 0 0 146 146 73 8.42/1.37 c 130 2314 166651 39765 0 0 181 181 90 9.23/1.40 c 128 3001 166946 47736 0 0 159 944 355 9.23/1.40 c 131 3125 166141 33187 0 0 567 567 283 9.23/1.41 c 131 2464 173391 41887 0 0 150 150 75 9.23/1.44 c 211 2245 175951 38348 0 0 196 702 615 9.23/1.47 c 132 2632 181804 44283 0 0 168 168 84 9.23/1.49 c 128 2584 174368 33862 0 0 502 536 509 10.02/1.52 c 129 2630 176276 34462 0 0 46 46 23 10.02/1.52 c 133 2782 188508 46394 0 0 150 150 75 10.02/1.56 c 134 2926 194759 48476 0 0 144 144 72 10.02/1.57 c 332 2275 258619 44428 0 0 65 244 229 10.02/1.59 c 130 2797 185110 36789 0 0 167 167 83 10.83/1.60 c 131 2821 186474 37233 0 0 24 24 12 10.83/1.61 c 135 3071 201089 50562 0 0 145 145 72 10.83/1.62 c 332 2022 227747 38252 0 0 218 232 223 10.83/1.63 c 129 3358 197691 52203 0 0 357 357 178 11.62/1.72 c 132 4100 210819 39037 0 0 975 975 487 11.62/1.75 c 133 4139 213325 39543 0 0 39 39 19 11.62/1.76 c 332 2893 216449 45973 0 0 331 428 410 11.62/1.77 c 132 3098 209317 41421 0 0 277 277 138 11.62/1.78 c 133 3125 210779 41903 0 0 27 27 13 11.62/1.79 c 130 3648 218841 55859 0 0 290 290 145 11.62/1.79 c 134 3150 211886 42331 0 0 25 25 12 12.43/1.80 c 332 4151 261121 68007 0 0 114 1072 636 13.22/1.97 c 135 3457 236398 46847 0 0 307 307 153 14.09/2.01 c 465 2523 288035 49543 0 0 251 261 254 14.09/2.01 c 131 4021 250584 60456 0 0 373 373 186 14.09/2.04 c 256 3752 281645 64220 0 0 169 302 286 14.09/2.09 c First solution is found 14.09/2.09 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 14.09/2.09 c [pFactory][Group N°0] Thread N°0 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°1 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°2 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°3 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°4 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°5 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°6 is joined. 14.09/2.09 c [pFactory][Group N°0] Thread N°7 is joined. 14.09/2.09 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 14.09/2.09 s SATISFIABLE 14.09/2.09 c restarts : 14 14.09/2.09 c conflicts : 139 (9 /sec) 14.09/2.09 c decisions : 3695 (252 /sec) 14.09/2.09 c propagations : 50070 (3421 /sec) 14.09/2.09 c root propagations : 0 14.09/2.09 c filter calls : 251267 (17167 /sec) 14.09/2.09 c useless filter calls : 244212 (97 %) 14.09/2.09 c Memory used : 642.57 MB 14.09/2.09 c CPU time : 14.6365 s 14.09/2.09 c real time : 2.09002 s 14.09/2.09 14.09/2.09 c solution 1 14.09/2.09 14.09/2.09 v <instantiation type='solution'> 14.09/2.09 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list> 14.09/2.09 v <values>11 11 9 2 2 11 11 9 2 2 7 11 11 13 2 2 13 16 23 2 9 2 11 11 2 9 2 11 9 11 2 2 11 11 9 2 2 9 11 17 9 6 15 9 2 11 9 6 23 21 23 11 8 9 6 23 9 19 8 2 11 9 16 8 14 11 8 16 9 5 11 13 11 18 11 11 9 2 2 17 9 17 11 23 12 4 23 9 11 11 2 16 20 11 17 11 2 11 9 11 2 2 9 11 11 2 2 23 9 11 2 11 15 2 13 2 17 11 22 17 2 11 11 2 11 9 2 11 11 9 11 2 2 17 9 1 2 14 17 2 10 11 1 2 20 17 11 9 6 2 14 23 16 0 11 17 6 11 2 9 11 11 2 3 11 2 17 11 20 16 6 11 9 17 2 11 2 14 11 2 9 2 11 9 2 11 11 2 9 2 11 11 2 9 2 11 9 11 11 9 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 </values> 14.09/2.09 v </instantiation> 14.09/2.09
OK
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 (15259 MiB free) memory of node 1: 16384 MiB (15565 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409252-1569827682/watcher-4409252-1569827682 -o /tmp/evaluation-result-4409252-1569827682/solver-4409252-1569827682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409252-1569827682.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 solver pid=29967, runsolver pid=29964 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.17 7.87 8.17 2/191 29968 /proc/meminfo: memFree=31519852/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=76656 memory=52992 CPUtime=0.1 cores=0-7 /proc/29967/stat : 29967 (cosoco) R 29964 29967 29594 0 -1 4202496 13454 0 0 0 9 1 0 0 20 0 1 0 559021870 78495744 13248 33554432000 4194304 6211132 140724291059312 140724291055848 140166789409765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 19164 13248 849 493 0 12469 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 76656 KiB Current children cumulated memory: 52992 KiB [startup+0.20928 s]* /proc/loadavg: 7.17 7.87 8.17 2/191 29968 /proc/meminfo: memFree=31499764/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=93136 memory=69472 CPUtime=0.21 cores=0-7 /proc/29967/stat : 29967 (cosoco) R 29964 29967 29594 0 -1 4202496 17565 0 0 0 19 2 0 0 20 0 1 0 559021870 95371264 17368 33554432000 4194304 6211132 140724291059312 140724291055848 140166789457796 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 23284 17368 849 493 0 16589 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 93136 KiB Current children cumulated memory: 69472 KiB [startup+0.318764 s]* /proc/loadavg: 7.17 7.87 8.17 9/199 29976 /proc/meminfo: memFree=31489900/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=690772 memory=79588 CPUtime=0.7 cores=0-7 /proc/29967/stat : 29967 (cosoco) S 29964 29967 29594 0 -1 1077944320 20502 0 0 0 68 2 0 0 20 0 9 0 559021870 707350528 19897 33554432000 4194304 6211132 140724291059312 140724291057568 140166805450487 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 172693 19897 889 493 0 165998 0 [pid=29967/tid=29969] ppid=29964 vsize=690772 memory=8317482817917895235 CPUtime=0.05 cores=0-7 /proc/29967/task/29969/stat : 29969 (cosoco) R 29964 29967 29594 0 -1 4202560 86 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166782307032 140166789405502 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29970] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29970/stat : 29970 (cosoco) R 29964 29967 29594 0 -1 4202560 122 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166773914568 140166789405502 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29971] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29971/stat : 29971 (cosoco) R 29964 29967 29594 0 -1 4202560 128 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166765521864 5155377 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29972] ppid=29964 vsize=690772 memory=6944656575208382560 CPUtime=0.05 cores=0-7 /proc/29967/task/29972/stat : 29972 (cosoco) D 29964 29967 29594 0 -1 4202560 115 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166757128872 140166789885527 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29973] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29973/stat : 29973 (cosoco) R 29964 29967 29594 0 -1 4202560 114 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166748736296 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29974] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29974/stat : 29974 (cosoco) R 29964 29967 29594 0 -1 4202560 117 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166740343592 5156497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29975] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29975/stat : 29975 (cosoco) R 29964 29967 29594 0 -1 4202560 132 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166731950808 140166789405502 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29976] ppid=29964 vsize=690772 memory=0 CPUtime=0.05 cores=0-7 /proc/29967/task/29976/stat : 29976 (cosoco) R 29964 29967 29594 0 -1 4202560 119 0 0 0 5 0 0 0 20 0 9 0 559021897 707350528 19963 33554432000 4194304 6211132 140724291059312 140166723558104 5156731 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 Current children cumulated CPU time: 0.7 s Current children cumulated vsize: 690772 KiB Current children cumulated memory: 79588 KiB [startup+0.700763 s] /proc/loadavg: 7.17 7.87 8.17 10/199 29976 /proc/meminfo: memFree=31477144/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=690772 memory=103876 CPUtime=3.65 cores=0-7 /proc/29967/stat : 29967 (cosoco) S 29964 29967 29594 0 -1 1077944320 26459 0 0 0 361 4 0 0 20 0 9 0 559021870 707350528 25969 33554432000 4194304 6211132 140724291059312 140724291057568 140166805450487 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 172693 25969 889 493 0 165998 0 [pid=29967/tid=29969] ppid=29964 vsize=690772 memory=9588 CPUtime=0.4 cores=0-7 /proc/29967/task/29969/stat : 29969 (cosoco) R 29964 29967 29594 0 -1 4202560 822 0 0 0 40 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166782307032 5250311 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29970] ppid=29964 vsize=690772 memory=1548 CPUtime=0.42 cores=0-7 /proc/29967/task/29970/stat : 29970 (cosoco) R 29964 29967 29594 0 -1 4202560 956 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166773914328 5157317 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29971] ppid=29964 vsize=690772 memory=628 CPUtime=0.42 cores=0-7 /proc/29967/task/29971/stat : 29971 (cosoco) R 29964 29967 29594 0 -1 4202560 945 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166765521672 5155373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29972] ppid=29964 vsize=690772 memory=1056 CPUtime=0.42 cores=0-7 /proc/29967/task/29972/stat : 29972 (cosoco) R 29964 29967 29594 0 -1 4202560 928 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166757128920 140166789405502 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29973] ppid=29964 vsize=690772 memory=1724 CPUtime=0.42 cores=0-7 /proc/29967/task/29973/stat : 29973 (cosoco) R 29964 29967 29594 0 -1 4202560 839 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166748736608 5156497 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29974] ppid=29964 vsize=690772 memory=139944585479807 CPUtime=0.42 cores=0-7 /proc/29967/task/29974/stat : 29974 (cosoco) R 29964 29967 29594 0 -1 4202560 857 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166740343904 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29975] ppid=29964 vsize=690772 memory=5782674880105308224 CPUtime=0.41 cores=0-7 /proc/29967/task/29975/stat : 29975 (cosoco) R 29964 29967 29594 0 -1 4202560 830 0 0 0 41 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166731950728 5155390 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29976] ppid=29964 vsize=690772 memory=7597685182856913236 CPUtime=0.42 cores=0-7 /proc/29967/task/29976/stat : 29976 (cosoco) R 29964 29967 29594 0 -1 4202560 710 0 0 0 42 0 0 0 20 0 9 0 559021897 707350528 25969 33554432000 4194304 6211132 140724291059312 140166723558496 5156497 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 Current children cumulated CPU time: 3.65 s Current children cumulated vsize: 690772 KiB Current children cumulated memory: 103876 KiB [startup+1.50076 s] /proc/loadavg: 7.17 7.87 8.17 10/199 29976 /proc/meminfo: memFree=31465252/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=690772 memory=110756 CPUtime=10.02 cores=0-7 /proc/29967/stat : 29967 (cosoco) S 29964 29967 29594 0 -1 1077944320 47793 0 0 0 991 11 0 0 20 0 9 0 559021870 707350528 27689 33554432000 4194304 6211132 140724291059312 140724291057568 140166805450487 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 172693 27689 890 493 0 165998 0 [pid=29967/tid=29969] ppid=29964 vsize=690772 memory=1760 CPUtime=1.18 cores=0-7 /proc/29967/task/29969/stat : 29969 (cosoco) R 29964 29967 29594 0 -1 4202560 3348 0 0 0 118 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166782307424 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29970] ppid=29964 vsize=690772 memory=111632 CPUtime=1.22 cores=0-7 /proc/29967/task/29970/stat : 29970 (cosoco) R 29964 29967 29594 0 -1 4202560 4097 0 0 0 122 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166773914328 5156288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29971] ppid=29964 vsize=690772 memory=4881 CPUtime=1.22 cores=0-7 /proc/29967/task/29971/stat : 29971 (cosoco) R 29964 29967 29594 0 -1 4202560 4284 0 0 0 120 2 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166765522016 5155984 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29972] ppid=29964 vsize=690772 memory=2670064 CPUtime=1.21 cores=0-7 /proc/29967/task/29972/stat : 29972 (cosoco) R 29964 29967 29594 0 -1 4202560 3405 0 0 0 121 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166757128920 5155377 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29973] ppid=29964 vsize=690772 memory=2672432 CPUtime=1.21 cores=0-7 /proc/29967/task/29973/stat : 29973 (cosoco) R 29964 29967 29594 0 -1 4202560 2650 0 0 0 121 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166748736608 5155373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29974] ppid=29964 vsize=690772 memory=0 CPUtime=1.22 cores=0-7 /proc/29967/task/29974/stat : 29974 (cosoco) R 29964 29967 29594 0 -1 4202560 4039 0 0 0 122 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166740343904 5156492 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29975] ppid=29964 vsize=690772 memory=0 CPUtime=1.21 cores=0-7 /proc/29967/task/29975/stat : 29975 (cosoco) R 29964 29967 29594 0 -1 4202560 1915 0 0 0 120 1 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166731950696 5155369 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29976] ppid=29964 vsize=690772 memory=0 CPUtime=1.21 cores=0-7 /proc/29967/task/29976/stat : 29976 (cosoco) R 29964 29967 29594 0 -1 4202560 4484 0 0 0 120 1 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166723558496 5156492 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 Current children cumulated CPU time: 10.02 s Current children cumulated vsize: 690772 KiB Current children cumulated memory: 110756 KiB [startup+2.1065 s] # the end of solver process 29967 was just reported to runsolver # cumulated CPU time of all completed processes: user=14.6369 s, system=0.1449 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60076 s] /proc/loadavg: 7.17 7.87 8.17 10/199 29976 /proc/meminfo: memFree=31465252/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=690772 memory=110756 CPUtime=10.83 cores=0-7 /proc/29967/stat : 29967 (cosoco) S 29964 29967 29594 0 -1 1077944320 48932 0 0 0 1071 12 0 0 20 0 9 0 559021870 707350528 27689 33554432000 4194304 6211132 140724291059312 140724291057568 140166805450487 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 172693 27689 890 493 0 165998 0 [pid=29967/tid=29969] ppid=29964 vsize=690772 memory=0 CPUtime=1.28 cores=0-7 /proc/29967/task/29969/stat : 29969 (cosoco) R 29964 29967 29594 0 -1 4202560 3350 0 0 0 128 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166782307424 5250330 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29970] ppid=29964 vsize=690772 memory=0 CPUtime=1.32 cores=0-7 /proc/29967/task/29970/stat : 29970 (cosoco) R 29964 29967 29594 0 -1 4202560 4110 0 0 0 132 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166773914328 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29971] ppid=29964 vsize=690772 memory=4347166007783563107 CPUtime=1.32 cores=0-7 /proc/29967/task/29971/stat : 29971 (cosoco) R 29964 29967 29594 0 -1 4202560 4476 0 0 0 130 2 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166765522016 5155766 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29972] ppid=29964 vsize=690772 memory=-7239372940487514529 CPUtime=1.31 cores=0-7 /proc/29967/task/29972/stat : 29972 (cosoco) R 29964 29967 29594 0 -1 4202560 3436 0 0 0 131 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166757128920 5008944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29973] ppid=29964 vsize=690772 memory=6935054825532540783 CPUtime=1.31 cores=0-7 /proc/29967/task/29973/stat : 29973 (cosoco) R 29964 29967 29594 0 -1 4202560 2651 0 0 0 131 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166748736608 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29974] ppid=29964 vsize=690772 memory=0 CPUtime=1.32 cores=0-7 /proc/29967/task/29974/stat : 29974 (cosoco) R 29964 29967 29594 0 -1 4202560 4123 0 0 0 132 0 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166740343904 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29975] ppid=29964 vsize=690772 memory=0 CPUtime=1.31 cores=0-7 /proc/29967/task/29975/stat : 29975 (cosoco) R 29964 29967 29594 0 -1 4202560 2658 0 0 0 130 1 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166731950696 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29976] ppid=29964 vsize=690772 memory=-2317720213663851332 CPUtime=1.32 cores=0-7 /proc/29967/task/29976/stat : 29976 (cosoco) R 29964 29967 29594 0 -1 4202560 4556 0 0 0 130 2 0 0 20 0 9 0 559021897 707350528 27689 33554432000 4194304 6211132 140724291059312 140166723558496 5157484 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 Current children cumulated CPU time: 10.83 s Current children cumulated vsize: 690772 KiB Current children cumulated memory: 110756 KiB [startup+2.00048 s]* /proc/loadavg: 7.17 7.87 8.17 11/199 29976 /proc/meminfo: memFree=31459980/32770624 swapFree=67000008/67108860 [pid=29967] ppid=29964 vsize=690772 memory=111616 CPUtime=14.09 cores=0-7 /proc/29967/stat : 29967 (cosoco) S 29964 29967 29594 0 -1 1077944320 51698 0 0 0 1396 13 0 0 20 0 9 0 559021870 707350528 27904 33554432000 4194304 6211132 140724291059312 140724291057568 140166805450487 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 /proc/29967/statm: 172693 27904 890 493 0 165998 0 [pid=29967/tid=29969] ppid=29964 vsize=690772 memory=8317482817917895235 CPUtime=1.67 cores=0-7 /proc/29967/task/29969/stat : 29969 (cosoco) R 29964 29967 29594 0 -1 4202560 3988 0 0 0 167 0 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166782307424 5158208 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29970] ppid=29964 vsize=690772 memory=1408 CPUtime=1.73 cores=0-7 /proc/29967/task/29970/stat : 29970 (cosoco) R 29964 29967 29594 0 -1 4202560 4430 0 0 0 173 0 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166773914720 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29971] ppid=29964 vsize=690772 memory=2312 CPUtime=1.72 cores=0-7 /proc/29967/task/29971/stat : 29971 (cosoco) R 29964 29967 29594 0 -1 4202560 4666 0 0 0 170 2 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166765522016 5250493 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29972] ppid=29964 vsize=690772 memory=104668 CPUtime=1.72 cores=0-7 /proc/29967/task/29972/stat : 29972 (cosoco) R 29964 29967 29594 0 -1 4202560 3639 0 0 0 172 0 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166757129312 5250273 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29973] ppid=29964 vsize=690772 memory=1164 CPUtime=1.72 cores=0-7 /proc/29967/task/29973/stat : 29973 (cosoco) R 29964 29967 29594 0 -1 4202560 2912 0 0 0 172 0 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166748736104 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29974] ppid=29964 vsize=690772 memory=8317482817917895235 CPUtime=1.72 cores=0-7 /proc/29967/task/29974/stat : 29974 (cosoco) R 29964 29967 29594 0 -1 4202560 4710 0 0 0 172 0 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166740343400 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29975] ppid=29964 vsize=690772 memory=0 CPUtime=1.71 cores=0-7 /proc/29967/task/29975/stat : 29975 (cosoco) R 29964 29967 29594 0 -1 4202560 3209 0 0 0 170 1 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166731950888 5155700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 [pid=29967/tid=29976] ppid=29964 vsize=690772 memory=0 CPUtime=1.73 cores=0-7 /proc/29967/task/29976/stat : 29976 (cosoco) R 29964 29967 29594 0 -1 4202560 4572 0 0 0 171 2 0 0 20 0 9 0 559021897 707350528 27904 33554432000 4194304 6211132 140724291059312 140166723558496 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11841536 140724291064849 140724291064941 140724291064941 140724291067854 0 Current children cumulated CPU time: 14.09 s Current children cumulated vsize: 690772 KiB Current children cumulated memory: 111616 KiB Child status: 0 Real time (s): 2.10656 CPU time (s): 14.7818 CPU user time (s): 14.6369 CPU system time (s): 0.1449 CPU usage (%): 701.706 Max. virtual memory (cumulated for all children) (KiB): 690772 Max. memory (cumulated for all children) (KiB): 111616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.6369 system time used= 0.1449 maximum resident set size= 113460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52163 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= 918 involuntary context switches= 160 # summary of solver processes directly reported to runsolver: # pid: 29967 # total CPU time (s): 14.7818 # total CPU user time (s): 14.6369 # total CPU system time (s): 0.1449 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.031082 second user time and 0.065618 second system time The end
Begin job on node106 at 2019-09-30 08:13:15 IDJOB=4409252 IDBENCH=128111 IDSOLVER=2877 FILE ID=node106/4409252-1569827682 RUNJOBID= node106-1569823905-29621 PBS_JOBID= 21705930 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409252-1569827682/watcher-4409252-1569827682 -o /tmp/evaluation-result-4409252-1569827682/solver-4409252-1569827682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409252-1569827682.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466 RANDOM SEED=835912882 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: 31564080 kB MemAvailable: 31862652 kB Buffers: 187452 kB Cached: 435776 kB SwapCached: 4560 kB Active: 274768 kB Inactive: 355672 kB Active(anon): 17868 kB Inactive(anon): 66616 kB Active(file): 256900 kB Inactive(file): 289056 kB Unevictable: 109328 kB Mlocked: 109328 kB SwapTotal: 67108860 kB SwapFree: 67000008 kB Dirty: 2764 kB Writeback: 4 kB AnonPages: 112840 kB Mapped: 26380 kB Shmem: 68520 kB Slab: 165752 kB SReclaimable: 136900 kB SUnreclaim: 28852 kB KernelStack: 3440 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530364 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= 62028 MiB End job on node106 at 2019-09-30 08:13:17