| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 2312 | 3600.06 | 3608.51 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb |
| MD5SUM | 11852bf7a05815ba1c78428ce5d4534c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2312 |
| Best CPU time to get the best result obtained on this benchmark | 2994.21 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3825 |
| Total number of constraints | 7400 |
| Number of constraints which are clauses | 3675 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3675 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3675 |
| Biggest coefficient in the objective function | 49 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 62475 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 49 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 62475 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 3825 #constraints 7450 0.00/0.03 c bounds - >= 0 @ 0.014258 0.00/0.03 c rational objective 0 10.95/11.08 c bounds 20825 >= 0 @ 0.057567 10.95/11.08 c bounds 18424 >= 0 @ 0.058966 10.95/11.08 c bounds 17473 >= 0 @ 0.062232 10.95/11.08 c bounds 16395 >= 0 @ 0.063576 10.95/11.08 c bounds 15273 >= 0 @ 0.065168 10.95/11.08 c bounds 14286 >= 0 @ 0.068276 10.95/11.08 c bounds 13471 >= 0 @ 0.072349 10.95/11.08 c bounds 13344 >= 0 @ 0.073686 10.95/11.08 c bounds 12607 >= 0 @ 0.076944 10.95/11.08 c bounds 11601 >= 0 @ 0.078216 10.95/11.08 c bounds 10800 >= 0 @ 0.082556 10.95/11.08 c bounds 10447 >= 0 @ 0.086414 10.95/11.08 c bounds 9907 >= 0 @ 0.089767 10.95/11.08 c bounds 9587 >= 0 @ 0.092513 10.95/11.08 c bounds 9046 >= 0 @ 0.095758 10.95/11.08 c bounds 8452 >= 0 @ 0.096552 10.95/11.08 c bounds 8176 >= 0 @ 0.102055 10.95/11.08 c bounds 8119 >= 0 @ 0.105304 10.95/11.08 c bounds 7654 >= 0 @ 0.113551 10.95/11.08 c bounds 7067 >= 0 @ 0.114948 10.95/11.08 c bounds 7001 >= 0 @ 0.121799 10.95/11.08 c bounds 6969 >= 0 @ 0.124717 10.95/11.08 c bounds 6939 >= 0 @ 0.126296 10.95/11.08 c bounds 6911 >= 0 @ 0.128522 10.95/11.08 c bounds 6885 >= 0 @ 0.131022 10.95/11.08 c bounds 6861 >= 0 @ 0.134294 10.95/11.08 c bounds 6839 >= 0 @ 0.136822 10.95/11.08 c bounds 6819 >= 0 @ 0.139992 10.95/11.08 c bounds 6702 >= 0 @ 0.155093 10.95/11.08 c bounds 6225 >= 0 @ 0.159274 10.95/11.08 c bounds 6014 >= 0 @ 0.162434 10.95/11.08 c bounds 5990 >= 0 @ 0.163454 10.95/11.08 c bounds 5585 >= 0 @ 0.171625 10.95/11.08 c bounds 5510 >= 0 @ 0.206413 10.95/11.08 c bounds 5178 >= 0 @ 0.209505 10.95/11.08 c bounds 4787 >= 0 @ 0.210614 10.95/11.08 c bounds 4633 >= 0 @ 0.212809 10.95/11.08 c bounds 4299 >= 0 @ 0.21385 10.95/11.08 c bounds 3996 >= 0 @ 0.214914 10.95/11.08 c bounds 3795 >= 0 @ 0.220617 10.95/11.08 c bounds 3549 >= 0 @ 0.221733 10.95/11.08 c bounds 3333 >= 0 @ 0.222868 10.95/11.08 c bounds 3249 >= 0 @ 0.242117 10.95/11.08 c bounds 3085 >= 0 @ 0.243594 10.95/11.08 c bounds 2950 >= 0 @ 0.245095 10.95/11.08 c bounds 2844 >= 0 @ 0.246723 10.95/11.08 c bounds 2767 >= 0 @ 0.248399 10.95/11.08 c bounds 2719 >= 0 @ 0.249199 10.95/11.08 c bounds 2703 >= 0 @ 0.586316 10.95/11.08 c bounds 2660 >= 0 @ 1.1142 10.95/11.08 c bounds 2646 >= 0 @ 1.13277 10.95/11.08 c bounds 2584 >= 0 @ 1.13621 10.95/11.08 c bounds 2519 >= 0 @ 1.30621 10.95/11.08 c bounds 2513 >= 0 @ 1.30989 10.95/11.08 c bounds 2387 >= 0 @ 1.31123 10.95/11.08 c bounds 2312 >= 0 @ 1.31163 10.95/11.08 c bounds 2312 >= 16 @ 1.3146 10.95/11.08 c bounds 2312 >= 32 @ 1.31759 10.95/11.08 c bounds 2312 >= 48 @ 1.58178 10.95/11.08 c #Conflicts: 1000 | #Constraints: 8521 10.95/11.08 c #Conflicts: 2000 | #Constraints: 9533 10.95/11.08 c INPROCESSING 10.95/11.08 c GARBAGE COLLECT 10.95/11.08 c bounds 2312 >= 64 @ 3.70987 10.95/11.08 c #Conflicts: 3000 | #Constraints: 9485 10.95/11.08 c bounds 2312 >= 80 @ 5.33554 10.95/11.08 c #Conflicts: 4000 | #Constraints: 10502 10.95/11.08 c INPROCESSING 10.95/11.08 c GARBAGE COLLECT 10.95/11.08 c #Conflicts: 5000 | #Constraints: 9901 10.95/11.08 c #Conflicts: 6000 | #Constraints: 10910 10.95/11.08 c INPROCESSING 10.95/11.08 c GARBAGE COLLECT 10.95/11.08 c rational objective 80 16.34/16.44 c #Conflicts: 7000 | #Constraints: 9916 16.34/16.44 c #Conflicts: 8000 | #Constraints: 10916 16.34/16.44 c #Conflicts: 9000 | #Constraints: 11916 16.34/16.44 c INPROCESSING 16.34/16.44 c GARBAGE COLLECT 16.34/16.44 c rational objective 80 21.52/21.64 c #Conflicts: 10000 | #Constraints: 10649 21.52/21.64 c #Conflicts: 11000 | #Constraints: 11656 21.52/21.64 c #Conflicts: 12000 | #Constraints: 12664 21.52/21.64 c INPROCESSING 21.52/21.64 c GARBAGE COLLECT 21.52/21.64 c rational objective 80 27.51/27.64 c #Conflicts: 13000 | #Constraints: 11096 27.51/27.64 c #Conflicts: 14000 | #Constraints: 12101 27.51/27.64 c #Conflicts: 15000 | #Constraints: 13107 27.51/27.64 c INPROCESSING 27.51/27.64 c GARBAGE COLLECT 27.51/27.64 c rational objective 80 35.09/35.25 c #Conflicts: 16000 | #Constraints: 11308 35.09/35.25 c bounds 2312 >= 96 @ 30.4041 35.09/35.25 c #Conflicts: 17000 | #Constraints: 12325 35.09/35.25 c #Conflicts: 18000 | #Constraints: 13326 35.09/35.25 c INPROCESSING 35.09/35.25 c GARBAGE COLLECT 35.09/35.25 c rational objective 96 42.77/42.91 c #Conflicts: 19000 | #Constraints: 11335 42.77/42.91 c #Conflicts: 20000 | #Constraints: 12335 42.77/42.91 c #Conflicts: 21000 | #Constraints: 13335 42.77/42.91 c INPROCESSING 42.77/42.91 c GARBAGE COLLECT 42.77/42.91 c rational objective 96 71.70/71.95 c #Conflicts: 22000 | #Constraints: 11380 71.70/71.95 c #Conflicts: 23000 | #Constraints: 12389 71.70/71.95 c #Conflicts: 24000 | #Constraints: 13398 71.70/71.95 c #Conflicts: 25000 | #Constraints: 14406 71.70/71.95 c #Conflicts: 26000 | #Constraints: 15414 71.70/71.95 c #Conflicts: 27000 | #Constraints: 16425 71.70/71.95 c #Conflicts: 28000 | #Constraints: 17437 71.70/71.95 c #Conflicts: 29000 | #Constraints: 18443 71.70/71.95 c #Conflicts: 30000 | #Constraints: 19450 71.70/71.95 c #Conflicts: 31000 | #Constraints: 20458 71.70/71.95 c #Conflicts: 32000 | #Constraints: 21464 71.70/71.95 c #Conflicts: 33000 | #Constraints: 22468 71.70/71.95 c INPROCESSING 71.70/71.95 c GARBAGE COLLECT 71.70/71.95 c rational objective 96 98.42/98.77 c #Conflicts: 34000 | #Constraints: 15852 98.42/98.77 c #Conflicts: 35000 | #Constraints: 16853 98.42/98.77 c #Conflicts: 36000 | #Constraints: 17853 98.42/98.77 c bounds 2312 >= 112 @ 87.4208 98.42/98.77 c #Conflicts: 37000 | #Constraints: 18871 98.42/98.77 c #Conflicts: 38000 | #Constraints: 19871 98.42/98.77 c INPROCESSING 98.42/98.77 c GARBAGE COLLECT 98.42/98.77 c rational objective 112 112.39/112.79 c #Conflicts: 39000 | #Constraints: 14757 112.39/112.79 c #Conflicts: 40000 | #Constraints: 15764 112.39/112.79 c #Conflicts: 41000 | #Constraints: 16771 112.39/112.79 c #Conflicts: 42000 | #Constraints: 17780 112.39/112.79 c INPROCESSING 112.39/112.79 c GARBAGE COLLECT 112.39/112.79 c rational objective 112 175.33/175.85 c #Conflicts: 43000 | #Constraints: 13228 175.33/175.85 c #Conflicts: 44000 | #Constraints: 14228 175.33/175.85 c #Conflicts: 45000 | #Constraints: 15229 175.33/175.85 c #Conflicts: 46000 | #Constraints: 16229 175.33/175.85 c #Conflicts: 47000 | #Constraints: 17229 175.33/175.85 c #Conflicts: 48000 | #Constraints: 18230 175.33/175.85 c #Conflicts: 49000 | #Constraints: 19230 175.33/175.85 c #Conflicts: 50000 | #Constraints: 20230 175.33/175.85 c bounds 2312 >= 128 @ 139.803 175.33/175.85 c #Conflicts: 51000 | #Constraints: 21248 175.33/175.85 c #Conflicts: 52000 | #Constraints: 22250 175.33/175.85 c #Conflicts: 53000 | #Constraints: 23256 175.33/175.85 c #Conflicts: 54000 | #Constraints: 24261 175.33/175.85 c #Conflicts: 55000 | #Constraints: 25266 175.33/175.85 c #Conflicts: 56000 | #Constraints: 26275 175.33/175.85 c #Conflicts: 57000 | #Constraints: 27280 175.33/175.85 c #Conflicts: 58000 | #Constraints: 28286 175.33/175.85 c INPROCESSING 175.33/175.85 c GARBAGE COLLECT 175.33/175.85 c rational objective 128 198.97/199.51 c #Conflicts: 59000 | #Constraints: 18537 198.97/199.51 c #Conflicts: 60000 | #Constraints: 19537 198.97/199.51 c #Conflicts: 61000 | #Constraints: 20537 198.97/199.51 c #Conflicts: 62000 | #Constraints: 21538 198.97/199.51 c #Conflicts: 63000 | #Constraints: 22538 198.97/199.51 c #Conflicts: 64000 | #Constraints: 23538 198.97/199.51 c #Conflicts: 65000 | #Constraints: 24538 198.97/199.51 c INPROCESSING 198.97/199.51 c GARBAGE COLLECT 198.97/199.51 c rational objective 128 275.59/276.33 c #Conflicts: 66000 | #Constraints: 18260 275.59/276.33 c #Conflicts: 67000 | #Constraints: 19268 275.59/276.33 c #Conflicts: 68000 | #Constraints: 20276 275.59/276.33 c #Conflicts: 69000 | #Constraints: 21284 275.59/276.33 c #Conflicts: 70000 | #Constraints: 22293 275.59/276.33 c #Conflicts: 71000 | #Constraints: 23302 275.59/276.33 c #Conflicts: 72000 | #Constraints: 24310 275.59/276.33 c #Conflicts: 73000 | #Constraints: 25317 275.59/276.33 c #Conflicts: 74000 | #Constraints: 26324 275.59/276.33 c #Conflicts: 75000 | #Constraints: 27331 275.59/276.33 c #Conflicts: 76000 | #Constraints: 28338 275.59/276.33 c #Conflicts: 77000 | #Constraints: 29347 275.59/276.33 c #Conflicts: 78000 | #Constraints: 30352 275.59/276.33 c #Conflicts: 79000 | #Constraints: 31361 275.59/276.33 c #Conflicts: 80000 | #Constraints: 32368 275.59/276.33 c #Conflicts: 81000 | #Constraints: 33374 275.59/276.33 c #Conflicts: 82000 | #Constraints: 34382 275.59/276.33 c #Conflicts: 83000 | #Constraints: 35388 275.59/276.33 c #Conflicts: 84000 | #Constraints: 36394 275.59/276.33 c INPROCESSING 275.59/276.33 c GARBAGE COLLECT 275.59/276.33 c rational objective 128 339.23/340.18 c #Conflicts: 85000 | #Constraints: 22984 339.23/340.18 c #Conflicts: 86000 | #Constraints: 23984 339.23/340.18 c #Conflicts: 87000 | #Constraints: 24984 339.23/340.18 c #Conflicts: 88000 | #Constraints: 25984 339.23/340.18 c #Conflicts: 89000 | #Constraints: 26984 339.23/340.18 c #Conflicts: 90000 | #Constraints: 27985 339.23/340.18 c #Conflicts: 91000 | #Constraints: 28985 339.23/340.18 c INPROCESSING 339.23/340.18 c GARBAGE COLLECT 339.23/340.18 c rational objective 128 428.09/429.22 c #Conflicts: 92000 | #Constraints: 19612 428.09/429.22 c #Conflicts: 93000 | #Constraints: 20615 428.09/429.22 c #Conflicts: 94000 | #Constraints: 21619 428.09/429.22 c #Conflicts: 95000 | #Constraints: 22623 428.09/429.22 c #Conflicts: 96000 | #Constraints: 23628 428.09/429.22 c #Conflicts: 97000 | #Constraints: 24632 428.09/429.22 c #Conflicts: 98000 | #Constraints: 25635 428.09/429.22 c #Conflicts: 99000 | #Constraints: 26636 428.09/429.22 c #Conflicts: 100000 | #Constraints: 27644 428.09/429.22 c #Conflicts: 101000 | #Constraints: 28650 428.09/429.22 c #Conflicts: 102000 | #Constraints: 29653 428.09/429.22 c #Conflicts: 103000 | #Constraints: 30659 428.09/429.22 c #Conflicts: 104000 | #Constraints: 31663 428.09/429.22 c #Conflicts: 105000 | #Constraints: 32671 428.09/429.22 c #Conflicts: 106000 | #Constraints: 33678 428.09/429.22 c #Conflicts: 107000 | #Constraints: 34687 428.09/429.22 c #Conflicts: 108000 | #Constraints: 35695 428.09/429.22 c #Conflicts: 109000 | #Constraints: 36703 428.09/429.22 c #Conflicts: 110000 | #Constraints: 37712 428.09/429.22 c #Conflicts: 111000 | #Constraints: 38720 428.09/429.22 c #Conflicts: 112000 | #Constraints: 39723 428.09/429.22 c #Conflicts: 113000 | #Constraints: 40728 428.09/429.22 c INPROCESSING 428.09/429.22 c GARBAGE COLLECT 428.09/429.22 c rational objective 128 492.83/494.13 c #Conflicts: 114000 | #Constraints: 24864 492.83/494.13 c #Conflicts: 115000 | #Constraints: 25864 492.83/494.13 c #Conflicts: 116000 | #Constraints: 26864 492.83/494.13 c #Conflicts: 117000 | #Constraints: 27865 492.83/494.13 c #Conflicts: 118000 | #Constraints: 28865 492.83/494.13 c #Conflicts: 119000 | #Constraints: 29865 492.83/494.13 c #Conflicts: 120000 | #Constraints: 30865 492.83/494.13 c #Conflicts: 121000 | #Constraints: 31865 492.83/494.13 c bounds 2312 >= 144 @ 481.516 492.83/494.13 c #Conflicts: 122000 | #Constraints: 32886 492.83/494.13 c INPROCESSING 492.83/494.13 c GARBAGE COLLECT 492.83/494.13 c rational objective 144 598.47/600.09 c #Conflicts: 123000 | #Constraints: 21534 598.47/600.09 c #Conflicts: 124000 | #Constraints: 22534 598.47/600.09 c #Conflicts: 125000 | #Constraints: 23534 598.47/600.09 c #Conflicts: 126000 | #Constraints: 24534 598.47/600.09 c #Conflicts: 127000 | #Constraints: 25534 598.47/600.09 c #Conflicts: 128000 | #Constraints: 26534 598.47/600.09 c #Conflicts: 129000 | #Constraints: 27535 598.47/600.09 c #Conflicts: 130000 | #Constraints: 28535 598.47/600.09 c #Conflicts: 131000 | #Constraints: 29537 598.47/600.09 c #Conflicts: 132000 | #Constraints: 30537 598.47/600.09 c #Conflicts: 133000 | #Constraints: 31537 598.47/600.09 c #Conflicts: 134000 | #Constraints: 32537 598.47/600.09 c #Conflicts: 135000 | #Constraints: 33538 598.47/600.09 c #Conflicts: 136000 | #Constraints: 34538 598.47/600.09 c #Conflicts: 137000 | #Constraints: 35538 598.47/600.09 c #Conflicts: 138000 | #Constraints: 36538 598.47/600.09 c #Conflicts: 139000 | #Constraints: 37538 598.47/600.09 WSVECS04 Frhs2[2]: 6 -42.0001 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[6]: 6 0 66.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[13]: 6 0 64 shouldn't be 598.47/600.09 WSVECS04 Frhs2[15]: 6 0 64.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[20]: 6 -48 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[28]: 6 0 12.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[30]: 6 0 12 shouldn't be 598.47/600.09 WSVECS04 Frhs2[33]: 6 0 38 shouldn't be 598.47/600.09 WSVECS04 Frhs2[35]: 6 -40 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[47]: 6 0 17 shouldn't be 598.47/600.09 WSVECS04 Frhs2[66]: 6 -11.0001 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[71]: 6 0 181 shouldn't be 598.47/600.09 WSVECS04 Frhs2[82]: 6 0 21.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[83]: 6 0 19.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[86]: 6 0 102 shouldn't be 598.47/600.09 WSVECS04 Frhs2[92]: 6 0 39.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[94]: 6 0 16.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[98]: 6 0 72.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[101]: 6 0 11.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[104]: 6 0 92 shouldn't be 598.47/600.09 WSVECS04 Frhs2[119]: 6 0 4.00003 shouldn't be 598.47/600.09 WSVECS04 Frhs2[128]: 6 0 62.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[140]: 6 0 183 shouldn't be 598.47/600.09 WSVECS04 Frhs2[1160]: 6 -86 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[1287]: 6 -90 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[2496]: 6 -228 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[2581]: 6 -3.00005 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[2827]: 6 -119 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[2977]: 6 -126 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[2979]: 6 -76.0001 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3084]: 6 0 10.0001 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3524]: 6 -470 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3561]: 6 -63 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3598]: 6 -135 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3637]: 6 -376 0 shouldn't be 598.47/600.09 WSVECS04 Frhs2[3721]: 6 -66 0 shouldn't be 655.31/657.00 c #Conflicts: 140000 | #Constraints: 38539 655.31/657.00 c #Conflicts: 141000 | #Constraints: 39539 655.31/657.00 c #Conflicts: 142000 | #Constraints: 40539 655.31/657.00 c #Conflicts: 143000 | #Constraints: 41539 655.31/657.00 c #Conflicts: 144000 | #Constraints: 42539 655.31/657.00 c bounds 2312 >= 160 @ 633.711 655.31/657.00 c #Conflicts: 145000 | #Constraints: 43569 655.31/657.00 c #Conflicts: 146000 | #Constraints: 44569 655.31/657.00 c #Conflicts: 147000 | #Constraints: 45572 655.31/657.00 c INPROCESSING 655.31/657.00 c GARBAGE COLLECT 655.31/657.00 c rational objective 160 705.70/707.58 c #Conflicts: 148000 | #Constraints: 27302 705.70/707.58 c #Conflicts: 149000 | #Constraints: 28306 705.70/707.58 c #Conflicts: 150000 | #Constraints: 29312 705.70/707.58 c #Conflicts: 151000 | #Constraints: 30317 705.70/707.58 c #Conflicts: 152000 | #Constraints: 31322 705.70/707.58 c #Conflicts: 153000 | #Constraints: 32329 705.70/707.58 c #Conflicts: 154000 | #Constraints: 33336 705.70/707.58 c #Conflicts: 155000 | #Constraints: 34344 705.70/707.58 c #Conflicts: 156000 | #Constraints: 35349 705.70/707.58 c #Conflicts: 157000 | #Constraints: 36354 705.70/707.58 c INPROCESSING 705.70/707.58 c GARBAGE COLLECT 705.70/707.58 c rational objective 160 846.40/848.56 c #Conflicts: 158000 | #Constraints: 24857 846.40/848.56 c #Conflicts: 159000 | #Constraints: 25861 846.40/848.56 c #Conflicts: 160000 | #Constraints: 26865 846.40/848.56 c #Conflicts: 161000 | #Constraints: 27869 846.40/848.56 c #Conflicts: 162000 | #Constraints: 28872 846.40/848.56 c #Conflicts: 163000 | #Constraints: 29877 846.40/848.56 c #Conflicts: 164000 | #Constraints: 30882 846.40/848.56 c #Conflicts: 165000 | #Constraints: 31889 846.40/848.56 c #Conflicts: 166000 | #Constraints: 32895 846.40/848.56 c #Conflicts: 167000 | #Constraints: 33900 846.40/848.56 c #Conflicts: 168000 | #Constraints: 34903 846.40/848.56 c #Conflicts: 169000 | #Constraints: 35907 846.40/848.56 c #Conflicts: 170000 | #Constraints: 36913 846.40/848.56 c #Conflicts: 171000 | #Constraints: 37916 846.40/848.56 c #Conflicts: 172000 | #Constraints: 38921 846.40/848.56 c #Conflicts: 173000 | #Constraints: 39929 846.40/848.56 c #Conflicts: 174000 | #Constraints: 40937 846.40/848.56 c #Conflicts: 175000 | #Constraints: 41945 846.40/848.56 c #Conflicts: 176000 | #Constraints: 42948 846.40/848.56 c #Conflicts: 177000 | #Constraints: 43952 846.40/848.56 c #Conflicts: 178000 | #Constraints: 44959 846.40/848.56 c #Conflicts: 179000 | #Constraints: 45962 846.40/848.56 c #Conflicts: 180000 | #Constraints: 46966 846.40/848.56 c #Conflicts: 181000 | #Constraints: 47970 846.40/848.56 c #Conflicts: 182000 | #Constraints: 48976 846.40/848.56 c #Conflicts: 183000 | #Constraints: 49982 846.40/848.56 c #Conflicts: 184000 | #Constraints: 50989 846.40/848.56 c #Conflicts: 185000 | #Constraints: 51996 846.40/848.56 c #Conflicts: 186000 | #Constraints: 53002 846.40/848.56 c INPROCESSING 846.40/848.56 c GARBAGE COLLECT 846.40/848.56 c rational objective 160 931.33/933.64 c #Conflicts: 187000 | #Constraints: 31323 931.33/933.64 c #Conflicts: 188000 | #Constraints: 32323 931.33/933.64 c #Conflicts: 189000 | #Constraints: 33323 931.33/933.64 c #Conflicts: 190000 | #Constraints: 34324 931.33/933.64 c #Conflicts: 191000 | #Constraints: 35324 931.33/933.64 c #Conflicts: 192000 | #Constraints: 36324 931.33/933.64 c #Conflicts: 193000 | #Constraints: 37325 931.33/933.64 c #Conflicts: 194000 | #Constraints: 38327 931.33/933.64 c #Conflicts: 195000 | #Constraints: 39327 931.33/933.64 c #Conflicts: 196000 | #Constraints: 40327 931.33/933.64 c #Conflicts: 197000 | #Constraints: 41327 931.33/933.64 c INPROCESSING 931.33/933.64 c GARBAGE COLLECT 931.33/933.64 c rational objective 160 1120.33/1123.07 c #Conflicts: 198000 | #Constraints: 28182 1120.33/1123.07 c #Conflicts: 199000 | #Constraints: 29182 1120.33/1123.07 c #Conflicts: 200000 | #Constraints: 30182 1120.33/1123.07 c #Conflicts: 201000 | #Constraints: 31182 1120.33/1123.07 c #Conflicts: 202000 | #Constraints: 32182 1120.33/1123.07 c #Conflicts: 203000 | #Constraints: 33182 1120.33/1123.07 c #Conflicts: 204000 | #Constraints: 34184 1120.33/1123.07 c #Conflicts: 205000 | #Constraints: 35184 1120.33/1123.07 c #Conflicts: 206000 | #Constraints: 36184 1120.33/1123.07 c #Conflicts: 207000 | #Constraints: 37184 1120.33/1123.07 c #Conflicts: 208000 | #Constraints: 38185 1120.33/1123.07 c #Conflicts: 209000 | #Constraints: 39186 1120.33/1123.07 c #Conflicts: 210000 | #Constraints: 40187 1120.33/1123.07 c #Conflicts: 211000 | #Constraints: 41188 1120.33/1123.07 c #Conflicts: 212000 | #Constraints: 42188 1120.33/1123.07 c #Conflicts: 213000 | #Constraints: 43188 1120.33/1123.07 c #Conflicts: 214000 | #Constraints: 44188 1120.33/1123.07 c #Conflicts: 215000 | #Constraints: 45189 1120.33/1123.07 c #Conflicts: 216000 | #Constraints: 46190 1120.33/1123.07 c #Conflicts: 217000 | #Constraints: 47190 1120.33/1123.07 c #Conflicts: 218000 | #Constraints: 48190 1120.33/1123.07 c #Conflicts: 219000 | #Constraints: 49190 1120.33/1123.07 c #Conflicts: 220000 | #Constraints: 50192 1120.33/1123.07 c #Conflicts: 221000 | #Constraints: 51194 1120.33/1123.07 c #Conflicts: 222000 | #Constraints: 52194 1120.33/1123.07 c bounds 2312 >= 176 @ 1077.47 1120.33/1123.07 c #Conflicts: 223000 | #Constraints: 53221 1120.33/1123.07 c #Conflicts: 224000 | #Constraints: 54221 1120.33/1123.07 c #Conflicts: 225000 | #Constraints: 55222 1120.33/1123.07 c #Conflicts: 226000 | #Constraints: 56231 1120.33/1123.07 c #Conflicts: 227000 | #Constraints: 57237 1120.33/1123.07 c #Conflicts: 228000 | #Constraints: 58243 1120.33/1123.07 c INPROCESSING 1120.33/1123.07 c GARBAGE COLLECT 1120.33/1123.07 c rational objective 176 1196.67/1199.55 c #Conflicts: 229000 | #Constraints: 33564 1196.67/1199.55 c #Conflicts: 230000 | #Constraints: 34573 1196.67/1199.55 c #Conflicts: 231000 | #Constraints: 35577 1196.67/1199.55 c #Conflicts: 232000 | #Constraints: 36581 1196.67/1199.55 c #Conflicts: 233000 | #Constraints: 37589 1196.67/1199.55 c #Conflicts: 234000 | #Constraints: 38591 1196.67/1199.55 c #Conflicts: 235000 | #Constraints: 39595 1196.67/1199.55 c #Conflicts: 236000 | #Constraints: 40599 1196.67/1199.55 c #Conflicts: 237000 | #Constraints: 41605 1196.67/1199.55 c #Conflicts: 238000 | #Constraints: 42612 1196.67/1199.55 c #Conflicts: 239000 | #Constraints: 43620 1196.67/1199.55 c #Conflicts: 240000 | #Constraints: 44624 1196.67/1199.55 c #Conflicts: 241000 | #Constraints: 45628 1196.67/1199.55 c INPROCESSING 1196.67/1199.55 c GARBAGE COLLECT 1196.67/1199.55 c rational objective 176 1436.76/1440.16 c #Conflicts: 242000 | #Constraints: 31201 1436.76/1440.16 c #Conflicts: 243000 | #Constraints: 32206 1436.76/1440.16 c #Conflicts: 244000 | #Constraints: 33212 1436.76/1440.16 c #Conflicts: 245000 | #Constraints: 34217 1436.76/1440.16 c #Conflicts: 246000 | #Constraints: 35224 1436.76/1440.16 c #Conflicts: 247000 | #Constraints: 36231 1436.76/1440.16 c #Conflicts: 248000 | #Constraints: 37237 1436.76/1440.16 c #Conflicts: 249000 | #Constraints: 38244 1436.76/1440.16 c #Conflicts: 250000 | #Constraints: 39250 1436.76/1440.16 c #Conflicts: 251000 | #Constraints: 40254 1436.76/1440.16 c #Conflicts: 252000 | #Constraints: 41259 1436.76/1440.16 c #Conflicts: 253000 | #Constraints: 42265 1436.76/1440.16 c #Conflicts: 254000 | #Constraints: 43270 1436.76/1440.16 c #Conflicts: 255000 | #Constraints: 44275 1436.76/1440.16 c #Conflicts: 256000 | #Constraints: 45280 1436.76/1440.16 c #Conflicts: 257000 | #Constraints: 46285 1436.76/1440.16 c #Conflicts: 258000 | #Constraints: 47293 1436.76/1440.16 c #Conflicts: 259000 | #Constraints: 48299 1436.76/1440.16 c #Conflicts: 260000 | #Constraints: 49304 1436.76/1440.16 c #Conflicts: 261000 | #Constraints: 50308 1436.76/1440.16 c #Conflicts: 262000 | #Constraints: 51313 1436.76/1440.16 c #Conflicts: 263000 | #Constraints: 52317 1436.76/1440.16 c #Conflicts: 264000 | #Constraints: 53324 1436.76/1440.16 c #Conflicts: 265000 | #Constraints: 54331 1436.76/1440.16 c #Conflicts: 266000 | #Constraints: 55337 1436.76/1440.16 c #Conflicts: 267000 | #Constraints: 56344 1436.76/1440.16 c #Conflicts: 268000 | #Constraints: 57352 1436.76/1440.16 c #Conflicts: 269000 | #Constraints: 58361 1436.76/1440.16 c #Conflicts: 270000 | #Constraints: 59371 1436.76/1440.16 c #Conflicts: 271000 | #Constraints: 60378 1436.76/1440.16 c #Conflicts: 272000 | #Constraints: 61386 1436.76/1440.16 c #Conflicts: 273000 | #Constraints: 62392 1436.76/1440.16 c #Conflicts: 274000 | #Constraints: 63400 1436.76/1440.16 c #Conflicts: 275000 | #Constraints: 64407 1436.76/1440.16 c #Conflicts: 276000 | #Constraints: 65412 1436.76/1440.16 c INPROCESSING 1436.76/1440.16 c GARBAGE COLLECT 1436.76/1440.16 c rational objective 176 1553.91/1557.53 c #Conflicts: 277000 | #Constraints: 37550 1553.91/1557.53 c #Conflicts: 278000 | #Constraints: 38550 1553.91/1557.53 c #Conflicts: 279000 | #Constraints: 39550 1553.91/1557.53 c #Conflicts: 280000 | #Constraints: 40550 1553.91/1557.53 c #Conflicts: 281000 | #Constraints: 41550 1553.91/1557.53 c #Conflicts: 282000 | #Constraints: 42550 1553.91/1557.53 c #Conflicts: 283000 | #Constraints: 43551 1553.91/1557.53 c #Conflicts: 284000 | #Constraints: 44551 1553.91/1557.53 c #Conflicts: 285000 | #Constraints: 45551 1553.91/1557.53 c #Conflicts: 286000 | #Constraints: 46551 1553.91/1557.53 c #Conflicts: 287000 | #Constraints: 47551 1553.91/1557.53 c #Conflicts: 288000 | #Constraints: 48551 1553.91/1557.53 c #Conflicts: 289000 | #Constraints: 49551 1553.91/1557.53 c #Conflicts: 290000 | #Constraints: 50551 1553.91/1557.53 c INPROCESSING 1553.91/1557.53 c GARBAGE COLLECT 1553.91/1557.53 c rational objective 176 1829.92/1834.25 c #Conflicts: 291000 | #Constraints: 33900 1829.92/1834.25 c #Conflicts: 292000 | #Constraints: 34900 1829.92/1834.25 c #Conflicts: 293000 | #Constraints: 35900 1829.92/1834.25 c #Conflicts: 294000 | #Constraints: 36900 1829.92/1834.25 c #Conflicts: 295000 | #Constraints: 37900 1829.92/1834.25 c #Conflicts: 296000 | #Constraints: 38900 1829.92/1834.25 c #Conflicts: 297000 | #Constraints: 39901 1829.92/1834.25 c #Conflicts: 298000 | #Constraints: 40901 1829.92/1834.25 c #Conflicts: 299000 | #Constraints: 41901 1829.92/1834.25 c #Conflicts: 300000 | #Constraints: 42901 1829.92/1834.25 c #Conflicts: 301000 | #Constraints: 43901 1829.92/1834.25 c #Conflicts: 302000 | #Constraints: 44901 1829.92/1834.25 c #Conflicts: 303000 | #Constraints: 45901 1829.92/1834.25 c #Conflicts: 304000 | #Constraints: 46901 1829.92/1834.25 c #Conflicts: 305000 | #Constraints: 47901 1829.92/1834.25 c #Conflicts: 306000 | #Constraints: 48901 1829.92/1834.25 c #Conflicts: 307000 | #Constraints: 49901 1829.92/1834.25 c #Conflicts: 308000 | #Constraints: 50901 1829.92/1834.25 c #Conflicts: 309000 | #Constraints: 51901 1829.92/1834.25 c #Conflicts: 310000 | #Constraints: 52901 1829.92/1834.25 c #Conflicts: 311000 | #Constraints: 53901 1829.92/1834.25 c #Conflicts: 312000 | #Constraints: 54901 1829.92/1834.25 c #Conflicts: 313000 | #Constraints: 55901 1829.92/1834.25 c #Conflicts: 314000 | #Constraints: 56901 1829.92/1834.25 c #Conflicts: 315000 | #Constraints: 57901 1829.92/1834.25 c #Conflicts: 316000 | #Constraints: 58901 1829.92/1834.25 c #Conflicts: 317000 | #Constraints: 59901 1829.92/1834.25 c #Conflicts: 318000 | #Constraints: 60901 1829.92/1834.25 c #Conflicts: 319000 | #Constraints: 61901 1829.92/1834.25 c #Conflicts: 320000 | #Constraints: 62902 1829.92/1834.25 c #Conflicts: 321000 | #Constraints: 63903 1829.92/1834.25 c #Conflicts: 322000 | #Constraints: 64903 1829.92/1834.25 c #Conflicts: 323000 | #Constraints: 65903 1829.92/1834.25 c #Conflicts: 324000 | #Constraints: 66903 1829.92/1834.25 c #Conflicts: 325000 | #Constraints: 67903 1829.92/1834.25 c #Conflicts: 326000 | #Constraints: 68903 1829.92/1834.25 c #Conflicts: 327000 | #Constraints: 69903 1829.92/1834.25 c INPROCESSING 1829.92/1834.25 c GARBAGE COLLECT 1829.92/1834.25 c rational objective 176 1936.65/1941.22 c #Conflicts: 328000 | #Constraints: 39550 1936.65/1941.22 c #Conflicts: 329000 | #Constraints: 40550 1936.65/1941.22 c #Conflicts: 330000 | #Constraints: 41557 1936.65/1941.22 c #Conflicts: 331000 | #Constraints: 42566 1936.65/1941.22 c #Conflicts: 332000 | #Constraints: 43576 1936.65/1941.22 c #Conflicts: 333000 | #Constraints: 44582 1936.65/1941.22 c #Conflicts: 334000 | #Constraints: 45589 1936.65/1941.22 c #Conflicts: 335000 | #Constraints: 46594 1936.65/1941.22 c #Conflicts: 336000 | #Constraints: 47598 1936.65/1941.22 c #Conflicts: 337000 | #Constraints: 48603 1936.65/1941.22 c #Conflicts: 338000 | #Constraints: 49609 1936.65/1941.22 c #Conflicts: 339000 | #Constraints: 50614 1936.65/1941.22 c #Conflicts: 340000 | #Constraints: 51619 1936.65/1941.22 c #Conflicts: 341000 | #Constraints: 52625 1936.65/1941.22 c #Conflicts: 342000 | #Constraints: 53626 1936.65/1941.22 c INPROCESSING 1936.65/1941.22 c GARBAGE COLLECT 1936.65/1941.22 c rational objective 176 2293.07/2298.57 c #Conflicts: 343000 | #Constraints: 35885 2293.07/2298.57 c #Conflicts: 344000 | #Constraints: 36887 2293.07/2298.57 c #Conflicts: 345000 | #Constraints: 37893 2293.07/2298.57 c #Conflicts: 346000 | #Constraints: 38900 2293.07/2298.57 c #Conflicts: 347000 | #Constraints: 39904 2293.07/2298.57 c #Conflicts: 348000 | #Constraints: 40912 2293.07/2298.57 c #Conflicts: 349000 | #Constraints: 41921 2293.07/2298.57 c #Conflicts: 350000 | #Constraints: 42932 2293.07/2298.57 c #Conflicts: 351000 | #Constraints: 43940 2293.07/2298.57 c #Conflicts: 352000 | #Constraints: 44947 2293.07/2298.57 c #Conflicts: 353000 | #Constraints: 45952 2293.07/2298.57 c #Conflicts: 354000 | #Constraints: 46955 2293.07/2298.57 c #Conflicts: 355000 | #Constraints: 47958 2293.07/2298.57 c #Conflicts: 356000 | #Constraints: 48964 2293.07/2298.57 c #Conflicts: 357000 | #Constraints: 49967 2293.07/2298.57 c #Conflicts: 358000 | #Constraints: 50970 2293.07/2298.57 c #Conflicts: 359000 | #Constraints: 51975 2293.07/2298.57 c #Conflicts: 360000 | #Constraints: 52982 2293.07/2298.57 c #Conflicts: 361000 | #Constraints: 53986 2293.07/2298.57 c #Conflicts: 362000 | #Constraints: 54992 2293.07/2298.57 c #Conflicts: 363000 | #Constraints: 55999 2293.07/2298.57 c #Conflicts: 364000 | #Constraints: 57003 2293.07/2298.57 c #Conflicts: 365000 | #Constraints: 58008 2293.07/2298.57 c #Conflicts: 366000 | #Constraints: 59012 2293.07/2298.57 c #Conflicts: 367000 | #Constraints: 60016 2293.07/2298.57 c #Conflicts: 368000 | #Constraints: 61026 2293.07/2298.57 c #Conflicts: 369000 | #Constraints: 62029 2293.07/2298.57 c #Conflicts: 370000 | #Constraints: 63036 2293.07/2298.57 c #Conflicts: 371000 | #Constraints: 64044 2293.07/2298.57 c #Conflicts: 372000 | #Constraints: 65053 2293.07/2298.57 c #Conflicts: 373000 | #Constraints: 66061 2293.07/2298.57 c #Conflicts: 374000 | #Constraints: 67068 2293.07/2298.57 c #Conflicts: 375000 | #Constraints: 68077 2293.07/2298.57 c #Conflicts: 376000 | #Constraints: 69085 2293.07/2298.57 c #Conflicts: 377000 | #Constraints: 70091 2293.07/2298.57 c #Conflicts: 378000 | #Constraints: 71097 2293.07/2298.57 c #Conflicts: 379000 | #Constraints: 72100 2293.07/2298.57 c #Conflicts: 380000 | #Constraints: 73104 2293.07/2298.57 c #Conflicts: 381000 | #Constraints: 74111 2293.07/2298.57 c #Conflicts: 382000 | #Constraints: 75115 2293.07/2298.57 c #Conflicts: 383000 | #Constraints: 76119 2293.07/2298.57 c INPROCESSING 2293.07/2298.57 c GARBAGE COLLECT 2293.07/2298.57 c rational objective 176 2349.75/2355.36 c #Conflicts: 384000 | #Constraints: 42603 2349.75/2355.36 c #Conflicts: 385000 | #Constraints: 43604 2349.75/2355.36 c #Conflicts: 386000 | #Constraints: 44604 2349.75/2355.36 c #Conflicts: 387000 | #Constraints: 45604 2349.75/2355.36 c #Conflicts: 388000 | #Constraints: 46605 2349.75/2355.36 WSVECS04 Frhs2[4]: 6 0 21 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[6]: 6 -55.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[15]: 6 -21 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[21]: 6 -19.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[24]: 6 -31.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[25]: 6 0 50.0001 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[28]: 6 0 11 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[33]: 6 -9.00005 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[34]: 6 0 31.5001 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[40]: 6 0 4.00009 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[46]: 6 0 119 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[65]: 6 -4.00003 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[70]: 6 0 16.0001 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[73]: 6 0 49.0001 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[77]: 6 -57 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[80]: 6 -48.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[95]: 6 -48.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[107]: 6 -47.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[109]: 6 -26.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[113]: 6 0 6.00009 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[115]: 6 -25 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[118]: 6 -48 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[120]: 6 0 7.0001 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[121]: 6 -27.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[124]: 6 -37.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[127]: 6 -27 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[130]: 6 -55.0001 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[133]: 6 -101 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[136]: 6 -63 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[139]: 6 -27 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[252]: 6 -4.00002 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[254]: 6 -6.00004 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[255]: 6 -7.00004 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[257]: 6 -9.00005 0 shouldn't be 2349.75/2355.36 WSVECS04 Frhs2[258]: 6 -10 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[259]: 6 -11.0001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[260]: 6 -12 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[261]: 6 -13 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[264]: 6 0 13 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[400]: 6 -7.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[402]: 6 -9.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[403]: 6 -10 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[404]: 6 -11 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[541]: 6 -6.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[677]: 6 -3.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[678]: 6 -4.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[681]: 6 -7.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[682]: 6 -8.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[683]: 6 -211 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[684]: 6 -10 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[816]: 6 -6.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[817]: 6 -7.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[819]: 6 -9.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[949]: 6 -6.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[951]: 6 -8.00009 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1078]: 6 -5.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1203]: 6 -3.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1205]: 6 -5.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1206]: 6 -6.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1328]: 6 -4.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[1807]: 6 0 60.0001 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2469]: 6 -113 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2470]: 6 -10 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2471]: 6 -11 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2476]: 6 -16 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2551]: 6 -96.0001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2558]: 6 -9.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2637]: 6 -76.0001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2643]: 6 -8.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2725]: 6 -7.00004 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2802]: 6 -4.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2804]: 6 -6.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2805]: 6 -7.00003 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[2881]: 6 -6.00002 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[3091]: 6 -98.0001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[3155]: 6 -2.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[3221]: 6 -6.00001 0 shouldn't be 2349.75/2355.37 WSVECS04 Frhs2[3230]: 6 0 7.00006 shouldn't be 2505.28/2511.25 c #Conflicts: 389000 | #Constraints: 47605 2505.28/2511.25 c #Conflicts: 390000 | #Constraints: 48605 2505.28/2511.25 c #Conflicts: 391000 | #Constraints: 49605 2505.28/2511.25 c #Conflicts: 392000 | #Constraints: 50605 2505.28/2511.25 c #Conflicts: 393000 | #Constraints: 51605 2505.28/2511.25 c #Conflicts: 394000 | #Constraints: 52605 2505.28/2511.25 c #Conflicts: 395000 | #Constraints: 53605 2505.28/2511.25 c #Conflicts: 396000 | #Constraints: 54605 2505.28/2511.25 c #Conflicts: 397000 | #Constraints: 55606 2505.28/2511.25 c #Conflicts: 398000 | #Constraints: 56607 2505.28/2511.25 c #Conflicts: 399000 | #Constraints: 57607 2505.28/2511.25 c #Conflicts: 400000 | #Constraints: 58607 2505.28/2511.25 c INPROCESSING 2505.28/2511.25 c GARBAGE COLLECT 2505.28/2511.25 c rational objective 176 2951.24/2958.24 c #Conflicts: 401000 | #Constraints: 37929 2951.24/2958.24 c #Conflicts: 402000 | #Constraints: 38929 2951.24/2958.24 c #Conflicts: 403000 | #Constraints: 39929 2951.24/2958.24 c #Conflicts: 404000 | #Constraints: 40929 2951.24/2958.24 c #Conflicts: 405000 | #Constraints: 41931 2951.24/2958.24 c #Conflicts: 406000 | #Constraints: 42931 2951.24/2958.24 c #Conflicts: 407000 | #Constraints: 43931 2951.24/2958.24 c #Conflicts: 408000 | #Constraints: 44932 2951.24/2958.24 c #Conflicts: 409000 | #Constraints: 45934 2951.24/2958.24 c #Conflicts: 410000 | #Constraints: 46934 2951.24/2958.24 c #Conflicts: 411000 | #Constraints: 47934 2951.24/2958.24 c #Conflicts: 412000 | #Constraints: 48934 2951.24/2958.24 c #Conflicts: 413000 | #Constraints: 49934 2951.24/2958.24 c #Conflicts: 414000 | #Constraints: 50934 2951.24/2958.24 c #Conflicts: 415000 | #Constraints: 51935 2951.24/2958.24 c #Conflicts: 416000 | #Constraints: 52935 2951.24/2958.24 c #Conflicts: 417000 | #Constraints: 53935 2951.24/2958.24 c #Conflicts: 418000 | #Constraints: 54935 2951.24/2958.24 c #Conflicts: 419000 | #Constraints: 55935 2951.24/2958.24 c #Conflicts: 420000 | #Constraints: 56935 2951.24/2958.24 c #Conflicts: 421000 | #Constraints: 57935 2951.24/2958.24 c #Conflicts: 422000 | #Constraints: 58935 2951.24/2958.24 c #Conflicts: 423000 | #Constraints: 59935 2951.24/2958.24 c #Conflicts: 424000 | #Constraints: 60936 2951.24/2958.24 c bounds 2312 >= 192 @ 2698.42 2951.24/2958.24 c #Conflicts: 425000 | #Constraints: 61966 2951.24/2958.24 c #Conflicts: 426000 | #Constraints: 62968 2951.24/2958.24 c #Conflicts: 427000 | #Constraints: 63972 2951.24/2958.24 c #Conflicts: 428000 | #Constraints: 64972 2951.24/2958.24 c #Conflicts: 429000 | #Constraints: 65972 2951.24/2958.24 c #Conflicts: 430000 | #Constraints: 66972 2951.24/2958.24 c #Conflicts: 431000 | #Constraints: 67972 2951.24/2958.24 c #Conflicts: 432000 | #Constraints: 68974 2951.24/2958.24 c #Conflicts: 433000 | #Constraints: 69975 2951.24/2958.24 c #Conflicts: 434000 | #Constraints: 70978 2951.24/2958.24 c #Conflicts: 435000 | #Constraints: 71981 2951.24/2958.24 c #Conflicts: 436000 | #Constraints: 72984 2951.24/2958.24 c #Conflicts: 437000 | #Constraints: 73986 2951.24/2958.24 c #Conflicts: 438000 | #Constraints: 74989 2951.24/2958.24 c #Conflicts: 439000 | #Constraints: 75992 2951.24/2958.24 c #Conflicts: 440000 | #Constraints: 76996 2951.24/2958.24 c #Conflicts: 441000 | #Constraints: 78001 2951.24/2958.24 c #Conflicts: 442000 | #Constraints: 79007 2951.24/2958.24 c #Conflicts: 443000 | #Constraints: 80016 2951.24/2958.24 c #Conflicts: 444000 | #Constraints: 81020 2951.24/2958.24 c INPROCESSING 2951.24/2958.24 c GARBAGE COLLECT 2951.24/2958.24 c rational objective 192 2999.62/3006.77 c #Conflicts: 445000 | #Constraints: 45370 2999.62/3006.77 c #Conflicts: 446000 | #Constraints: 46370 2999.62/3006.77 c #Conflicts: 447000 | #Constraints: 47370 2999.62/3006.77 c #Conflicts: 448000 | #Constraints: 48371 2999.62/3006.77 WSVECS04 Frhs2[5]: 6 0 38.0001 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[6]: 6 -163 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[8]: 6 0 470 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[18]: 6 -119 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[19]: 6 0 90 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[20]: 6 0 147 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[26]: 6 0 99 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[30]: 6 -127 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[33]: 6 -269 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[35]: 6 0 17.0001 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[41]: 6 0 106 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[44]: 6 0 86.0001 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[47]: 6 0 123 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[56]: 6 0 79.0001 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[59]: 6 0 132 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[61]: 6 -174 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[64]: 6 -162 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[67]: 6 -148 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[79]: 6 -162 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[93]: 6 0 85 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[99]: 6 0 143 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[105]: 6 0 121 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[108]: 6 0 108 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[111]: 6 0 104 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[114]: 6 0 106 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[116]: 6 -45 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[119]: 6 -44.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[125]: 6 -36.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[128]: 6 -69 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[137]: 6 -111 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[143]: 6 -234 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[147]: 6 0 221 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[149]: 6 -167 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[394]: 6 -1.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[395]: 6 -2.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[397]: 6 -4.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[398]: 6 -5.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[402]: 6 -9.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[536]: 6 -1.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[537]: 6 -2.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[538]: 6 -3.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[539]: 6 -4.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[540]: 6 -5.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[542]: 6 -7.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[543]: 6 -8.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[675]: 6 -1.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[676]: 6 -2.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[677]: 6 -3.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[678]: 6 -4.00001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[680]: 6 -6.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[681]: 6 -7.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[812]: 6 -2.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[813]: 6 -3.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[815]: 6 -5.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[816]: 6 -6.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[944]: 6 -1.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[945]: 6 -2.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[947]: 6 -4.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[948]: 6 -5.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1074]: 6 -1.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1076]: 6 -3.00009 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1077]: 6 -4.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1203]: 6 -3.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1446]: 6 -1.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[1576]: 6 0 123 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[2853]: 6 -1079 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3067]: 6 -329 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3639]: 6 -1.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3641]: 6 -3.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3642]: 6 -4.00005 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3643]: 6 -5.00008 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3644]: 6 -6.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3645]: 6 -7.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3646]: 6 -8.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3647]: 6 -9.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3648]: 6 -10.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3649]: 6 -11.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3672]: 6 -2.00008 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3673]: 6 -3.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3674]: 6 -4.00001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3675]: 6 -5.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3676]: 6 -6.00001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3677]: 6 -7.00009 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3678]: 6 -8.00001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3679]: 6 -9.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3680]: 6 -10.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3726]: 6 -1.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3729]: 6 -4.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3730]: 6 -5.00003 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3731]: 6 -6.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3749]: 6 -1.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3750]: 6 -2.00001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3751]: 6 -3.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3752]: 6 -4.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3753]: 6 -5.00007 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3754]: 6 -6.00006 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3755]: 6 -7.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3769]: 6 -1.00002 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3772]: 6 -4.00004 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3787]: 6 -412 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3790]: 6 -5.0001 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3811]: 6 -1.00008 0 shouldn't be 2999.62/3006.77 WSVECS04 Frhs2[3824]: 6 -1.00009 0 shouldn't be 3149.72/3157.28 c #Conflicts: 449000 | #Constraints: 49371 3149.72/3157.28 c #Conflicts: 450000 | #Constraints: 50371 3149.72/3157.28 c #Conflicts: 451000 | #Constraints: 51371 3149.72/3157.28 c #Conflicts: 452000 | #Constraints: 52371 3149.72/3157.28 c #Conflicts: 453000 | #Constraints: 53371 3149.72/3157.28 c #Conflicts: 454000 | #Constraints: 54371 3149.72/3157.28 c #Conflicts: 455000 | #Constraints: 55371 3149.72/3157.28 c #Conflicts: 456000 | #Constraints: 56371 3149.72/3157.28 c #Conflicts: 457000 | #Constraints: 57371 3149.72/3157.28 c #Conflicts: 458000 | #Constraints: 58371 3149.72/3157.28 c #Conflicts: 459000 | #Constraints: 59371 3149.72/3157.28 c #Conflicts: 460000 | #Constraints: 60371 3149.72/3157.28 c #Conflicts: 461000 | #Constraints: 61371 3149.72/3157.28 c INPROCESSING 3149.72/3157.28 c GARBAGE COLLECT 3149.72/3157.28 c rational objective 192 3575.31/3583.75 c #Conflicts: 462000 | #Constraints: 41947 3575.31/3583.75 c #Conflicts: 463000 | #Constraints: 42947 3575.31/3583.75 c #Conflicts: 464000 | #Constraints: 43947 3575.31/3583.75 c #Conflicts: 465000 | #Constraints: 44949 3575.31/3583.75 c #Conflicts: 466000 | #Constraints: 45949 3575.31/3583.75 c #Conflicts: 467000 | #Constraints: 46949 3575.31/3583.75 c #Conflicts: 468000 | #Constraints: 47949 3575.31/3583.75 c #Conflicts: 469000 | #Constraints: 48949 3575.31/3583.75 c #Conflicts: 470000 | #Constraints: 49949 3575.31/3583.75 c #Conflicts: 471000 | #Constraints: 50949 3575.31/3583.75 c #Conflicts: 472000 | #Constraints: 51949 3575.31/3583.75 c #Conflicts: 473000 | #Constraints: 52949 3575.31/3583.75 c #Conflicts: 474000 | #Constraints: 53949 3575.31/3583.75 c #Conflicts: 475000 | #Constraints: 54949 3575.31/3583.75 c #Conflicts: 476000 | #Constraints: 55949 3575.31/3583.75 c #Conflicts: 477000 | #Constraints: 56949 3575.31/3583.75 c #Conflicts: 478000 | #Constraints: 57949 3575.31/3583.75 c #Conflicts: 479000 | #Constraints: 58949 3575.31/3583.75 c #Conflicts: 480000 | #Constraints: 59949 3575.31/3583.75 c #Conflicts: 481000 | #Constraints: 60949 3575.31/3583.75 c #Conflicts: 482000 | #Constraints: 61949 3575.31/3583.75 c #Conflicts: 483000 | #Constraints: 62949 3575.31/3583.75 c #Conflicts: 484000 | #Constraints: 63949 3575.31/3583.75 c #Conflicts: 485000 | #Constraints: 64949 3575.31/3583.75 c #Conflicts: 486000 | #Constraints: 65949 3575.31/3583.75 c #Conflicts: 487000 | #Constraints: 66949 3575.31/3583.75 c #Conflicts: 488000 | #Constraints: 67949 3575.31/3583.75 c #Conflicts: 489000 | #Constraints: 68949 3575.31/3583.75 c #Conflicts: 490000 | #Constraints: 69949 3575.31/3583.75 c #Conflicts: 491000 | #Constraints: 70949 3575.31/3583.75 c #Conflicts: 492000 | #Constraints: 71950 3575.31/3583.75 c #Conflicts: 493000 | #Constraints: 72951 3575.31/3583.75 c #Conflicts: 494000 | #Constraints: 73951 3575.31/3583.75 c #Conflicts: 495000 | #Constraints: 74952 3575.31/3583.75 c #Conflicts: 496000 | #Constraints: 75953 3575.31/3583.75 c #Conflicts: 497000 | #Constraints: 76953 3575.31/3583.75 c bounds 2312 >= 208 @ 3451.45 3575.31/3583.75 c #Conflicts: 498000 | #Constraints: 77983 3575.31/3583.75 c #Conflicts: 499000 | #Constraints: 78983 3575.31/3583.75 c #Conflicts: 500000 | #Constraints: 79984 3575.31/3583.76 c #Conflicts: 501000 | #Constraints: 80992 3575.31/3583.76 c #Conflicts: 502000 | #Constraints: 81999 3575.31/3583.76 c #Conflicts: 503000 | #Constraints: 83009 3575.31/3583.76 c #Conflicts: 504000 | #Constraints: 84015 3575.31/3583.76 c #Conflicts: 505000 | #Constraints: 85022 3575.31/3583.76 c #Conflicts: 506000 | #Constraints: 86029 3575.31/3583.76 c #Conflicts: 507000 | #Constraints: 87038 3575.31/3583.76 c #Conflicts: 508000 | #Constraints: 88047 3575.31/3583.76 c INPROCESSING 3575.31/3583.76 c GARBAGE COLLECT 3575.31/3583.76 c rational objective 208 3600.04/3608.50 c #Conflicts: 509000 | #Constraints: 48494 3600.04/3608.50 c #Conflicts: 510000 | #Constraints: 49499 3600.04/3608.50 c #Conflicts: 511000 | #Constraints: 50507 3600.04/3608.50 c Program interrupted by user. 3600.04/3608.50 c cpu time 3588.51 s 3600.04/3608.50 c deterministic time 395359398656 3.95e+11 3600.04/3608.50 c optimization time 24.6153 s 3600.04/3608.50 c total solve time 3563.88 s 3600.04/3608.50 c core-guided solve time 1919.95 s 3600.04/3608.50 c propagation time 2624.42 s 3600.04/3608.50 c conflict analysis time 898.611 s 3600.04/3608.50 c propagations 332826347 3600.04/3608.50 c resolve steps 16779260 3600.04/3608.50 c decisions 5778580 3600.04/3608.50 c conflicts 511816 3600.04/3608.50 c restarts 1022 3600.04/3608.50 c inprocessing phases 32 3600.04/3608.50 c input clauses 3787 3600.04/3608.50 c input cardinalities 63 3600.04/3608.50 c input general constraints 3881 3600.04/3608.50 c input average constraint length 41.47 3600.04/3608.50 c input average constraint degree 404.60 3600.04/3608.50 c learned clauses 349712 3600.04/3608.50 c learned cardinalities 22 3600.04/3608.50 c learned general constraints 163670 3600.04/3608.50 c learned average constraint length 695.13 3600.04/3608.50 c learned average constraint degree 2422426223.06 3600.04/3608.50 c watched constraints 66013 3600.04/3608.50 c counting constraints 101538 3600.04/3608.50 c gcd simplifications 121384 3600.04/3608.50 c detected cardinalities 1 3600.04/3608.50 c weakened non-implied lits 455227557 3600.04/3608.50 c weakened non-implying lits 749648 3600.04/3608.50 c original variables 3825 3600.04/3608.50 c clausal propagations 32760817 3600.04/3608.50 c cardinality propagations 1218204 3600.04/3608.50 c watched propagations 7065922 3600.04/3608.50 c counting propagations 291194897 3600.04/3608.50 c watch lookups 59643553927 3600.04/3608.50 c watch backjump lookups 54671699535 3600.04/3608.50 c watch checks 261237926408 3600.04/3608.50 c propagation checks 16018757945 3600.04/3608.50 c constraint additions 3109169443 3600.04/3608.50 c trail pops 339112055 3600.04/3608.50 c formula constraints 7450 3600.04/3608.50 c learned constraints 510291 3600.04/3608.50 c bound constraints 69 3600.04/3608.50 c core-guided constraints 212 3600.04/3608.50 c encountered formula constraints 13887925 3600.04/3608.50 c encountered learned constraints 3065032 3600.04/3608.50 c encountered bound constraints 14051 3600.04/3608.50 c encountered core-guided constraints 228621 3600.04/3608.50 c LP total time 83.4543 s 3600.04/3608.50 c LP solve time 77.82 s 3600.04/3608.50 c LP constraints added 7862 3600.04/3608.50 c LP constraints removed 390 3600.04/3608.50 c LP pivots internal 512154 3600.04/3608.50 c LP pivots root 62261 3600.04/3608.50 c LP calls 1810 3600.04/3608.50 c LP optimalities 283 3600.04/3608.50 c LP no pivot count 96 3600.04/3608.50 c LP infeasibilities 1524 3600.04/3608.50 c LP valid Farkas constraints 1524 3600.04/3608.50 c LP learned Farkas constraints 1524 3600.04/3608.50 c LP basis resets 0 3600.04/3608.50 c LP cycling count 0 3600.04/3608.50 c LP singular count 0 3600.04/3608.50 c LP no primal count 0 3600.04/3608.50 c LP no farkas count 0 3600.04/3608.50 c LP other issue count 0 3600.04/3608.50 c LP Gomory cuts 65 3600.04/3608.50 c LP learned cuts 347 3600.04/3608.50 c LP deleted cuts 390 3600.04/3608.50 c LP encountered Gomory constraints 17238 3600.04/3608.50 c LP encountered Farkas constraints 62436 3600.04/3608.50 c LP encountered learned Farkas constraints 14249 3600.04/3608.50 c CG auxiliary variables introduced 75 3600.04/3608.50 c CG solutions found 56 3600.04/3608.50 c CG cores constructed 13 3600.04/3608.50 c CG core cardinality constraints returned 0 3600.04/3608.50 c CG unit cores 0 3600.04/3608.50 c CG single cores 13 3600.04/3608.50 c CG blocks removed during cardinality reduction 0 3600.04/3608.50 c CG first core best 0 3600.04/3608.50 c CG decision core best 0 3600.04/3608.50 c CG core reduction tie 0 3600.04/3608.50 c CG core degree average 1.00 3600.04/3608.50 c CG core slack average 181.23 3600.04/3608.50 s SATISFIABLE 3600.04/3608.50 v x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 x66 -x67 -x68 x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 x93 -x94 -x95 x96 -x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 x143 -x144 -x145 x146 -x147 -x148 x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 x1604 x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 x2307 x2308 x2309 x2310 x2311 x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 x2665 x2666 x2667 x2668 x2669 x2670 x2671 x2672 x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 x2747 x2748 x2749 x2750 x2751 x2752 x2753 x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 x2975 x2976 x2977 x2978 x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 x3045 x3046 x3047 x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3111 x3112 x3113 x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 x3176 x3177 x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 x3436 x3437 x3438 x3439 x3440 x3441 x3442 x3443 x3444 x3445 x3446 x3447 x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 x3484 x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3531 x3532 x3533 x3534 x3535 x3536 x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 x3567 x3568 x3569 x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 x3640 x3641 x3642 x3643 x3644 x3645 x3646 x3647 x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 x3672 x3673 x3674 x3675 x3676 x3677 x3678 x3679 x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 x3701 x3702 x3703 x3704 x3705 x3706 x3707 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 x3727 x3728 x3729 x3730 x3731 x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 x3749 x3750 x3751 x3752 x3753 x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 x3770 x3771 x3772 x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 x3787 x3788 x3789 x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 x3801 x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 x3820 -x3821 -x3822 -x3823 x3824 -x3825
OK 2312
runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (61940 MiB free)
memory of node 1: 64473 MiB (57282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455421-1721465537/watcher-4455421-1721465537 -o /tmp/evaluation-result-4455421-1721465537/solver-4455421-1721465537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455421-1721465537.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1100822, runsolver pid=1100819
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122073556/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=44976 memory=17664 CPUtime=0.09 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 2807 0 0 0 8 1 0 0 20 0 1 0 198721843 46055424 4416 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 11244 4416 1802 922 0 3196 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44976 KiB
Current children cumulated memory: 17664 KiB
[startup+0.206109 s]*
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122072212/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=46264 memory=19040 CPUtime=0.19 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 3130 0 0 0 17 2 0 0 20 0 1 0 198721843 47374336 4760 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 11566 4760 1818 922 0 3518 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46264 KiB
Current children cumulated memory: 19040 KiB
[startup+0.306108 s]*
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122071300/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=47132 memory=19564 CPUtime=0.28 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 3247 0 0 0 25 3 0 0 20 0 1 0 198721843 48263168 4891 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 11783 4891 1818 922 0 3735 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47132 KiB
Current children cumulated memory: 19564 KiB
[startup+0.70023 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122071160/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=47132 memory=19564 CPUtime=0.68 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 3256 0 0 0 64 4 0 0 20 0 1 0 198721843 48263168 4891 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 11783 4891 1818 922 0 3735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47132 KiB
Current children cumulated memory: 19564 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122071132/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=47608 memory=20884 CPUtime=1.47 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 3561 0 0 0 142 5 0 0 20 0 1 0 198721843 48750592 5221 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 11902 5221 1818 922 0 3854 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47608 KiB
Current children cumulated memory: 20884 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 1100823
/proc/meminfo: memFree=122064664/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=53384 memory=27596 CPUtime=3.07 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 5221 0 0 0 301 6 0 0 20 0 1 0 198721843 54665216 6899 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 13346 6899 1872 922 0 5298 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 27596 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.09 4.10 6/258 1100824
/proc/meminfo: memFree=122050060/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=73420 memory=40960 CPUtime=6.26 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 8036 0 0 0 607 19 0 0 20 0 1 0 198721843 75182080 10240 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 18355 10240 1872 922 0 10307 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 73420 KiB
Current children cumulated memory: 40960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.10 5/258 1100824
/proc/meminfo: memFree=122032272/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=85880 memory=59020 CPUtime=12.65 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 11494 0 0 0 1231 34 0 0 20 0 1 0 198721843 87941120 14755 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 21470 14755 1872 922 0 13422 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85880 KiB
Current children cumulated memory: 59020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.10 5/258 1100828
/proc/meminfo: memFree=122005176/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=111608 memory=80948 CPUtime=25.41 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 14953 0 0 0 2485 56 0 0 20 0 1 0 198721843 114286592 20237 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 27902 20237 1872 922 0 19854 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 111608 KiB
Current children cumulated memory: 80948 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 1100831
/proc/meminfo: memFree=121962152/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=154228 memory=113200 CPUtime=50.95 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 20529 0 0 0 4991 104 0 0 20 0 1 0 198721843 157929472 28300 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 38557 28300 1872 922 0 30509 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 154228 KiB
Current children cumulated memory: 113200 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 1100841
/proc/meminfo: memFree=121846816/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=281264 memory=202288 CPUtime=102.02 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 33090 0 0 0 10048 154 0 0 20 0 1 0 198721843 288014336 50572 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 70316 50572 1872 922 0 62268 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 281264 KiB
Current children cumulated memory: 202288 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/258 1100851
/proc/meminfo: memFree=121784812/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=319012 memory=251604 CPUtime=161.87 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 40362 0 0 0 15978 209 0 0 20 0 1 0 198721843 326668288 62901 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 79753 62901 1872 922 0 71705 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 319012 KiB
Current children cumulated memory: 251604 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1101337
/proc/meminfo: memFree=122010120/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=344772 memory=291904 CPUtime=221.71 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 45867 0 0 0 21914 257 0 0 20 0 1 0 198721843 353046528 72976 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 86193 72976 1872 922 0 78145 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 344772 KiB
Current children cumulated memory: 291904 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1101394
/proc/meminfo: memFree=122284272/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=456352 memory=366280 CPUtime=281.57 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 52753 0 0 0 27878 279 0 0 20 0 1 0 198721843 467304448 91570 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 114088 91570 1872 922 0 106040 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 456352 KiB
Current children cumulated memory: 366280 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1101405
/proc/meminfo: memFree=122264468/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=457608 memory=372072 CPUtime=341.41 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 54166 0 0 0 33824 317 0 0 20 0 1 0 198721843 468590592 93018 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 114402 93018 1872 922 0 106354 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 457608 KiB
Current children cumulated memory: 372072 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/258 1101584
/proc/meminfo: memFree=122251804/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=457608 memory=372072 CPUtime=401.26 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 54166 0 0 0 39793 333 0 0 20 0 1 0 198721843 468590592 93018 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 114402 93018 1872 922 0 106354 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 457608 KiB
Current children cumulated memory: 372072 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/260 1101783
/proc/meminfo: memFree=126706988/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=459072 memory=374156 CPUtime=461.1 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 54590 0 0 0 45743 367 0 0 20 0 1 0 198721843 470089728 93539 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 114768 93539 1872 922 0 106720 0
################
# More data... #
################
Current children cumulated memory: 837044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 1103603
/proc/meminfo: memFree=125812752/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1090440 memory=845012 CPUtime=2915.42 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 113010 0 0 0 290530 1012 0 0 20 0 1 0 198721843 1116610560 211253 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 272610 211253 1872 922 0 264562 0
Current children cumulated CPU time: 2915.42 s
Current children cumulated vsize: 1090440 KiB
Current children cumulated memory: 845012 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/258 1103613
/proc/meminfo: memFree=125775668/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1098920 memory=879064 CPUtime=2975.28 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 114769 0 0 0 296501 1027 0 0 20 0 1 0 198721843 1125294080 219766 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 274730 219766 1872 922 0 266682 0
Current children cumulated CPU time: 2975.28 s
Current children cumulated vsize: 1098920 KiB
Current children cumulated memory: 879064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 1103623
/proc/meminfo: memFree=125760288/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1098920 memory=891024 CPUtime=3035.12 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 115195 0 0 0 302471 1041 0 0 20 0 1 0 198721843 1125294080 222756 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 274730 222756 1872 922 0 266682 0
Current children cumulated CPU time: 3035.12 s
Current children cumulated vsize: 1098920 KiB
Current children cumulated memory: 891024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 1103635
/proc/meminfo: memFree=125751296/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1098920 memory=891080 CPUtime=3094.97 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 115546 0 0 0 308442 1055 0 0 20 0 1 0 198721843 1125294080 222770 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 274730 222770 1872 922 0 266682 0
Current children cumulated CPU time: 3094.97 s
Current children cumulated vsize: 1098920 KiB
Current children cumulated memory: 891080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/258 1103646
/proc/meminfo: memFree=125743340/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1099532 memory=891544 CPUtime=3154.81 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 116037 0 0 0 314414 1067 0 0 20 0 1 0 198721843 1125920768 222886 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 274883 222886 1872 922 0 266835 0
Current children cumulated CPU time: 3154.81 s
Current children cumulated vsize: 1099532 KiB
Current children cumulated memory: 891544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.49 4.23 4.14 5/255 1103656
/proc/meminfo: memFree=125743608/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1100308 memory=892020 CPUtime=3214.69 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 116442 0 0 0 320382 1087 0 0 20 0 1 0 198721843 1126715392 223005 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 275077 223005 1872 922 0 267029 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 892020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/255 1103666
/proc/meminfo: memFree=125740984/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1100308 memory=892276 CPUtime=3274.55 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 116681 0 0 0 326355 1100 0 0 20 0 1 0 198721843 1126715392 223069 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 275077 223069 1872 922 0 267029 0
Current children cumulated CPU time: 3274.55 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 892276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/255 1103677
/proc/meminfo: memFree=125731560/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1100308 memory=892276 CPUtime=3334.43 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 117061 0 0 0 332331 1112 0 0 20 0 1 0 198721843 1126715392 223069 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 275077 223069 1872 922 0 267029 0
Current children cumulated CPU time: 3334.43 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 892276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/255 1103687
/proc/meminfo: memFree=125726528/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1100308 memory=892276 CPUtime=3394.31 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 117450 0 0 0 338309 1122 0 0 20 0 1 0 198721843 1126715392 223069 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 275077 223069 1872 922 0 267029 0
Current children cumulated CPU time: 3394.31 s
Current children cumulated vsize: 1100308 KiB
Current children cumulated memory: 892276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/255 1103698
/proc/meminfo: memFree=125725424/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1103124 memory=893768 CPUtime=3454.18 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 118225 0 0 0 344284 1134 0 0 20 0 1 0 198721843 1129598976 223442 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 275781 223442 1872 922 0 267733 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 1103124 KiB
Current children cumulated memory: 893768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 1103713
/proc/meminfo: memFree=125724036/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1105684 memory=895176 CPUtime=3514.06 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 118971 0 0 0 350264 1142 0 0 20 0 1 0 198721843 1132220416 223794 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 276421 223794 1872 922 0 268373 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 1105684 KiB
Current children cumulated memory: 895176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1103723
/proc/meminfo: memFree=125691580/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1141272 memory=913760 CPUtime=3573.91 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 123966 0 0 0 356242 1149 0 0 20 0 1 0 198721843 1168662528 228440 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 285318 228440 1872 922 0 277270 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 1141272 KiB
Current children cumulated memory: 913760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.23 4.17 4.12 5/257 1103729
/proc/meminfo: memFree=125682236/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1142524 memory=915152 CPUtime=3600.04 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 124358 0 0 0 358850 1154 0 0 20 0 1 0 198721843 1169944576 228788 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 285631 228788 1872 922 0 277583 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1142524 KiB
Current children cumulated memory: 915152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.51 s]
# the end of solver process 1100822 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.51 s, system=11.5508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.23 4.17 4.12 5/257 1103729
/proc/meminfo: memFree=125682236/131524600 swapFree=131071996/131071996
[pid=1100822] ppid=1100819 vsize=1142524 memory=915152 CPUtime=3600.04 cores=4,6
/proc/1100822/stat : 1100822 (roundingsat) R 1100819 1100822 1098054 0 -1 4194304 124358 0 0 0 358850 1154 0 0 20 0 1 0 198721843 1169944576 228788 134679101440 4194304 7968373 140721487363216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 18972672 140721487369148 140721487369312 140721487369312 140721487376329 0
/proc/1100822/statm: 285631 228788 1872 922 0 277583 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1142524 KiB
Current children cumulated memory: 915152 KiB
Child status: 0
Real time (s): 3608.51
CPU time (s): 3600.06
CPU user time (s): 3588.51
CPU system time (s): 11.5508
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 1142524
Max. memory (cumulated for all children) (KiB): 915152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.51
system time used= 11.5508
maximum resident set size= 915428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124375
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= 258
involuntary context switches= 2530
# summary of solver processes directly reported to runsolver:
# pid: 1100822
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.51
# total CPU system time (s): 11.5508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05715 second user time and 16.6409 second system time
The end
Begin job on nodeC030 at 2024-07-20 10:52:30 IDJOB=4455421 IDBENCH=158576 IDSOLVER=3084 FILE ID=nodeC030/4455421-1721465537 RUNJOBID= nodeC030-1721461845-1098065 SLURM_JOB_ID= 7545713 Free space on /tmp= 889756 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455421-1721465537/watcher-4455421-1721465537 -o /tmp/evaluation-result-4455421-1721465537/solver-4455421-1721465537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455421-1721465537.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c RANDOM SEED=1093044447 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.096 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.321 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.963 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.663 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3639.416 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3684.551 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.868 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.842 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122084952 kB MemAvailable: 124928340 kB Buffers: 542008 kB Cached: 3118216 kB SwapCached: 0 kB Active: 1533996 kB Inactive: 7218592 kB Active(anon): 1580 kB Inactive(anon): 5136688 kB Active(file): 1532416 kB Inactive(file): 2081904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5416 kB Writeback: 32 kB AnonPages: 5088176 kB Mapped: 117180 kB Shmem: 45912 kB KReclaimable: 137784 kB Slab: 256264 kB SReclaimable: 137784 kB SUnreclaim: 118480 kB KernelStack: 4160 kB PageTables: 19568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5720520 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74496 kB HardwareCorrupted: 0 kB AnonHugePages: 4792320 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 262868 kB DirectMap2M: 23627776 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890056 MiB End job on nodeC030 at 2024-07-20 11:52:39