| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 6.5802 | 1.11767 |
| Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-001-a4_X2.xml |
| MD5SUM | b8ea00653452363d0c81f6ef3102e485 |
| 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 | 0.830237 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 61 |
| Number of constraints | 228 |
| Number of domains | 5 |
| Minimum domain size | 1 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 208 |
| Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 4 |
| Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
| Number of extensional constraints | 228 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":228}] |
| Optimization problem | NO |
| Type of objective |
1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c This is cosoco 2.00 -- 1.14/0.44 c 1.14/0.44 c command line: cosoco -model -nbcores=8 HOME/instance-4397944-1568610878.xml 1.14/0.44 c ========================================[ Problem Statistics ]=========================================== 1.14/0.44 c | 1.14/0.44 c | Parse time : 0.25 s 1.14/0.44 c | 1.14/0.44 c | Variables: 61 1.14/0.44 c | Domain Sizes: 1..1001 1.14/0.44 c | 1.14/0.44 c | Constraints: 228 1.14/0.44 c | Arity: 2..4 -- Binary: 1 -- Ternary: 20 1.14/0.44 c | 1.14/0.44 c | Types: 1.14/0.44 c | Extension: 228 (nb tuples: 1..13041) -- (shared: 1632) 1.14/0.44 c | 1.14/0.44 c ========================================================================================================= 1.14/0.44 c Parallel mode: Portfolio 1.14/0.44 c [pFactory][Group N°0] created (threads:8). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.14/0.44 c [pFactory][Group N°0] concurrent mode: enabled. 1.14/0.44 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.14/0.44 c [pFactory][Group N°0] task 7 launched on thread 6. 1.14/0.44 c [pFactory][Group N°0] task 6 launched on thread 0. 1.14/0.44 c [pFactory][Group N°0] task 5 launched on thread 1. 1.14/0.44 c [pFactory][Group N°0] task 4 launched on thread 2. 1.14/0.44 c [pFactory][Group N°0] task 3 launched on thread 7. 1.14/0.44 c [pFactory][Group N°0] task 2 launched on thread 4. 1.14/0.44 c [pFactory][Group N°0] task 1 launched on thread 3. 1.14/0.44 c [pFactory][Group N°0] task 0 launched on thread 5. 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods c min/max/avg depthconflicts 1.14/0.44 decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c 0 1 1463 22213 59 0 0 0 0 1.14/0.44 c 0 2 1463 22214 59 0 0 0 0 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c root propagations : 22212 1.14/0.45 c restarts enabled, print stats at every restarts 1.14/0.45 c 1.14/0.45 c 1.14/0.45 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.45 c root propagations : 22212 1.14/0.45 c restarts enabled, print stats at every restarts 1.14/0.45 c 1.14/0.45 c 1.14/0.45 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c 0 2 1484 22216 59 0 0 0 0 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c 0 1 1463 22213 59 0 0 0 0 1.14/0.45 c 0 6 1658 22243 59 0 0 0 0 1.14/0.45 c c 0 2 1484 0 22216 2 59 0 148422216 59 0 0 0 0 0 0 0 1.14/0.45 1.14/0.45 c 0 4 1741 22592 59 0 0 0 0 1.14/0.46 c 0 4 1668 22258 59 0 0 0 0 1.14/0.46 c 0 4 1746 22409 59 0 0 0 0 1.14/0.46 c root propagations : 22212 1.14/0.46 c restarts enabled, print stats at every restarts 1.14/0.46 c 1.14/0.46 c 1.14/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c 0 11 2087 22616 59 0 0 0 0 1.14/0.46 c c 00 11 3 2300 1944 22722 23049 59 590 0 0 0 0 1.14/0.46 0 0 0 1.14/0.46 c 0 4 1859 22924 59 0 0 0 0 1.14/0.46 c 0 12 2108 22619 59 0 c 0 0 0 1.14/0.47 012 2321 23052 59 0 0 0 0 1.14/0.47 c 0 6 1852 22300 59 0 0 0 0 1.14/0.47 c 0 5 1880 22927 59 0 0 0 0 1.14/0.47 c 0 6 1880 22928 59 0 0 0 0 1.14/0.47 c 0 4 1965 22725 59 0 0 0 0 1.14/0.47 c 0 7 1873 22303 59 0 0 0 0 1.14/0.47 c 0 1 1484 22215 59 0 0 0 0 1.14/0.47 c 0 6 2008 22602 59 0 0 0 0 1.14/0.47 c 0 2 1505 22218 59 0 0 0 0 1.14/0.47 c 0 17 2303 22649 59 0 0 0 0 1.14/0.47 c 0 9 2057 22345 59 0 0 0 0 1.14/0.47 c 0 14 2599 23430 59 0 0 0 0 1.14/0.47 c 0 8 2216 23357 59 0 0 0 0 1.14/0.48 c 0 6 2468 23234 59 0 0 0 0 1.14/0.48 c 0 22 2711 23020 59 0 0 0 0 1.14/0.48 c 0 21 3143 23891 59 0 0 0 0 1.14/0.48 c 0 23 2757 23030 59 0 0 0 0 1.14/0.48 c 0 22 3188 23901 59 0 0 0 0 1.14/0.48 c 0 10 2591 24063 59 0 0 0 0 1.14/0.48 c 0 28 2943 23058 59 0 0 0 0 1.14/0.48 c 0 11 2673 24077 59 0 0 0 0 1.14/0.48 c 0 12 2694 24080 59 0 0 0 0 1.14/0.48 c 0 29 2984 23063 59 0 0 0 0 1.14/0.49 c 0 8 2950 23741 59 0 0 0 0 1.14/0.49 c 0 24 3487 24271 59 0 0 0 0 1.14/0.50 c 0 9 3032 23757 59 0 0 0 0 1.14/0.50 c 0 14 3030 24494 59 0 0 0 0 1.14/0.50 c 0 34 3413 23423 59 0 0 0 0 1.92/0.57 c 32 96 17832 32371 59 0 1 25 11 1.92/0.59 c 33 106 19706 33062 59 0 10 10 5 1.92/0.60 c 32 125 21644 30060 59 0 6 19 13 1.92/0.60 c 32 69 15357 29729 59 0 6 23 16 2.64/0.61 c 33 126 22144 30315 59 0 1 1 0 2.64/0.62 c 33 89 16949 30690 59 0 20 20 10 2.64/0.63 c 32 165 32007 35024 59 0 7 30 16 2.64/0.64 c 101 204 32357 39322 59 0 10 26 17 2.64/0.64 c 33 167 32472 35541 59 0 2 2 1 2.64/0.66 c 101 215 50388 45196 59 0 2 20 8 2.64/0.66 c 64 161 23910 36162 59 0 12 30 21 2.64/0.67 c 101 183 31555 39040 59 0 6 33 14 2.64/0.67 c 65 162 24079 36723 59 0 1 1 0 2.64/0.68 c 66 163 24379 37295 59 0 1 1 0 2.64/0.68 c 67 164 24578 37830 59 0 1 1 0 3.37/0.70 c 64 238 42429 39691 59 0 4 14 6 3.37/0.72 c 65 242 43076 40376 59 0 4 4 2 3.37/0.73 c 66 244 43611 40823 59 0 2 2 1 3.37/0.73 c 64 177 37919 42205 59 0 1 13 6 3.37/0.74 c 67 252 44862 41590 59 0 8 8 4 3.37/0.75 c 65 178 38658 42774 59 0 1 1 0 3.37/0.75 c 128 265 38230 45426 59 0 1 17 11 3.37/0.76 c 66 179 39124 43234 59 0 1 1 0 3.37/0.76 c 129 266 38362 45812 59 0 1 1 0 3.37/0.76 c 130 267 38512 46196 59 0 1 1 0 3.37/0.77 c 67 181 40407 43851 59 0 2 2 1 3.37/0.77 c 131 271 39418 46864 59 0 4 4 2 3.37/0.77 c 64 198 41205 39015 59 0 1 12 4 3.37/0.77 c 211 463 59284 57864 59 0 6 32 11 3.37/0.78 c 132 281 41029 47724 59 0 10 10 5 3.37/0.79 c 133 282 41291 48198 59 0 1 1 0 3.37/0.79 c 65 200 42232 39459 59 0 2 2 1 3.37/0.80 c 101 174 46878 45273 59 0 1 13 4 3.37/0.80 c 66 202 42790 39761 59 0 2 2 1 3.37/0.80 c 134 292 42943 48992 59 0 10 10 5 4.18/0.80 c 67 204 43425 40096 59 0 2 2 1 4.18/0.81 c 135 297 44707 49763 59 0 5 5 2 4.18/0.82 c 211 420 63540 51793 59 0 4 33 9 4.18/0.87 c 332 651 82273 75194 59 0 1 17 8 4.18/0.89 c 128 415 78134 55994 59 0 1 25 9 4.96/0.90 c 129 435 80084 56712 59 0 20 20 10 4.96/0.90 c 256 532 84643 72722 59 0 1 17 8 4.96/0.91 c 130 455 82180 57523 59 0 20 20 10 4.96/0.91 c 211 475 123370 80044 59 0 1 21 8 4.96/0.91 c 257 543 85709 73394 59 0 11 11 5 4.96/0.91 c 131 481 84664 58558 59 0 26 26 13 4.96/0.91 c 258 547 86807 73831 59 0 4 4 2 4.96/0.92 c 132 493 85630 59067 59 0 12 12 6 4.96/0.92 c 133 513 87707 59876 59 0 20 20 10 4.96/0.92 c 259 548 87773 74373 59 0 1 1 0 4.96/0.93 c 260 558 89764 75113 59 0 10 10 5 4.96/0.93 c 134 540 90448 60916 59 0 27 27 13 4.96/0.94 c 261 563 90768 75575 59 0 5 5 2 4.96/0.94 c 135 550 91446 61417 59 0 10 10 5 4.96/0.95 c 262 580 92668 76303 59 0 17 17 8 4.96/0.95 c 263 591 93777 76954 59 0 11 11 5 4.96/0.95 c 128 330 78013 55525 59 0 2 15 5 4.96/0.95 c 128 327 79143 61143 59 0 2 18 5 4.96/0.95 c 264 615 96134 77878 59 0 24 24 12 4.96/0.96 c 129 336 79049 55991 59 0 6 6 3 4.96/0.96 c 129 329 80004 61625 59 0 2 2 1 4.96/0.96 c 265 636 98185 78623 59 0 21 21 10 4.96/0.96 c 130 349 80768 56724 59 0 13 13 6 4.96/0.96 c 130 331 80796 61966 59 0 2 2 1 4.96/0.96 c 266 637 98417 79102 59 0 1 1 0 4.96/0.97 c 465 910 117998 92283 59 0 3 21 9 4.96/0.97 c 131 333 81472 62303 59 0 2 2 1 4.96/0.97 c 131 362 82280 57434 59 0 13 13 6 4.96/0.97 c 267 660 100090 79854 59 0 23 23 11 4.96/0.97 c 132 335 82274 62653 59 0 2 2 1 4.96/0.97 c 132 366 83107 57880 59 0 4 4 2 4.96/0.97 c 332 723 159894 96000 59 0 2 16 7 4.96/0.97 c 133 337 82954 62990 59 0 2 2 1 4.96/0.97 c 268 678 102230 80600 59 0 18 18 9 4.96/0.99 c 133 374 84404 58447 59 0 8 8 4 4.96/0.99 c 134 339 83746 63328 59 0 2 2 1 4.96/0.99 c 135 341 84446 63662 59 0 2 2 1 4.96/0.99 c 134 377 85311 58850 59 0 3 3 1 4.96/0.99 c 269 702 104464 81512 59 0 24 24 12 4.96/0.99 c 135 379 86103 59183 59 0 2 2 1 4.96/0.99 c 256 806 123231 77889 59 0 5 26 13 4.96/0.99 c 270 723 106502 82250 59 0 21 21 10 4.96/0.99 c 211 373 90876 69345 59 0 1 17 5 4.96/0.99 c 271 746 108212 82994 59 0 23 23 11 4.96/1.00 c 257 823 125487 78922 59 0 17 17 8 4.96/1.00 c 258 842 127477 79567 59 0 19 19 9 4.96/1.01 c 259 862 130122 80671 59 0 20 20 10 5.89/1.02 c 260 879 132045 81357 59 0 17 17 8 5.89/1.02 c 261 889 133589 81985 59 0 10 10 5 5.89/1.02 c 611 1168 146618 106229 59 0 3 28 12 5.89/1.03 c 262 908 136401 83093 59 0 19 19 9 5.89/1.03 c 263 926 138638 83881 59 0 18 18 9 5.89/1.03 c 332 729 118580 75549 59 0 2 18 10 5.89/1.03 c 264 946 140965 84648 59 0 20 20 10 5.89/1.04 c 265 964 142967 85422 59 0 18 18 9 5.89/1.05 c 266 983 145084 86219 59 0 19 19 9 5.89/1.05 c 267 1001 147062 86987 59 0 18 18 9 5.89/1.05 c 465 1032 212550 122108 59 0 1 16 7 5.89/1.06 c 268 1020 149121 87743 59 0 19 19 9 5.89/1.06 c 771 1439 170313 124954 59 0 6 22 11 5.89/1.06 c 269 1038 151066 88505 59 0 18 18 9 5.89/1.07 c 270 1056 153106 89287 59 0 18 18 9 5.89/1.07 c 256 577 142202 92130 59 0 2 18 6 5.89/1.07 c 512 1219 157291 112373 59 0 4 32 11 5.89/1.07 c 513 1220 157537 112668 59 0 1 1 0 5.89/1.08 c 271 1073 155183 90053 59 0 17 17 8 5.89/1.08 c 257 586 143808 92837 59 0 9 9 4 5.89/1.08 c 514 1242 159137 113626 59 0 22 22 11 5.89/1.08 c 258 589 145369 93467 59 0 3 3 1 5.89/1.08 c 465 1021 146143 94380 59 0 6 22 11 5.89/1.08 c 515 1261 161330 114325 59 0 19 19 9 5.89/1.09 c 259 590 146377 94263 59 0 1 1 0 5.89/1.09 c 516 1272 162127 114828 59 0 11 11 5 5.89/1.09 c 260 595 148035 94807 59 0 5 5 2 5.89/1.09 c 517 1273 162450 115128 59 0 1 1 0 5.89/1.09 c 518 1274 162829 115546 59 0 1 1 0 5.89/1.09 c 519 1281 163992 116188 59 0 7 7 3 5.89/1.09 c 261 600 150202 95551 59 0 5 5 2 5.89/1.09 c 520 1301 165972 116876 59 0 20 20 10 5.89/1.09 c First solution is found 5.89/1.09 c 262 606 151960 96093 59 0 6 6 3 5.89/1.10 c 521 1302 166395 117288 59 0 1 1 0 5.89/1.10 c 522 1303 166900 117705 59 0 1 1 0 5.89/1.10 c 263 611 153968 96785 59 0 5 5 2 5.89/1.10 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 5.89/1.10 c 523 1304 167079 118092 59 0 1 1 0 5.89/1.10 c [pFactory][Group N°0] Thread N°0 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°1 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°2 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°3 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°4 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°5 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°6 is joined. 5.89/1.10 c [pFactory][Group N°0] Thread N°7 is joined. 5.89/1.10 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2) 5.89/1.10 s SATISFIABLE 5.89/1.10 c restarts : 24 5.89/1.10 c conflicts : 233 (36 /sec) 5.89/1.10 c decisions : 597 (92 /sec) 5.89/1.10 c propagations : 79935 (12313 /sec) 5.89/1.10 c root propagations : 22212 5.89/1.10 c filter calls : 130570 (20113 /sec) 5.89/1.10 c useless filter calls : 114171 (87 %) 5.89/1.10 c Memory used : 713.47 MB 5.89/1.10 c CPU time : 6.49164 s 5.89/1.10 c real time : 1.09661 s 5.89/1.10 5.89/1.10 c solution 1 5.89/1.10 5.89/1.10 v <instantiation type='solution'> 5.89/1.10 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 5.89/1.10 v <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values> 5.89/1.10 v </instantiation> 5.89/1.10
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 (14900 MiB free)
memory of node 1: 16384 MiB (15788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397944-1568610878/watcher-4397944-1568610878 -o /tmp/evaluation-result-4397944-1568610878/solver-4397944-1568610878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568606659-10044 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397944-1568610878.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=10061, runsolver pid=10058
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 7.92 6.32 6.82 2/192 10062
/proc/meminfo: memFree=31408608/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=40688 memory=16168 CPUtime=0.1 cores=0-7
/proc/10061/stat : 10061 (cosoco) R 10058 10061 10017 0 -1 4202496 4386 0 0 0 10 0 0 0 20 0 1 0 437344923 41664512 4042 33554432000 4194304 6211092 140727729100176 140727729096712 5689230 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 10172 4042 814 493 0 3477 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 16168 KiB
[startup+0.209388 s]*
/proc/loadavg: 7.92 6.32 6.82 2/192 10062
/proc/meminfo: memFree=31399928/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=55480 memory=30156 CPUtime=0.2 cores=0-7
/proc/10061/stat : 10061 (cosoco) R 10058 10061 10017 0 -1 4202496 7928 0 0 0 20 0 0 0 20 0 1 0 437344923 56811520 7539 33554432000 4194304 6211092 140727729100176 140727729096712 5037405 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 13904 7539 822 493 0 7209 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55480 KiB
Current children cumulated memory: 30156 KiB
[startup+0.313343 s]*
/proc/loadavg: 7.36 6.23 6.79 9/200 10070
/proc/meminfo: memFree=31276048/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=763376 memory=148428 CPUtime=0.43 cores=0-7
/proc/10061/stat : 10061 (cosoco) S 10058 10061 10017 0 -1 1077944320 37825 0 0 0 39 4 0 0 20 0 9 0 437344923 781697024 37107 33554432000 4194304 6211092 140727729100176 140727729098432 140185069494007 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 190844 37107 849 493 0 184149 0
[pid=10061/tid=10063] ppid=10058 vsize=763376 memory=8317482817917895235 CPUtime=0.01 cores=0-7
/proc/10061/task/10063/stat : 10063 (cosoco) R 10058 10061 10017 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185043204968 5039228 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10064] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10064/stat : 10064 (cosoco) R 10058 10061 10017 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185034812264 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10065] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10065/stat : 10065 (cosoco) R 10058 10061 10017 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185026419560 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10066] ppid=10058 vsize=763376 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/10061/task/10066/stat : 10066 (cosoco) R 10058 10061 10017 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185018026904 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10067] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10067/stat : 10067 (cosoco) R 10058 10061 10017 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185009634152 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10068] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10068/stat : 10068 (cosoco) R 10058 10061 10017 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140185001241752 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10069] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10069/stat : 10069 (cosoco) R 10058 10061 10017 0 -1 4202560 47 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140727729096712 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10070] ppid=10058 vsize=763376 memory=0 CPUtime=0.01 cores=0-7
/proc/10061/task/10070/stat : 10070 (cosoco) R 10058 10061 10017 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 9 0 437344953 781697024 37107 33554432000 4194304 6211092 140727729100176 140184984456040 5039022 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 763376 KiB
Current children cumulated memory: 148428 KiB
[startup+0.701346 s]
/proc/loadavg: 7.36 6.23 6.79 9/200 10070
/proc/meminfo: memFree=31244624/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=779792 memory=178572 CPUtime=3.37 cores=0-7
/proc/10061/stat : 10061 (cosoco) S 10058 10061 10017 0 -1 1077944320 45818 0 0 0 331 6 0 0 20 0 9 0 437344923 798507008 44643 33554432000 4194304 6211092 140727729100176 140727729098432 140185069494007 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 194948 44643 857 493 0 188253 0
[pid=10061/tid=10063] ppid=10058 vsize=779792 memory=4132 CPUtime=0.38 cores=0-7
/proc/10061/task/10063/stat : 10063 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185043205216 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10064] ppid=10058 vsize=779792 memory=1112 CPUtime=0.38 cores=0-7
/proc/10061/task/10064/stat : 10064 (cosoco) R 10058 10061 10017 0 -1 4202560 1046 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185034812624 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10065] ppid=10058 vsize=779792 memory=5684 CPUtime=0.38 cores=0-7
/proc/10061/task/10065/stat : 10065 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185026419808 5038947 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10066] ppid=10058 vsize=779792 memory=7552 CPUtime=0.38 cores=0-7
/proc/10061/task/10066/stat : 10066 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185018027104 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10067] ppid=10058 vsize=779792 memory=2832 CPUtime=0.38 cores=0-7
/proc/10061/task/10067/stat : 10067 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185009634400 5039328 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10068] ppid=10058 vsize=779792 memory=140548450793087 CPUtime=0.37 cores=0-7
/proc/10061/task/10068/stat : 10068 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 37 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185001241696 5037843 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10069] ppid=10058 vsize=779792 memory=5450916479948256810 CPUtime=0.38 cores=0-7
/proc/10061/task/10069/stat : 10069 (cosoco) R 10058 10061 10017 0 -1 4202560 1045 0 0 0 38 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184992848992 5039323 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10070] ppid=10058 vsize=779792 memory=4638778424404688992 CPUtime=0.36 cores=0-7
/proc/10061/task/10070/stat : 10070 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 36 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184984456288 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 779792 KiB
Current children cumulated memory: 178572 KiB
[startup+1.11764 s]
# the end of solver process 10061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.49218 s, system=0.088022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.803343 s]
/proc/loadavg: 7.36 6.23 6.79 9/200 10070
/proc/meminfo: memFree=31244624/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=779792 memory=178572 CPUtime=4.18 cores=0-7
/proc/10061/stat : 10061 (cosoco) S 10058 10061 10017 0 -1 1077944320 45818 0 0 0 412 6 0 0 20 0 9 0 437344923 798507008 44643 33554432000 4194304 6211092 140727729100176 140727729098432 140185069494007 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 194948 44643 857 493 0 188253 0
[pid=10061/tid=10063] ppid=10058 vsize=779792 memory=-5874771483550381248 CPUtime=0.48 cores=0-7
/proc/10061/task/10063/stat : 10063 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185043205216 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10064] ppid=10058 vsize=779792 memory=7368006987362095184 CPUtime=0.48 cores=0-7
/proc/10061/task/10064/stat : 10064 (cosoco) R 10058 10061 10017 0 -1 4202560 1046 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185034812512 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10065] ppid=10058 vsize=779792 memory=8292148140386801351 CPUtime=0.48 cores=0-7
/proc/10061/task/10065/stat : 10065 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185026419808 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10066] ppid=10058 vsize=779792 memory=8028676333680759155 CPUtime=0.48 cores=0-7
/proc/10061/task/10066/stat : 10066 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185018027104 5038259 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10067] ppid=10058 vsize=779792 memory=5865727821814644839 CPUtime=0.48 cores=0-7
/proc/10061/task/10067/stat : 10067 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185009634400 5039145 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10068] ppid=10058 vsize=779792 memory=7440060183353512016 CPUtime=0.48 cores=0-7
/proc/10061/task/10068/stat : 10068 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 48 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185001241696 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10069] ppid=10058 vsize=779792 memory=288780819 CPUtime=0.49 cores=0-7
/proc/10061/task/10069/stat : 10069 (cosoco) R 10058 10061 10017 0 -1 4202560 1045 0 0 0 49 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184992848992 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10070] ppid=10058 vsize=779792 memory=2372 CPUtime=0.46 cores=0-7
/proc/10061/task/10070/stat : 10070 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 46 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184984456288 5038947 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 779792 KiB
Current children cumulated memory: 178572 KiB
[startup+1.00834 s]*
/proc/loadavg: 7.36 6.23 6.79 9/200 10070
/proc/meminfo: memFree=31245032/32770624 swapFree=66976792/67108860
[pid=10061] ppid=10058 vsize=779792 memory=178572 CPUtime=5.89 cores=0-7
/proc/10061/stat : 10061 (cosoco) S 10058 10061 10017 0 -1 1077944320 45818 0 0 0 582 7 0 0 20 0 9 0 437344923 798507008 44643 33554432000 4194304 6211092 140727729100176 140727729098432 140185069494007 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
/proc/10061/statm: 194948 44643 857 493 0 188253 0
[pid=10061/tid=10063] ppid=10058 vsize=779792 memory=8317482817917895235 CPUtime=0.7 cores=0-7
/proc/10061/task/10063/stat : 10063 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 70 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185043205216 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10064] ppid=10058 vsize=779792 memory=0 CPUtime=0.69 cores=0-7
/proc/10061/task/10064/stat : 10064 (cosoco) R 10058 10061 10017 0 -1 4202560 1046 0 0 0 69 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185034812512 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10065] ppid=10058 vsize=779792 memory=140544013502847 CPUtime=0.7 cores=0-7
/proc/10061/task/10065/stat : 10065 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 70 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185026419808 5038995 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10066] ppid=10058 vsize=779792 memory=2110894620819812 CPUtime=0.69 cores=0-7
/proc/10061/task/10066/stat : 10066 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 69 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185018027104 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10067] ppid=10058 vsize=779792 memory=2795822384897 CPUtime=0.7 cores=0-7
/proc/10061/task/10067/stat : 10067 (cosoco) R 10058 10061 10017 0 -1 4202560 1043 0 0 0 70 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185009634400 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10068] ppid=10058 vsize=779792 memory=0 CPUtime=0.69 cores=0-7
/proc/10061/task/10068/stat : 10068 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 69 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140185001241696 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10069] ppid=10058 vsize=779792 memory=3467824718090874911 CPUtime=0.7 cores=0-7
/proc/10061/task/10069/stat : 10069 (cosoco) R 10058 10061 10017 0 -1 4202560 1045 0 0 0 70 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184992848992 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
[pid=10061/tid=10070] ppid=10058 vsize=779792 memory=7739276948478191983 CPUtime=0.66 cores=0-7
/proc/10061/task/10070/stat : 10070 (cosoco) R 10058 10061 10017 0 -1 4202560 1041 0 0 0 66 0 0 0 20 0 9 0 437344953 798507008 44643 33554432000 4194304 6211092 140727729100176 140184984456288 5039118 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40611840 140727729103889 140727729103981 140727729103981 140727729106894 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 779792 KiB
Current children cumulated memory: 178572 KiB
Child status: 0
Real time (s): 1.11767
CPU time (s): 6.5802
CPU user time (s): 6.49218
CPU system time (s): 0.088022
CPU usage (%): 588.743
Max. virtual memory (cumulated for all children) (KiB): 779792
Max. memory (cumulated for all children) (KiB): 178572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.49218
system time used= 0.088022
maximum resident set size= 178572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45837
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= 943
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 10061
# total CPU time (s): 6.5802
# total CPU user time (s): 6.49218
# total CPU system time (s): 0.088022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033801 second user time and 0.053428 second system time
The end
Begin job on node104 at 2019-09-16 06:04:20 IDJOB=4397944 IDBENCH=135918 IDSOLVER=2851 FILE ID=node104/4397944-1568610878 RUNJOBID= node104-1568606659-10044 PBS_JOBID= 21703447 Free space on /tmp= 59012 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397944-1568610878/watcher-4397944-1568610878 -o /tmp/evaluation-result-4397944-1568610878/solver-4397944-1568610878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568606659-10044 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397944-1568610878.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485 RANDOM SEED=2128272996 node104.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.09 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.09 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.09 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.09 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: 31425256 kB MemAvailable: 31863196 kB Buffers: 68112 kB Cached: 667000 kB SwapCached: 31640 kB Active: 504728 kB Inactive: 264292 kB Active(anon): 4740 kB Inactive(anon): 78256 kB Active(file): 499988 kB Inactive(file): 186036 kB Unevictable: 111052 kB Mlocked: 111052 kB SwapTotal: 67108860 kB SwapFree: 66976792 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 113908 kB Mapped: 45404 kB Shmem: 40364 kB Slab: 165088 kB SReclaimable: 135500 kB SUnreclaim: 29588 kB KernelStack: 3296 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497432 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 59008 MiB End job on node104 at 2019-09-16 06:04:21