| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 32.0065 | 4.28428 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-70-05.xml |
| MD5SUM | d843be5d5ecd152a475a61904cced3da |
| 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 | 31.7231 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1412 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 85 |
| 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":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}] |
| 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":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"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":1211},{"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.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-4409300-1569827671.xml 0.20/0.29 c ========================================[ Problem Statistics ]=========================================== 0.20/0.29 c | 0.20/0.29 c | Parse time : 0.26 s 0.20/0.29 c | 0.20/0.29 c | Variables: 1200 0.20/0.29 c | Domain Sizes: 2..24 0.20/0.29 c | 0.20/0.29 c | Constraints: 1435 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: 24 0.20/0.29 c | Extension: 200 (nb tuples: 24..24) -- (shared: 1592) 0.20/0.29 c | Sum: 1211 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 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 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 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 [pFactory][Group N°0] task 2 launched on thread 4. 0.20/0.30 c [pFactory][Group N°0] task 1 launched on thread 3. 0.20/0.30 c [pFactory][Group N°0] task 0 launched on thread 5. 0.20/0.30 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 0.20/0.31 c root propagations : 0 0.20/0.31 c restarts enabled, print stats at every restarts 0.20/0.31 c 0.20/0.31 c 0.20/0.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.80/0.65 c 32 952 51329 9383 0 0 851 885 851 2.80/0.67 c 32 957 59997 10383 0 0 848 866 829 2.80/0.69 c 32 987 59314 10437 0 0 860 886 846 3.52/0.73 c 33 1017 65760 11327 0 0 60 60 30 3.52/0.76 c 33 1080 68196 12197 0 0 93 93 46 3.52/0.78 c 32 1091 70979 8546 0 0 987 1004 963 3.52/0.79 c 33 1041 69174 12493 0 0 89 89 44 3.52/0.79 c 101 1307 76964 10380 0 0 1011 1034 1014 4.32/0.81 c 101 1308 91218 20911 0 0 805 964 934 4.32/0.86 c 101 1232 96574 22221 0 0 835 871 841 4.32/0.88 c 33 1144 83512 10968 0 0 53 53 26 5.11/0.91 c 101 1500 108643 15434 0 0 1031 1066 1037 5.11/0.96 c 64 1321 95659 18419 0 0 101 110 103 5.11/0.97 c 64 1211 97982 18750 0 0 62 72 65 5.11/0.98 c 211 1785 119862 54650 0 0 119 127 121 5.11/1.00 c 64 1292 109608 20794 0 0 72 184 165 5.11/1.00 c 65 1256 103075 19389 0 0 45 45 22 5.97/1.03 c 65 1401 103546 19542 0 0 80 80 40 5.97/1.04 c 66 1300 108234 20081 0 0 44 44 22 5.97/1.09 c 66 1479 111301 20638 0 0 78 78 39 5.97/1.09 c 67 1345 113798 20884 0 0 45 45 22 6.78/1.11 c 65 1396 124214 23857 0 0 104 104 52 6.78/1.13 c 64 1396 125469 18884 0 0 126 167 129 6.78/1.14 c 211 1632 136781 23286 0 0 48 163 156 6.78/1.15 c 67 1557 119016 21787 0 0 78 78 39 6.78/1.15 c 332 2289 151737 89165 0 0 119 126 121 7.50/1.22 c 66 1498 140020 27008 0 0 102 102 51 7.50/1.23 c 65 1492 137995 21916 0 0 96 96 48 8.34/1.31 c 211 1942 185147 26848 0 0 177 190 183 8.34/1.34 c 67 1601 155475 30082 0 0 103 103 51 8.34/1.35 c 66 1614 154305 25703 0 0 122 122 61 8.34/1.40 c 465 2860 189656 124622 0 0 112 126 118 9.11/1.45 c 211 1927 175796 47540 0 0 100 147 137 9.11/1.46 c 67 1711 169293 28719 0 0 97 97 48 9.11/1.47 c 332 2199 196679 35224 0 0 189 318 310 9.11/1.48 c 128 1997 165050 34670 0 0 79 145 132 9.89/1.53 c 128 2508 189768 32939 0 0 44 987 906 9.89/1.56 c 129 2107 175210 36238 0 0 110 110 55 9.89/1.59 c 129 2554 194990 33633 0 0 46 46 23 10.70/1.63 c 130 2598 200149 34325 0 0 44 44 22 10.70/1.64 c 130 2213 185084 37703 0 0 106 106 53 10.70/1.67 c 131 2642 205293 34988 0 0 44 44 22 10.70/1.67 c 611 3428 232904 161989 0 0 113 120 116 10.70/1.69 c 128 1992 207644 40740 0 0 59 184 101 11.50/1.71 c 132 2686 210513 35679 0 0 44 44 22 11.50/1.72 c 131 2323 195209 39273 0 0 110 110 55 11.50/1.75 c 133 2730 216214 36564 0 0 44 44 22 11.50/1.79 c 134 2774 221358 37227 0 0 44 44 22 12.29/1.80 c 132 2431 205265 40841 0 0 108 108 54 12.29/1.83 c 135 2818 226904 38044 0 0 44 44 22 12.29/1.87 c 133 2538 215348 42416 0 0 107 107 53 12.29/1.88 c 129 2274 239019 45814 0 0 282 282 141 13.09/1.95 c 134 2644 225230 43913 0 0 106 106 53 13.09/1.99 c 771 4054 288760 222463 0 0 113 122 116 13.09/1.99 c 332 3464 274865 65637 0 0 107 990 949 13.09/2.00 c 128 2583 245125 38909 0 0 100 234 141 13.95/2.01 c 130 2461 257888 49329 0 0 187 187 93 13.95/2.02 c 135 2751 235207 45378 0 0 107 107 53 13.95/2.03 c 332 2521 342605 40760 0 0 64 217 208 14.76/2.12 c 129 2784 261767 42228 0 0 201 201 100 14.76/2.13 c 465 3033 329175 51572 0 0 352 382 360 15.48/2.22 c 131 2789 292719 54793 0 0 328 328 164 15.48/2.25 c 130 2983 278212 45349 0 0 199 199 99 16.28/2.36 c 947 4730 357190 312716 0 0 110 123 116 16.28/2.36 c 132 2979 312070 58210 0 0 190 190 95 17.08/2.43 c 256 3519 334514 53167 0 0 44 407 338 17.08/2.47 c 131 3309 311673 50745 0 0 326 326 163 17.08/2.49 c 611 3706 398136 63360 0 0 241 399 390 17.91/2.50 c 257 3604 342771 54318 0 0 85 85 42 17.91/2.56 c 133 3309 345721 63794 0 0 330 330 165 17.91/2.58 c 258 3670 353514 57134 0 0 66 66 33 18.68/2.60 c 465 4216 390671 83504 0 0 338 378 366 18.68/2.64 c 259 3736 360167 58214 0 0 66 66 33 18.68/2.66 c 132 3582 338193 55267 0 0 273 273 136 18.68/2.66 c 256 4459 363571 67203 0 0 99 1035 981 19.48/2.70 c 260 3800 368437 60038 0 0 64 64 32 19.48/2.71 c 1140 5452 420575 392527 0 0 112 128 116 19.48/2.76 c 261 3864 376711 61864 0 0 64 64 32 19.48/2.77 c 134 3626 379153 69271 0 0 317 317 158 20.28/2.81 c 257 4828 385318 71140 0 0 369 369 184 20.28/2.84 c 771 4452 454988 72095 0 0 298 430 417 20.28/2.85 c 262 3928 387338 64667 0 0 64 64 32 20.28/2.88 c 133 3926 371517 60703 0 0 344 344 172 21.08/2.90 c 135 3813 396166 72478 0 0 187 187 93 21.08/2.91 c 263 4005 395095 65942 0 0 77 77 38 21.08/2.96 c 258 5202 407080 75105 0 0 374 374 187 21.08/2.97 c 264 4080 402405 67068 0 0 75 75 37 21.94/3.03 c 265 4155 409790 68220 0 0 75 75 37 21.94/3.05 c 1352 6224 479505 462371 0 0 111 124 116 21.94/3.09 c 266 4229 417091 69363 0 0 74 74 37 21.94/3.10 c 134 4261 403915 66041 0 0 335 335 167 21.94/3.11 c 259 5574 428811 79044 0 0 372 372 186 22.75/3.15 c 267 4295 425479 71197 0 0 66 66 33 23.48/3.22 c 268 4372 434612 73059 0 0 77 77 38 23.48/3.25 c 611 5077 522117 106473 0 0 389 398 389 23.48/3.25 c 260 5947 450540 82989 0 0 373 373 186 23.48/3.26 c 135 4505 426363 70253 0 0 244 244 122 24.27/3.31 c 269 4449 445924 75807 0 0 77 77 38 24.27/3.39 c 270 4526 455057 77669 0 0 77 77 38 25.06/3.40 c 261 6320 472177 86944 0 0 373 373 186 25.06/3.46 c 271 4603 464190 79531 0 0 77 77 38 25.06/3.48 c 1585 7126 561616 574977 0 0 112 122 116 25.87/3.53 c 256 4856 523063 90948 0 0 267 317 304 25.87/3.54 c 262 6693 493630 90919 0 0 373 373 186 26.74/3.64 c 257 5045 539342 94102 0 0 189 189 94 26.74/3.68 c 771 5767 605943 122453 0 0 392 401 393 26.74/3.69 c 263 7066 515017 94881 0 0 373 373 186 27.47/3.77 c 258 5241 556857 97251 0 0 196 196 98 27.47/3.79 c 465 6450 670355 63999 0 0 164 403 366 28.26/3.83 c 264 7438 536633 98973 0 0 372 372 186 29.06/3.90 c 259 5435 574531 100526 0 0 194 194 97 29.06/3.92 c 1841 8095 635065 652524 0 0 108 121 115 29.06/3.98 c 265 7810 558063 102923 0 0 372 372 186 29.92/4.01 c 947 5542 702570 93013 0 0 357 369 362 29.92/4.02 c 260 5610 589803 103131 0 0 175 175 87 30.73/4.12 c 266 8183 579525 106921 0 0 373 373 186 30.73/4.13 c 256 7535 591358 91614 0 0 342 538 453 30.73/4.15 c 261 5808 607865 106368 0 0 198 198 99 31.45/4.24 c 262 5952 619322 108312 0 0 144 144 72 31.45/4.26 c First solution is found 31.45/4.27 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 31.45/4.27 c [pFactory][Group N°0] Thread N°0 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°1 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°2 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°3 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°4 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°5 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°6 is joined. 31.45/4.27 c [pFactory][Group N°0] Thread N°7 is joined. 31.45/4.27 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 31.45/4.27 s SATISFIABLE 31.45/4.27 c restarts : 15 31.45/4.27 c conflicts : 256 (8 /sec) 31.45/4.27 c decisions : 7859 (247 /sec) 31.45/4.27 c propagations : 95233 (2991 /sec) 31.45/4.27 c root propagations : 0 31.45/4.27 c filter calls : 607958 (19096 /sec) 31.45/4.27 c useless filter calls : 592377 (97 %) 31.45/4.27 c Memory used : 645.32 MB 31.45/4.27 c CPU time : 31.8369 s 31.45/4.27 c real time : 4.26878 s 31.45/4.27 31.45/4.27 c solution 1 31.45/4.27 31.45/4.27 v <instantiation type='solution'> 31.45/4.27 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> 31.45/4.27 v <values>6 2 17 2 0 6 11 17 17 20 0 6 17 20 17 6 6 17 14 2 6 6 20 17 17 6 14 4 17 2 17 17 19 14 2 17 6 4 14 17 8 6 17 4 17 14 12 17 6 2 14 9 2 17 17 10 9 17 2 17 11 18 2 18 20 14 2 19 3 18 2 21 18 2 19 2 14 9 2 17 2 18 22 20 2 17 11 17 23 2 6 3 20 22 6 2 17 2 14 2 6 4 17 14 2 18 3 20 16 23 11 18 3 20 2 18 0 11 17 2 20 16 18 11 14 2 20 3 18 2 19 3 17 5 20 2 6 3 13 3 6 3 18 5 17 2 6 11 18 3 13 3 6 2 6 2 17 2 7 2 17 2 6 3 17 11 17 15 17 15 1 22 6 2 17 2 6 16 20 3 23 2 17 2 6 2 19 2 17 11 6 2 6 2 14 2 20 16 6 5 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 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 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 </values> 31.45/4.27 v </instantiation> 31.45/4.27
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 (15150 MiB free)
memory of node 1: 16384 MiB (15593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409300-1569827671/watcher-4409300-1569827671 -o /tmp/evaluation-result-4409300-1569827671/solver-4409300-1569827671 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409300-1569827671.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 Starting watchdog thread64
Linux Starting watchdog thread64
, stack expansion will f
solver pid=17379, runsolver pid=17376
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 3.37 2.20 4.45 2/191 17380
/proc/meminfo: memFree=31435456/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=77556 memory=54024 CPUtime=0.1 cores=0-7
/proc/17379/stat : 17379 (cosoco) R 17376 17379 16875 0 -1 4202496 13681 0 0 0 9 1 0 0 20 0 1 0 559022051 79417344 13506 33554432000 4194304 6211132 140726485930208 140726485926744 140203462088608 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 19389 13506 849 493 0 12694 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77556 KiB
Current children cumulated memory: 54024 KiB
[startup+0.208859 s]*
/proc/loadavg: 3.37 2.20 4.45 2/191 17380
/proc/meminfo: memFree=31418516/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=92108 memory=68560 CPUtime=0.2 cores=0-7
/proc/17379/stat : 17379 (cosoco) R 17376 17379 16875 0 -1 4202496 17327 0 0 0 19 1 0 0 20 0 1 0 559022051 94318592 17140 33554432000 4194304 6211132 140726485930208 140726485924232 140203462040549 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 23027 17140 849 493 0 16332 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92108 KiB
Current children cumulated memory: 68560 KiB
[startup+0.318567 s]*
/proc/loadavg: 3.37 2.20 4.45 9/199 17388
/proc/meminfo: memFree=31406168/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=80948 CPUtime=0.56 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 20711 0 0 0 54 2 0 0 20 0 9 0 559022051 710230016 20237 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 20237 882 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=8317482817917895235 CPUtime=0.04 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) D 17376 17379 16875 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203454937864 140203462516311 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=0 CPUtime=0.04 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) D 17376 17379 16875 0 -1 4202560 90 0 0 0 4 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203446545112 140203462516311 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=0 CPUtime=0.04 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 115 0 0 0 4 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203438152584 5413002 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=6655300316396806240 CPUtime=0.03 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) D 17376 17379 16875 0 -1 4202560 74 0 0 0 3 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203429759784 140203462516311 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=0 CPUtime=0.02 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203421367672 140203462040549 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=0 CPUtime=0.02 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) D 17376 17379 16875 0 -1 4202560 53 0 0 0 2 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203412974376 140203462516311 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=0 CPUtime=0.04 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203404582264 5409497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=0 CPUtime=0.03 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 9 0 559022079 710230016 20237 33554432000 4194304 6211132 140726485930208 140203396189560 5185140 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 80948 KiB
[startup+0.700569 s]
/proc/loadavg: 3.37 2.20 4.45 9/199 17388
/proc/meminfo: memFree=31391288/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=110232 CPUtime=3.52 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 27980 0 0 0 348 4 0 0 20 0 9 0 559022051 710230016 27558 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 27558 886 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=1724 CPUtime=0.4 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 774 0 0 0 40 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203454937896 5250497 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=8332 CPUtime=0.4 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 4202560 1225 0 0 0 40 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203446545064 5155390 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=4008 CPUtime=0.39 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 1137 0 0 0 39 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203438152296 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=1556 CPUtime=0.39 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 925 0 0 0 39 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203429760096 5155700 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=2832 CPUtime=0.39 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 835 0 0 0 39 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203421367080 5158208 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=140603171546751 CPUtime=0.39 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 1032 0 0 0 39 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203412974376 5250330 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=6154282490091891024 CPUtime=0.4 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 990 0 0 0 40 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203404581640 5155385 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=7007707949394126417 CPUtime=0.4 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 797 0 0 0 40 0 0 0 20 0 9 0 559022079 710230016 27558 33554432000 4194304 6211132 140726485930208 140203396188968 5155385 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 3.52 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 110232 KiB
[startup+1.50057 s]
/proc/loadavg: 3.37 2.20 4.45 9/199 17388
/proc/meminfo: memFree=31376780/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=113552 CPUtime=9.89 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 47368 0 0 0 978 11 0 0 20 0 9 0 559022051 710230016 28388 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 28388 887 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=0 CPUtime=1.2 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 2003 0 0 0 120 0 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203454938208 5155373 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=1760 CPUtime=1.2 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 12591168 4915 0 0 0 118 2 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203446545504 5155984 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=111632 CPUtime=1.17 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 4153 0 0 0 116 1 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203438152800 5155385 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=53156 CPUtime=1.19 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 3771 0 0 0 118 1 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203429760096 5155373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=281197549090720 CPUtime=1.19 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 2418 0 0 0 119 0 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203421367392 5157264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=140598774541808 CPUtime=1.19 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 3488 0 0 0 119 0 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203412974688 5186256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=6656426216303648864 CPUtime=1.2 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 2260 0 0 0 119 1 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203404581984 5157479 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=0 CPUtime=1.2 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 4107 0 0 0 120 0 0 0 20 0 9 0 559022079 710230016 28388 33554432000 4194304 6211132 140726485930208 140203396188888 5155373 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 113552 KiB
[startup+3.11057 s]
/proc/loadavg: 3.74 2.29 4.47 9/199 17388
/proc/meminfo: memFree=31370580/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=117836 CPUtime=22.75 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 53439 0 0 0 2261 14 0 0 20 0 9 0 559022051 710230016 29459 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 29459 887 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=0 CPUtime=2.81 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 3974 0 0 0 279 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203454938208 5035216 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=0 CPUtime=2.81 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 4202560 5086 0 0 0 279 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203446545504 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=0 CPUtime=2.76 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 4527 0 0 0 274 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203438152800 5155557 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=0 CPUtime=2.8 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 3979 0 0 0 279 1 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203429760096 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=0 CPUtime=2.79 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 4502 0 0 0 279 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203421367392 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=0 CPUtime=2.8 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 3858 0 0 0 280 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203412974688 5136343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=0 CPUtime=2.81 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 2340 0 0 0 280 1 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203404581984 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=0 CPUtime=2.81 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 4908 0 0 0 281 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203396189280 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 22.75 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 117836 KiB
[startup+4.28422 s]
# the end of solver process 17379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.8376 s, system=0.168918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20157 s]
/proc/loadavg: 3.74 2.29 4.47 9/199 17388
/proc/meminfo: memFree=31370580/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=117836 CPUtime=23.48 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 53444 0 0 0 2334 14 0 0 20 0 9 0 559022051 710230016 29459 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 29459 887 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=6944656592455360608 CPUtime=2.9 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 3974 0 0 0 288 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203454938208 5156497 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=-7812193691855986592 CPUtime=2.9 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 4202560 5086 0 0 0 288 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203446545504 5155543 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=-7812736537705029536 CPUtime=2.85 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 4527 0 0 0 283 2 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203438152800 5250491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=-7088785026379990432 CPUtime=2.89 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 3984 0 0 0 288 1 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203429759592 5155828 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=4206468019014099040 CPUtime=2.89 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 4502 0 0 0 289 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203421367392 5155377 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=110760 CPUtime=2.89 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 3858 0 0 0 289 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203412974688 5250266 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=7588684550706915689 CPUtime=2.9 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 2340 0 0 0 289 1 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203404581984 5156497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=6225218668253899112 CPUtime=2.9 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 4908 0 0 0 290 0 0 0 20 0 9 0 559022079 710230016 29459 33554432000 4194304 6211132 140726485930208 140203396189280 5155248 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 23.48 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 117836 KiB
[startup+4.00057 s]*
/proc/loadavg: 3.74 2.29 4.47 9/199 17388
/proc/meminfo: memFree=31370084/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=118096 CPUtime=29.92 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 73479 0 0 0 2977 15 0 0 20 0 9 0 559022051 710230016 29524 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 29524 887 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=8317482817917895235 CPUtime=3.71 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 8264 0 0 0 369 2 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203454938208 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=2316 CPUtime=3.71 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 4202560 8434 0 0 0 368 3 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203446545504 5397400 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=115560 CPUtime=3.64 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 5844 0 0 0 362 2 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203438152800 5250491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=1164 CPUtime=3.7 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 6134 0 0 0 369 1 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203429760096 5155527 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=8317482817917895235 CPUtime=3.69 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 7231 0 0 0 369 0 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203421367392 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=0 CPUtime=3.69 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 6816 0 0 0 369 0 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203412974184 5250283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=2276 CPUtime=3.71 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 3742 0 0 0 370 1 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203404581984 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=0 CPUtime=3.71 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 6760 0 0 0 371 0 0 0 20 0 9 0 559022079 710230016 29524 33554432000 4194304 6211132 140726485930208 140203396189280 5155373 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 118096 KiB
[startup+4.20057 s]
/proc/loadavg: 3.74 2.29 4.47 9/199 17388
/proc/meminfo: memFree=31370084/32770624 swapFree=66954412/67108860
[pid=17379] ppid=17376 vsize=693584 memory=118108 CPUtime=31.45 cores=0-7
/proc/17379/stat : 17379 (cosoco) S 17376 17379 16875 0 -1 1077944320 75253 0 0 0 3130 15 0 0 20 0 9 0 559022051 710230016 29527 33554432000 4194304 6211132 140726485930208 140726485928464 140203478081271 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
/proc/17379/statm: 173396 29527 887 493 0 166701 0
[pid=17379/tid=17381] ppid=17376 vsize=693584 memory=0 CPUtime=3.9 cores=0-7
/proc/17379/task/17381/stat : 17381 (cosoco) R 17376 17379 16875 0 -1 4202560 8338 0 0 0 388 2 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203454938208 140203462036286 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17382] ppid=17376 vsize=693584 memory=-7751062316387021378 CPUtime=3.91 cores=0-7
/proc/17379/task/17382/stat : 17382 (cosoco) R 17376 17379 16875 0 -1 4202560 8528 0 0 0 388 3 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203446545504 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17383] ppid=17376 vsize=693584 memory=6943526294502006880 CPUtime=3.83 cores=0-7
/proc/17379/task/17383/stat : 17383 (cosoco) R 17376 17379 16875 0 -1 4202560 7375 0 0 0 381 2 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203438152296 5156492 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17384] ppid=17376 vsize=693584 memory=6656426216303648864 CPUtime=3.89 cores=0-7
/proc/17379/task/17384/stat : 17384 (cosoco) R 17376 17379 16875 0 -1 4202560 6144 0 0 0 388 1 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203429760096 5156963 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17385] ppid=17376 vsize=693584 memory=6944656592455359580 CPUtime=3.88 cores=0-7
/proc/17379/task/17385/stat : 17385 (cosoco) R 17376 17379 16875 0 -1 4202560 7242 0 0 0 388 0 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203421367392 5156492 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17386] ppid=17376 vsize=693584 memory=8128038100524230256 CPUtime=3.89 cores=0-7
/proc/17379/task/17386/stat : 17386 (cosoco) R 17376 17379 16875 0 -1 4202560 6835 0 0 0 389 0 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203412974688 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17387] ppid=17376 vsize=693584 memory=-7965959121690140575 CPUtime=3.9 cores=0-7
/proc/17379/task/17387/stat : 17387 (cosoco) R 17376 17379 16875 0 -1 4202560 3748 0 0 0 389 1 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203404581984 5250485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
[pid=17379/tid=17388] ppid=17376 vsize=693584 memory=-9181546050914066336 CPUtime=3.9 cores=0-7
/proc/17379/task/17388/stat : 17388 (cosoco) R 17376 17379 16875 0 -1 4202560 6778 0 0 0 390 0 0 0 20 0 9 0 559022079 710230016 29527 33554432000 4194304 6211132 140726485930208 140203396189280 5250273 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37687296 140726485939217 140726485939309 140726485939309 140726485942222 0
Current children cumulated CPU time: 31.45 s
Current children cumulated vsize: 693584 KiB
Current children cumulated memory: 118108 KiB
Child status: 0
Real time (s): 4.28428
CPU time (s): 32.0065
CPU user time (s): 31.8376
CPU system time (s): 0.168918
CPU usage (%): 747.069
Max. virtual memory (cumulated for all children) (KiB): 693584
Max. memory (cumulated for all children) (KiB): 118108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8376
system time used= 0.168918
maximum resident set size= 119384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75889
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= 555
involuntary context switches= 354
# summary of solver processes directly reported to runsolver:
# pid: 17379
# total CPU time (s): 32.0065
# total CPU user time (s): 31.8376
# total CPU system time (s): 0.168918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054685 second user time and 0.070361 second system time
The end
Begin job on node107 at 2019-09-30 08:12:24 IDJOB=4409300 IDBENCH=128067 IDSOLVER=2877 FILE ID=node107/4409300-1569827671 RUNJOBID= node107-1569823193-16902 PBS_JOBID= 21705928 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409300-1569827671/watcher-4409300-1569827671 -o /tmp/evaluation-result-4409300-1569827671/solver-4409300-1569827671 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409300-1569827671.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da RANDOM SEED=1388824945 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31482424 kB MemAvailable: 31829512 kB Buffers: 199544 kB Cached: 482412 kB SwapCached: 48108 kB Active: 352472 kB Inactive: 380044 kB Active(anon): 15952 kB Inactive(anon): 112456 kB Active(file): 336520 kB Inactive(file): 267588 kB Unevictable: 109672 kB Mlocked: 109672 kB SwapTotal: 67108860 kB SwapFree: 66954412 kB Dirty: 2880 kB Writeback: 0 kB AnonPages: 112980 kB Mapped: 26512 kB Shmem: 69360 kB Slab: 146396 kB SReclaimable: 117628 kB SUnreclaim: 28768 kB KernelStack: 3440 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530076 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node107 at 2019-09-30 08:12:28