| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 44.5956 | 5.87722 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-75-09.xml |
| MD5SUM | 3e3af1bae7de9ef5515b71e9dbb47d41 |
| 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 | 15.5446 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1421 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":25,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 72 |
| 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":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":9}, {"degree":51,"count":9}, {"degree":52,"count":62}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"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":3}, {"degree":72,"count":63}] |
| 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":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":2},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"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":1220},{"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.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 0.21/0.30 c This is cosoco 2.00 -- 0.21/0.30 c 0.21/0.30 c command line: cosoco -model -nbcores=8 HOME/instance-4409287-1569827674.xml 0.21/0.30 c ========================================[ Problem Statistics ]=========================================== 0.21/0.30 c | 0.21/0.30 c | Parse time : 0.25 s 0.21/0.30 c | 0.21/0.30 c | Variables: 1200 0.21/0.30 c | Domain Sizes: 2..25 0.21/0.30 c | 0.21/0.30 c | Constraints: 1445 0.21/0.30 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.21/0.30 c | 0.21/0.30 c | Types: 0.21/0.30 c | Exactly K: 25 0.21/0.30 c | Extension: 200 (nb tuples: 25..25) -- (shared: 1592) 0.21/0.30 c | Sum: 1220 0.21/0.30 c | 0.21/0.30 c ========================================================================================================= 0.21/0.30 c Parallel mode: Portfolio 0.21/0.30 c [pFactory][Group N°0] created (threads:8). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.30 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.30 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.30 c [pFactory][Group N°0] task 7 launched on thread 1. 0.21/0.30 c [pFactory][Group N°0] task 6 launched on thread 2. 0.21/0.30 c [pFactory][Group N°0] task 5 launched on thread 0. 0.21/0.30 c [pFactory][Group N°0] task 4 launched on thread 6. 0.21/0.30 c [pFactory][Group N°0] task 3 launched on thread 7. 0.21/0.30 c [pFactory][Group N°0] task 2 launched on thread 3. 0.21/0.30 c [pFactory][Group N°0] task 1 launched on thread 5. 0.21/0.30 c [pFactory][Group N°0] task 0 launched on thread 4. 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 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 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.31 c root propagations : 0 0.21/0.31 c restarts enabled, print stats at every restarts 0.21/0.31 c 0.21/0.31 c 0.21/0.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.31 c root propagations : 0 0.21/0.31 c restarts enabled, print stats at every restarts 0.21/0.31 c 0.21/0.31 c 0.21/0.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.42/0.73 c 32 1046 66463 12785 0 0 838 884 828 3.42/0.74 c 32 1134 63180 8734 0 0 402 1038 973 3.42/0.78 c 32 1103 69564 9961 0 0 952 996 936 4.22/0.80 c 33 1162 75159 15834 0 0 116 116 58 4.22/0.82 c 33 1223 74049 12312 0 0 89 89 44 4.22/0.84 c 101 1132 90246 18662 0 0 825 845 833 4.22/0.85 c 33 1199 77779 11215 0 0 96 96 48 4.22/0.85 c 32 1056 78727 11334 0 0 873 916 863 5.02/0.94 c 64 1467 96916 25210 0 0 116 164 150 5.02/0.97 c 33 1320 91395 13566 0 0 264 264 132 5.02/1.00 c 65 1589 104823 26861 0 0 122 122 61 5.88/1.04 c 64 1409 104366 18236 0 0 99 109 101 5.88/1.05 c 64 1473 112909 19880 0 0 97 198 157 5.88/1.06 c 66 1711 112696 28500 0 0 122 122 61 5.88/1.06 c 101 1452 127684 15250 0 0 961 1015 970 5.88/1.10 c 65 1485 111839 19286 0 0 76 76 38 6.68/1.11 c 67 1826 120243 30100 0 0 115 115 57 6.68/1.13 c 101 1639 144557 25581 0 0 425 993 932 6.68/1.16 c 66 1569 119878 20376 0 0 84 84 42 6.68/1.17 c 101 1361 142950 14494 0 0 794 1030 997 6.68/1.17 c 65 1659 131642 24081 0 0 186 186 93 7.41/1.20 c 66 1709 134881 25321 0 0 50 50 25 7.41/1.22 c 67 1646 127401 21391 0 0 77 77 38 8.20/1.35 c 67 1902 155243 29436 0 0 193 193 96 8.20/1.35 c 211 2508 177179 36800 0 0 164 345 281 8.20/1.37 c 211 2458 183828 44884 0 0 129 177 153 8.99/1.50 c 64 2517 173193 22946 0 0 959 985 941 9.87/1.54 c 65 2582 177241 24278 0 0 65 65 32 9.87/1.55 c 128 3038 189779 39799 0 0 117 907 829 9.87/1.57 c 332 3087 215368 60542 0 0 115 122 118 10.60/1.60 c 332 3396 224348 67327 0 0 109 183 146 11.40/1.73 c 128 2400 220935 39108 0 0 177 358 327 11.40/1.75 c 66 2884 209579 29675 0 0 302 302 151 11.40/1.76 c 129 3382 218711 44551 0 0 344 344 172 11.40/1.76 c 465 4439 259361 96384 0 0 160 197 180 11.40/1.79 c 465 3673 258629 88356 0 0 104 109 106 12.20/1.83 c 67 3016 218512 31683 0 0 132 132 66 12.20/1.86 c 128 2751 215402 41021 0 0 75 828 119 12.20/1.86 c 129 2609 237065 42708 0 0 209 209 104 13.00/1.92 c 129 2828 222837 42069 0 0 77 77 38 13.00/1.94 c 211 2861 270037 30261 0 0 914 984 948 13.00/1.97 c 130 3728 248326 49264 0 0 346 346 173 13.00/1.98 c 130 2904 230347 43203 0 0 76 76 38 13.00/1.98 c 130 2809 252908 46715 0 0 200 200 100 13.85/2.03 c 131 2980 237718 44243 0 0 76 76 38 13.85/2.09 c 132 3055 245151 45375 0 0 75 75 37 14.65/2.11 c 131 3014 270828 50414 0 0 205 205 102 14.65/2.15 c 133 3131 252675 46579 0 0 76 76 38 14.65/2.15 c 131 4020 272870 53357 0 0 292 292 146 15.38/2.21 c 134 3206 260090 47629 0 0 75 75 37 15.38/2.22 c 611 4682 332204 116686 0 0 93 118 104 15.38/2.26 c 132 3227 289405 54343 0 0 213 213 106 15.38/2.27 c 135 3281 267366 48599 0 0 75 75 37 16.18/2.32 c 128 3786 312809 42357 0 0 407 434 415 16.18/2.36 c 132 4359 302482 57858 0 0 339 339 169 16.18/2.38 c 211 5603 364345 32353 0 0 206 723 465 16.18/2.39 c 332 4033 340031 39964 0 0 737 814 780 16.98/2.40 c 133 3439 308508 58249 0 0 212 212 106 17.85/2.56 c 129 4211 345290 47572 0 0 425 425 212 17.85/2.56 c 134 3672 328967 62542 0 0 233 233 116 17.85/2.57 c 133 4705 332353 62537 0 0 346 346 173 18.58/2.61 c 611 5571 420989 114694 0 0 174 490 464 19.38/2.72 c 135 3910 350954 66970 0 0 238 238 119 19.38/2.79 c 134 5057 362901 67304 0 0 352 352 176 20.18/2.82 c 130 4703 384678 53287 0 0 492 492 246 20.18/2.83 c 332 6509 430829 41710 0 0 465 540 530 20.18/2.83 c 771 5401 436295 133175 0 0 36 359 311 20.98/2.95 c 465 4968 441639 51705 0 0 311 559 539 21.84/3.01 c 135 5416 394360 72193 0 0 359 359 179 21.84/3.02 c 256 4868 401520 68797 0 0 75 1067 984 21.84/3.08 c 131 5130 420719 58937 0 0 427 427 213 21.84/3.08 c 257 4943 408849 69848 0 0 75 75 37 22.64/3.14 c 258 5017 416114 70891 0 0 74 74 37 23.37/3.20 c 259 5091 423316 71891 0 0 74 74 37 23.37/3.21 c 132 5347 435718 61616 0 0 217 217 108 23.37/3.26 c 260 5165 430682 73095 0 0 74 74 37 23.37/3.28 c 256 5060 455938 80431 0 0 227 414 381 24.17/3.32 c 261 5239 438199 74447 0 0 74 74 37 24.17/3.36 c 771 6653 555177 134472 0 0 417 489 468 24.17/3.37 c 262 5313 445538 75525 0 0 74 74 37 24.17/3.38 c 133 5644 458155 65615 0 0 297 297 148 24.96/3.41 c 465 7846 539042 55798 0 0 275 523 433 24.96/3.42 c 611 5993 521261 66381 0 0 125 449 431 24.96/3.43 c 263 5387 452916 76785 0 0 74 74 37 24.96/3.46 c 257 5325 479954 84784 0 0 265 265 132 24.96/3.49 c 264 5461 460273 77947 0 0 74 74 37 25.84/3.55 c 256 5982 487811 84175 0 0 341 360 354 25.84/3.55 c 265 5535 467773 79215 0 0 74 74 37 25.84/3.57 c 134 5980 482763 69953 0 0 336 336 168 26.56/3.61 c 266 5609 475196 80448 0 0 74 74 37 26.56/3.66 c 267 5683 482535 81526 0 0 74 74 37 26.56/3.68 c 258 5633 508911 89730 0 0 308 308 154 27.35/3.72 c 268 5757 489734 82512 0 0 74 74 37 27.35/3.75 c 257 6329 516114 88590 0 0 347 347 173 27.35/3.76 c 135 6321 509082 74478 0 0 341 341 170 27.35/3.77 c 269 5831 496939 83526 0 0 74 74 37 28.14/3.81 c 771 7087 594924 82927 0 0 513 535 523 28.14/3.83 c 270 5905 504156 84580 0 0 74 74 37 28.14/3.84 c 947 10229 638337 156691 0 0 47 597 555 28.14/3.85 c 259 5913 535327 94353 0 0 280 280 140 28.14/3.88 c 271 5979 511531 85784 0 0 74 74 37 28.93/3.94 c 258 6677 544071 93126 0 0 348 348 174 29.76/4.03 c 260 6200 562711 99056 0 0 287 287 143 29.76/4.07 c 611 10395 680702 70269 0 0 198 605 436 30.56/4.14 c 947 8025 690477 153291 0 0 503 569 528 30.56/4.15 c 259 7054 575927 98044 0 0 377 377 188 30.56/4.17 c 256 7606 597064 91526 0 0 451 499 463 30.56/4.18 c 947 7916 659650 92981 0 0 346 429 423 31.29/4.21 c 261 6484 589554 103632 0 0 284 284 142 32.09/4.31 c 257 7903 617597 95641 0 0 297 297 148 32.09/4.35 c 260 7432 608095 103010 0 0 378 378 189 32.09/4.36 c 258 8069 625305 97700 0 0 166 166 83 32.09/4.37 c 262 6749 613647 108092 0 0 265 265 132 32.09/4.37 c 1140 12103 748160 192155 0 0 282 329 306 32.88/4.50 c 771 11439 760994 80563 0 0 445 522 513 33.76/4.53 c 259 8382 649965 102312 0 0 313 313 156 33.76/4.54 c 263 7036 641062 112853 0 0 287 287 143 33.76/4.56 c 261 7802 639456 107813 0 0 370 370 185 33.76/4.58 c 1140 8745 746330 107392 0 0 381 410 405 33.76/4.58 c 260 8551 658348 104435 0 0 169 169 84 35.28/4.74 c 264 7344 670927 117798 0 0 308 308 154 35.28/4.76 c 261 8880 685724 109366 0 0 329 329 164 35.28/4.78 c 262 8186 672449 112869 0 0 384 384 192 36.08/4.81 c 1352 13407 830666 223268 0 0 67 331 299 36.08/4.81 c 262 9053 694120 111501 0 0 173 173 86 36.88/4.92 c 265 7624 697295 122366 0 0 280 280 140 36.88/4.94 c 1352 9563 827986 125463 0 0 362 416 410 36.88/4.95 c 512 7255 719360 118120 0 0 74 481 442 36.88/4.97 c 263 9374 719017 116393 0 0 321 321 160 36.88/4.98 c 947 12799 871536 93226 0 0 98 587 552 36.88/4.99 c 263 8567 704642 117856 0 0 381 381 190 36.88/5.00 c 513 7330 726850 119210 0 0 75 75 37 37.75/5.06 c 514 7404 735028 120653 0 0 74 74 37 37.75/5.06 c 266 7888 720895 126739 0 0 264 264 132 37.75/5.07 c 1140 9400 872383 175200 0 0 598 638 609 38.54/5.12 c 515 7478 742651 121809 0 0 74 74 37 38.54/5.12 c 264 9687 741604 120990 0 0 313 313 156 38.54/5.20 c 264 8931 734720 122539 0 0 364 364 182 39.27/5.23 c 267 8159 745603 131224 0 0 271 271 135 39.27/5.23 c 516 7736 759665 124904 0 0 258 258 129 40.07/5.32 c 265 10079 772309 126278 0 0 392 392 196 40.07/5.36 c 517 8023 778667 128131 0 0 287 287 143 40.07/5.39 c 266 10268 781842 128532 0 0 189 189 94 40.87/5.40 c 265 9298 765371 127281 0 0 367 367 183 40.87/5.41 c 1585 14925 935653 260901 0 0 100 394 271 40.87/5.41 c 268 8460 774595 136024 0 0 301 301 150 40.87/5.48 c 518 8284 796031 131251 0 0 261 261 130 41.74/5.51 c 1140 13877 983105 111559 0 0 402 578 568 41.74/5.54 c 1585 10638 959498 140509 0 0 277 423 416 41.74/5.56 c 267 10621 807066 132957 0 0 353 353 176 41.74/5.57 c 269 8734 799087 140623 0 0 274 274 137 41.74/5.59 c 266 9634 793113 131570 0 0 336 336 168 42.46/5.61 c 519 8571 815011 134481 0 0 287 287 143 42.46/5.67 c 520 8646 822739 135578 0 0 75 75 37 43.26/5.73 c 270 8994 822660 144903 0 0 260 260 130 43.26/5.73 c 268 10961 833479 137720 0 0 340 340 170 43.26/5.77 c 267 9971 820320 135885 0 0 337 337 168 43.26/5.79 c 521 8904 839775 138670 0 0 258 258 129 44.06/5.86 c First solution is found 44.06/5.86 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4. 44.06/5.86 c [pFactory][Group N°0] Thread N°0 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°1 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°2 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°3 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°4 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°5 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°6 is joined. 44.06/5.86 c [pFactory][Group N°0] Thread N°7 is joined. 44.06/5.86 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°6) 44.06/5.86 s SATISFIABLE 44.06/5.86 c restarts : 29 44.06/5.86 c conflicts : 270 (6 /sec) 44.06/5.86 c decisions : 9231 (208 /sec) 44.06/5.86 c propagations : 148624 (3349 /sec) 44.06/5.86 c root propagations : 0 44.06/5.86 c filter calls : 841298 (18957 /sec) 44.06/5.86 c useless filter calls : 819049 (97 %) 44.06/5.86 c Memory used : 645.82 MB 44.06/5.86 c CPU time : 44.3801 s 44.06/5.86 c real time : 5.86191 s 44.06/5.86 44.06/5.86 c solution 1 44.06/5.86 44.06/5.86 v <instantiation type='solution'> 44.06/5.86 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> 44.06/5.86 v <values>2 16 6 18 6 1 16 10 11 6 20 10 5 18 18 14 16 6 11 22 16 13 16 2 2 7 0 6 16 22 20 2 0 10 2 0 10 20 21 2 10 0 7 2 2 10 0 7 2 2 5 10 16 5 3 10 2 5 10 16 20 21 2 16 5 10 2 6 16 21 20 22 16 5 6 2 16 2 0 6 3 6 21 6 16 22 17 16 10 2 13 3 16 13 18 6 12 13 18 23 0 20 16 2 13 2 24 0 6 18 4 2 24 6 18 16 2 6 0 23 12 0 2 6 0 2 16 9 2 16 5 23 16 20 23 0 23 16 13 18 6 17 10 2 2 4 12 6 18 2 16 5 10 2 15 16 6 5 10 2 16 16 8 16 19 5 16 18 5 6 20 5 18 22 5 20 6 5 18 16 7 11 6 16 16 8 2 9 5 10 2 10 2 10 5 10 2 10 5 9 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 </values> 44.06/5.86 v </instantiation> 44.06/5.86
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 (15180 MiB free)
memory of node 1: 16384 MiB (15477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409287-1569827674/watcher-4409287-1569827674 -o /tmp/evaluation-result-4409287-1569827674/solver-4409287-1569827674 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409287-1569827674.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=16138, runsolver pid=16135
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 3.72 2.21 4.27 2/192 16139
/proc/meminfo: memFree=31348080/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=76604 memory=52932 CPUtime=0.1 cores=0-7
/proc/16138/stat : 16138 (cosoco) R 16135 16138 14101 0 -1 4202496 13448 0 0 0 8 2 0 0 20 0 1 0 558681118 78442496 13233 33554432000 4194304 6211132 140721768029904 140721768026440 140600560643045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 19151 13233 849 493 0 12456 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76604 KiB
Current children cumulated memory: 52932 KiB
[startup+0.20954 s]*
/proc/loadavg: 3.72 2.21 4.27 2/192 16139
/proc/meminfo: memFree=31328812/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=92260 memory=68588 CPUtime=0.21 cores=0-7
/proc/16138/stat : 16138 (cosoco) R 16135 16138 14101 0 -1 4202496 17370 0 0 0 18 3 0 0 20 0 1 0 558681118 94474240 17147 33554432000 4194304 6211132 140721768029904 140721768026440 140600560691104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 23065 17147 849 493 0 16370 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92260 KiB
Current children cumulated memory: 68588 KiB
[startup+0.309401 s]*
/proc/loadavg: 3.72 2.21 4.27 11/200 16147
/proc/meminfo: memFree=31315416/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=81600 CPUtime=0.61 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 20891 0 0 0 58 3 0 0 20 0 9 0 558681118 710762496 20400 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 20400 881 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=6935054825532540783 CPUtime=0.04 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600553540392 140600560638782 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 41 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600545148512 140600560643045 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=0 CPUtime=0.04 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 44 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600536755064 140600560712235 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=0 CPUtime=0.04 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 38 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600528362872 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 86 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600519969496 5156497 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=0 CPUtime=0.04 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 100 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600511576680 140600560638782 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=0 CPUtime=0.04 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 53 0 0 0 4 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600503184088 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=0 CPUtime=0.03 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 9 0 558681147 710762496 20400 33554432000 4194304 6211132 140721768029904 140600494792056 5250266 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 81600 KiB
[startup+0.701133 s]
/proc/loadavg: 3.72 2.21 4.27 10/200 16147
/proc/meminfo: memFree=31302864/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=111940 CPUtime=3.42 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 28380 0 0 0 337 5 0 0 20 0 9 0 558681118 710762496 27985 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 27985 889 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=2520 CPUtime=0.38 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 1130 0 0 0 38 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600553540312 5155373 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=1760 CPUtime=0.39 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 870 0 0 0 39 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600545147688 5156488 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=1772 CPUtime=0.39 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 985 0 0 0 39 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600536754952 5250330 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=111632 CPUtime=0.38 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 814 0 0 0 38 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600528362280 5155377 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=796 CPUtime=0.39 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 1127 0 0 0 39 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600519969544 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=-7175204567652784766 CPUtime=0.39 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 936 0 0 0 39 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600511576792 5157427 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=7100839861465685612 CPUtime=0.38 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 1134 0 0 0 38 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600503184008 5156963 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=3054156605268465310 CPUtime=0.37 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 984 0 0 0 37 0 0 0 20 0 9 0 558681147 710762496 27985 33554432000 4194304 6211132 140721768029904 140600494791624 140600560638782 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 111940 KiB
[startup+1.51013 s]
/proc/loadavg: 4.06 2.31 4.29 9/200 16147
/proc/meminfo: memFree=31287304/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=117128 CPUtime=9.87 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 47118 0 0 0 975 12 0 0 20 0 9 0 558681118 710762496 29282 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 29282 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=6943526294502006880 CPUtime=1.19 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 4249 0 0 0 117 2 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600553540312 5157444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=0 CPUtime=1.2 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 3236 0 0 0 120 0 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600545148000 5409471 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=0 CPUtime=1.19 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 2398 0 0 0 119 0 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600536755296 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=7738983422074579286 CPUtime=1.18 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 3804 0 0 0 118 0 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600528362248 5157490 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=5787220424133923424 CPUtime=1.2 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 3570 0 0 0 118 2 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600519969888 5155766 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=0 CPUtime=1.18 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 4114 0 0 0 118 0 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600511577184 5009210 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=0 CPUtime=1.19 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 3039 0 0 0 118 1 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600503184480 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=7598824234097836114 CPUtime=1.18 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 2309 0 0 0 118 0 0 0 20 0 9 0 558681147 710762496 29282 33554432000 4194304 6211132 140721768029904 140600494791776 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 9.87 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 117128 KiB
[startup+3.11013 s]
/proc/loadavg: 4.06 2.31 4.29 9/200 16147
/proc/meminfo: memFree=31279260/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=120644 CPUtime=22.64 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 56079 0 0 0 2250 14 0 0 20 0 9 0 558681118 710762496 30161 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 30161 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=280671281475584 CPUtime=2.79 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 5324 0 0 0 277 2 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600553540704 5193786 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=259 CPUtime=2.8 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 3637 0 0 0 280 0 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600545148000 5155700 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=259 CPUtime=2.8 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 4284 0 0 0 278 2 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600536755296 5156288 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=258 CPUtime=2.78 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 4843 0 0 0 278 0 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600528362592 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=49 CPUtime=2.8 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 3827 0 0 0 278 2 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600519969888 5155373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=48 CPUtime=2.76 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 4472 0 0 0 276 0 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600511577184 5157446 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=49 CPUtime=2.79 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 4091 0 0 0 278 1 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600503184480 5136319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=49 CPUtime=2.78 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 5200 0 0 0 278 0 0 0 20 0 9 0 558681147 710762496 30161 33554432000 4194304 6211132 140721768029904 140600494791776 5156492 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 22.64 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 120644 KiB
[startup+5.87715 s]
# the end of solver process 16138 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.3807 s, system=0.214906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20113 s]
/proc/loadavg: 4.06 2.31 4.29 9/200 16147
/proc/meminfo: memFree=31279260/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=120800 CPUtime=23.37 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 56160 0 0 0 2323 14 0 0 20 0 9 0 558681118 710762496 30200 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 30200 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=47 CPUtime=2.88 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 5325 0 0 0 286 2 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600553540704 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=6935054825532540783 CPUtime=2.89 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 3714 0 0 0 289 0 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600545148000 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=10432 CPUtime=2.89 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 4285 0 0 0 287 2 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600536755296 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=2020 CPUtime=2.87 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 4843 0 0 0 287 0 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600528362592 5157589 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=6788 CPUtime=2.89 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 3829 0 0 0 287 2 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600519969888 5250273 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=1315 CPUtime=2.85 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 4472 0 0 0 285 0 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600511577184 5156912 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=1837 CPUtime=2.88 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 4091 0 0 0 287 1 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600503183976 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=-2025810976467231676 CPUtime=2.87 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 5200 0 0 0 287 0 0 0 20 0 9 0 558681147 710762496 30200 33554432000 4194304 6211132 140721768029904 140600494791776 5155373 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 23.37 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 120800 KiB
[startup+4.80113 s]
/proc/loadavg: 4.06 2.31 4.29 7/200 16147
/proc/meminfo: memFree=31276144/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=122056 CPUtime=36.08 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 100950 0 0 0 3590 18 0 0 20 0 9 0 558681118 710762496 30514 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 30514 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=0 CPUtime=4.48 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 11800 0 0 0 445 3 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600553540704 5136615 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=140335640748041 CPUtime=4.49 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 8392 0 0 0 448 1 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600545148000 5156288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=6935054825532540783 CPUtime=4.48 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 9250 0 0 0 446 2 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600536754824 5156288 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=48 CPUtime=4.47 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 11589 0 0 0 446 1 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600528362592 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=49 CPUtime=4.48 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 8126 0 0 0 446 2 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600519969888 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=121516 CPUtime=4.42 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 10062 0 0 0 442 0 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600511577184 5156508 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=0 CPUtime=4.47 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 12030 0 0 0 445 2 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600503184480 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=0 CPUtime=4.45 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 9300 0 0 0 445 0 0 0 20 0 9 0 558681147 710762496 30514 33554432000 4194304 6211132 140721768029904 140600494791776 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 36.08 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122056 KiB
[startup+5.6012 s]
/proc/loadavg: 4.06 2.31 4.29 9/200 16147
/proc/meminfo: memFree=31277544/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=122488 CPUtime=42.46 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 105607 0 0 0 4228 18 0 0 20 0 9 0 558681118 710762496 30622 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 30622 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=6357 CPUtime=5.28 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 11912 0 0 0 525 3 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600553540704 5155527 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=2617 CPUtime=5.28 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 9114 0 0 0 527 1 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600545148000 5008912 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=6935054825532540783 CPUtime=5.28 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 11058 0 0 0 526 2 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600536754824 5008940 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=0 CPUtime=5.26 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 11623 0 0 0 525 1 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600528362592 5155377 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=140335640571108 CPUtime=5.28 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 8405 0 0 0 526 2 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600519969888 5155373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=140335640571155 CPUtime=5.22 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 10394 0 0 0 522 0 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600511577184 5156288 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=0 CPUtime=5.27 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 12186 0 0 0 525 2 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600503184480 5193742 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=4049923744544861123 CPUtime=5.26 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 10786 0 0 0 525 1 0 0 20 0 9 0 558681147 710762496 30622 33554432000 4194304 6211132 140721768029904 140600494791776 5155527 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 42.46 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122488 KiB
[startup+5.80113 s]
/proc/loadavg: 4.06 2.31 4.29 9/200 16147
/proc/meminfo: memFree=31277544/32770624 swapFree=66936012/67108860
[pid=16138] ppid=16135 vsize=694104 memory=122652 CPUtime=44.06 cores=0-7
/proc/16138/stat : 16138 (cosoco) S 16135 16138 14101 0 -1 1077944320 121436 0 0 0 4387 19 0 0 20 0 9 0 558681118 710762496 30663 33554432000 4194304 6211132 140721768029904 140721768028160 140600576683767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
/proc/16138/statm: 173526 30663 890 493 0 166831 0
[pid=16138/tid=16140] ppid=16135 vsize=694104 memory=7524204786126706279 CPUtime=5.48 cores=0-7
/proc/16138/task/16140/stat : 16140 (cosoco) R 16135 16138 14101 0 -1 4202560 14154 0 0 0 545 3 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600553540704 5186256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16141] ppid=16135 vsize=694104 memory=6948025500126238316 CPUtime=5.48 cores=0-7
/proc/16138/task/16141/stat : 16141 (cosoco) R 16135 16138 14101 0 -1 4202560 9642 0 0 0 547 1 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600545148000 5155377 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16142] ppid=16135 vsize=694104 memory=6935054825532540783 CPUtime=5.47 cores=0-7
/proc/16138/task/16142/stat : 16142 (cosoco) R 16135 16138 14101 0 -1 4202560 12537 0 0 0 545 2 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600536754824 5193740 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16143] ppid=16135 vsize=694104 memory=988 CPUtime=5.45 cores=0-7
/proc/16138/task/16143/stat : 16143 (cosoco) R 16135 16138 14101 0 -1 4202560 14424 0 0 0 544 1 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600528362592 5155377 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16144] ppid=16135 vsize=694104 memory=1432 CPUtime=5.48 cores=0-7
/proc/16138/task/16144/stat : 16144 (cosoco) R 16135 16138 14101 0 -1 4202560 9970 0 0 0 546 2 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600519969888 5156288 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16145] ppid=16135 vsize=694104 memory=1056 CPUtime=5.43 cores=0-7
/proc/16138/task/16145/stat : 16145 (cosoco) R 16135 16138 14101 0 -1 4202560 12634 0 0 0 542 1 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600511577184 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16146] ppid=16135 vsize=694104 memory=1716 CPUtime=5.46 cores=0-7
/proc/16138/task/16146/stat : 16146 (cosoco) R 16135 16138 14101 0 -1 4202560 14976 0 0 0 544 2 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600503184480 5008971 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
[pid=16138/tid=16147] ppid=16135 vsize=694104 memory=9280 CPUtime=5.45 cores=0-7
/proc/16138/task/16147/stat : 16147 (cosoco) R 16135 16138 14101 0 -1 4202560 12701 0 0 0 544 1 0 0 20 0 9 0 558681147 710762496 30663 33554432000 4194304 6211132 140721768029904 140600494791776 5250283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17399808 140721768031249 140721768031341 140721768031341 140721768034254 0
Current children cumulated CPU time: 44.06 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122652 KiB
Child status: 0
Real time (s): 5.87722
CPU time (s): 44.5956
CPU user time (s): 44.3807
CPU system time (s): 0.214906
CPU usage (%): 758.788
Max. virtual memory (cumulated for all children) (KiB): 694104
Max. memory (cumulated for all children) (KiB): 122652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.3807
system time used= 0.214906
maximum resident set size= 123652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122696
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= 1143
involuntary context switches= 531
# summary of solver processes directly reported to runsolver:
# pid: 16138
# total CPU time (s): 44.5956
# total CPU user time (s): 44.3807
# total CPU system time (s): 0.214906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039826 second user time and 0.105901 second system time
The end
Begin job on node147 at 2019-09-30 09:13:50 IDJOB=4409287 IDBENCH=128075 IDSOLVER=2877 FILE ID=node147/4409287-1569827674 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-09.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409287-1569827674/watcher-4409287-1569827674 -o /tmp/evaluation-result-4409287-1569827674/solver-4409287-1569827674 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409287-1569827674.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41 RANDOM SEED=615478926 node147.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.52 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.52 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.52 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.52 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: 31394028 kB MemAvailable: 31793020 kB Buffers: 235996 kB Cached: 491580 kB SwapCached: 68896 kB Active: 416404 kB Inactive: 384200 kB Active(anon): 18316 kB Inactive(anon): 136744 kB Active(file): 398088 kB Inactive(file): 247456 kB Unevictable: 107716 kB Mlocked: 107716 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 167960 kB Mapped: 27060 kB Shmem: 73672 kB Slab: 167828 kB SReclaimable: 138564 kB SUnreclaim: 29264 kB KernelStack: 3728 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node147 at 2019-09-30 09:13:55