Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 26.5417 | 3.59699 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-70-08.xml |
MD5SUM | 487341030a1a30afb0858e27d438e3d6 |
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 | 7.38733 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1401 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":22,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 60 |
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":18},"...",{"degree":36,"count":20}, {"degree":37,"count":20}, {"degree":38,"count":55}, {"degree":39,"count":14}, {"degree":40,"count":39}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"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":6}, {"degree":52,"count":6}, {"degree":53,"count":56}, {"degree":54,"count":2}, {"degree":55,"count":2}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":3}, {"degree":60,"count":87}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":2},{"arity":50,"count":2},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":4},{"arity":83,"count":2},{"arity":85,"count":2},{"arity":86,"count":2},{"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":1200},{"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.02 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.02 c 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c This is cosoco 2.00 -- 0.20/0.29 c 0.20/0.29 c command line: cosoco -model -nbcores=8 HOME/instance-4398036-1568605309.xml 0.20/0.29 c ========================================[ Problem Statistics ]=========================================== 0.20/0.29 c | 0.20/0.29 c | Parse time : 0.25 s 0.20/0.29 c | 0.20/0.29 c | Variables: 1200 0.20/0.29 c | Domain Sizes: 2..22 0.20/0.29 c | 0.20/0.29 c | Constraints: 1422 0.20/0.29 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.20/0.29 c | 0.20/0.29 c | Types: 0.20/0.29 c | Exactly K: 22 0.20/0.29 c | Extension: 200 (nb tuples: 22..22) -- (shared: 1592) 0.20/0.29 c | Sum: 1200 0.20/0.29 c | 0.20/0.29 c ========================================================================================================= 0.20/0.29 c Parallel mode: Portfolio 0.20/0.29 c [pFactory][Group N°0] created (threads:8). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.20/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.20/0.29 c [pFactory][Group N°0] concurrent mode: enabled. 0.20/0.29 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.20/0.29 c [pFactory][Group N°0] task 7 launched on thread 6. 0.20/0.29 c [pFactory][Group N°0] task 6 launched on thread 0. 0.20/0.29 c [pFactory][Group N°0] task 5 launched on thread 1. 0.20/0.29 c [pFactory][Group N°0] task 4 launched on thread 2. 0.20/0.29 c [pFactory][Group N°0] task 3 launched on thread 7. 0.20/0.29 c [pFactory][Group N°0] task 2 launched on thread 3. 0.20/0.29 c [pFactory][Group N°0] task 1 launched on thread 5. 0.20/0.29 c [pFactory][Group N°0] task 0 launched on thread 4. 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.29 c root propagations : 0 0.20/0.29 c restarts enabled, print stats at every restarts 0.20/0.29 c 0.20/0.29 c 0.20/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.30 c root propagations : 0 0.20/0.30 c restarts enabled, print stats at every restarts 0.20/0.30 c 0.20/0.30 c 0.20/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.16/0.61 c 32 930 46282 7874 0 0 819 838 806 3.50/0.73 c 32 1214 65849 7640 0 0 865 1096 1038 3.50/0.76 c 101 1412 75451 9893 0 0 925 1020 951 3.50/0.78 c 33 1059 69574 11033 0 0 129 129 64 3.50/0.78 c 32 1156 70045 9360 0 0 715 1003 919 3.50/0.80 c 101 1431 83312 15087 0 0 959 987 958 4.30/0.82 c 33 1238 74620 10292 0 0 82 82 41 4.30/0.83 c 101 1454 89557 13878 0 0 744 1003 980 4.30/0.84 c 33 1291 80710 10199 0 0 77 77 38 4.30/0.85 c 32 1115 82501 9024 0 0 302 1001 932 5.10/0.91 c 64 1410 87816 14259 0 0 59 63 59 5.10/0.92 c 65 1455 90655 14761 0 0 45 45 22 5.10/0.94 c 101 1369 106467 12051 0 0 988 1035 998 5.10/1.01 c 64 1269 104052 16511 0 0 138 167 155 5.96/1.02 c 66 1758 103716 18057 0 0 303 303 151 5.96/1.05 c 211 1926 125056 27146 0 0 60 78 68 5.96/1.09 c 67 2064 117076 21366 0 0 306 306 153 6.76/1.13 c 64 1982 125107 15646 0 0 93 185 124 6.76/1.16 c 211 1800 144056 25948 0 0 147 170 164 6.76/1.18 c 65 1452 128366 19865 0 0 183 183 91 6.76/1.19 c 33 2103 127312 14749 0 0 988 988 494 7.49/1.20 c 65 2118 134821 17738 0 0 136 136 68 7.49/1.23 c 211 2742 152984 19883 0 0 987 1019 1002 7.49/1.28 c 128 2552 147888 39359 0 0 301 314 303 8.31/1.32 c 332 2427 168311 43759 0 0 50 57 53 8.31/1.33 c 211 2040 177499 23284 0 0 245 383 367 8.31/1.37 c 66 2324 156166 21305 0 0 206 206 103 8.31/1.37 c 129 2843 160493 42481 0 0 291 291 145 8.31/1.37 c 66 1636 155363 23285 0 0 184 184 92 9.09/1.45 c 130 3134 173139 45603 0 0 291 291 145 9.89/1.53 c 131 3421 185622 48702 0 0 287 287 143 9.89/1.54 c 67 2575 181858 25851 0 0 251 251 125 9.89/1.56 c 67 1825 180457 26580 0 0 189 189 94 9.89/1.56 c 332 3385 197300 26667 0 0 241 246 243 9.89/1.58 c 64 3191 180476 21924 0 0 979 996 960 10.69/1.60 c 332 2332 215173 37391 0 0 193 313 204 10.69/1.61 c 132 3708 198105 51804 0 0 287 287 143 10.69/1.62 c 65 3228 183898 22779 0 0 37 37 18 10.69/1.66 c 66 3279 188903 23749 0 0 51 51 25 10.69/1.70 c 133 3993 210612 54908 0 0 285 285 142 10.69/1.70 c 67 3327 194392 24813 0 0 48 48 24 11.57/1.77 c 134 4276 222981 57999 0 0 283 283 141 12.28/1.80 c 128 3048 220649 32428 0 0 228 261 233 12.28/1.80 c 465 3215 249648 59513 0 0 49 386 269 12.28/1.85 c 135 4556 235127 61054 0 0 280 280 140 12.28/1.88 c 128 2115 232953 34797 0 0 182 198 185 13.08/1.90 c 465 2917 266821 49316 0 0 300 324 313 13.08/1.96 c 465 4035 273881 36144 0 0 188 394 381 13.08/1.98 c 128 3728 239777 32902 0 0 142 283 265 13.08/1.99 c 129 3330 247090 36683 0 0 282 282 141 13.94/2.08 c 129 2337 259532 38244 0 0 222 222 111 14.74/2.13 c 129 3875 259811 36256 0 0 147 147 73 14.74/2.16 c 130 3918 263601 37223 0 0 43 43 21 14.74/2.19 c 130 3639 275236 41346 0 0 309 309 154 14.74/2.19 c 611 4018 315984 101041 0 0 50 141 105 15.47/2.22 c 611 3516 324588 62962 0 0 324 369 330 15.47/2.23 c 256 5253 289490 75996 0 0 277 326 296 15.47/2.27 c 257 5341 295775 77028 0 0 88 88 44 15.47/2.28 c 130 2567 287375 41929 0 0 230 230 115 15.47/2.29 c 332 4399 343342 41736 0 0 343 703 555 15.47/2.30 c 131 4057 282929 40612 0 0 139 139 69 16.27/2.32 c 258 5428 301993 78040 0 0 87 87 43 16.27/2.34 c 611 5037 348330 46868 0 0 488 514 504 16.27/2.37 c 131 3945 302581 45990 0 0 306 306 153 16.27/2.37 c 259 5539 309560 79245 0 0 111 111 55 17.07/2.43 c 260 5652 317218 80474 0 0 113 113 56 17.07/2.45 c 132 4241 305637 44347 0 0 184 184 92 17.07/2.47 c 131 2789 314142 45496 0 0 222 222 111 17.07/2.48 c 261 5761 324682 81678 0 0 109 109 54 17.07/2.48 c 132 4158 317282 49153 0 0 213 213 106 17.86/2.50 c 133 4295 311598 45483 0 0 54 54 27 17.86/2.53 c 262 5849 330988 82771 0 0 88 88 44 17.86/2.56 c 133 4349 327956 51934 0 0 191 191 95 17.86/2.58 c 263 5958 338455 83975 0 0 109 109 54 18.66/2.62 c 465 5171 400243 66343 0 0 263 270 264 18.66/2.64 c 132 2992 338173 48747 0 0 203 203 101 18.66/2.66 c 264 6106 349321 87702 0 0 148 148 74 18.66/2.66 c 134 4471 333773 49241 0 0 176 176 88 19.46/2.73 c 265 6254 360188 91429 0 0 148 148 74 19.46/2.76 c 134 4655 356310 56714 0 0 306 306 153 19.46/2.78 c 135 4595 349597 52136 0 0 124 124 62 19.46/2.79 c 771 4793 427342 113315 0 0 365 408 378 20.27/2.81 c 266 6401 370988 95155 0 0 147 147 73 20.27/2.83 c 133 3204 363960 52054 0 0 212 212 106 20.27/2.85 c 135 4851 368366 59674 0 0 196 196 98 20.27/2.86 c 267 6489 377290 96232 0 0 88 88 44 20.27/2.89 c 771 4252 447061 81142 0 0 340 361 351 21.07/2.91 c 268 6573 383336 97254 0 0 84 84 42 21.07/2.95 c 269 6685 390974 98488 0 0 112 112 56 21.07/2.99 c 771 6116 472118 60163 0 0 262 563 551 21.93/3.02 c 134 3429 391058 55623 0 0 225 225 112 21.93/3.05 c 270 6833 401948 102253 0 0 148 148 74 22.73/3.12 c 271 6981 412959 106008 0 0 148 148 74 22.73/3.16 c 611 6371 506160 81533 0 0 321 632 605 22.73/3.17 c 256 5317 413646 65404 0 0 181 282 239 23.46/3.22 c 135 3662 419543 59365 0 0 233 233 116 23.46/3.24 c 257 5501 423272 67842 0 0 184 184 92 23.46/3.26 c 256 5465 443029 71118 0 0 284 321 298 25.06/3.44 c 257 5744 467790 75112 0 0 279 279 139 25.06/3.45 c 258 5828 452049 72356 0 0 327 327 163 25.06/3.47 c 947 4979 547249 99203 0 0 351 377 370 25.85/3.58 c First solution is found 25.85/3.58 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5. 25.85/3.58 c [pFactory][Group N°0] Thread N°0 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°1 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°2 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°3 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°4 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°5 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°6 is joined. 25.85/3.58 c [pFactory][Group N°0] Thread N°7 is joined. 25.85/3.58 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1) 25.85/3.58 s SATISFIABLE 25.85/3.58 c restarts : 17 25.85/3.58 c conflicts : 258 (10 /sec) 25.85/3.58 c decisions : 6063 (230 /sec) 25.85/3.58 c propagations : 75595 (2867 /sec) 25.85/3.58 c root propagations : 0 25.85/3.58 c filter calls : 469420 (17801 /sec) 25.85/3.58 c useless filter calls : 455629 (97 %) 25.85/3.58 c Memory used : 644.40 MB 25.85/3.58 c CPU time : 26.3703 s 25.85/3.58 c real time : 3.58224 s 25.85/3.58 25.85/3.58 c solution 1 25.85/3.58 25.85/3.58 v <instantiation type='solution'> 25.85/3.58 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> 25.85/3.58 v <values>5 2 4 19 12 5 4 6 4 2 16 15 11 18 2 15 20 5 2 10 2 21 4 16 2 5 21 2 9 2 5 7 3 5 2 5 8 11 4 16 5 5 12 20 0 2 15 7 15 6 5 3 21 15 16 2 0 7 5 15 2 4 11 12 5 6 4 5 7 2 5 16 2 5 10 11 7 3 16 15 2 4 2 14 15 5 11 2 7 15 20 11 2 14 5 15 6 15 1 15 16 11 15 19 5 12 16 4 2 2 5 7 5 5 15 20 15 1 15 11 15 20 5 2 16 4 7 16 0 5 6 4 5 10 11 5 7 13 5 4 2 21 16 5 11 16 3 21 4 16 11 2 5 7 5 5 2 2 9 5 7 3 16 2 5 4 16 3 5 17 7 4 11 16 11 7 10 2 5 4 2 18 5 2 5 5 2 5 21 2 5 5 2 5 21 2 5 5 2 21 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 </values> 25.85/3.58 v </instantiation> 25.85/3.58
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 (14573 MiB free) memory of node 1: 16384 MiB (15150 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398036-1568605309/watcher-4398036-1568605309 -o /tmp/evaluation-result-4398036-1568605309/solver-4398036-1568605309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568593558-10655 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398036-1568605309.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 Current StackSize limit: 8192 KiB solver pid=12784, runsolver pid=12781 [startup+0.100136 s]* /proc/loadavg: 5.66 4.58 5.81 2/191 12785 /proc/meminfo: memFree=30392368/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=75524 memory=51856 CPUtime=0.1 cores=0-7 /proc/12784/stat : 12784 (cosoco) R 12781 12784 10628 0 -1 4202496 13164 0 0 0 9 1 0 0 20 0 1 0 436785410 77336576 12964 33554432000 4194304 6211092 140735510161920 140735510158456 140576126118885 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 18881 12964 849 493 0 12186 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 75524 KiB Current children cumulated memory: 51856 KiB [startup+0.208757 s]* /proc/loadavg: 5.66 4.58 5.81 2/191 12785 /proc/meminfo: memFree=30372900/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=91968 memory=68432 CPUtime=0.2 cores=0-7 /proc/12784/stat : 12784 (cosoco) R 12781 12784 10628 0 -1 4202496 17296 0 0 0 19 1 0 0 20 0 1 0 436785410 94175232 17108 33554432000 4194304 6211092 140735510161920 140735510158456 140576126118885 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 22992 17108 849 493 0 16297 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 91968 KiB Current children cumulated memory: 68432 KiB [startup+0.309128 s]* /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30360744/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=79764 CPUtime=0.52 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 20347 0 0 0 50 2 0 0 20 0 9 0 436785410 709267456 19941 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 19941 891 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=8317482817917895235 CPUtime=0.03 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576119016824 5155348 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=4126316290023845779 CPUtime=0.03 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 42 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576110624120 5158176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=0 CPUtime=0.03 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 82 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576102231648 140576126114622 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=6944656592455359580 CPUtime=0.03 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576093838944 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=6656426216303648864 CPUtime=0.03 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 58 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576085445336 5409364 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=0 CPUtime=0.03 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 42 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576077053536 140576126114622 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=0 CPUtime=0.03 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140735510158456 140576126118885 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=0 CPUtime=0.02 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 9 0 436785439 709267456 19941 33554432000 4194304 6211092 140735510161920 140576060267896 5392081 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 79764 KiB [startup+0.701128 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30344084/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=111416 CPUtime=3.5 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 28265 0 0 0 346 4 0 0 20 0 9 0 436785410 709267456 27854 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 27854 900 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=1760 CPUtime=0.4 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 959 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576119016200 5155345 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=111632 CPUtime=0.4 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 1074 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576110623528 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=800 CPUtime=0.4 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 1092 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576102230744 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=1804 CPUtime=0.4 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 761 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576093838432 5156256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=916 CPUtime=0.4 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 1077 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576085445224 5155517 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=-7175204567652784766 CPUtime=0.4 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 1242 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576077052632 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=3054156605268465310 CPUtime=0.4 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 1007 0 0 0 40 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576068660008 5250251 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=1408 CPUtime=0.37 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 1014 0 0 0 37 0 0 0 20 0 9 0 436785439 709267456 27854 33554432000 4194304 6211092 140735510161920 140576060267224 5155353 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 3.5 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 111416 KiB [startup+1.50112 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30329792/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=115396 CPUtime=9.89 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 49314 0 0 0 977 12 0 0 20 0 9 0 436785410 709267456 28849 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 28849 901 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=289268076 CPUtime=1.2 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 3619 0 0 0 118 2 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576119016544 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=0 CPUtime=1.2 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 3491 0 0 0 120 0 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576110623840 5136283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=0 CPUtime=1.2 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 4809 0 0 0 119 1 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576102231136 5250453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=195064529708004 CPUtime=1.2 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 3991 0 0 0 120 0 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576093838432 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=280347011404832 CPUtime=1.19 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 4145 0 0 0 119 0 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576085445416 5136256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=195067482487975 CPUtime=1.19 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 3414 0 0 0 118 1 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576077053024 5250450 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=195064529708008 CPUtime=1.19 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 2746 0 0 0 118 1 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576068660320 5156256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=195064529708009 CPUtime=1.16 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 3060 0 0 0 115 1 0 0 20 0 9 0 436785439 709267456 28849 33554432000 4194304 6211092 140735510161920 140576060267616 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 9.89 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 115396 KiB [startup+3.11013 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30324844/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=116692 CPUtime=22.73 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 54147 0 0 0 2259 14 0 0 20 0 9 0 436785410 709267456 29173 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 29173 901 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=33 CPUtime=2.81 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 4216 0 0 0 279 2 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576119016544 5250284 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=0 CPUtime=2.8 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 4735 0 0 0 280 0 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576110623840 5250287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=5859853075905800022 CPUtime=2.8 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 5558 0 0 0 279 1 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576102231136 5155341 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=111680 CPUtime=2.81 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 4253 0 0 0 281 0 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576093838432 5155345 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=79764 CPUtime=2.8 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 4676 0 0 0 280 0 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576085445728 5155345 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=57 CPUtime=2.81 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 3697 0 0 0 279 2 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576077053024 5250463 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=0 CPUtime=2.81 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 3693 0 0 0 279 2 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576068660008 5158176 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=4049353029293650226 CPUtime=2.74 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 3280 0 0 0 273 1 0 0 20 0 9 0 436785439 709267456 29173 33554432000 4194304 6211092 140735510161920 140576060267616 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 22.73 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 116692 KiB [startup+3.59693 s] # the end of solver process 12784 was just reported to runsolver # cumulated CPU time of all completed processes: user=26.3709 s, system=0.170856 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20113 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30324844/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=116776 CPUtime=23.46 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 54166 0 0 0 2332 14 0 0 20 0 9 0 436785410 709267456 29194 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 29194 901 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=0 CPUtime=2.9 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 4226 0 0 0 288 2 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576119016544 5250293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=3472328296227717777 CPUtime=2.89 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 4738 0 0 0 289 0 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576110623840 5155345 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=0 CPUtime=2.89 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 5558 0 0 0 288 1 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576102231136 5155655 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=0 CPUtime=2.9 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 4253 0 0 0 290 0 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576093838432 5156497 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=288230377007612190 CPUtime=2.89 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 4677 0 0 0 289 0 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576085445728 5155345 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=288289965484541250 CPUtime=2.9 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 3700 0 0 0 288 2 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576077053024 5156936 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=0 CPUtime=2.9 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 3695 0 0 0 288 2 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576068660008 5155500 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=-3253322038155611931 CPUtime=2.83 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 3280 0 0 0 282 1 0 0 20 0 9 0 436785439 709267456 29194 33554432000 4194304 6211092 140735510161920 140576060267616 5156256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 23.46 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 116776 KiB [startup+3.40112 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30324844/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=117232 CPUtime=25.06 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 68588 0 0 0 2491 15 0 0 20 0 9 0 436785410 709267456 29308 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 29308 901 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=6944656592387989600 CPUtime=3.1 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 5142 0 0 0 308 2 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576119016544 5156465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=6944656592455360604 CPUtime=3.09 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 6195 0 0 0 309 0 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576110623840 5397429 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=33 CPUtime=3.09 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 8048 0 0 0 308 1 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576102231136 5186224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=8443538352883892301 CPUtime=3.1 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 7211 0 0 0 310 0 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576093838432 5397368 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=288287757804241702 CPUtime=3.09 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 6723 0 0 0 309 0 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576085445728 5008940 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=0 CPUtime=3.1 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 5829 0 0 0 308 2 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576077053024 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=-1807685287725067907 CPUtime=3.1 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 5242 0 0 0 308 2 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576068659928 5035232 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=6656426216303648864 CPUtime=3.03 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 4159 0 0 0 302 1 0 0 20 0 9 0 436785439 709267456 29308 33554432000 4194304 6211092 140735510161920 140576060267616 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 25.06 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 117232 KiB [startup+3.50112 s] /proc/loadavg: 5.66 4.58 5.81 9/199 12794 /proc/meminfo: memFree=30324844/32770624 swapFree=66999368/67108860 [pid=12784] ppid=12781 vsize=692644 memory=117336 CPUtime=25.85 cores=0-7 /proc/12784/stat : 12784 (cosoco) S 12781 12784 10628 0 -1 1077944320 73005 0 0 0 2570 15 0 0 20 0 9 0 436785410 709267456 29334 33554432000 4194304 6211092 140735510161920 140735510160176 140576142159607 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 /proc/12784/statm: 173161 29334 901 493 0 166466 0 [pid=12784/tid=12786] ppid=12781 vsize=692644 memory=117220 CPUtime=3.2 cores=0-7 /proc/12784/task/12786/stat : 12786 (cosoco) R 12781 12784 10628 0 -1 4202560 6546 0 0 0 318 2 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576119016544 5155952 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12787] ppid=12781 vsize=692644 memory=0 CPUtime=3.19 cores=0-7 /proc/12784/task/12787/stat : 12787 (cosoco) R 12781 12784 10628 0 -1 4202560 6963 0 0 0 319 0 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576110623840 140576126112274 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12788] ppid=12781 vsize=692644 memory=5859853075905800022 CPUtime=3.19 cores=0-7 /proc/12784/task/12788/stat : 12788 (cosoco) R 12781 12784 10628 0 -1 4202560 8483 0 0 0 318 1 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576102231136 5158128 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12790] ppid=12781 vsize=692644 memory=57 CPUtime=3.2 cores=0-7 /proc/12784/task/12790/stat : 12790 (cosoco) R 12781 12784 10628 0 -1 4202560 7390 0 0 0 320 0 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576093838432 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12791] ppid=12781 vsize=692644 memory=0 CPUtime=3.19 cores=0-7 /proc/12784/task/12791/stat : 12791 (cosoco) R 12781 12784 10628 0 -1 4202560 7392 0 0 0 319 0 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576085445728 5156465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12792] ppid=12781 vsize=692644 memory=4049353029293650226 CPUtime=3.2 cores=0-7 /proc/12784/task/12792/stat : 12792 (cosoco) R 12781 12784 10628 0 -1 4202560 6146 0 0 0 318 2 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576077053024 5155345 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12793] ppid=12781 vsize=692644 memory=6935054825532540783 CPUtime=3.2 cores=0-7 /proc/12784/task/12793/stat : 12793 (cosoco) R 12781 12784 10628 0 -1 4202560 5311 0 0 0 318 2 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576068659928 5156465 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 [pid=12784/tid=12794] ppid=12781 vsize=692644 memory=6944656592455097440 CPUtime=3.13 cores=0-7 /proc/12784/task/12794/stat : 12794 (cosoco) R 12781 12784 10628 0 -1 4202560 4743 0 0 0 312 1 0 0 20 0 9 0 436785439 709267456 29334 33554432000 4194304 6211092 140735510161920 140576060267616 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38690816 140735510164497 140735510164589 140735510164589 140735510167502 0 Current children cumulated CPU time: 25.85 s Current children cumulated vsize: 692644 KiB Current children cumulated memory: 117336 KiB Child status: 0 Real time (s): 3.59699 CPU time (s): 26.5417 CPU user time (s): 26.3709 CPU system time (s): 0.170856 CPU usage (%): 737.886 Max. virtual memory (cumulated for all children) (KiB): 692644 Max. memory (cumulated for all children) (KiB): 117336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.3709 system time used= 0.170856 maximum resident set size= 118076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74793 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= 730 involuntary context switches= 307 # summary of solver processes directly reported to runsolver: # pid: 12784 # total CPU time (s): 26.5417 # total CPU user time (s): 26.3709 # total CPU system time (s): 0.170856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035624 second user time and 0.077439 second system time The end
Begin job on node106 at 2019-09-16 04:40:30 IDJOB=4398036 IDBENCH=128079 IDSOLVER=2851 FILE ID=node106/4398036-1568605309 RUNJOBID= node106-1568593558-10655 PBS_JOBID= 21703403 Free space on /tmp= 59112 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-08.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398036-1568605309/watcher-4398036-1568605309 -o /tmp/evaluation-result-4398036-1568605309/solver-4398036-1568605309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568593558-10655 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398036-1568605309.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6 RANDOM SEED=342315367 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30437760 kB MemAvailable: 31892680 kB Buffers: 210068 kB Cached: 1534660 kB SwapCached: 8016 kB Active: 488000 kB Inactive: 1269304 kB Active(anon): 12992 kB Inactive(anon): 43348 kB Active(file): 475008 kB Inactive(file): 1225956 kB Unevictable: 106856 kB Mlocked: 106856 kB SwapTotal: 67108860 kB SwapFree: 66999368 kB Dirty: 3204 kB Writeback: 0 kB AnonPages: 136660 kB Mapped: 42112 kB Shmem: 35148 kB Slab: 169176 kB SReclaimable: 139580 kB SUnreclaim: 29596 kB KernelStack: 3712 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59108 MiB End job on node106 at 2019-09-16 04:40:34