Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 32.2243 | 4.30992 |
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.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c root propagations : 0 0.21/0.29 c restarts enabled, print stats at every restarts 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c 0.21/0.29 c This is cosoco 2.00 -- 0.21/0.29 c 0.21/0.29 c command line: cosoco -model -nbcores=8 HOME/instance-4398040-1568605304.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..24 0.21/0.29 c | 0.21/0.29 c | Constraints: 1435 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: 24 0.21/0.29 c | Extension: 200 (nb tuples: 24..24) -- (shared: 1592) 0.21/0.29 c | Sum: 1211 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 6. 0.21/0.29 c [pFactory][Group N°0] task 6 launched on thread 0. 0.21/0.29 c [pFactory][Group N°0] task 5 launched on thread 1. 0.21/0.29 c [pFactory][Group N°0] task 4 launched on thread 2. 0.21/0.29 c [pFactory][Group N°0] task 3 launched on thread 3. 0.21/0.29 c [pFactory][Group N°0] task 2 launched on thread 5. 0.21/0.29 c [pFactory][Group N°0] task 1 launched on thread 7. 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 depthc conflicts decisions filterCalls propagations Root Prop. 0.21/0.29 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 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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.65 c 32 952 51329 9383 0 0 851 885 851 2.83/0.68 c 32 987 59314 10437 0 0 860 886 846 2.83/0.68 c 32 957 59997 10383 0 0 848 866 829 3.52/0.73 c 33 1017 65760 11327 0 0 60 60 30 3.52/0.75 c 33 1080 68196 12197 0 0 93 93 46 3.52/0.77 c 101 1307 76964 10380 0 0 1011 1034 1014 3.52/0.78 c 32 1091 70979 8546 0 0 987 1004 963 3.52/0.78 c 33 1041 69174 12493 0 0 89 89 44 4.32/0.82 c 101 1308 91218 20911 0 0 805 964 934 4.32/0.87 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.15/0.94 c 101 1500 108643 15434 0 0 1031 1066 1037 5.15/0.95 c 64 1321 95659 18419 0 0 101 110 103 5.15/0.97 c 64 1211 97982 18750 0 0 62 72 65 5.15/0.99 c 211 1785 119862 54650 0 0 119 127 121 5.15/1.00 c 64 1292 109608 20794 0 0 72 184 165 5.97/1.01 c 65 1256 103075 19389 0 0 45 45 22 5.97/1.01 c 65 1401 103546 19542 0 0 80 80 40 5.97/1.05 c 66 1300 108234 20081 0 0 44 44 22 5.97/1.07 c 66 1479 111301 20638 0 0 78 78 39 5.97/1.09 c 67 1345 113798 20884 0 0 45 45 22 5.97/1.10 c 65 1396 124214 23857 0 0 104 104 52 6.78/1.12 c 211 1632 136781 23286 0 0 48 163 156 6.78/1.13 c 64 1396 125469 18884 0 0 126 167 129 6.78/1.13 c 67 1557 119016 21787 0 0 78 78 39 6.78/1.17 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.37/1.33 c 67 1601 155475 30082 0 0 103 103 51 8.37/1.34 c 66 1614 154305 25703 0 0 122 122 61 8.37/1.36 c 211 1942 185147 26848 0 0 177 190 183 9.10/1.41 c 465 2860 189656 124622 0 0 112 126 118 9.10/1.45 c 332 2199 196679 35224 0 0 189 318 310 9.10/1.46 c 67 1711 169293 28719 0 0 97 97 48 9.10/1.46 c 211 1927 175796 47540 0 0 100 147 137 9.10/1.47 c 128 1997 165050 34670 0 0 79 145 132 9.91/1.54 c 128 2508 189768 32939 0 0 44 987 906 9.91/1.55 c 129 2107 175210 36238 0 0 110 110 55 9.91/1.59 c 129 2554 194990 33633 0 0 46 46 23 10.70/1.63 c 130 2213 185084 37703 0 0 106 106 53 10.70/1.63 c 130 2598 200149 34325 0 0 44 44 22 10.70/1.67 c 131 2642 205293 34988 0 0 44 44 22 10.70/1.68 c 611 3428 232904 161989 0 0 113 120 116 10.70/1.68 c 128 1992 207644 40740 0 0 59 184 101 11.49/1.70 c 131 2323 195209 39273 0 0 110 110 55 11.49/1.71 c 132 2686 210513 35679 0 0 44 44 22 11.49/1.75 c 133 2730 216214 36564 0 0 44 44 22 11.49/1.78 c 132 2431 205265 40841 0 0 108 108 54 11.49/1.79 c 134 2774 221358 37227 0 0 44 44 22 12.29/1.83 c 135 2818 226904 38044 0 0 44 44 22 12.29/1.86 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.93 c 134 2644 225230 43913 0 0 106 106 53 13.09/1.99 c 128 2583 245125 38909 0 0 100 234 141 13.95/2.01 c 771 4054 288760 222463 0 0 113 122 116 13.95/2.01 c 135 2751 235207 45378 0 0 107 107 53 13.95/2.01 c 130 2461 257888 49329 0 0 187 187 93 13.95/2.01 c 332 3464 274865 65637 0 0 107 990 949 13.95/2.10 c 465 3033 329175 51572 0 0 352 382 360 13.95/2.10 c 332 2521 342605 40760 0 0 64 217 208 13.95/2.11 c 129 2784 261767 42228 0 0 201 201 100 15.48/2.22 c 131 2789 292719 54793 0 0 328 328 164 15.48/2.24 c 130 2983 278212 45349 0 0 199 199 99 16.28/2.35 c 132 2979 312070 58210 0 0 190 190 95 16.28/2.37 c 947 4730 357190 312716 0 0 110 123 116 17.08/2.43 c 256 3519 334514 53167 0 0 44 407 338 17.08/2.46 c 131 3309 311673 50745 0 0 326 326 163 17.08/2.46 c 611 3706 398136 63360 0 0 241 399 390 17.88/2.50 c 257 3604 342771 54318 0 0 85 85 42 17.88/2.56 c 133 3309 345721 63794 0 0 330 330 165 17.88/2.58 c 258 3670 353514 57134 0 0 66 66 33 18.68/2.62 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.65 c 256 4459 363571 67203 0 0 99 1035 981 18.68/2.65 c 132 3582 338193 55267 0 0 273 273 136 19.48/2.70 c 260 3800 368437 60038 0 0 64 64 32 19.48/2.73 c 1140 5452 420575 392527 0 0 112 128 116 19.48/2.76 c 134 3626 379153 69271 0 0 317 317 158 19.48/2.76 c 261 3864 376711 61864 0 0 64 64 32 20.33/2.80 c 257 4828 385318 71140 0 0 369 369 184 20.33/2.82 c 771 4452 454988 72095 0 0 298 430 417 20.33/2.85 c 262 3928 387338 64667 0 0 64 64 32 20.33/2.87 c 133 3926 371517 60703 0 0 344 344 172 20.33/2.89 c 135 3813 396166 72478 0 0 187 187 93 21.11/2.91 c 263 4005 395095 65942 0 0 77 77 38 21.11/2.95 c 258 5202 407080 75105 0 0 374 374 187 21.11/2.97 c 264 4080 402405 67068 0 0 75 75 37 21.92/3.03 c 265 4155 409790 68220 0 0 75 75 37 21.92/3.07 c 1352 6224 479505 462371 0 0 111 124 116 21.92/3.08 c 266 4229 417091 69363 0 0 74 74 37 21.92/3.09 c 134 4261 403915 66041 0 0 335 335 167 21.92/3.09 c 259 5574 428811 79044 0 0 372 372 186 22.73/3.15 c 267 4295 425479 71197 0 0 66 66 33 23.46/3.22 c 268 4372 434612 73059 0 0 77 77 38 23.46/3.24 c 260 5947 450540 82989 0 0 373 373 186 23.46/3.25 c 135 4505 426363 70253 0 0 244 244 122 23.46/3.27 c 611 5077 522117 106473 0 0 389 398 389 24.26/3.31 c 269 4449 445924 75807 0 0 77 77 38 24.26/3.38 c 270 4526 455057 77669 0 0 77 77 38 24.26/3.39 c 261 6320 472177 86944 0 0 373 373 186 25.05/3.45 c 271 4603 464190 79531 0 0 77 77 38 25.85/3.50 c 1585 7126 561616 574977 0 0 112 122 116 25.85/3.51 c 256 4856 523063 90948 0 0 267 317 304 25.85/3.53 c 262 6693 493630 90919 0 0 373 373 186 26.65/3.63 c 257 5045 539342 94102 0 0 189 189 94 26.65/3.67 c 263 7066 515017 94881 0 0 373 373 186 27.45/3.70 c 771 5767 605943 122453 0 0 392 401 393 27.45/3.76 c 258 5241 556857 97251 0 0 196 196 98 28.25/3.82 c 264 7438 536633 98973 0 0 372 372 186 28.25/3.89 c 259 5435 574531 100526 0 0 194 194 97 28.25/3.90 c 465 6450 670355 63999 0 0 164 403 366 29.11/3.94 c 1841 8095 635065 652524 0 0 108 121 115 29.11/3.96 c 265 7810 558063 102923 0 0 372 372 186 29.11/3.97 c 947 5542 702570 93013 0 0 357 369 362 29.11/4.00 c 260 5610 589803 103131 0 0 175 175 87 30.72/4.11 c 266 8183 579525 106921 0 0 373 373 186 30.72/4.11 c 256 7535 591358 91614 0 0 342 538 453 30.72/4.14 c 261 5808 607865 106368 0 0 198 198 99 31.44/4.23 c 262 5952 619322 108312 0 0 144 144 72 31.44/4.25 c 267 8556 601071 110871 0 0 373 373 186 31.44/4.27 c 257 7899 611183 95629 0 0 364 364 182 31.44/4.29 c First solution is found 31.44/4.29 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 31.44/4.29 c [pFactory][Group N°0] Thread N°0 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°1 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°2 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°3 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°4 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°5 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°6 is joined. 31.44/4.29 c [pFactory][Group N°0] Thread N°7 is joined. 31.44/4.29 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 31.44/4.29 s SATISFIABLE 31.44/4.29 c restarts : 16 31.44/4.29 c conflicts : 257 (8 /sec) 31.44/4.29 c decisions : 7960 (248 /sec) 31.44/4.29 c propagations : 96501 (3012 /sec) 31.44/4.29 c root propagations : 0 31.44/4.29 c filter calls : 614013 (19167 /sec) 31.44/4.29 c useless filter calls : 598263 (97 %) 31.44/4.29 c Memory used : 645.32 MB 31.44/4.29 c CPU time : 32.0349 s 31.44/4.29 c real time : 4.29389 s 31.44/4.29 31.44/4.29 c solution 1 31.44/4.29 31.44/4.29 v <instantiation type='solution'> 31.44/4.29 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.44/4.29 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.44/4.29 v </instantiation> 31.44/4.29
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 (14571 MiB free) memory of node 1: 16384 MiB (15150 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398040-1568605304/watcher-4398040-1568605304 -o /tmp/evaluation-result-4398040-1568605304/solver-4398040-1568605304 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568593558-10655 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398040-1568605304.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=12703, runsolver pid=12700 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 6.07 4.64 5.84 2/192 12704 /proc/meminfo: memFree=30389008/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=77432 memory=53900 CPUtime=0.09 cores=0-7 /proc/12703/stat : 12703 (cosoco) R 12700 12703 10628 0 -1 4202496 13655 0 0 0 8 1 0 0 20 0 1 0 436784878 79290368 13475 33554432000 4194304 6211092 140728649643072 140728649639608 140678979308517 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 19358 13475 849 493 0 12663 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 77432 KiB Current children cumulated memory: 53900 KiB [startup+0.20894 s]* /proc/loadavg: 6.07 4.64 5.84 2/192 12704 /proc/meminfo: memFree=30371028/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=92108 memory=68560 CPUtime=0.21 cores=0-7 /proc/12703/stat : 12703 (cosoco) R 12700 12703 10628 0 -1 4202496 17324 0 0 0 19 2 0 0 20 0 1 0 436784878 94318592 17140 33554432000 4194304 6211092 140728649643072 140728649639608 5755154 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 23027 17140 849 493 0 16332 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 92108 KiB Current children cumulated memory: 68560 KiB [startup+0.309198 s]* /proc/loadavg: 6.07 4.64 5.84 9/200 12712 /proc/meminfo: memFree=30358376/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=80168 CPUtime=0.5 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 20532 0 0 0 47 3 0 0 20 0 9 0 436784878 710230016 20042 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 20042 877 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=8317482817917895235 CPUtime=0.02 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678972206456 5136306 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=4126316290023845779 CPUtime=0.02 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 52 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678963812968 140678979784279 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=0 CPUtime=0.02 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 38 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678955420456 5155345 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=6944656592455359580 CPUtime=0.02 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678947028344 5156256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) D 12700 12703 10628 0 -1 4202560 47 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678938635048 140678979304254 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=0 CPUtime=0.02 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678930242936 5156397 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=0 CPUtime=0.02 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678921850232 5155370 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=0 CPUtime=0.02 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) D 12700 12703 10628 0 -1 4202560 52 0 0 0 2 0 0 0 20 0 9 0 436784907 710230016 20042 33554432000 4194304 6211092 140728649643072 140678913456936 140678979304254 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 80168 KiB [startup+0.701524 s] /proc/loadavg: 6.07 4.64 5.84 9/200 12712 /proc/meminfo: memFree=30344608/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=109964 CPUtime=3.52 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 27937 0 0 0 346 6 0 0 20 0 9 0 436784878 710230016 27491 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 27491 886 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=1760 CPUtime=0.4 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 774 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678972205784 5250450 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=111632 CPUtime=0.38 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 1177 0 0 0 38 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678963813080 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=800 CPUtime=0.4 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 1141 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678955420312 5136287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=1804 CPUtime=0.4 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 798 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678947028064 5158128 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=916 CPUtime=0.4 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 1032 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678938635048 5250251 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=-7175204567652784766 CPUtime=0.4 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 835 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678930242656 5156256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=3054156605268465310 CPUtime=0.4 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 990 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678921849480 5250293 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=1408 CPUtime=0.4 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 925 0 0 0 40 0 0 0 20 0 9 0 436784907 710230016 27491 33554432000 4194304 6211092 140728649643072 140678913457248 5156853 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 3.52 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 109964 KiB [startup+1.50152 s] /proc/loadavg: 6.07 4.64 5.84 9/200 12712 /proc/meminfo: memFree=30329840/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=113520 CPUtime=9.91 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 46806 0 0 0 979 12 0 0 20 0 9 0 436784878 710230016 28380 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 28380 887 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=289268076 CPUtime=1.2 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 1952 0 0 0 120 0 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678972206176 5155952 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=0 CPUtime=1.16 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 4448 0 0 0 114 2 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678963813472 5156460 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=0 CPUtime=1.2 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 4281 0 0 0 118 2 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678955420768 5156936 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=195081709577026 CPUtime=1.19 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 3932 0 0 0 119 0 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678947027720 5156943 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=281074203055136 CPUtime=1.19 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 3530 0 0 0 119 0 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678938635360 5186224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=195083185962069 CPUtime=1.2 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 2389 0 0 0 120 0 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678930242656 5156460 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=195081709577029 CPUtime=1.2 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 2345 0 0 0 119 1 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678921849952 5397368 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=195081709577030 CPUtime=1.2 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 3666 0 0 0 120 0 0 0 20 0 9 0 436784907 710230016 28380 33554432000 4194304 6211092 140728649643072 140678913457248 5156465 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 9.91 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 113520 KiB [startup+3.11052 s] /proc/loadavg: 6.07 4.64 5.84 9/199 12712 /proc/meminfo: memFree=30323008/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=117476 CPUtime=22.73 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 53274 0 0 0 2258 15 0 0 20 0 9 0 436784878 710230016 29369 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 29369 887 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=33 CPUtime=2.81 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 3944 0 0 0 279 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678972206176 5136292 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=0 CPUtime=2.74 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 5009 0 0 0 272 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678963813472 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=5859853075905800022 CPUtime=2.81 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 4654 0 0 0 279 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678955420768 5156256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=110756 CPUtime=2.8 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 4734 0 0 0 279 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678947028064 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=80168 CPUtime=2.8 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 3891 0 0 0 280 0 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678938635360 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=56 CPUtime=2.8 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 4476 0 0 0 279 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678930242656 5250224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=0 CPUtime=2.81 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 2425 0 0 0 280 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678921849952 5136311 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=4049353029293650226 CPUtime=2.8 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 3876 0 0 0 280 0 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678913457248 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 22.73 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 117476 KiB [startup+4.30989 s] # the end of solver process 12703 was just reported to runsolver # cumulated CPU time of all completed processes: user=32.0354 s, system=0.188878 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20152 s] /proc/loadavg: 6.07 4.64 5.84 9/199 12712 /proc/meminfo: memFree=30323008/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=117476 CPUtime=23.46 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 53278 0 0 0 2331 15 0 0 20 0 9 0 436784878 710230016 29369 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 29369 887 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=0 CPUtime=2.9 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 3944 0 0 0 288 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678972206176 5156240 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=3472328296227717777 CPUtime=2.83 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 5009 0 0 0 281 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678963813472 5155375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=0 CPUtime=2.9 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 4654 0 0 0 288 2 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678955420768 5193708 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=0 CPUtime=2.9 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 4734 0 0 0 289 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678947028064 5156853 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=288230377007612190 CPUtime=2.89 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 3891 0 0 0 289 0 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678938635360 5250453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=288289965484541250 CPUtime=2.89 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 4476 0 0 0 288 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678930242656 5155345 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=0 CPUtime=2.9 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 2425 0 0 0 289 1 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678921849952 5155341 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=-3253322038155611931 CPUtime=2.89 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 3880 0 0 0 289 0 0 0 20 0 9 0 436784907 710230016 29369 33554432000 4194304 6211092 140728649643072 140678913457248 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 23.46 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 117476 KiB [startup+4.00052 s]* /proc/loadavg: 6.07 4.64 5.84 9/199 12712 /proc/meminfo: memFree=30322760/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=118088 CPUtime=29.91 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 73733 0 0 0 2974 17 0 0 20 0 9 0 436784878 710230016 29522 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 29522 887 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=0 CPUtime=3.7 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 8169 0 0 0 368 2 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678972206176 5156256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=6224359790639869796 CPUtime=3.64 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 7904 0 0 0 361 3 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678963813472 5008918 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=4049492565866061495 CPUtime=3.71 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 7025 0 0 0 369 2 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678955420768 5250298 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=4122263943155621935 CPUtime=3.7 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 6814 0 0 0 369 1 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678947028064 5156699 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=9124443767561732153 CPUtime=3.7 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 6890 0 0 0 370 0 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678938634856 5155345 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=4426078206164241782 CPUtime=3.7 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 6953 0 0 0 369 1 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678930242656 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=8316850467074736180 CPUtime=3.71 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 3597 0 0 0 370 1 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678921849952 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=2670101 CPUtime=3.71 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 6116 0 0 0 370 1 0 0 20 0 9 0 436784907 710230016 29522 33554432000 4194304 6211092 140728649643072 140678913457248 5009142 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 29.91 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 118088 KiB [startup+4.20052 s] /proc/loadavg: 6.07 4.64 5.84 9/199 12712 /proc/meminfo: memFree=30322760/32770624 swapFree=66999368/67108860 [pid=12703] ppid=12700 vsize=693584 memory=118144 CPUtime=31.44 cores=0-7 /proc/12703/stat : 12703 (cosoco) S 12700 12703 10628 0 -1 1077944320 75278 0 0 0 3127 17 0 0 20 0 9 0 436784878 710230016 29536 33554432000 4194304 6211092 140728649643072 140728649641328 140678995349239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 /proc/12703/statm: 173396 29536 887 493 0 166701 0 [pid=12703/tid=12705] ppid=12700 vsize=693584 memory=-7531822216215551788 CPUtime=3.9 cores=0-7 /proc/12703/task/12705/stat : 12705 (cosoco) R 12700 12703 10628 0 -1 4202560 8184 0 0 0 388 2 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678972206176 5250234 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12706] ppid=12700 vsize=693584 memory=-4049636988374952755 CPUtime=3.83 cores=0-7 /proc/12703/task/12706/stat : 12706 (cosoco) R 12700 12703 10628 0 -1 4202560 8496 0 0 0 380 3 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678963813472 5155337 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12707] ppid=12700 vsize=693584 memory=-7522837583129307271 CPUtime=3.9 cores=0-7 /proc/12703/task/12707/stat : 12707 (cosoco) R 12700 12703 10628 0 -1 4202560 7890 0 0 0 388 2 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678955420768 5157412 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12708] ppid=12700 vsize=693584 memory=7016714190785702558 CPUtime=3.89 cores=0-7 /proc/12703/task/12708/stat : 12708 (cosoco) R 12700 12703 10628 0 -1 4202560 6832 0 0 0 388 1 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678947028064 5155525 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12709] ppid=12700 vsize=693584 memory=7680491646476186387 CPUtime=3.89 cores=0-7 /proc/12703/task/12709/stat : 12709 (cosoco) R 12700 12703 10628 0 -1 4202560 6923 0 0 0 389 0 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678938635360 5156837 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12710] ppid=12700 vsize=693584 memory=7594024904285634660 CPUtime=3.89 cores=0-7 /proc/12703/task/12710/stat : 12710 (cosoco) R 12700 12703 10628 0 -1 4202560 6964 0 0 0 388 1 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678930242656 5155517 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12711] ppid=12700 vsize=693584 memory=116 CPUtime=3.9 cores=0-7 /proc/12703/task/12711/stat : 12711 (cosoco) R 12700 12703 10628 0 -1 4202560 3603 0 0 0 389 1 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678921849952 5155341 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 [pid=12703/tid=12712] ppid=12700 vsize=693584 memory=0 CPUtime=3.9 cores=0-7 /proc/12703/task/12712/stat : 12712 (cosoco) R 12700 12703 10628 0 -1 4202560 6121 0 0 0 389 1 0 0 20 0 9 0 436784907 710230016 29536 33554432000 4194304 6211092 140728649643072 140678913457248 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12795904 140728649647121 140728649647213 140728649647213 140728649650126 0 Current children cumulated CPU time: 31.44 s Current children cumulated vsize: 693584 KiB Current children cumulated memory: 118144 KiB [startup+4.30075 s]* /proc/loadavg: 6.07 4.64 5.84 2/191 12712 /proc/meminfo: memFree=30355828/32770624 swapFree=66999368/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 4.30992 CPU time (s): 32.2243 CPU user time (s): 32.0354 CPU system time (s): 0.188878 CPU usage (%): 747.678 Max. virtual memory (cumulated for all children) (KiB): 693584 Max. memory (cumulated for all children) (KiB): 118144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.0354 system time used= 0.188878 maximum resident set size= 119396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75743 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= 742 involuntary context switches= 354 # summary of solver processes directly reported to runsolver: # pid: 12703 # total CPU time (s): 32.2243 # total CPU user time (s): 32.0354 # total CPU system time (s): 0.188878 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046116 second user time and 0.080096 second system time The end
Begin job on node106 at 2019-09-16 04:40:25 IDJOB=4398040 IDBENCH=128067 IDSOLVER=2851 FILE ID=node106/4398040-1568605304 RUNJOBID= node106-1568593558-10655 PBS_JOBID= 21703403 Free space on /tmp= 59112 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398040-1568605304/watcher-4398040-1568605304 -o /tmp/evaluation-result-4398040-1568605304/solver-4398040-1568605304 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568593558-10655 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398040-1568605304.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da RANDOM SEED=57997308 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30434852 kB MemAvailable: 31889672 kB Buffers: 210052 kB Cached: 1534464 kB SwapCached: 8016 kB Active: 488484 kB Inactive: 1269276 kB Active(anon): 13532 kB Inactive(anon): 43348 kB Active(file): 474952 kB Inactive(file): 1225928 kB Unevictable: 106856 kB Mlocked: 106856 kB SwapTotal: 67108860 kB SwapFree: 66999368 kB Dirty: 3052 kB Writeback: 4 kB AnonPages: 113064 kB Mapped: 42168 kB Shmem: 35148 kB Slab: 169184 kB SReclaimable: 139548 kB SUnreclaim: 29636 kB KernelStack: 3424 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497548 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59108 MiB End job on node106 at 2019-09-16 04:40:30