| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 26.5802 | 3.60796 |
| 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.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c This is cosoco 2.00 -- 0.21/0.29 c 0.21/0.29 c command line: cosoco -model -nbcores=8 HOME/instance-4409296-1569827675.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..22 0.21/0.29 c | 0.21/0.29 c | Constraints: 1422 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: 22 0.21/0.29 c | Extension: 200 (nb tuples: 22..22) -- (shared: 1592) 0.21/0.29 c | Sum: 1200 0.21/0.29 c | 0.21/0.29 c ========================================================================================================= 0.21/0.29 c Parallel mode: Portfolio 0.21/0.29 c [pFactory][Group N°0] created (threads:8). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.29 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] task 7 launched on thread 1. 0.21/0.29 c [pFactory][Group N°0] task 6 launched on thread 0. 0.21/0.29 c [pFactory][Group N°0] task 5 launched on thread 2. 0.21/0.29 c [pFactory][Group N°0] task 4 launched on thread 6. 0.21/0.29 c [pFactory][Group N°0] task 3 launched on thread 7. 0.21/0.29 c [pFactory][Group N°0] task 2 launched on thread 5. 0.21/0.29 c [pFactory][Group N°0] task 1 launched on thread 3. 0.21/0.29 c [pFactory][Group N°0] task 0 launched on thread 4. 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 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.83/0.62 c 32 930 46282 7874 0 0 819 838 806 3.52/0.74 c 32 1156 70045 9360 0 0 715 1003 919 3.52/0.75 c 32 1214 65849 7640 0 0 865 1096 1038 3.52/0.76 c 101 1412 75451 9893 0 0 925 1020 951 3.52/0.78 c 33 1238 74620 10292 0 0 82 82 41 3.52/0.79 c 101 1431 83312 15087 0 0 959 987 958 4.32/0.80 c 33 1059 69574 11033 0 0 129 129 64 4.32/0.83 c 101 1454 89557 13878 0 0 744 1003 980 4.32/0.85 c 32 1115 82501 9024 0 0 302 1001 932 4.32/0.86 c 64 1410 87816 14259 0 0 59 63 59 4.32/0.87 c 33 1291 80710 10199 0 0 77 77 38 4.32/0.88 c 65 1455 90655 14761 0 0 45 45 22 5.12/0.93 c 101 1369 106467 12051 0 0 988 1035 998 5.12/0.95 c 66 1758 103716 18057 0 0 303 303 151 5.99/1.02 c 64 1269 104052 16511 0 0 138 167 155 5.99/1.04 c 67 2064 117076 21366 0 0 306 306 153 5.99/1.05 c 211 1926 125056 27146 0 0 60 78 68 6.80/1.15 c 211 1800 144056 25948 0 0 147 170 164 6.80/1.17 c 64 1982 125107 15646 0 0 93 185 124 7.52/1.20 c 33 2103 127312 14749 0 0 988 988 494 7.52/1.20 c 65 1452 128366 19865 0 0 183 183 91 7.52/1.22 c 128 2552 147888 39359 0 0 301 314 303 7.52/1.24 c 65 2118 134821 17738 0 0 136 136 68 7.52/1.25 c 211 2742 152984 19883 0 0 987 1019 1002 8.34/1.30 c 129 2843 160493 42481 0 0 291 291 145 8.34/1.32 c 211 2040 177499 23284 0 0 245 383 367 8.34/1.33 c 332 2427 168311 43759 0 0 50 57 53 8.34/1.39 c 130 3134 173139 45603 0 0 291 291 145 9.11/1.41 c 66 2324 156166 21305 0 0 206 206 103 9.11/1.41 c 66 1636 155363 23285 0 0 184 184 92 9.11/1.47 c 131 3421 185622 48702 0 0 287 287 143 9.91/1.55 c 132 3708 198105 51804 0 0 287 287 143 9.91/1.58 c 67 2575 181858 25851 0 0 251 251 125 9.91/1.58 c 332 2332 215173 37391 0 0 193 313 204 9.91/1.59 c 67 1825 180457 26580 0 0 189 189 94 9.91/1.60 c 332 3385 197300 26667 0 0 241 246 243 10.71/1.60 c 64 3191 180476 21924 0 0 979 996 960 10.71/1.63 c 133 3993 210612 54908 0 0 285 285 142 10.71/1.64 c 65 3228 183898 22779 0 0 37 37 18 10.71/1.68 c 66 3279 188903 23749 0 0 51 51 25 11.51/1.71 c 134 4276 222981 57999 0 0 283 283 141 11.51/1.73 c 67 3327 194392 24813 0 0 48 48 24 11.51/1.79 c 135 4556 235127 61054 0 0 280 280 140 12.31/1.82 c 465 3215 249648 59513 0 0 49 386 269 12.31/1.84 c 128 3048 220649 32428 0 0 228 261 233 12.31/1.88 c 465 2917 266821 49316 0 0 300 324 313 13.10/1.93 c 128 2115 232953 34797 0 0 182 198 185 13.10/2.00 c 128 3728 239777 32902 0 0 142 283 265 13.97/2.01 c 465 4035 273881 36144 0 0 188 394 381 13.97/2.04 c 129 3330 247090 36683 0 0 282 282 141 14.77/2.13 c 129 2337 259532 38244 0 0 222 222 111 14.77/2.14 c 256 5253 289490 75996 0 0 277 326 296 14.77/2.15 c 129 3875 259811 36256 0 0 147 147 73 14.77/2.18 c 130 3918 263601 37223 0 0 43 43 21 15.49/2.20 c 257 5341 295775 77028 0 0 88 88 44 15.49/2.20 c 611 3516 324588 62962 0 0 324 369 330 15.49/2.22 c 611 4018 315984 101041 0 0 50 141 105 15.49/2.23 c 258 5428 301993 78040 0 0 87 87 43 15.49/2.25 c 130 3639 275236 41346 0 0 309 309 154 15.49/2.29 c 259 5539 309560 79245 0 0 111 111 55 15.49/2.30 c 332 4399 343342 41736 0 0 343 703 555 16.29/2.31 c 131 4057 282929 40612 0 0 139 139 69 16.29/2.33 c 130 2567 287375 41929 0 0 230 230 115 16.29/2.34 c 260 5652 317218 80474 0 0 113 113 56 16.29/2.39 c 261 5761 324682 81678 0 0 109 109 54 17.09/2.40 c 611 5037 348330 46868 0 0 488 514 504 17.09/2.44 c 131 3945 302581 45990 0 0 306 306 153 17.09/2.44 c 262 5849 330988 82771 0 0 88 88 44 17.09/2.47 c 132 4241 305637 44347 0 0 184 184 92 17.09/2.50 c 263 5958 338455 83975 0 0 109 109 54 17.88/2.52 c 133 4295 311598 45483 0 0 54 54 27 17.88/2.52 c 131 2789 314142 45496 0 0 222 222 111 17.88/2.55 c 132 4158 317282 49153 0 0 213 213 106 17.88/2.57 c 264 6106 349321 87702 0 0 148 148 74 18.66/2.61 c 465 5171 400243 66343 0 0 263 270 264 18.66/2.62 c 133 4349 327956 51934 0 0 191 191 95 18.66/2.64 c 265 6254 360188 91429 0 0 148 148 74 18.66/2.67 c 134 4471 333773 49241 0 0 176 176 88 18.66/2.70 c 132 2992 338173 48747 0 0 203 203 101 19.46/2.71 c 266 6401 370988 95155 0 0 147 147 73 19.46/2.75 c 267 6489 377290 96232 0 0 88 88 44 19.46/2.77 c 135 4595 349597 52136 0 0 124 124 62 19.46/2.79 c 268 6573 383336 97254 0 0 84 84 42 20.23/2.81 c 771 4793 427342 113315 0 0 365 408 378 20.23/2.82 c 134 4655 356310 56714 0 0 306 306 153 20.23/2.84 c 269 6685 390974 98488 0 0 112 112 56 20.23/2.84 c 771 4252 447061 81142 0 0 340 361 351 20.23/2.87 c 133 3204 363960 52054 0 0 212 212 106 21.03/2.90 c 135 4851 368366 59674 0 0 196 196 98 21.03/2.90 c 270 6833 401948 102253 0 0 148 148 74 21.03/2.97 c 271 6981 412959 106008 0 0 148 148 74 21.89/3.04 c 771 6116 472118 60163 0 0 262 563 551 21.89/3.06 c 134 3429 391058 55623 0 0 225 225 112 22.70/3.11 c 611 6371 506160 81533 0 0 321 632 605 22.70/3.11 c 256 5317 413646 65404 0 0 181 282 239 22.70/3.18 c 257 5501 423272 67842 0 0 184 184 92 23.42/3.24 c 135 3662 419543 59365 0 0 233 233 116 23.42/3.29 c 256 5465 443029 71118 0 0 284 321 298 24.27/3.36 c 947 4979 547249 99203 0 0 351 377 370 24.27/3.36 c 258 5828 452049 72356 0 0 327 327 163 25.01/3.45 c 512 8316 499401 132196 0 0 147 366 303 25.01/3.47 c 257 5744 467790 75112 0 0 279 279 139 25.01/3.47 c 513 8368 502595 132764 0 0 52 52 26 25.01/3.49 c 514 8419 505752 133335 0 0 51 51 25 25.81/3.51 c 515 8482 509477 134030 0 0 63 63 31 25.81/3.51 c 259 6103 475078 76151 0 0 275 275 137 25.81/3.53 c 516 8543 513159 134745 0 0 61 61 30 25.81/3.55 c 517 8589 516003 135240 0 0 46 46 23 25.81/3.56 c 518 8632 518714 135718 0 0 43 43 21 25.81/3.58 c 519 8686 522042 136401 0 0 54 54 27 25.81/3.59 c First solution is found 25.81/3.59 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5. 25.81/3.59 c [pFactory][Group N°0] Thread N°0 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°1 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°2 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°3 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°4 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°5 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°6 is joined. 25.81/3.59 c [pFactory][Group N°0] Thread N°7 is joined. 25.81/3.59 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 25.81/3.59 s SATISFIABLE 25.81/3.59 c restarts : 18 25.81/3.59 c conflicts : 259 (10 /sec) 25.81/3.59 c decisions : 6309 (239 /sec) 25.81/3.59 c propagations : 78725 (2981 /sec) 25.81/3.59 c root propagations : 0 25.81/3.59 c filter calls : 486426 (18417 /sec) 25.81/3.59 c useless filter calls : 472127 (97 %) 25.81/3.59 c Memory used : 644.40 MB 25.81/3.59 c CPU time : 26.4117 s 25.81/3.59 c real time : 3.59449 s 25.81/3.59 25.81/3.59 c solution 1 25.81/3.59 25.81/3.59 v <instantiation type='solution'> 25.81/3.59 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.81/3.59 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.81/3.59 v </instantiation> 25.81/3.59
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 (15156 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-4409296-1569827675/watcher-4409296-1569827675 -o /tmp/evaluation-result-4409296-1569827675/solver-4409296-1569827675 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409296-1569827675.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=15716, runsolver pid=15713
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 7.46 8.10 8.22 2/196 15717
/proc/meminfo: memFree=31468312/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=77072 memory=53540 CPUtime=0.1 cores=0-7
/proc/15716/stat : 15716 (cosoco) R 15713 15716 15429 0 -1 4202496 13557 0 0 0 8 2 0 0 20 0 1 0 559006978 78921728 13385 33554432000 4194304 6211132 140725889719120 140725889715656 139757258693605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 19268 13385 849 493 0 12573 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77072 KiB
Current children cumulated memory: 53540 KiB
[startup+0.209662 s]*
/proc/loadavg: 7.46 8.10 8.22 2/196 15717
/proc/meminfo: memFree=31449712/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=92628 memory=69096 CPUtime=0.21 cores=0-7
/proc/15716/stat : 15716 (cosoco) R 15713 15716 15429 0 -1 4202496 17438 0 0 0 18 3 0 0 20 0 1 0 559006978 94851072 17274 33554432000 4194304 6211132 140725889719120 140725889715656 139757258693605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 23157 17274 849 493 0 16462 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92628 KiB
Current children cumulated memory: 69096 KiB
[startup+0.309734 s]*
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31437620/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=79628 CPUtime=0.55 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 20384 0 0 0 52 3 0 0 20 0 9 0 559006978 709267456 19907 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 19907 878 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=6935054825532540783 CPUtime=0.03 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757251591776 139757258693605 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=4872558044660077418 CPUtime=0.03 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757243198840 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=0 CPUtime=0.03 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757234806368 139757258689342 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=0 CPUtime=0.02 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757226413432 5156492 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=6656426216303648864 CPUtime=0.03 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 61 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757218020056 5136338 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=0 CPUtime=0.03 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757209628256 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=0 CPUtime=0.03 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 87 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757201235552 5250316 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=0 CPUtime=0.03 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 9 0 559007006 709267456 19907 33554432000 4194304 6211132 140725889719120 139757192842616 139757258693605 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 79628 KiB
[startup+0.700741 s]
/proc/loadavg: 7.46 8.10 8.22 7/204 15725
/proc/meminfo: memFree=31423580/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=110752 CPUtime=3.52 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 28122 0 0 0 347 5 0 0 20 0 9 0 559006978 709267456 27688 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 27688 887 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=2508 CPUtime=0.4 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 963 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757251590920 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=1768 CPUtime=0.4 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 1012 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757243198088 5155711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=111628 CPUtime=0.4 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 1069 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757234805544 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=804 CPUtime=0.38 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 1083 0 0 0 38 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757226412840 5250330 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=1644 CPUtime=0.4 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 1077 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757218019944 5155373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=7100839861465685612 CPUtime=0.4 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 761 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757209627744 5156912 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=-7175204567652784766 CPUtime=0.4 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 1092 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757201234696 5155519 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=3054156605268465310 CPUtime=0.4 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 1026 0 0 0 40 0 0 0 20 0 9 0 559007006 709267456 27688 33554432000 4194304 6211132 140725889719120 139757192842024 5250499 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 110752 KiB
[startup+1.50074 s]
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31407128/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=115252 CPUtime=9.91 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 49444 0 0 0 978 13 0 0 20 0 9 0 559006978 709267456 28813 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 28813 888 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=6943526294502006880 CPUtime=1.2 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 3572 0 0 0 119 1 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757251591264 5155703 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=0 CPUtime=1.2 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 3098 0 0 0 120 0 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757243198560 5156484 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=0 CPUtime=1.2 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 4451 0 0 0 119 1 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757234805856 5193776 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=7738995478182385777 CPUtime=1.17 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 3512 0 0 0 117 0 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757226413152 5155373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=5787220424133923424 CPUtime=1.19 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 3509 0 0 0 118 1 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757218020008 5250491 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=0 CPUtime=1.2 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 4218 0 0 0 120 0 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757209627744 5397400 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=0 CPUtime=1.2 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 4174 0 0 0 118 2 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757201235040 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=7598824234097836114 CPUtime=1.2 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 2871 0 0 0 119 1 0 0 20 0 9 0 559007006 709267456 28813 33554432000 4194304 6211132 140725889719120 139757192842336 5250330 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 115252 KiB
[startup+3.11074 s]
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31401640/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=116724 CPUtime=22.7 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 54159 0 0 0 2256 14 0 0 20 0 9 0 559006978 709267456 29181 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 29181 888 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=56 CPUtime=2.8 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 4243 0 0 0 279 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757251591264 5155385 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=0 CPUtime=2.79 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 4100 0 0 0 279 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757243198168 5156272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=0 CPUtime=2.8 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 5353 0 0 0 279 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757234805856 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=0 CPUtime=2.75 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 3794 0 0 0 275 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757226413152 5155369 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=0 CPUtime=2.8 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 4078 0 0 0 279 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757218020448 5250266 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=207451215395535 CPUtime=2.8 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 4552 0 0 0 280 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757209627744 5156288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=0 CPUtime=2.8 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 4894 0 0 0 278 2 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757201234536 5250499 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=279936304990464 CPUtime=2.79 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 3106 0 0 0 278 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757192842336 5136343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 22.7 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 116724 KiB
[startup+3.60791 s]
# the end of solver process 15716 was just reported to runsolver
# cumulated CPU time of all completed processes: user=26.4124 s, system=0.167806 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20074 s]
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31401640/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=116724 CPUtime=23.42 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 54178 0 0 0 2328 14 0 0 20 0 9 0 559006978 709267456 29181 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 29181 888 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=1408 CPUtime=2.89 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 4243 0 0 0 288 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757251590792 5155543 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=2196 CPUtime=2.88 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 4103 0 0 0 288 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757243198248 5155377 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=6935054825532540783 CPUtime=2.89 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 5354 0 0 0 288 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757234805856 5250330 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=279936305276256 CPUtime=2.84 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 3804 0 0 0 284 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757226413152 5155380 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=279936305276320 CPUtime=2.89 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 4080 0 0 0 288 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757218020448 5136319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=279936305276384 CPUtime=2.89 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 4552 0 0 0 289 0 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757209627744 5250491 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=116028 CPUtime=2.89 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 4894 0 0 0 287 2 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757201235040 5155380 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=0 CPUtime=2.88 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 3109 0 0 0 287 1 0 0 20 0 9 0 559007006 709267456 29181 33554432000 4194304 6211132 140725889719120 139757192842336 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 23.42 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 116724 KiB
[startup+3.40074 s]
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31401640/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=117096 CPUtime=25.01 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 66781 0 0 0 2486 15 0 0 20 0 9 0 559006978 709267456 29274 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 29274 888 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=6656426216303648864 CPUtime=3.09 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 6474 0 0 0 308 1 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757251591264 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=0 CPUtime=3.08 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 5285 0 0 0 308 0 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757243198168 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=6935054825532540783 CPUtime=3.09 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 6106 0 0 0 308 1 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757234805384 5008912 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=48 CPUtime=3.03 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 5595 0 0 0 303 0 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757226413152 5155377 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=50 CPUtime=3.09 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 6252 0 0 0 308 1 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757218020448 5155752 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=50 CPUtime=3.09 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 7045 0 0 0 309 0 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757209627744 5397400 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=50 CPUtime=3.09 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 6179 0 0 0 307 2 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757201235040 5155984 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=50 CPUtime=3.09 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 3823 0 0 0 307 2 0 0 20 0 9 0 559007006 709267456 29274 33554432000 4194304 6211132 140725889719120 139757192842336 5156497 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 117096 KiB
[startup+3.50073 s]
/proc/loadavg: 7.46 8.10 8.22 9/204 15725
/proc/meminfo: memFree=31401640/32770624 swapFree=66967820/67108860
[pid=15716] ppid=15713 vsize=692644 memory=117132 CPUtime=25.81 cores=0-7
/proc/15716/stat : 15716 (cosoco) S 15713 15716 15429 0 -1 1077944320 69564 0 0 0 2566 15 0 0 20 0 9 0 559006978 709267456 29283 33554432000 4194304 6211132 140725889719120 140725889717376 139757274734327 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
/proc/15716/statm: 173161 29283 888 493 0 166466 0
[pid=15716/tid=15718] ppid=15713 vsize=692644 memory=56 CPUtime=3.19 cores=0-7
/proc/15716/task/15718/stat : 15718 (cosoco) R 15713 15716 15429 0 -1 4202560 6960 0 0 0 318 1 0 0 20 0 9 0 559007006 709267456 29283 33554432000 4194304 6211132 140725889719120 139757251591264 5155390 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15719] ppid=15713 vsize=692644 memory=0 CPUtime=3.18 cores=0-7
/proc/15716/task/15719/stat : 15719 (cosoco) R 15713 15716 15429 0 -1 4202560 5345 0 0 0 318 0 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757243198168 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15720] ppid=15713 vsize=692644 memory=0 CPUtime=3.19 cores=0-7
/proc/15716/task/15720/stat : 15720 (cosoco) R 15713 15716 15429 0 -1 4202560 6666 0 0 0 318 1 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757234805384 5185376 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15721] ppid=15713 vsize=692644 memory=279936304990464 CPUtime=3.13 cores=0-7
/proc/15716/task/15721/stat : 15721 (cosoco) R 15713 15716 15429 0 -1 4202560 5656 0 0 0 313 0 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757226413152 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15722] ppid=15713 vsize=692644 memory=0 CPUtime=3.19 cores=0-7
/proc/15716/task/15722/stat : 15722 (cosoco) R 15713 15716 15429 0 -1 4202560 6280 0 0 0 318 1 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757218020448 5186256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15723] ppid=15713 vsize=692644 memory=0 CPUtime=3.19 cores=0-7
/proc/15716/task/15723/stat : 15723 (cosoco) R 15713 15716 15429 0 -1 4202560 7412 0 0 0 319 0 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757209627744 5155407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15724] ppid=15713 vsize=692644 memory=0 CPUtime=3.19 cores=0-7
/proc/15716/task/15724/stat : 15724 (cosoco) R 15713 15716 15429 0 -1 4202560 6398 0 0 0 317 2 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757201235040 5155377 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
[pid=15716/tid=15725] ppid=15713 vsize=692644 memory=207451215395535 CPUtime=3.19 cores=0-7
/proc/15716/task/15725/stat : 15725 (cosoco) R 15713 15716 15429 0 -1 4202560 4809 0 0 0 317 2 0 0 20 0 9 0 559007006 709267456 29288 33554432000 4194304 6211132 140725889719120 139757192842336 5155377 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20807680 140725889725457 140725889725549 140725889725549 140725889728462 0
Current children cumulated CPU time: 25.81 s
Current children cumulated vsize: 692644 KiB
Current children cumulated memory: 117132 KiB
Child status: 0
Real time (s): 3.60796
CPU time (s): 26.5802
CPU user time (s): 26.4124
CPU system time (s): 0.167806
CPU usage (%): 736.709
Max. virtual memory (cumulated for all children) (KiB): 692644
Max. memory (cumulated for all children) (KiB): 117132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4124
system time used= 0.167806
maximum resident set size= 118112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71674
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= 776
involuntary context switches= 367
# summary of solver processes directly reported to runsolver:
# pid: 15716
# total CPU time (s): 26.5802
# total CPU user time (s): 26.4124
# total CPU system time (s): 0.167806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045929 second user time and 0.074109 second system time
The end
Begin job on node133 at 2019-09-30 09:13:54 IDJOB=4409296 IDBENCH=128079 IDSOLVER=2877 FILE ID=node133/4409296-1569827675 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-70-08.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409296-1569827675/watcher-4409296-1569827675 -o /tmp/evaluation-result-4409296-1569827675/solver-4409296-1569827675 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1569827620-15456 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409296-1569827675.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6 RANDOM SEED=500817914 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: 31514072 kB MemAvailable: 31883304 kB Buffers: 59980 kB Cached: 608484 kB SwapCached: 22164 kB Active: 309452 kB Inactive: 383980 kB Active(anon): 5544 kB Inactive(anon): 64484 kB Active(file): 303908 kB Inactive(file): 319496 kB Unevictable: 108072 kB Mlocked: 108072 kB SwapTotal: 67108860 kB SwapFree: 66967820 kB Dirty: 3048 kB Writeback: 0 kB AnonPages: 113152 kB Mapped: 25508 kB Shmem: 36312 kB Slab: 152852 kB SReclaimable: 123328 kB SUnreclaim: 29524 kB KernelStack: 3488 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2019-09-30 09:13:58