| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 42.0766 | 5.59806 |
| 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-4398027-1568605307.xml 0.21/0.30 c ========================================[ Problem Statistics ]=========================================== 0.21/0.30 c | 0.21/0.30 c | Parse time : 0.26 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 5. 0.21/0.30 c [pFactory][Group N°0] task 3 launched on thread 6. 0.21/0.30 c [pFactory][Group N°0] task 2 launched on thread 4. 0.21/0.30 c [pFactory][Group N°0] task 1 launched on thread 3. 0.21/0.30 c [pFactory][Group N°0] task 0 launched on thread 7. 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.30 c root propagations : 0 0.21/0.30 c restarts enabled, print stats at every restarts 0.21/0.30 c 0.21/0.30 c 0.21/0.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 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 3.16/0.77 c 32 1046 66463 12785 0 0 838 884 828 3.16/0.78 c 32 1134 63180 8734 0 0 402 1038 973 3.91/0.81 c 32 1103 69564 9961 0 0 952 996 936 3.91/0.84 c 33 1162 75159 15834 0 0 116 116 58 3.91/0.86 c 33 1223 74049 12312 0 0 89 89 44 3.91/0.88 c 33 1199 77779 11215 0 0 96 96 48 3.91/0.89 c 101 1132 90246 18662 0 0 825 845 833 4.71/0.90 c 32 1056 78727 11334 0 0 873 916 863 4.71/0.98 c 64 1467 96916 25210 0 0 116 164 150 5.58/1.02 c 33 1320 91395 13566 0 0 264 264 132 5.58/1.04 c 65 1589 104823 26861 0 0 122 122 61 5.58/1.07 c 64 1409 104366 18236 0 0 99 109 101 5.58/1.09 c 64 1473 112909 19880 0 0 97 198 157 5.58/1.09 c 66 1711 112696 28500 0 0 122 122 61 5.58/1.10 c 101 1452 127684 15250 0 0 961 1015 970 6.37/1.13 c 65 1485 111839 19286 0 0 76 76 38 6.37/1.15 c 67 1826 120243 30100 0 0 115 115 57 6.37/1.16 c 101 1639 144557 25581 0 0 425 993 932 6.37/1.19 c 101 1361 142950 14494 0 0 794 1030 997 6.37/1.19 c 66 1569 119878 20376 0 0 84 84 42 7.10/1.21 c 65 1659 131642 24081 0 0 186 186 93 7.10/1.24 c 66 1709 134881 25321 0 0 50 50 25 7.10/1.25 c 67 1646 127401 21391 0 0 77 77 38 7.88/1.37 c 67 1902 155243 29436 0 0 193 193 96 7.88/1.38 c 211 2458 183828 44884 0 0 129 177 153 8.64/1.40 c 211 2508 177179 36800 0 0 164 345 281 9.50/1.53 c 64 2517 173193 22946 0 0 959 985 941 9.50/1.56 c 128 3038 189779 39799 0 0 117 907 829 9.50/1.57 c 65 2582 177241 24278 0 0 65 65 32 9.50/1.58 c 332 3087 215368 60542 0 0 115 122 118 9.50/1.59 c 332 3396 224348 67327 0 0 109 183 146 11.04/1.71 c 128 2400 220935 39108 0 0 177 358 327 11.04/1.73 c 465 4439 259361 96384 0 0 160 197 180 11.04/1.75 c 129 3382 218711 44551 0 0 344 344 172 11.04/1.77 c 66 2884 209579 29675 0 0 302 302 151 11.04/1.79 c 465 3673 258629 88356 0 0 104 109 106 11.84/1.82 c 129 2609 237065 42708 0 0 209 209 104 11.84/1.84 c 67 3016 218512 31683 0 0 132 132 66 11.84/1.86 c 128 2751 215402 41021 0 0 75 828 119 11.84/1.89 c 211 2861 270037 30261 0 0 914 984 948 12.64/1.91 c 129 2828 222837 42069 0 0 77 77 38 12.64/1.93 c 130 2809 252908 46715 0 0 200 200 100 12.64/1.95 c 130 3728 248326 49264 0 0 346 346 173 12.64/1.96 c 130 2904 230347 43203 0 0 76 76 38 13.50/2.02 c 131 2980 237718 44243 0 0 76 76 38 13.50/2.05 c 131 3014 270828 50414 0 0 205 205 102 13.50/2.07 c 132 3055 245151 45375 0 0 75 75 37 14.30/2.11 c 131 4020 272870 53357 0 0 292 292 146 14.30/2.13 c 133 3131 252675 46579 0 0 76 76 38 14.30/2.17 c 611 4682 332204 116686 0 0 93 118 104 14.30/2.17 c 134 3206 260090 47629 0 0 75 75 37 14.30/2.18 c 132 3227 289405 54343 0 0 213 213 106 15.02/2.23 c 135 3281 267366 48599 0 0 75 75 37 15.02/2.28 c 128 3786 312809 42357 0 0 407 434 415 15.02/2.28 c 211 5603 364345 32353 0 0 206 723 465 15.82/2.30 c 132 4359 302482 57858 0 0 339 339 169 15.82/2.30 c 332 4033 340031 39964 0 0 737 814 780 15.82/2.31 c 133 3439 308508 58249 0 0 212 212 106 16.62/2.45 c 134 3672 328967 62542 0 0 233 233 116 16.62/2.49 c 129 4211 345290 47572 0 0 425 425 212 16.62/2.49 c 133 4705 332353 62537 0 0 346 346 173 17.43/2.51 c 611 5571 420989 114694 0 0 174 490 464 17.43/2.59 c 135 3910 350954 66970 0 0 238 238 119 18.26/2.69 c 332 6509 430829 41710 0 0 465 540 530 19.03/2.70 c 134 5057 362901 67304 0 0 352 352 176 19.03/2.74 c 130 4703 384678 53287 0 0 492 492 246 19.03/2.74 c 771 5401 436295 133175 0 0 36 359 311 19.82/2.81 c 465 4968 441639 51705 0 0 311 559 539 19.82/2.89 c 135 5416 394360 72193 0 0 359 359 179 20.62/2.92 c 256 4868 401520 68797 0 0 75 1067 984 20.62/2.96 c 131 5130 420719 58937 0 0 427 427 213 20.62/2.98 c 257 4943 408849 69848 0 0 75 75 37 21.50/3.03 c 258 5017 416114 70891 0 0 74 74 37 21.50/3.08 c 132 5347 435718 61616 0 0 217 217 108 21.50/3.08 c 259 5091 423316 71891 0 0 74 74 37 21.50/3.09 c 256 5060 455938 80431 0 0 227 414 381 22.28/3.13 c 260 5165 430682 73095 0 0 74 74 37 22.28/3.19 c 261 5239 438199 74447 0 0 74 74 37 22.28/3.19 c 771 6653 555177 134472 0 0 417 489 468 23.01/3.20 c 465 7846 539042 55798 0 0 275 523 433 23.01/3.23 c 611 5993 521261 66381 0 0 125 449 431 23.01/3.24 c 133 5644 458155 65615 0 0 297 297 148 23.01/3.24 c 262 5313 445538 75525 0 0 74 74 37 23.01/3.25 c 257 5325 479954 84784 0 0 265 265 132 23.01/3.29 c 263 5387 452916 76785 0 0 74 74 37 23.81/3.35 c 264 5461 460273 77947 0 0 74 74 37 23.81/3.39 c 256 5982 487811 84175 0 0 341 360 354 24.61/3.41 c 265 5535 467773 79215 0 0 74 74 37 24.61/3.41 c 134 5980 482763 69953 0 0 336 336 168 24.61/3.44 c 258 5633 508911 89730 0 0 308 308 154 24.61/3.46 c 266 5609 475196 80448 0 0 74 74 37 25.41/3.51 c 267 5683 482535 81526 0 0 74 74 37 25.41/3.56 c 268 5757 489734 82512 0 0 74 74 37 25.41/3.58 c 257 6329 516114 88590 0 0 347 347 173 26.20/3.60 c 135 6321 509082 74478 0 0 341 341 170 26.20/3.60 c 771 7087 594924 82927 0 0 513 535 523 26.20/3.61 c 259 5913 535327 94353 0 0 280 280 140 26.20/3.61 c 269 5831 496939 83526 0 0 74 74 37 26.20/3.64 c 947 10229 638337 156691 0 0 47 597 555 26.20/3.67 c 270 5905 504156 84580 0 0 74 74 37 27.01/3.72 c 271 5979 511531 85784 0 0 74 74 37 27.01/3.76 c 258 6677 544071 93126 0 0 348 348 174 27.01/3.78 c 260 6200 562711 99056 0 0 287 287 143 27.81/3.83 c 611 10395 680702 70269 0 0 198 605 436 28.61/3.93 c 947 8025 690477 153291 0 0 503 569 528 28.61/3.96 c 261 6484 589554 103632 0 0 284 284 142 28.61/3.96 c 259 7054 575927 98044 0 0 377 377 188 28.61/3.96 c 947 7916 659650 92981 0 0 346 429 423 28.61/3.98 c 256 7606 597064 91526 0 0 451 499 463 30.27/4.12 c 257 7903 617597 95641 0 0 297 297 148 30.27/4.12 c 262 6749 613647 108092 0 0 265 265 132 30.27/4.16 c 1140 12103 748160 192155 0 0 282 329 306 30.27/4.17 c 260 7432 608095 103010 0 0 378 378 189 30.27/4.17 c 258 8069 625305 97700 0 0 166 166 83 30.99/4.24 c 771 11439 760994 80563 0 0 445 522 513 31.79/4.31 c 263 7036 641062 112853 0 0 287 287 143 31.79/4.34 c 259 8382 649965 102312 0 0 313 313 156 31.79/4.35 c 1140 8745 746330 107392 0 0 381 410 405 31.79/4.37 c 261 7802 639456 107813 0 0 370 370 185 31.79/4.39 c 260 8551 658348 104435 0 0 169 169 84 32.59/4.49 c 264 7344 670927 117798 0 0 308 308 154 33.40/4.57 c 261 8880 685724 109366 0 0 329 329 164 33.40/4.59 c 1352 13407 830666 223268 0 0 67 331 299 33.40/4.59 c 262 8186 672449 112869 0 0 384 384 192 34.19/4.63 c 262 9053 694120 111501 0 0 173 173 86 34.19/4.66 c 265 7624 697295 122366 0 0 280 280 140 34.99/4.70 c 1352 9563 827986 125463 0 0 362 416 410 34.99/4.72 c 947 12799 871536 93226 0 0 98 587 552 34.99/4.76 c 512 7255 719360 118120 0 0 74 481 442 34.99/4.79 c 263 9374 719017 116393 0 0 321 321 160 34.99/4.79 c 263 8567 704642 117856 0 0 381 381 190 35.78/4.81 c 266 7888 720895 126739 0 0 264 264 132 35.78/4.82 c 513 7330 726850 119210 0 0 75 75 37 35.78/4.86 c 1140 9400 872383 175200 0 0 598 638 609 35.78/4.88 c 514 7404 735028 120653 0 0 74 74 37 36.58/4.93 c 515 7478 742651 121809 0 0 74 74 37 36.58/4.94 c 264 9687 741604 120990 0 0 313 313 156 36.58/4.97 c 267 8159 745603 131224 0 0 271 271 135 36.58/4.99 c 264 8931 734720 122539 0 0 364 364 182 37.45/5.05 c 516 7736 759665 124904 0 0 258 258 129 38.25/5.14 c 265 10079 772309 126278 0 0 392 392 196 38.25/5.17 c 268 8460 774595 136024 0 0 301 301 150 38.25/5.18 c 517 8023 778667 128131 0 0 287 287 143 38.25/5.18 c 1585 14925 935653 260901 0 0 100 394 271 38.25/5.19 c 265 9298 765371 127281 0 0 367 367 183 38.97/5.20 c 266 10268 781842 128532 0 0 189 189 94 38.97/5.24 c 1140 13877 983105 111559 0 0 402 578 568 38.97/5.29 c 518 8284 796031 131251 0 0 261 261 130 38.97/5.30 c 1585 10638 959498 140509 0 0 277 423 416 39.77/5.33 c 269 8734 799087 140623 0 0 274 274 137 39.77/5.37 c 267 10621 807066 132957 0 0 353 353 176 39.77/5.38 c 266 9634 793113 131570 0 0 336 336 168 40.57/5.42 c 519 8571 815011 134481 0 0 287 287 143 40.57/5.48 c 270 8994 822660 144903 0 0 260 260 130 40.57/5.48 c 520 8646 822739 135578 0 0 75 75 37 41.43/5.54 c 268 10961 833479 137720 0 0 340 340 170 41.43/5.55 c 267 9971 820320 135885 0 0 337 337 168 41.43/5.58 c First solution is found 41.43/5.58 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 4. 41.43/5.58 c [pFactory][Group N°0] Thread N°0 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°1 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°2 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°3 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°4 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°5 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°6 is joined. 41.43/5.58 c [pFactory][Group N°0] Thread N°7 is joined. 41.43/5.58 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5) 41.43/5.58 s SATISFIABLE 41.43/5.58 c restarts : 29 41.43/5.58 c conflicts : 270 (6 /sec) 41.43/5.58 c decisions : 9220 (220 /sec) 41.43/5.58 c propagations : 148332 (3542 /sec) 41.43/5.58 c root propagations : 0 41.43/5.58 c filter calls : 838008 (20012 /sec) 41.43/5.58 c useless filter calls : 815819 (97 %) 41.43/5.58 c Memory used : 645.82 MB 41.43/5.58 c CPU time : 41.8752 s 41.43/5.58 c real time : 5.58474 s 41.43/5.58 41.43/5.58 c solution 1 41.43/5.58 41.43/5.58 v <instantiation type='solution'> 41.43/5.58 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> 41.43/5.58 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> 41.43/5.58 v </instantiation> 41.43/5.58
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 (15197 MiB free)
memory of node 1: 16384 MiB (15576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398027-1568605307/watcher-4398027-1568605307 -o /tmp/evaluation-result-4398027-1568605307/solver-4398027-1568605307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568597878-29114 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398027-1568605307.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
Current StackSize limit: 8192 KiB
solver pid=30399, runsolver pid=30396
[startup+0.100164 s]*
/proc/loadavg: 3.18 3.64 5.52 2/197 30400
/proc/meminfo: memFree=31465200/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=77876 memory=54344 CPUtime=0.1 cores=0-7
/proc/30399/stat : 30399 (cosoco) R 30396 30399 29087 0 -1 4202496 13758 0 0 0 8 2 0 0 20 0 1 0 436453418 79745024 13586 33554432000 4194304 6211092 140736249248240 140736249244776 139731053267941 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 19469 13586 849 493 0 12774 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77876 KiB
Current children cumulated memory: 54344 KiB
[startup+0.209772 s]*
/proc/loadavg: 3.18 3.64 5.52 2/197 30400
/proc/meminfo: memFree=31446632/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=92520 memory=68852 CPUtime=0.21 cores=0-7
/proc/30399/stat : 30399 (cosoco) R 30396 30399 29087 0 -1 4202496 17438 0 0 0 19 2 0 0 20 0 1 0 436453418 94740480 17213 33554432000 4194304 6211092 140736249248240 140736249244776 139731053267941 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 23130 17213 849 493 0 16435 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92520 KiB
Current children cumulated memory: 68852 KiB
[startup+0.310096 s]*
/proc/loadavg: 3.18 3.64 5.52 11/205 30408
/proc/meminfo: memFree=31433640/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=81088 CPUtime=0.5 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 20650 0 0 0 48 2 0 0 20 0 9 0 436453418 710762496 20272 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 20272 881 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=6935054825532540783 CPUtime=0.02 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731046165320 5185108 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731037773176 5412970 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=0 CPUtime=0.02 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731029380472 5412970 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=0 CPUtime=0.02 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731020988000 139731053267941 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=6656426216303648864 CPUtime=0.02 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731012595064 5412970 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=0 CPUtime=0.02 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139731004202360 5185108 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=0 CPUtime=0.02 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139730995809544 5412970 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=0 CPUtime=0.02 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 71 0 0 0 2 0 0 0 20 0 9 0 436453447 710762496 20272 33554432000 4194304 6211092 140736249248240 139730987416360 5156497 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 81088 KiB
[startup+0.706284 s]
/proc/loadavg: 3.18 3.64 5.52 7/205 30408
/proc/meminfo: memFree=31422856/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=109044 CPUtime=3.16 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 27764 0 0 0 311 5 0 0 20 0 9 0 436453418 710762496 27261 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 27261 891 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=1296 CPUtime=0.36 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) D 30396 30399 29087 0 -1 4202560 1044 0 0 0 36 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731046165256 139731053743703 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=732 CPUtime=0.35 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 837 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731037772504 5250224 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=1052 CPUtime=0.36 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 875 0 0 0 36 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731029379880 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=776 CPUtime=0.35 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) D 30396 30399 29087 0 -1 4202560 917 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731020986984 139731053743703 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=3992 CPUtime=0.35 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 811 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731012594472 5250251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=139675238348415 CPUtime=0.35 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 1114 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139731004201576 139731053337131 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=3470692292451393600 CPUtime=0.35 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) D 30396 30399 29087 0 -1 4202560 821 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139730995809064 139731053743703 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=4625243410194776160 CPUtime=0.35 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 944 0 0 0 35 0 0 0 20 0 9 0 436453447 710762496 27261 33554432000 4194304 6211092 140736249248240 139730987416360 139731053263678 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 109044 KiB
[startup+1.5091 s]
/proc/loadavg: 3.18 3.64 5.52 9/205 30408
/proc/meminfo: memFree=31403868/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=117104 CPUtime=9.5 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 43104 0 0 0 941 9 0 0 20 0 9 0 436453418 710762496 29276 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 29276 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=0 CPUtime=1.15 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 3979 0 0 0 115 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731046165288 139731053278345 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=2452 CPUtime=1.14 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 2871 0 0 0 114 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731037772896 5155517 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=288230609019732336 CPUtime=1.16 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 2029 0 0 0 115 1 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731029380192 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=279341586414720 CPUtime=1.15 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 2820 0 0 0 113 2 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731020986984 5156256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=139670793202416 CPUtime=1.14 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 3206 0 0 0 114 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731012594280 5136326 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=0 CPUtime=1.13 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 2657 0 0 0 113 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139731004202080 5136583 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=0 CPUtime=1.15 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 1585 0 0 0 115 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139730995809376 5250251 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=0 CPUtime=1.13 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 3564 0 0 0 113 0 0 0 20 0 9 0 436453447 710762496 29276 33554432000 4194304 6211092 140736249248240 139730987416672 5155353 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 117104 KiB
[startup+3.1101 s]
/proc/loadavg: 3.18 3.64 5.52 9/205 30408
/proc/meminfo: memFree=31395156/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=120960 CPUtime=22.28 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 52626 0 0 0 2214 14 0 0 20 0 9 0 436453418 710762496 30240 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30240 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=1052 CPUtime=2.75 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 4985 0 0 0 274 1 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731046165600 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=776 CPUtime=2.74 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 3347 0 0 0 274 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731037772424 5156256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=139670793028839 CPUtime=2.76 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 3917 0 0 0 274 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731029379880 5155348 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=-8172468297011507069 CPUtime=2.74 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 3743 0 0 0 272 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731020987488 5156460 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=-7161732098442470212 CPUtime=2.74 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 4281 0 0 0 274 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731012594784 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=1948 CPUtime=2.74 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 3710 0 0 0 273 1 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731004202080 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=1296 CPUtime=2.75 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 4406 0 0 0 273 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139730995809376 5250298 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=732 CPUtime=2.7 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 3836 0 0 0 270 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139730987416672 5250298 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 22.28 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 120960 KiB
[startup+5.59801 s]
# the end of solver process 30399 was just reported to runsolver
# cumulated CPU time of all completed processes: user=41.8758 s, system=0.20084 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2011 s]
/proc/loadavg: 3.18 3.64 5.52 9/205 30408
/proc/meminfo: memFree=31395156/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=120960 CPUtime=23.01 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 52645 0 0 0 2287 14 0 0 20 0 9 0 436453418 710762496 30240 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30240 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=776 CPUtime=2.85 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 4985 0 0 0 284 1 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731046165600 5136311 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=3992 CPUtime=2.83 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 3350 0 0 0 283 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731037772584 5156460 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=6935054825532540783 CPUtime=2.85 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 3917 0 0 0 283 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731029380192 5157254 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=11855 CPUtime=2.83 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 3743 0 0 0 281 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731020987488 5155320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=24688 CPUtime=2.83 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 4282 0 0 0 283 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731012594784 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=3484 CPUtime=2.83 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 3725 0 0 0 282 1 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139731004202080 5155341 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=22124 CPUtime=2.84 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 4406 0 0 0 282 2 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139730995809376 5156465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=984 CPUtime=2.79 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 3836 0 0 0 279 0 0 0 20 0 9 0 436453447 710762496 30240 33554432000 4194304 6211092 140736249248240 139730987416672 5156256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 23.01 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 120960 KiB
[startup+4.80109 s]
/proc/loadavg: 3.49 3.69 5.53 9/205 30408
/proc/meminfo: memFree=31394536/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=122104 CPUtime=35.78 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 93777 0 0 0 3560 18 0 0 20 0 9 0 436453418 710762496 30526 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30526 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=6935054825532540783 CPUtime=4.44 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 11626 0 0 0 443 1 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731046165600 5155668 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=1052 CPUtime=4.43 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 7183 0 0 0 443 0 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731037772896 5157428 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=776 CPUtime=4.45 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 7922 0 0 0 443 2 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731029379688 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=118880 CPUtime=4.43 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 8590 0 0 0 441 2 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731020987488 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=121720 CPUtime=4.44 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 11203 0 0 0 443 1 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731012594784 5155341 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=118432 CPUtime=4.42 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 9458 0 0 0 441 1 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139731004202080 5250279 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=0 CPUtime=4.44 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 9511 0 0 0 441 3 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139730995809376 5157466 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=2452 CPUtime=4.38 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 7883 0 0 0 437 1 0 0 20 0 9 0 436453447 710762496 30526 33554432000 4194304 6211092 140736249248240 139730987416672 5156240 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 35.78 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122104 KiB
[startup+5.20047 s]
/proc/loadavg: 3.49 3.69 5.53 10/205 30408
/proc/meminfo: memFree=31393256/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=122308 CPUtime=38.97 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 96985 0 0 0 3879 18 0 0 20 0 9 0 436453418 710762496 30577 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30577 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=0 CPUtime=4.84 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 11976 0 0 0 483 1 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731046165600 5155671 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=6944656592455359580 CPUtime=4.83 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 7547 0 0 0 483 0 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731037772896 5136306 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=6655300316396806240 CPUtime=4.84 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 9673 0 0 0 482 2 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731029379800 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=0 CPUtime=4.83 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 8690 0 0 0 481 2 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731020987488 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=0 CPUtime=4.83 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 11236 0 0 0 482 1 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731012594784 5156465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=0 CPUtime=4.82 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 9974 0 0 0 481 1 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139731004202080 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=0 CPUtime=4.84 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 9571 0 0 0 481 3 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139730995809376 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=0 CPUtime=4.77 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 7917 0 0 0 476 1 0 0 20 0 9 0 436453447 710762496 30577 33554432000 4194304 6211092 140736249248240 139730987416672 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 38.97 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122308 KiB
[startup+5.4011 s]
/proc/loadavg: 3.49 3.69 5.53 10/205 30408
/proc/meminfo: memFree=31393256/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=122376 CPUtime=40.57 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 97114 0 0 0 4039 18 0 0 20 0 9 0 436453418 710762496 30594 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30594 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=11933 CPUtime=5.04 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 11996 0 0 0 503 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731046165600 5157232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=3978983284385534809 CPUtime=5.03 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 7552 0 0 0 503 0 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731037772896 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=8029185218028137061 CPUtime=5.04 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 9734 0 0 0 502 2 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731029379720 5155679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=7380385388137112419 CPUtime=5.03 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 8722 0 0 0 501 2 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731020987488 5156256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=-7522837415797432224 CPUtime=5.04 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 11238 0 0 0 503 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731012594784 5250298 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=6010990917529261158 CPUtime=5.02 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 9981 0 0 0 501 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731004202080 5155320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=7162523773744668771 CPUtime=5.04 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 9571 0 0 0 501 3 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139730995809376 5250224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=7380385388137112419 CPUtime=4.97 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 7919 0 0 0 496 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139730987416672 5156460 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 40.57 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122376 KiB
[startup+5.5091 s]
/proc/loadavg: 3.49 3.69 5.53 10/205 30408
/proc/meminfo: memFree=31393256/32770624 swapFree=67010940/67108860
[pid=30399] ppid=30396 vsize=694104 memory=122376 CPUtime=41.43 cores=0-7
/proc/30399/stat : 30399 (cosoco) S 30396 30399 29087 0 -1 1077944320 97188 0 0 0 4125 18 0 0 20 0 9 0 436453418 710762496 30594 33554432000 4194304 6211092 140736249248240 140736249246496 139731069308663 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
/proc/30399/statm: 173526 30594 892 493 0 166831 0
[pid=30399/tid=30401] ppid=30396 vsize=694104 memory=122208 CPUtime=5.15 cores=0-7
/proc/30399/task/30401/stat : 30401 (cosoco) R 30396 30399 29087 0 -1 4202560 12006 0 0 0 514 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731046165600 5193696 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30402] ppid=30396 vsize=694104 memory=6935054825532540783 CPUtime=5.14 cores=0-7
/proc/30399/task/30402/stat : 30402 (cosoco) R 30396 30399 29087 0 -1 4202560 7552 0 0 0 514 0 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731037772896 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30403] ppid=30396 vsize=694104 memory=288230596050944315 CPUtime=5.15 cores=0-7
/proc/30399/task/30403/stat : 30403 (cosoco) R 30396 30399 29087 0 -1 4202560 9750 0 0 0 513 2 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731029379880 5250279 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30404] ppid=30396 vsize=694104 memory=0 CPUtime=5.14 cores=0-7
/proc/30399/task/30404/stat : 30404 (cosoco) R 30396 30399 29087 0 -1 4202560 8726 0 0 0 512 2 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731020987488 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30405] ppid=30396 vsize=694104 memory=5792852122775742309 CPUtime=5.14 cores=0-7
/proc/30399/task/30405/stat : 30405 (cosoco) R 30396 30399 29087 0 -1 4202560 11238 0 0 0 513 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731012594784 5136306 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30406] ppid=30396 vsize=694104 memory=5792852122776199268 CPUtime=5.13 cores=0-7
/proc/30399/task/30406/stat : 30406 (cosoco) R 30396 30399 29087 0 -1 4202560 10026 0 0 0 512 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139731004201768 139731053263678 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30407] ppid=30396 vsize=694104 memory=5792852122776134508 CPUtime=5.15 cores=0-7
/proc/30399/task/30407/stat : 30407 (cosoco) R 30396 30399 29087 0 -1 4202560 9571 0 0 0 512 3 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139730995809376 5250298 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
[pid=30399/tid=30408] ppid=30396 vsize=694104 memory=302022848351043610 CPUtime=5.07 cores=0-7
/proc/30399/task/30408/stat : 30408 (cosoco) R 30396 30399 29087 0 -1 4202560 7919 0 0 0 506 1 0 0 20 0 9 0 436453447 710762496 30594 33554432000 4194304 6211092 140736249248240 139730987416672 5158176 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12472320 140736249254929 140736249255021 140736249255021 140736249257934 0
Current children cumulated CPU time: 41.43 s
Current children cumulated vsize: 694104 KiB
Current children cumulated memory: 122376 KiB
Child status: 0
Real time (s): 5.59806
CPU time (s): 42.0766
CPU user time (s): 41.8758
CPU system time (s): 0.20084
CPU usage (%): 751.629
Max. virtual memory (cumulated for all children) (KiB): 694104
Max. memory (cumulated for all children) (KiB): 122376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8758
system time used= 0.20084
maximum resident set size= 123644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97537
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= 2071
involuntary context switches= 534
# summary of solver processes directly reported to runsolver:
# pid: 30399
# total CPU time (s): 42.0766
# total CPU user time (s): 41.8758
# total CPU system time (s): 0.20084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067364 second user time and 0.081258 second system time
The end
Begin job on node132 at 2019-09-16 05:40:58 IDJOB=4398027 IDBENCH=128075 IDSOLVER=2851 FILE ID=node132/4398027-1568605307 RUNJOBID= node132-1568597878-29114 PBS_JOBID= 21703412 Free space on /tmp= 61624 MiB SOLVER NAME= cosoco 2.O 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-4398027-1568605307/watcher-4398027-1568605307 -o /tmp/evaluation-result-4398027-1568605307/solver-4398027-1568605307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568597878-29114 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398027-1568605307.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41 RANDOM SEED=93814064 node132.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.95 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.95 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.95 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.95 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: 31511536 kB MemAvailable: 31912800 kB Buffers: 105388 kB Cached: 572560 kB SwapCached: 5936 kB Active: 412088 kB Inactive: 273664 kB Active(anon): 4892 kB Inactive(anon): 32256 kB Active(file): 407196 kB Inactive(file): 241408 kB Unevictable: 109612 kB Mlocked: 109612 kB SwapTotal: 67108860 kB SwapFree: 67010940 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 129388 kB Mapped: 34656 kB Shmem: 20728 kB Slab: 165872 kB SReclaimable: 136988 kB SUnreclaim: 28884 kB KernelStack: 3808 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 475584 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61620 MiB End job on node132 at 2019-09-16 05:41:03