| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 23.6288 | 3.23293 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-65-10.xml |
| MD5SUM | c4baa3ff261117e16f7eeec964fc150b |
| 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 | 1.89381 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1395 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 68 |
| 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":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":3}, {"degree":68,"count":71}] |
| 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":50,"count":1},{"arity":53,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":62,"count":1},{"arity":65,"count":1},{"arity":68,"count":1},{"arity":71,"count":1},{"arity":72,"count":1},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":1},{"arity":78,"count":1},{"arity":80,"count":4},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":2},{"arity":86,"count":3},{"arity":88,"count":1},"...",{"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":1194},{"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.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c This is cosoco 2.00 -- 0.21/0.29 c 0.21/0.29 c command line: cosoco -model -nbcores=8 HOME/instance-4397961-1568605399.xml 0.21/0.29 c ========================================[ Problem Statistics ]=========================================== 0.21/0.29 c | 0.21/0.29 c | Parse time : 0.26 s 0.21/0.29 c | 0.21/0.29 c | Variables: 1200 0.21/0.29 c | Domain Sizes: 2..25 0.21/0.29 c | 0.21/0.29 c | Constraints: 1419 0.21/0.29 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.21/0.29 c | 0.21/0.29 c | Types: 0.21/0.29 c | Exactly K: 25 0.21/0.29 c | Extension: 200 (nb tuples: 25..25) -- (shared: 1592) 0.21/0.29 c | Sum: 1194 0.21/0.29 c | 0.21/0.29 c ========================================================================================================= 0.21/0.29 c Parallel mode: Portfolio 0.21/0.29 c [pFactory][Group N°0] created (threads:8). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.29 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] task 7 launched on thread 1. 0.21/0.29 c [pFactory][Group N°0] task 6 launched on thread 0. 0.21/0.29 c [pFactory][Group N°0] task 5 launched on thread 2. 0.21/0.29 c [pFactory][Group N°0] task 4 launched on thread 6. 0.21/0.29 c [pFactory][Group N°0] task 3 launched on thread 3. 0.21/0.29 c [pFactory][Group N°0] task 2 launched on thread 7. 0.21/0.29 c [pFactory][Group N°0] task 1 launched on thread 4. 0.21/0.29 c [pFactory][Group N°0] task 0 launched on thread 5. 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c root propagations : 0 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c root propagations : 0 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.81/0.66 c 32 919 55232 12400 0 0 794 816 786 3.58/0.70 c 32 971 64464 12315 0 0 828 871 818 3.58/0.71 c 32 1129 61045 7684 0 0 1011 1054 1005 3.58/0.71 c 101 1157 66477 14866 0 0 793 813 796 3.58/0.74 c 32 1253 67808 8052 0 0 468 1125 1060 3.58/0.78 c 33 1142 74913 14767 0 0 171 171 85 4.34/0.81 c 101 1092 85668 24164 0 0 771 787 768 4.34/0.82 c 101 1387 87994 12061 0 0 988 1022 1000 4.34/0.86 c 33 1117 84298 16890 0 0 198 198 99 4.34/0.88 c 33 1286 84083 12536 0 0 157 157 78 4.34/0.89 c 64 1437 93103 23537 0 0 169 174 166 5.14/0.91 c 33 1379 90717 12282 0 0 126 126 63 5.14/0.95 c 65 1609 103368 25935 0 0 172 172 86 6.00/1.02 c 66 1779 113638 28403 0 0 170 170 85 6.00/1.09 c 67 1948 123757 30750 0 0 169 169 84 6.80/1.11 c 211 1554 131293 44429 0 0 80 109 99 6.80/1.13 c 64 1384 130384 23858 0 0 147 210 196 6.80/1.13 c 64 1558 126887 21024 0 0 129 135 128 6.80/1.15 c 64 1521 134516 21044 0 0 156 169 157 6.80/1.18 c 101 1376 127860 27540 0 0 765 811 772 7.52/1.25 c 211 1689 170253 29795 0 0 177 185 179 7.52/1.25 c 128 2382 152825 53605 0 0 162 170 163 8.32/1.30 c 211 1811 183164 29042 0 0 154 165 159 8.32/1.32 c 65 1682 158563 25753 0 0 161 161 80 8.32/1.32 c 129 2548 162627 55913 0 0 166 166 83 8.32/1.34 c 65 1800 154880 25586 0 0 242 242 121 8.32/1.36 c 65 1621 161620 28420 0 0 237 237 118 8.32/1.39 c 130 2714 172333 58327 0 0 166 166 83 9.11/1.46 c 131 2881 182025 60757 0 0 167 167 83 9.11/1.49 c 66 1857 183804 30345 0 0 175 175 87 9.91/1.52 c 211 1900 188185 40409 0 0 218 234 223 9.91/1.52 c 132 3043 191515 63168 0 0 162 162 81 9.91/1.54 c 66 2062 183547 30114 0 0 262 262 131 9.91/1.58 c 66 1859 192531 33178 0 0 238 238 119 9.91/1.59 c 133 3202 200602 65490 0 0 159 159 79 10.72/1.64 c 67 2006 206890 34361 0 0 149 149 74 10.72/1.65 c 134 3361 209625 67826 0 0 159 159 79 10.72/1.68 c 332 2034 219296 95136 0 0 57 66 61 11.52/1.71 c 135 3521 218714 70084 0 0 160 160 80 11.52/1.73 c 67 2273 209772 34270 0 0 211 211 105 11.52/1.78 c 67 2094 223016 37771 0 0 235 235 117 12.31/1.86 c 332 2499 300684 46562 0 0 265 292 283 13.11/1.98 c 256 4165 268554 111318 0 0 157 167 160 13.11/1.98 c 332 2563 320225 46619 0 0 193 250 241 13.11/1.99 c 128 2347 269633 49718 0 0 128 187 176 13.97/2.03 c 128 2639 261291 46473 0 0 250 261 251 13.97/2.04 c 128 2500 265880 45763 0 0 235 262 240 13.97/2.04 c 257 4328 277690 113715 0 0 163 163 81 13.97/2.10 c 258 4485 286491 116144 0 0 157 157 78 14.77/2.16 c 259 4646 295265 118414 0 0 161 161 80 14.77/2.17 c 465 2516 296294 136921 0 0 58 65 61 14.77/2.18 c 129 2653 297887 54619 0 0 306 306 153 15.50/2.21 c 332 2825 320870 54366 0 0 408 453 419 15.50/2.22 c 260 4809 304332 120826 0 0 163 163 81 15.50/2.24 c 129 2943 292563 51410 0 0 304 304 152 15.50/2.25 c 129 2796 297746 50572 0 0 296 296 148 15.50/2.28 c 261 4966 312976 123214 0 0 157 157 78 16.30/2.35 c 262 5125 321725 125455 0 0 159 159 79 16.30/2.37 c 130 3160 311316 55420 0 0 217 217 108 17.10/2.40 c 263 5285 330427 127740 0 0 160 160 80 17.10/2.45 c 130 3018 335538 59955 0 0 365 365 182 17.10/2.46 c 130 3093 329013 55360 0 0 297 297 148 17.10/2.46 c 264 5444 339294 130327 0 0 159 159 79 17.90/2.52 c 265 5602 347954 132611 0 0 158 158 79 17.90/2.55 c 611 3059 354216 168077 0 0 57 66 60 17.90/2.57 c 465 3657 439977 63020 0 0 302 321 312 17.90/2.57 c 465 3648 380790 94553 0 0 173 321 313 17.90/2.57 c 131 3456 342329 60273 0 0 296 296 148 17.90/2.59 c 266 5762 356855 135090 0 0 160 160 80 18.70/2.65 c 267 5923 365848 137515 0 0 161 161 80 18.70/2.65 c 131 3292 365919 64707 0 0 274 274 137 18.70/2.65 c 131 3374 357933 59968 0 0 281 281 140 18.70/2.69 c 132 3680 359149 64209 0 0 224 224 112 19.49/2.71 c 268 6088 374999 140033 0 0 165 165 82 19.49/2.77 c 269 6250 383852 142374 0 0 162 162 81 19.49/2.78 c 132 3523 383247 68816 0 0 231 231 115 20.30/2.82 c 611 4299 485683 89115 0 0 156 168 162 20.30/2.83 c 465 4150 490052 65618 0 0 158 357 312 20.30/2.84 c 270 6409 392830 145144 0 0 159 159 79 20.30/2.85 c 611 4416 431757 129293 0 0 168 181 173 20.30/2.86 c 132 3670 388180 64702 0 0 296 296 148 20.30/2.90 c 133 3985 390265 69094 0 0 305 305 152 21.09/2.90 c 271 6573 401932 147484 0 0 164 164 82 21.09/3.00 c 133 3862 416587 73987 0 0 339 339 169 21.96/3.03 c 134 4207 408075 73245 0 0 222 222 111 21.96/3.06 c 134 3931 423077 75483 0 0 69 69 34 21.96/3.07 c 133 3973 420395 69527 0 0 303 303 151 22.76/3.14 c 611 4815 547603 123702 0 0 140 155 148 22.76/3.15 c 135 4424 426299 77211 0 0 217 217 108 23.49/3.21 c 771 4474 473089 188721 0 0 57 972 911 23.49/3.21 c First solution is found 23.49/3.22 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5. 23.49/3.22 c [pFactory][Group N°0] Thread N°0 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°1 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°2 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°3 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°4 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°5 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°6 is joined. 23.49/3.22 c [pFactory][Group N°0] Thread N°7 is joined. 23.49/3.22 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 23.49/3.22 s SATISFIABLE 23.49/3.22 c restarts : 13 23.49/3.22 c conflicts : 134 (6 /sec) 23.49/3.22 c decisions : 4135 (176 /sec) 23.49/3.22 c propagations : 79458 (3383 /sec) 23.49/3.22 c root propagations : 0 23.49/3.22 c filter calls : 445449 (18967 /sec) 23.49/3.22 c useless filter calls : 434605 (97 %) 23.49/3.22 c Memory used : 644.33 MB 23.49/3.22 c CPU time : 23.4856 s 23.49/3.22 c real time : 3.21719 s 23.49/3.22 23.49/3.22 c solution 1 23.49/3.22 23.49/3.22 v <instantiation type='solution'> 23.49/3.22 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> 23.49/3.22 v <values>4 16 4 13 4 4 15 16 4 4 19 4 4 11 16 4 0 14 4 13 4 4 16 14 4 20 3 14 16 4 14 23 4 4 11 16 4 4 13 16 4 15 4 13 4 4 6 7 4 4 13 17 21 13 5 13 4 14 16 5 21 11 4 21 13 21 11 5 13 4 13 16 1 16 13 15 16 4 4 20 4 14 6 4 4 7 4 12 15 4 20 4 8 16 15 16 13 23 14 15 16 4 24 16 4 14 23 9 16 14 17 16 13 15 5 16 17 14 16 9 23 14 2 13 4 24 6 4 4 13 17 16 8 4 4 13 19 4 16 14 4 16 4 15 8 16 19 13 4 4 13 4 7 4 4 15 6 4 4 13 4 18 4 7 4 13 22 14 4 16 13 19 14 23 15 20 4 13 4 15 13 4 4 7 4 13 15 23 10 16 15 14 4 13 4 3 13 4 14 15 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 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 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 </values> 23.49/3.22 v </instantiation> 23.49/3.22
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 (14029 MiB free)
memory of node 1: 16384 MiB (15509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397961-1568605399/watcher-4397961-1568605399 -o /tmp/evaluation-result-4397961-1568605399/solver-4397961-1568605399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568597343-23918 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397961-1568605399.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25036, runsolver pid=25033
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 1.02 3.15 5.91 2/192 25037
/proc/meminfo: memFree=30203276/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=76344 memory=52672 CPUtime=0.09 cores=0-7
/proc/25036/stat : 25036 (cosoco) R 25033 25036 23891 0 -1 4202496 13386 0 0 0 8 1 0 0 20 0 1 0 436812498 78176256 13168 33554432000 4194304 6211092 140731257079936 140731257076472 140706192255973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 19086 13168 849 493 0 12391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76344 KiB
Current children cumulated memory: 52672 KiB
[startup+0.208815 s]*
/proc/loadavg: 1.02 3.15 5.91 2/192 25037
/proc/meminfo: memFree=30184180/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=92304 memory=68752 CPUtime=0.21 cores=0-7
/proc/25036/stat : 25036 (cosoco) R 25033 25036 23891 0 -1 4202496 17358 0 0 0 19 2 0 0 20 0 1 0 436812498 94519296 17188 33554432000 4194304 6211092 140731257079936 140731257076472 140706192255973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 23076 17188 849 493 0 16381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92304 KiB
Current children cumulated memory: 68752 KiB
[startup+0.309452 s]*
/proc/loadavg: 1.02 3.15 5.91 9/200 25045
/proc/meminfo: memFree=30172660/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=692572 memory=79952 CPUtime=0.53 cores=0-7
/proc/25036/stat : 25036 (cosoco) S 25033 25036 23891 0 -1 1077944320 20410 0 0 0 51 2 0 0 20 0 9 0 436812498 709193728 19988 33554432000 4194304 6211092 140731257079936 140731257078192 140706208296695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 173143 19988 889 493 0 166448 0
[pid=25036/tid=25038] ppid=25033 vsize=692572 memory=6935054825532540783 CPUtime=0.02 cores=0-7
/proc/25036/task/25038/stat : 25038 (cosoco) R 25033 25036 23891 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706185153912 5155320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25039] ppid=25033 vsize=692572 memory=4872558044660077418 CPUtime=0.03 cores=0-7
/proc/25036/task/25039/stat : 25039 (cosoco) R 25033 25036 23891 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706176761208 140706192255973 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25040] ppid=25033 vsize=692572 memory=0 CPUtime=0.03 cores=0-7
/proc/25036/task/25040/stat : 25040 (cosoco) R 25033 25036 23891 0 -1 4202560 87 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706168368504 5158176 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25041] ppid=25033 vsize=692572 memory=0 CPUtime=0.03 cores=0-7
/proc/25036/task/25041/stat : 25041 (cosoco) R 25033 25036 23891 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706159975800 140706192255973 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25042] ppid=25033 vsize=692572 memory=6656426216303648864 CPUtime=0.03 cores=0-7
/proc/25036/task/25042/stat : 25042 (cosoco) R 25033 25036 23891 0 -1 4202560 42 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706151583096 140706192251710 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25043] ppid=25033 vsize=692572 memory=0 CPUtime=0.03 cores=0-7
/proc/25036/task/25043/stat : 25043 (cosoco) R 25033 25036 23891 0 -1 4202560 62 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706143189800 140706192251710 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25044] ppid=25033 vsize=692572 memory=0 CPUtime=0.03 cores=0-7
/proc/25036/task/25044/stat : 25044 (cosoco) R 25033 25036 23891 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706134797688 140706192251710 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25045] ppid=25033 vsize=692572 memory=0 CPUtime=0.03 cores=0-7
/proc/25036/task/25045/stat : 25045 (cosoco) R 25033 25036 23891 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 9 0 436812527 709193728 19988 33554432000 4194304 6211092 140731257079936 140706126404984 5156869 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 692572 KiB
Current children cumulated memory: 79952 KiB
[startup+0.706588 s]
/proc/loadavg: 1.02 3.15 5.91 9/200 25045
/proc/meminfo: memFree=30159460/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=692572 memory=108704 CPUtime=3.58 cores=0-7
/proc/25036/stat : 25036 (cosoco) S 25033 25036 23891 0 -1 1077944320 27622 0 0 0 354 4 0 0 20 0 9 0 436812498 709193728 27176 33554432000 4194304 6211092 140731257079936 140731257078192 140706208296695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 173143 27176 898 493 0 166448 0
[pid=25036/tid=25038] ppid=25033 vsize=692572 memory=860 CPUtime=0.4 cores=0-7
/proc/25036/task/25038/stat : 25038 (cosoco) R 25033 25036 23891 0 -1 4202560 734 0 0 0 40 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706185153160 5193754 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25039] ppid=25033 vsize=692572 memory=776 CPUtime=0.41 cores=0-7
/proc/25036/task/25039/stat : 25039 (cosoco) R 25033 25036 23891 0 -1 4202560 783 0 0 0 41 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706176760424 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25040] ppid=25033 vsize=692572 memory=1612 CPUtime=0.41 cores=0-7
/proc/25036/task/25040/stat : 25040 (cosoco) R 25033 25036 23891 0 -1 4202560 816 0 0 0 41 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706168367720 5155353 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25041] ppid=25033 vsize=692572 memory=1224 CPUtime=0.41 cores=0-7
/proc/25036/task/25041/stat : 25041 (cosoco) R 25033 25036 23891 0 -1 4202560 766 0 0 0 41 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706159975128 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25042] ppid=25033 vsize=692572 memory=3824 CPUtime=0.4 cores=0-7
/proc/25036/task/25042/stat : 25042 (cosoco) R 25033 25036 23891 0 -1 4202560 1241 0 0 0 40 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706151582472 5155341 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25043] ppid=25033 vsize=692572 memory=140238843344511 CPUtime=0.41 cores=0-7
/proc/25036/task/25043/stat : 25043 (cosoco) R 25033 25036 23891 0 -1 4202560 1200 0 0 0 41 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706143189608 140706192251710 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25044] ppid=25033 vsize=692572 memory=8025788814078207340 CPUtime=0.41 cores=0-7
/proc/25036/task/25044/stat : 25044 (cosoco) R 25033 25036 23891 0 -1 4202560 1186 0 0 0 41 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706134796904 5389984 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25045] ppid=25033 vsize=692572 memory=4639622892266475600 CPUtime=0.4 cores=0-7
/proc/25036/task/25045/stat : 25045 (cosoco) R 25033 25036 23891 0 -1 4202560 869 0 0 0 40 0 0 0 20 0 9 0 436812527 709193728 27176 33554432000 4194304 6211092 140731257079936 140706126404312 5155353 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 692572 KiB
Current children cumulated memory: 108704 KiB
[startup+1.50145 s]
/proc/loadavg: 1.02 3.15 5.91 9/200 25045
/proc/meminfo: memFree=30144724/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=692572 memory=110200 CPUtime=9.91 cores=0-7
/proc/25036/stat : 25036 (cosoco) S 25033 25036 23891 0 -1 1077944320 47512 0 0 0 980 11 0 0 20 0 9 0 436812498 709193728 27550 33554432000 4194304 6211092 140731257079936 140731257078192 140706208296695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 173143 27550 899 493 0 166448 0
[pid=25036/tid=25038] ppid=25033 vsize=692572 memory=0 CPUtime=1.19 cores=0-7
/proc/25036/task/25038/stat : 25038 (cosoco) R 25033 25036 23891 0 -1 4202560 3480 0 0 0 118 1 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706185153632 5250293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25039] ppid=25033 vsize=692572 memory=1572 CPUtime=1.21 cores=0-7
/proc/25036/task/25039/stat : 25039 (cosoco) R 25033 25036 23891 0 -1 4202560 1667 0 0 0 121 0 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706176760928 5158176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25040] ppid=25033 vsize=692572 memory=872 CPUtime=1.2 cores=0-7
/proc/25036/task/25040/stat : 25040 (cosoco) R 25033 25036 23891 0 -1 4202560 3490 0 0 0 119 1 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706168368224 5250293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25041] ppid=25033 vsize=692572 memory=13898 CPUtime=1.19 cores=0-7
/proc/25036/task/25041/stat : 25041 (cosoco) R 25033 25036 23891 0 -1 4202560 3684 0 0 0 117 2 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706159975520 5250284 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25042] ppid=25033 vsize=692572 memory=0 CPUtime=1.18 cores=0-7
/proc/25036/task/25042/stat : 25042 (cosoco) R 25033 25036 23891 0 -1 4202560 3495 0 0 0 117 1 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706151582816 5389841 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25043] ppid=25033 vsize=692572 memory=140234440546512 CPUtime=1.2 cores=0-7
/proc/25036/task/25043/stat : 25043 (cosoco) R 25033 25036 23891 0 -1 4202560 4168 0 0 0 120 0 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706143190112 5186224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25044] ppid=25033 vsize=692572 memory=0 CPUtime=1.2 cores=0-7
/proc/25036/task/25044/stat : 25044 (cosoco) R 25033 25036 23891 0 -1 4202560 4782 0 0 0 120 0 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706134797408 5155348 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25045] ppid=25033 vsize=692572 memory=0 CPUtime=1.19 cores=0-7
/proc/25036/task/25045/stat : 25045 (cosoco) R 25033 25036 23891 0 -1 4202560 2716 0 0 0 119 0 0 0 20 0 9 0 436812527 709193728 27550 33554432000 4194304 6211092 140731257079936 140706126404704 5155500 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 692572 KiB
Current children cumulated memory: 110200 KiB
[startup+3.11045 s]
/proc/loadavg: 1.02 3.15 5.91 9/200 25045
/proc/meminfo: memFree=30138768/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=692572 memory=113108 CPUtime=22.76 cores=0-7
/proc/25036/stat : 25036 (cosoco) S 25033 25036 23891 0 -1 1077944320 50975 0 0 0 2264 12 0 0 20 0 9 0 436812498 709193728 28277 33554432000 4194304 6211092 140731257079936 140731257078192 140706208296695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 173143 28277 899 493 0 166448 0
[pid=25036/tid=25038] ppid=25033 vsize=692572 memory=0 CPUtime=2.8 cores=0-7
/proc/25036/task/25038/stat : 25038 (cosoco) R 25033 25036 23891 0 -1 4202560 4152 0 0 0 279 1 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706185153632 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25039] ppid=25033 vsize=692572 memory=0 CPUtime=2.81 cores=0-7
/proc/25036/task/25039/stat : 25039 (cosoco) R 25033 25036 23891 0 -1 4202560 3140 0 0 0 281 0 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706176760928 5193710 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25040] ppid=25033 vsize=692572 memory=110776 CPUtime=2.81 cores=0-7
/proc/25036/task/25040/stat : 25040 (cosoco) R 25033 25036 23891 0 -1 4202560 3772 0 0 0 280 1 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706168368224 140706192251710 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25041] ppid=25033 vsize=692572 memory=-7662980745959663145 CPUtime=2.8 cores=0-7
/proc/25036/task/25041/stat : 25041 (cosoco) R 25033 25036 23891 0 -1 4202560 4116 0 0 0 278 2 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706159975520 5156460 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25042] ppid=25033 vsize=692572 memory=56 CPUtime=2.76 cores=0-7
/proc/25036/task/25042/stat : 25042 (cosoco) R 25033 25036 23891 0 -1 4202560 3723 0 0 0 275 1 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706151582816 5155341 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25043] ppid=25033 vsize=692572 memory=0 CPUtime=2.81 cores=0-7
/proc/25036/task/25043/stat : 25043 (cosoco) R 25033 25036 23891 0 -1 4202560 4365 0 0 0 281 0 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706143190112 5158128 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25044] ppid=25033 vsize=692572 memory=0 CPUtime=2.81 cores=0-7
/proc/25036/task/25044/stat : 25044 (cosoco) R 25033 25036 23891 0 -1 4202560 4921 0 0 0 281 0 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706134797408 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25045] ppid=25033 vsize=692572 memory=112592 CPUtime=2.8 cores=0-7
/proc/25036/task/25045/stat : 25045 (cosoco) R 25033 25036 23891 0 -1 4202560 2757 0 0 0 280 0 0 0 20 0 9 0 436812527 709193728 28277 33554432000 4194304 6211092 140731257079936 140706126404704 5250234 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
Current children cumulated CPU time: 22.76 s
Current children cumulated vsize: 692572 KiB
Current children cumulated memory: 113108 KiB
[startup+3.23287 s]
# the end of solver process 25036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.4859 s, system=0.142895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20145 s]
/proc/loadavg: 1.02 3.15 5.91 9/200 25045
/proc/meminfo: memFree=30138768/32770624 swapFree=67026112/67108860
[pid=25036] ppid=25033 vsize=692572 memory=113968 CPUtime=23.49 cores=0-7
/proc/25036/stat : 25036 (cosoco) S 25033 25036 23891 0 -1 1077944320 51297 0 0 0 2336 13 0 0 20 0 9 0 436812498 709193728 28492 33554432000 4194304 6211092 140731257079936 140731257078192 140706208296695 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
/proc/25036/statm: 173143 28492 899 493 0 166448 0
[pid=25036/tid=25038] ppid=25033 vsize=692572 memory=30624 CPUtime=2.89 cores=0-7
/proc/25036/task/25038/stat : 25038 (cosoco) R 25033 25036 23891 0 -1 4202560 4152 0 0 0 288 1 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706185153632 5136315 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25039] ppid=25033 vsize=692572 memory=1296 CPUtime=2.9 cores=0-7
/proc/25036/task/25039/stat : 25039 (cosoco) R 25033 25036 23891 0 -1 4202560 3159 0 0 0 290 0 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706176760536 5250467 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25040] ppid=25033 vsize=692572 memory=2184 CPUtime=2.9 cores=0-7
/proc/25036/task/25040/stat : 25040 (cosoco) R 25033 25036 23891 0 -1 4202560 4074 0 0 0 289 1 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706168367912 140706192251710 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25041] ppid=25033 vsize=692572 memory=1844 CPUtime=2.89 cores=0-7
/proc/25036/task/25041/stat : 25041 (cosoco) R 25033 25036 23891 0 -1 4202560 4116 0 0 0 287 2 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706159975520 5250298 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25042] ppid=25033 vsize=692572 memory=4956 CPUtime=2.85 cores=0-7
/proc/25036/task/25042/stat : 25042 (cosoco) R 25033 25036 23891 0 -1 4202560 3724 0 0 0 284 1 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706151582816 5155345 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25043] ppid=25033 vsize=692572 memory=10092 CPUtime=2.9 cores=0-7
/proc/25036/task/25043/stat : 25043 (cosoco) R 25033 25036 23891 0 -1 4202560 4365 0 0 0 290 0 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706143190112 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25044] ppid=25033 vsize=692572 memory=1908 CPUtime=2.9 cores=0-7
/proc/25036/task/25044/stat : 25044 (cosoco) R 25033 25036 23891 0 -1 4202560 4921 0 0 0 290 0 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706134797408 5136283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
[pid=25036/tid=25045] ppid=25033 vsize=692572 memory=1360 CPUtime=2.89 cores=0-7
/proc/25036/task/25045/stat : 25045 (cosoco) R 25033 25036 23891 0 -1 4202560 2757 0 0 0 289 0 0 0 20 0 9 0 436812527 709193728 28492 33554432000 4194304 6211092 140731257079936 140706126404704 5156256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 11706368 140731257082897 140731257082989 140731257082989 140731257085902 0
Current children cumulated CPU time: 23.49 s
Current children cumulated vsize: 692572 KiB
Current children cumulated memory: 113968 KiB
Child status: 0
Real time (s): 3.23293
CPU time (s): 23.6288
CPU user time (s): 23.4859
CPU system time (s): 0.142895
CPU usage (%): 730.878
Max. virtual memory (cumulated for all children) (KiB): 692572
Max. memory (cumulated for all children) (KiB): 113968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4859
system time used= 0.142895
maximum resident set size= 114860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51438
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= 661
involuntary context switches= 266
# summary of solver processes directly reported to runsolver:
# pid: 25036
# total CPU time (s): 23.6288
# total CPU user time (s): 23.4859
# total CPU system time (s): 0.142895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030809 second user time and 0.080578 second system time
The end
Begin job on node150 at 2019-09-16 05:42:39 IDJOB=4397961 IDBENCH=128096 IDSOLVER=2851 FILE ID=node150/4397961-1568605399 RUNJOBID= node150-1568597343-23918 PBS_JOBID= 21703409 Free space on /tmp= 59368 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-65-10.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397961-1568605399/watcher-4397961-1568605399 -o /tmp/evaluation-result-4397961-1568605399/solver-4397961-1568605399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568597343-23918 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397961-1568605399.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b RANDOM SEED=877026387 node150.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: 30247424 kB MemAvailable: 31840176 kB Buffers: 186216 kB Cached: 1667352 kB SwapCached: 11796 kB Active: 826032 kB Inactive: 1073112 kB Active(anon): 5536 kB Inactive(anon): 78292 kB Active(file): 820496 kB Inactive(file): 994820 kB Unevictable: 109652 kB Mlocked: 109652 kB SwapTotal: 67108860 kB SwapFree: 67026112 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 147364 kB Mapped: 44052 kB Shmem: 29604 kB Slab: 215684 kB SReclaimable: 186540 kB SUnreclaim: 29144 kB KernelStack: 3712 kB PageTables: 6028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 59368 MiB End job on node150 at 2019-09-16 05:42:43