Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 24.364 | 3.33127 |
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 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-4409221-1569827680.xml 0.21/0.29 c ========================================[ Problem Statistics ]=========================================== 0.21/0.29 c | 0.21/0.29 c | Parse time : 0.25 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 2. 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 1. 0.21/0.29 c [pFactory][Group N°0] task 4 launched on thread 7. 0.21/0.29 c [pFactory][Group N°0] task 3 launched on thread 5. 0.21/0.29 c [pFactory][Group N°0] task 2 launched on thread 3. 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 6. 0.21/0.29 c c conflictsconflicts decisions filterCalls propagations decisions Root Prop. filterCalls 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 conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.80/0.68 c 32 919 55232 12400 0 0 794 816 786 3.45/0.72 c 101 1157 66477 14866 0 0 793 813 796 3.45/0.74 c 32 1129 61045 7684 0 0 1011 1054 1005 3.45/0.75 c 32 971 64464 12315 0 0 828 871 818 3.45/0.75 c 32 1253 67808 8052 0 0 468 1125 1060 4.26/0.81 c 33 1142 74913 14767 0 0 171 171 85 4.26/0.83 c 101 1092 85668 24164 0 0 771 787 768 4.26/0.84 c 101 1387 87994 12061 0 0 988 1022 1000 4.26/0.88 c 33 1117 84298 16890 0 0 198 198 99 5.05/0.90 c 33 1286 84083 12536 0 0 157 157 78 5.05/0.91 c 33 1379 90717 12282 0 0 126 126 63 5.05/0.92 c 64 1437 93103 23537 0 0 169 174 166 5.05/1.00 c 65 1609 103368 25935 0 0 172 172 86 5.91/1.07 c 66 1779 113638 28403 0 0 170 170 85 6.72/1.11 c 64 1558 126887 21024 0 0 129 135 128 6.72/1.13 c 211 1554 131293 44429 0 0 80 109 99 6.72/1.14 c 67 1948 123757 30750 0 0 169 169 84 6.72/1.15 c 64 1384 130384 23858 0 0 147 210 196 6.72/1.18 c 101 1376 127860 27540 0 0 765 811 772 6.72/1.19 c 64 1521 134516 21044 0 0 156 169 157 7.43/1.29 c 211 1689 170253 29795 0 0 177 185 179 8.24/1.31 c 128 2382 152825 53605 0 0 162 170 163 8.24/1.31 c 65 1800 154880 25586 0 0 242 242 121 8.24/1.32 c 211 1811 183164 29042 0 0 154 165 159 8.24/1.37 c 65 1682 158563 25753 0 0 161 161 80 8.24/1.37 c 65 1621 161620 28420 0 0 237 237 118 8.24/1.38 c 129 2548 162627 55913 0 0 166 166 83 9.03/1.45 c 130 2714 172333 58327 0 0 166 166 83 9.83/1.51 c 131 2881 182025 60757 0 0 167 167 83 9.83/1.52 c 66 2062 183547 30114 0 0 262 262 131 9.83/1.52 c 211 1900 188185 40409 0 0 218 234 223 9.83/1.54 c 66 1857 183804 30345 0 0 175 175 87 9.83/1.58 c 132 3043 191515 63168 0 0 162 162 81 9.83/1.58 c 66 1859 192531 33178 0 0 238 238 119 10.64/1.65 c 133 3202 200602 65490 0 0 159 159 79 10.64/1.69 c 67 2273 209772 34270 0 0 211 211 105 10.64/1.69 c 332 2034 219296 95136 0 0 57 66 61 11.43/1.70 c 67 2006 206890 34361 0 0 149 149 74 11.43/1.71 c 134 3361 209625 67826 0 0 159 159 79 11.43/1.78 c 135 3521 218714 70084 0 0 160 160 80 11.43/1.80 c 67 2094 223016 37771 0 0 235 235 117 13.03/1.90 c 332 2499 300684 46562 0 0 265 292 283 13.03/1.99 c 128 2639 261291 46473 0 0 250 261 251 13.90/2.03 c 332 2563 320225 46619 0 0 193 250 241 13.90/2.05 c 256 4165 268554 111318 0 0 157 167 160 13.90/2.05 c 128 2500 265880 45763 0 0 235 262 240 13.90/2.06 c 128 2347 269633 49718 0 0 128 187 176 14.70/2.11 c 257 4328 277690 113715 0 0 163 163 81 14.70/2.18 c 258 4485 286491 116144 0 0 157 157 78 14.70/2.19 c 465 2516 296294 136921 0 0 58 65 61 14.70/2.19 c 332 2825 320870 54366 0 0 408 453 419 15.42/2.20 c 129 2943 292563 51410 0 0 304 304 152 15.42/2.24 c 259 4646 295265 118414 0 0 161 161 80 15.42/2.26 c 129 2653 297887 54619 0 0 306 306 153 15.42/2.27 c 129 2796 297746 50572 0 0 296 296 148 16.22/2.30 c 260 4809 304332 120826 0 0 163 163 81 16.22/2.32 c 130 3160 311316 55420 0 0 217 217 108 16.22/2.37 c 261 4966 312976 123214 0 0 157 157 78 17.02/2.43 c 262 5125 321725 125455 0 0 159 159 79 17.02/2.49 c 130 3093 329013 55360 0 0 297 297 148 17.02/2.49 c 263 5285 330427 127740 0 0 160 160 80 17.82/2.52 c 131 3456 342329 60273 0 0 296 296 148 17.82/2.53 c 130 3018 335538 59955 0 0 365 365 182 17.82/2.55 c 264 5444 339294 130327 0 0 159 159 79 17.82/2.56 c 465 3648 380790 94553 0 0 173 321 313 17.82/2.57 c 611 3059 354216 168077 0 0 57 66 60 18.62/2.62 c 265 5602 347954 132611 0 0 158 158 79 18.62/2.64 c 465 3657 439977 63020 0 0 302 321 312 18.62/2.64 c 132 3680 359149 64209 0 0 224 224 112 18.62/2.68 c 266 5762 356855 135090 0 0 160 160 80 18.62/2.69 c 131 3374 357933 59968 0 0 281 281 140 19.41/2.74 c 131 3292 365919 64707 0 0 274 274 137 19.41/2.74 c 267 5923 365848 137515 0 0 161 161 80 20.21/2.81 c 268 6088 374999 140033 0 0 165 165 82 20.21/2.84 c 611 4416 431757 129293 0 0 168 181 173 20.21/2.84 c 133 3985 390265 69094 0 0 305 305 152 20.21/2.87 c 465 4150 490052 65618 0 0 158 357 312 20.21/2.87 c 132 3523 383247 68816 0 0 231 231 115 20.21/2.87 c 269 6250 383852 142374 0 0 162 162 81 21.01/2.90 c 132 3670 388180 64702 0 0 296 296 148 21.01/2.91 c 611 4299 485683 89115 0 0 156 168 162 21.01/2.94 c 270 6409 392830 145144 0 0 159 159 79 21.01/2.96 c 134 4207 408075 73245 0 0 222 222 111 21.01/3.00 c 271 6573 401932 147484 0 0 164 164 82 21.87/3.08 c 135 4424 426299 77211 0 0 217 217 108 21.87/3.11 c 133 3862 416587 73987 0 0 339 339 169 22.68/3.12 c 133 3973 420395 69527 0 0 303 303 151 22.68/3.16 c 134 3931 423077 75483 0 0 69 69 34 22.68/3.17 c 611 4815 547603 123702 0 0 140 155 148 23.42/3.22 c 771 5234 503950 176806 0 0 159 167 163 23.42/3.22 c 771 4474 473089 188721 0 0 57 972 911 24.20/3.31 c First solution is found 24.20/3.32 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5. 24.20/3.32 c [pFactory][Group N°0] Thread N°0 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°1 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°2 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°3 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°4 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°5 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°6 is joined. 24.20/3.32 c [pFactory][Group N°0] Thread N°7 is joined. 24.20/3.32 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1) 24.20/3.32 s SATISFIABLE 24.20/3.32 c restarts : 13 24.20/3.32 c conflicts : 134 (6 /sec) 24.20/3.32 c decisions : 4128 (171 /sec) 24.20/3.32 c propagations : 79423 (3281 /sec) 24.20/3.32 c root propagations : 0 24.20/3.32 c filter calls : 444368 (18358 /sec) 24.20/3.32 c useless filter calls : 433531 (97 %) 24.20/3.32 c Memory used : 644.33 MB 24.20/3.32 c CPU time : 24.2056 s 24.20/3.32 c real time : 3.316 s 24.20/3.32 24.20/3.32 c solution 1 24.20/3.32 24.20/3.32 v <instantiation type='solution'> 24.20/3.32 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> 24.20/3.32 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> 24.20/3.32 v </instantiation> 24.20/3.32
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 (15155 MiB free) memory of node 1: 16384 MiB (15618 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409221-1569827680/watcher-4409221-1569827680 -o /tmp/evaluation-result-4409221-1569827680/solver-4409221-1569827680 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409221-1569827680.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=15797, runsolver pid=15794 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100164 s]* /proc/loadavg: 7.58 8.12 8.23 2/196 15798 /proc/meminfo: memFree=31466388/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=76868 memory=53196 CPUtime=0.1 cores=0-7 /proc/15797/stat : 15797 (cosoco) R 15794 15797 15429 0 -1 4202496 13508 0 0 0 9 1 0 0 20 0 1 0 559007431 78712832 13299 33554432000 4194304 6211132 140721457310336 140721457306872 140201106754533 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 19217 13299 849 493 0 12522 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 76868 KiB Current children cumulated memory: 53196 KiB [startup+0.209696 s]* /proc/loadavg: 7.58 8.12 8.23 2/196 15798 /proc/meminfo: memFree=31447416/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=92436 memory=68888 CPUtime=0.21 cores=0-7 /proc/15797/stat : 15797 (cosoco) R 15794 15797 15429 0 -1 4202496 17413 0 0 0 19 2 0 0 20 0 1 0 559007431 94654464 17222 33554432000 4194304 6211132 140721457310336 140721457306872 140201106754533 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 23109 17222 849 493 0 16414 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 92436 KiB Current children cumulated memory: 68888 KiB [startup+0.315567 s]* /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31435636/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=80472 CPUtime=0.57 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 20499 0 0 0 55 2 0 0 20 0 9 0 559007431 709193728 20118 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 20118 894 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=6935054825532540783 CPUtime=0.03 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201099652472 140201106754533 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=4872558044660077418 CPUtime=0.03 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201091258984 5185140 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=0 CPUtime=0.03 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) D 15794 15797 15429 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201082867064 140201106754533 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=0 CPUtime=0.03 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201074473576 5413002 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=6656426216303648864 CPUtime=0.03 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 73 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201066080984 140201107230295 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=0 CPUtime=0.03 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) D 15794 15797 15429 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201057688232 140201106750270 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=0 CPUtime=0.03 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 71 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201049295576 5156960 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=0 CPUtime=0.03 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 9 0 559007459 709193728 20118 33554432000 4194304 6211132 140721457310336 140201040902952 5250273 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 0.57 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 80472 KiB [startup+0.700561 s] /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31426276/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=108428 CPUtime=3.45 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 27497 0 0 0 340 5 0 0 20 0 9 0 559007431 709193728 27107 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 27107 898 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=2508 CPUtime=0.39 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 735 0 0 0 39 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201099651880 5155377 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=1768 CPUtime=0.4 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 812 0 0 0 40 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201091258984 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=111628 CPUtime=0.4 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) R 15794 15797 15429 0 -1 4202560 775 0 0 0 40 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201082866312 140201106750270 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=804 CPUtime=0.37 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 864 0 0 0 37 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201074473736 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=1644 CPUtime=0.38 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 1236 0 0 0 38 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201066081032 140201106750270 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=7100839861465685612 CPUtime=0.38 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) R 15794 15797 15429 0 -1 4202560 769 0 0 0 38 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201057688672 5158178 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=-7175204567652784766 CPUtime=0.39 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 1143 0 0 0 39 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201049295464 5158192 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=3054156605268465310 CPUtime=0.39 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 1135 0 0 0 39 0 0 0 20 0 9 0 559007459 709193728 27107 33554432000 4194304 6211132 140721457310336 140201040902952 5250482 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 3.45 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 108428 KiB [startup+1.50057 s] /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31411396/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=110208 CPUtime=9.83 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 47238 0 0 0 972 11 0 0 20 0 9 0 559007431 709193728 27552 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 27552 899 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=6943526294502006880 CPUtime=1.19 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 3305 0 0 0 117 2 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201099652192 5136319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=0 CPUtime=1.18 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 4087 0 0 0 118 0 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201091259016 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=0 CPUtime=1.2 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) R 15794 15797 15429 0 -1 4202560 1583 0 0 0 119 1 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201082866784 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=7667776871478028373 CPUtime=1.17 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 2788 0 0 0 117 0 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201074474080 5155535 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=5787216026087412320 CPUtime=1.19 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 3522 0 0 0 118 1 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201066081376 5186256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=0 CPUtime=1.18 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) R 15794 15797 15429 0 -1 4202560 4237 0 0 0 118 0 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201057688672 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=0 CPUtime=1.19 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 3794 0 0 0 119 0 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201049295968 5156960 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=7598824234097836114 CPUtime=1.19 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 3893 0 0 0 117 2 0 0 20 0 9 0 559007459 709193728 27552 33554432000 4194304 6211132 140721457310336 140201040903264 5157484 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 9.83 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 110208 KiB [startup+3.11056 s] /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31407152/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=112896 CPUtime=22.68 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 50723 0 0 0 2256 12 0 0 20 0 9 0 559007431 709193728 28224 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 28224 899 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=56 CPUtime=2.79 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 4014 0 0 0 277 2 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201099652192 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=0 CPUtime=2.77 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 4197 0 0 0 277 0 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201091258984 5155687 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=0 CPUtime=2.8 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) R 15794 15797 15429 0 -1 4202560 3055 0 0 0 279 1 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201082866280 5155766 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=0 CPUtime=2.78 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 2835 0 0 0 278 0 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201074474080 5155373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=0 CPUtime=2.8 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 3743 0 0 0 279 1 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201066081376 5157490 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=207459805330289 CPUtime=2.79 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) R 15794 15797 15429 0 -1 4202560 4623 0 0 0 279 0 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201057688672 5156488 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=0 CPUtime=2.8 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 4130 0 0 0 280 0 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201049295968 5396570 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=279257297504512 CPUtime=2.8 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 4096 0 0 0 278 2 0 0 20 0 9 0 559007459 709193728 28224 33554432000 4194304 6211132 140721457310336 140201040903264 5250482 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 22.68 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 112896 KiB [startup+3.33122 s] # the end of solver process 15797 was just reported to runsolver # cumulated CPU time of all completed processes: user=24.206 s, system=0.158012 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20156 s] /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31407152/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=113220 CPUtime=23.42 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 50867 0 0 0 2329 13 0 0 20 0 9 0 559007431 709193728 28305 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 28305 899 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=1408 CPUtime=2.89 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 4014 0 0 0 287 2 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201099652192 5156272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=2196 CPUtime=2.86 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 4318 0 0 0 286 0 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201091259176 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=6935054825532540783 CPUtime=2.89 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) R 15794 15797 15429 0 -1 4202560 3071 0 0 0 288 1 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201082866392 5155373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=279257297790304 CPUtime=2.87 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 2835 0 0 0 287 0 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201074474080 5155373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=279257297790368 CPUtime=2.89 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 3744 0 0 0 288 1 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201066081376 5157446 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=279257297790432 CPUtime=2.88 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) R 15794 15797 15429 0 -1 4202560 4626 0 0 0 288 0 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201057688672 5155373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=110860 CPUtime=2.89 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 4133 0 0 0 289 0 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201049295968 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=0 CPUtime=2.89 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 4096 0 0 0 287 2 0 0 20 0 9 0 559007459 709193728 28305 33554432000 4194304 6211132 140721457310336 140201040903264 5156497 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 23.42 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 113220 KiB [startup+3.30057 s] /proc/loadavg: 7.58 8.12 8.23 9/204 15806 /proc/meminfo: memFree=31407152/32770624 swapFree=66967820/67108860 [pid=15797] ppid=15794 vsize=692572 memory=114260 CPUtime=24.2 cores=0-7 /proc/15797/stat : 15797 (cosoco) S 15794 15797 15429 0 -1 1077944320 51191 0 0 0 2407 13 0 0 20 0 9 0 559007431 709193728 28565 33554432000 4194304 6211132 140721457310336 140721457308592 140201122795255 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 /proc/15797/statm: 173143 28565 899 493 0 166448 0 [pid=15797/tid=15799] ppid=15794 vsize=692572 memory=0 CPUtime=2.98 cores=0-7 /proc/15797/task/15799/stat : 15799 (cosoco) R 15794 15797 15429 0 -1 4202560 4014 0 0 0 296 2 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201099652192 5155519 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15800] ppid=15794 vsize=692572 memory=0 CPUtime=2.95 cores=0-7 /proc/15797/task/15800/stat : 15800 (cosoco) R 15794 15797 15429 0 -1 4202560 4632 0 0 0 295 0 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201091259176 140201107230295 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15801] ppid=15794 vsize=692572 memory=56 CPUtime=2.99 cores=0-7 /proc/15797/task/15801/stat : 15801 (cosoco) R 15794 15797 15429 0 -1 4202560 3074 0 0 0 298 1 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201082866784 5250311 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15802] ppid=15794 vsize=692572 memory=0 CPUtime=2.97 cores=0-7 /proc/15797/task/15802/stat : 15802 (cosoco) R 15794 15797 15429 0 -1 4202560 2835 0 0 0 297 0 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201074474080 5156288 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15803] ppid=15794 vsize=692572 memory=0 CPUtime=2.99 cores=0-7 /proc/15797/task/15803/stat : 15803 (cosoco) R 15794 15797 15429 0 -1 4202560 3748 0 0 0 298 1 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201066081376 5155739 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15804] ppid=15794 vsize=692572 memory=207459805330289 CPUtime=2.98 cores=0-7 /proc/15797/task/15804/stat : 15804 (cosoco) R 15794 15797 15429 0 -1 4202560 4626 0 0 0 298 0 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201057688672 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15805] ppid=15794 vsize=692572 memory=0 CPUtime=2.99 cores=0-7 /proc/15797/task/15805/stat : 15805 (cosoco) R 15794 15797 15429 0 -1 4202560 4133 0 0 0 299 0 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201049295968 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 [pid=15797/tid=15806] ppid=15794 vsize=692572 memory=279257297504512 CPUtime=2.99 cores=0-7 /proc/15797/task/15806/stat : 15806 (cosoco) R 15794 15797 15429 0 -1 4202560 4099 0 0 0 297 2 0 0 20 0 9 0 559007459 709193728 28565 33554432000 4194304 6211132 140721457310336 140201040903264 5038784 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14983168 140721457316881 140721457316973 140721457316973 140721457319886 0 Current children cumulated CPU time: 24.2 s Current children cumulated vsize: 692572 KiB Current children cumulated memory: 114260 KiB Child status: 0 Real time (s): 3.33127 CPU time (s): 24.364 CPU user time (s): 24.206 CPU system time (s): 0.158012 CPU usage (%): 731.373 Max. virtual memory (cumulated for all children) (KiB): 692572 Max. memory (cumulated for all children) (KiB): 114260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.206 system time used= 0.158012 maximum resident set size= 114860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63186 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= 1048 involuntary context switches= 320 # summary of solver processes directly reported to runsolver: # pid: 15797 # total CPU time (s): 24.364 # total CPU user time (s): 24.206 # total CPU system time (s): 0.158012 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043155 second user time and 0.074759 second system time The end
Begin job on node133 at 2019-09-30 09:13:59 IDJOB=4409221 IDBENCH=128096 IDSOLVER=2877 FILE ID=node133/4409221-1569827680 RUNJOBID= node133-1569827620-15456 PBS_JOBID= 21705931 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409221-1569827680/watcher-4409221-1569827680 -o /tmp/evaluation-result-4409221-1569827680/solver-4409221-1569827680 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409221-1569827680.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b RANDOM SEED=1785919961 node133.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.18 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.18 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.18 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.18 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: 31513040 kB MemAvailable: 31882704 kB Buffers: 60016 kB Cached: 608748 kB SwapCached: 22164 kB Active: 310840 kB Inactive: 384036 kB Active(anon): 6556 kB Inactive(anon): 64484 kB Active(file): 304284 kB Inactive(file): 319552 kB Unevictable: 108072 kB Mlocked: 108072 kB SwapTotal: 67108860 kB SwapFree: 66967820 kB Dirty: 3092 kB Writeback: 0 kB AnonPages: 125232 kB Mapped: 25296 kB Shmem: 36312 kB Slab: 153152 kB SReclaimable: 123328 kB SUnreclaim: 29824 kB KernelStack: 3792 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2019-09-30 09:14:02