| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.06 | 3612.32 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb |
| MD5SUM | b17790bf3951ca85a67cd8038da17b4d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1518.19 |
| 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 | 8424 |
| Total number of constraints | 9089 |
| Number of constraints which are clauses | 8415 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 576 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 576 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 9 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1199 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.05 c #variables 8424 #constraints 9186 0.09/0.16 c bounds - >= 9 @ 0.041097 0.09/0.16 c rational objective 9 1.79/1.84 c #Conflicts: 1000 | #Constraints: 10193 1.79/1.84 c #Conflicts: 2000 | #Constraints: 11195 1.79/1.84 c INPROCESSING 1.79/1.84 c GARBAGE COLLECT 1.79/1.84 c rational objective 9 5.07/5.19 c #Conflicts: 3000 | #Constraints: 2788 5.07/5.19 c #Conflicts: 4000 | #Constraints: 3790 5.07/5.19 c INPROCESSING 5.07/5.19 c GARBAGE COLLECT 5.07/5.19 c rational objective 9 7.57/7.65 c #Conflicts: 5000 | #Constraints: 3206 7.57/7.65 c #Conflicts: 6000 | #Constraints: 4208 7.57/7.65 c INPROCESSING 7.57/7.65 c GARBAGE COLLECT 7.57/7.65 c rational objective 9 10.15/10.29 c #Conflicts: 7000 | #Constraints: 3207 10.15/10.29 c #Conflicts: 8000 | #Constraints: 4209 10.15/10.29 c #Conflicts: 9000 | #Constraints: 5212 10.15/10.29 c INPROCESSING 10.15/10.29 c GARBAGE COLLECT 10.15/10.29 c rational objective 9 15.44/15.55 c #Conflicts: 10000 | #Constraints: 3912 15.44/15.55 c #Conflicts: 11000 | #Constraints: 4913 15.44/15.55 c #Conflicts: 12000 | #Constraints: 5916 15.44/15.55 c INPROCESSING 15.44/15.55 c GARBAGE COLLECT 15.44/15.55 c rational objective 9 19.82/19.99 c #Conflicts: 13000 | #Constraints: 4363 19.82/19.99 c #Conflicts: 14000 | #Constraints: 5364 19.82/19.99 c #Conflicts: 15000 | #Constraints: 6365 19.82/19.99 c INPROCESSING 19.82/19.99 c GARBAGE COLLECT 19.82/19.99 c rational objective 9 23.21/23.32 c #Conflicts: 16000 | #Constraints: 4588 23.21/23.32 c #Conflicts: 17000 | #Constraints: 5589 23.21/23.32 c #Conflicts: 18000 | #Constraints: 6591 23.21/23.32 c INPROCESSING 23.21/23.32 c GARBAGE COLLECT 23.21/23.32 c rational objective 9 27.49/27.68 c #Conflicts: 19000 | #Constraints: 4607 27.49/27.68 c #Conflicts: 20000 | #Constraints: 5609 27.49/27.68 c #Conflicts: 21000 | #Constraints: 6611 27.49/27.68 c INPROCESSING 27.49/27.68 c GARBAGE COLLECT 27.49/27.68 c rational objective 9 31.28/31.43 c #Conflicts: 22000 | #Constraints: 4415 31.28/31.43 c #Conflicts: 23000 | #Constraints: 5418 31.28/31.43 c #Conflicts: 24000 | #Constraints: 6420 31.28/31.43 c #Conflicts: 25000 | #Constraints: 7424 31.28/31.43 c INPROCESSING 31.28/31.43 c GARBAGE COLLECT 31.28/31.43 c rational objective 9 38.06/38.28 c #Conflicts: 26000 | #Constraints: 5024 38.06/38.28 c #Conflicts: 27000 | #Constraints: 6025 38.06/38.28 c #Conflicts: 28000 | #Constraints: 7027 38.06/38.28 c #Conflicts: 29000 | #Constraints: 8030 38.06/38.28 c INPROCESSING 38.06/38.28 c GARBAGE COLLECT 38.06/38.28 c rational objective 9 43.55/43.70 c #Conflicts: 30000 | #Constraints: 5423 43.55/43.70 c #Conflicts: 31000 | #Constraints: 6425 43.55/43.70 c #Conflicts: 32000 | #Constraints: 7428 43.55/43.70 c #Conflicts: 33000 | #Constraints: 8428 43.55/43.70 c INPROCESSING 43.55/43.70 c GARBAGE COLLECT 43.55/43.70 c rational objective 9 50.32/50.50 c #Conflicts: 34000 | #Constraints: 5629 50.32/50.50 c #Conflicts: 35000 | #Constraints: 6629 50.32/50.50 c #Conflicts: 36000 | #Constraints: 7630 50.32/50.50 c #Conflicts: 37000 | #Constraints: 8631 50.32/50.50 c INPROCESSING 50.32/50.50 c GARBAGE COLLECT 50.32/50.50 c rational objective 9 61.19/61.46 c #Conflicts: 38000 | #Constraints: 5620 61.19/61.46 c #Conflicts: 39000 | #Constraints: 6622 61.19/61.46 c #Conflicts: 40000 | #Constraints: 7625 61.19/61.46 c #Conflicts: 41000 | #Constraints: 8628 61.19/61.46 c INPROCESSING 61.19/61.46 c GARBAGE COLLECT 61.19/61.46 c rational objective 9 72.76/73.03 c #Conflicts: 42000 | #Constraints: 5430 72.76/73.03 c #Conflicts: 43000 | #Constraints: 6431 72.76/73.03 c #Conflicts: 44000 | #Constraints: 7431 72.76/73.03 c #Conflicts: 45000 | #Constraints: 8433 72.76/73.03 c #Conflicts: 46000 | #Constraints: 9435 72.76/73.03 c INPROCESSING 72.76/73.03 c GARBAGE COLLECT 72.76/73.03 c rational objective 9 80.13/80.46 c #Conflicts: 47000 | #Constraints: 6016 80.13/80.46 c #Conflicts: 48000 | #Constraints: 7017 80.13/80.46 c #Conflicts: 49000 | #Constraints: 8019 80.13/80.46 c #Conflicts: 50000 | #Constraints: 9019 80.13/80.46 c #Conflicts: 51000 | #Constraints: 10019 80.13/80.46 c INPROCESSING 80.13/80.46 c GARBAGE COLLECT 80.13/80.46 c rational objective 9 86.01/86.31 c #Conflicts: 52000 | #Constraints: 6421 86.01/86.31 c #Conflicts: 53000 | #Constraints: 7423 86.01/86.31 c #Conflicts: 54000 | #Constraints: 8424 86.01/86.31 c #Conflicts: 55000 | #Constraints: 9425 86.01/86.31 c #Conflicts: 56000 | #Constraints: 10428 86.01/86.31 c INPROCESSING 86.01/86.31 c GARBAGE COLLECT 86.01/86.31 c rational objective 9 96.57/96.98 c #Conflicts: 57000 | #Constraints: 6621 96.57/96.98 c #Conflicts: 58000 | #Constraints: 7624 96.57/96.98 c #Conflicts: 59000 | #Constraints: 8625 96.57/96.98 c #Conflicts: 60000 | #Constraints: 9628 96.57/96.98 c #Conflicts: 61000 | #Constraints: 10633 96.57/96.98 c INPROCESSING 96.57/96.98 c GARBAGE COLLECT 96.57/96.98 c rational objective 9 102.55/102.92 c #Conflicts: 62000 | #Constraints: 6637 102.55/102.92 c #Conflicts: 63000 | #Constraints: 7639 102.55/102.92 c #Conflicts: 64000 | #Constraints: 8641 102.55/102.92 c #Conflicts: 65000 | #Constraints: 9642 102.55/102.92 c #Conflicts: 66000 | #Constraints: 10644 102.55/102.92 c INPROCESSING 102.55/102.92 c GARBAGE COLLECT 102.55/102.92 c rational objective 9 108.54/108.97 c #Conflicts: 67000 | #Constraints: 6425 108.54/108.97 c #Conflicts: 68000 | #Constraints: 7429 108.54/108.97 c #Conflicts: 69000 | #Constraints: 8432 108.54/108.97 c #Conflicts: 70000 | #Constraints: 9438 108.54/108.97 c #Conflicts: 71000 | #Constraints: 10443 108.54/108.97 c #Conflicts: 72000 | #Constraints: 11445 108.54/108.97 c INPROCESSING 108.54/108.97 c GARBAGE COLLECT 108.54/108.97 c rational objective 9 115.62/116.07 c #Conflicts: 73000 | #Constraints: 7041 115.62/116.07 c #Conflicts: 74000 | #Constraints: 8042 115.62/116.07 c #Conflicts: 75000 | #Constraints: 9044 115.62/116.07 c #Conflicts: 76000 | #Constraints: 10046 115.62/116.07 c #Conflicts: 77000 | #Constraints: 11049 115.62/116.07 c #Conflicts: 78000 | #Constraints: 12051 115.62/116.07 c INPROCESSING 115.62/116.07 c GARBAGE COLLECT 115.62/116.07 c rational objective 9 125.68/126.12 c #Conflicts: 79000 | #Constraints: 7431 125.68/126.12 c #Conflicts: 80000 | #Constraints: 8432 125.68/126.12 c #Conflicts: 81000 | #Constraints: 9432 125.68/126.12 c #Conflicts: 82000 | #Constraints: 10435 125.68/126.12 c #Conflicts: 83000 | #Constraints: 11437 125.68/126.12 c #Conflicts: 84000 | #Constraints: 12443 125.68/126.12 c INPROCESSING 125.68/126.12 c GARBAGE COLLECT 125.68/126.12 c rational objective 9 152.28/152.83 c #Conflicts: 85000 | #Constraints: 7637 152.28/152.83 c #Conflicts: 86000 | #Constraints: 8638 152.28/152.83 c #Conflicts: 87000 | #Constraints: 9639 152.28/152.83 c #Conflicts: 88000 | #Constraints: 10639 152.28/152.83 c #Conflicts: 89000 | #Constraints: 11639 152.28/152.83 c #Conflicts: 90000 | #Constraints: 12641 152.28/152.83 c INPROCESSING 152.28/152.83 c GARBAGE COLLECT 152.28/152.83 c rational objective 9 176.90/177.52 c #Conflicts: 91000 | #Constraints: 7643 176.90/177.52 c #Conflicts: 92000 | #Constraints: 8643 176.90/177.52 c #Conflicts: 93000 | #Constraints: 9644 176.90/177.52 c #Conflicts: 94000 | #Constraints: 10645 176.90/177.52 c #Conflicts: 95000 | #Constraints: 11646 176.90/177.52 c #Conflicts: 96000 | #Constraints: 12646 176.90/177.52 c INPROCESSING 176.90/177.52 c GARBAGE COLLECT 176.90/177.52 c rational objective 9 186.57/187.27 c #Conflicts: 97000 | #Constraints: 7453 186.57/187.27 c #Conflicts: 98000 | #Constraints: 8456 186.57/187.27 c #Conflicts: 99000 | #Constraints: 9458 186.57/187.27 c #Conflicts: 100000 | #Constraints: 10459 186.57/187.27 c #Conflicts: 101000 | #Constraints: 11459 186.57/187.27 c #Conflicts: 102000 | #Constraints: 12460 186.57/187.27 c #Conflicts: 103000 | #Constraints: 13462 186.57/187.27 c INPROCESSING 186.57/187.27 c GARBAGE COLLECT 186.57/187.27 c rational objective 9 197.53/198.21 c #Conflicts: 104000 | #Constraints: 8036 197.53/198.21 c #Conflicts: 105000 | #Constraints: 9038 197.53/198.21 c #Conflicts: 106000 | #Constraints: 10042 197.53/198.21 c #Conflicts: 107000 | #Constraints: 11045 197.53/198.21 c #Conflicts: 108000 | #Constraints: 12048 197.53/198.21 c #Conflicts: 109000 | #Constraints: 13050 197.53/198.21 c #Conflicts: 110000 | #Constraints: 14053 197.53/198.21 c INPROCESSING 197.53/198.21 c GARBAGE COLLECT 197.53/198.21 c rational objective 9 208.09/208.85 c #Conflicts: 111000 | #Constraints: 8440 208.09/208.85 c #Conflicts: 112000 | #Constraints: 9440 208.09/208.85 c #Conflicts: 113000 | #Constraints: 10441 208.09/208.85 c #Conflicts: 114000 | #Constraints: 11445 208.09/208.85 c #Conflicts: 115000 | #Constraints: 12449 208.09/208.85 c #Conflicts: 116000 | #Constraints: 13450 208.09/208.85 c #Conflicts: 117000 | #Constraints: 14453 208.09/208.85 c INPROCESSING 208.09/208.85 c GARBAGE COLLECT 208.09/208.85 c rational objective 9 229.03/229.89 c #Conflicts: 118000 | #Constraints: 8633 229.03/229.89 c #Conflicts: 119000 | #Constraints: 9637 229.03/229.89 c #Conflicts: 120000 | #Constraints: 10639 229.03/229.89 c #Conflicts: 121000 | #Constraints: 11641 229.03/229.89 c #Conflicts: 122000 | #Constraints: 12642 229.03/229.89 c #Conflicts: 123000 | #Constraints: 13644 229.03/229.89 c #Conflicts: 124000 | #Constraints: 14644 229.03/229.89 c INPROCESSING 229.03/229.89 c GARBAGE COLLECT 229.03/229.89 c rational objective 9 239.29/240.20 c #Conflicts: 125000 | #Constraints: 8634 239.29/240.20 c #Conflicts: 126000 | #Constraints: 9635 239.29/240.20 c #Conflicts: 127000 | #Constraints: 10636 239.29/240.20 c #Conflicts: 128000 | #Constraints: 11636 239.29/240.20 c #Conflicts: 129000 | #Constraints: 12638 239.29/240.20 c #Conflicts: 130000 | #Constraints: 13642 239.29/240.20 c #Conflicts: 131000 | #Constraints: 14643 239.29/240.20 c INPROCESSING 239.29/240.20 c GARBAGE COLLECT 239.29/240.20 c rational objective 9 256.93/257.82 c #Conflicts: 132000 | #Constraints: 8427 256.93/257.82 c #Conflicts: 133000 | #Constraints: 9428 256.93/257.82 c #Conflicts: 134000 | #Constraints: 10429 256.93/257.82 c #Conflicts: 135000 | #Constraints: 11432 256.93/257.82 c #Conflicts: 136000 | #Constraints: 12435 256.93/257.82 c #Conflicts: 137000 | #Constraints: 13437 256.93/257.82 c #Conflicts: 138000 | #Constraints: 14440 256.93/257.82 c #Conflicts: 139000 | #Constraints: 15441 256.93/257.82 c INPROCESSING 256.93/257.82 c GARBAGE COLLECT 256.93/257.82 c rational objective 9 274.37/275.34 c #Conflicts: 140000 | #Constraints: 9034 274.37/275.34 c #Conflicts: 141000 | #Constraints: 10036 274.37/275.34 c #Conflicts: 142000 | #Constraints: 11038 274.37/275.34 c #Conflicts: 143000 | #Constraints: 12043 274.37/275.34 c #Conflicts: 144000 | #Constraints: 13046 274.37/275.34 c #Conflicts: 145000 | #Constraints: 14048 274.37/275.34 c #Conflicts: 146000 | #Constraints: 15050 274.37/275.34 c #Conflicts: 147000 | #Constraints: 16050 274.37/275.34 c INPROCESSING 274.37/275.34 c GARBAGE COLLECT 274.37/275.34 c rational objective 9 291.71/292.79 c #Conflicts: 148000 | #Constraints: 9439 291.71/292.79 c #Conflicts: 149000 | #Constraints: 10442 291.71/292.79 c #Conflicts: 150000 | #Constraints: 11444 291.71/292.79 c #Conflicts: 151000 | #Constraints: 12445 291.71/292.79 c #Conflicts: 152000 | #Constraints: 13447 291.71/292.79 c #Conflicts: 153000 | #Constraints: 14449 291.71/292.79 c #Conflicts: 154000 | #Constraints: 15452 291.71/292.79 c #Conflicts: 155000 | #Constraints: 16456 291.71/292.79 c INPROCESSING 291.71/292.79 c GARBAGE COLLECT 291.71/292.79 c rational objective 9 305.36/306.49 c #Conflicts: 156000 | #Constraints: 9640 305.36/306.49 c #Conflicts: 157000 | #Constraints: 10642 305.36/306.49 c #Conflicts: 158000 | #Constraints: 11645 305.36/306.49 c #Conflicts: 159000 | #Constraints: 12649 305.36/306.49 c #Conflicts: 160000 | #Constraints: 13650 305.36/306.49 c #Conflicts: 161000 | #Constraints: 14653 305.36/306.49 c #Conflicts: 162000 | #Constraints: 15655 305.36/306.49 c #Conflicts: 163000 | #Constraints: 16657 305.36/306.49 c INPROCESSING 305.36/306.49 c GARBAGE COLLECT 305.36/306.49 c rational objective 9 324.01/325.11 c #Conflicts: 164000 | #Constraints: 9631 324.01/325.11 c #Conflicts: 165000 | #Constraints: 10632 324.01/325.11 c #Conflicts: 166000 | #Constraints: 11634 324.01/325.11 c #Conflicts: 167000 | #Constraints: 12636 324.01/325.11 c #Conflicts: 168000 | #Constraints: 13637 324.01/325.11 c #Conflicts: 169000 | #Constraints: 14640 324.01/325.11 c #Conflicts: 170000 | #Constraints: 15642 324.01/325.11 c #Conflicts: 171000 | #Constraints: 16643 324.01/325.11 c INPROCESSING 324.01/325.11 c GARBAGE COLLECT 324.01/325.11 c rational objective 9 339.45/340.70 c #Conflicts: 172000 | #Constraints: 9433 339.45/340.70 c #Conflicts: 173000 | #Constraints: 10433 339.45/340.70 c #Conflicts: 174000 | #Constraints: 11434 339.45/340.70 c #Conflicts: 175000 | #Constraints: 12436 339.45/340.70 c #Conflicts: 176000 | #Constraints: 13439 339.45/340.70 c #Conflicts: 177000 | #Constraints: 14441 339.45/340.70 c #Conflicts: 178000 | #Constraints: 15445 339.45/340.70 c #Conflicts: 179000 | #Constraints: 16447 339.45/340.70 c #Conflicts: 180000 | #Constraints: 17449 339.45/340.70 c INPROCESSING 339.45/340.70 c GARBAGE COLLECT 339.45/340.70 c rational objective 9 355.50/356.79 c #Conflicts: 181000 | #Constraints: 10027 355.50/356.79 c #Conflicts: 182000 | #Constraints: 11029 355.50/356.79 c #Conflicts: 183000 | #Constraints: 12029 355.50/356.79 c #Conflicts: 184000 | #Constraints: 13030 355.50/356.79 c #Conflicts: 185000 | #Constraints: 14032 355.50/356.79 c #Conflicts: 186000 | #Constraints: 15034 355.50/356.79 c #Conflicts: 187000 | #Constraints: 16034 355.50/356.79 c #Conflicts: 188000 | #Constraints: 17036 355.50/356.79 c #Conflicts: 189000 | #Constraints: 18038 355.50/356.79 c INPROCESSING 355.50/356.79 c GARBAGE COLLECT 355.50/356.79 c rational objective 9 388.28/389.65 c #Conflicts: 190000 | #Constraints: 10436 388.28/389.65 c #Conflicts: 191000 | #Constraints: 11440 388.28/389.65 c #Conflicts: 192000 | #Constraints: 12444 388.28/389.65 c #Conflicts: 193000 | #Constraints: 13447 388.28/389.65 c #Conflicts: 194000 | #Constraints: 14450 388.28/389.65 c #Conflicts: 195000 | #Constraints: 15451 388.28/389.65 c #Conflicts: 196000 | #Constraints: 16453 388.28/389.65 c #Conflicts: 197000 | #Constraints: 17454 388.28/389.65 c #Conflicts: 198000 | #Constraints: 18455 388.28/389.65 c INPROCESSING 388.28/389.65 c GARBAGE COLLECT 388.28/389.65 c rational objective 9 440.31/441.85 c #Conflicts: 199000 | #Constraints: 10651 440.31/441.85 c #Conflicts: 200000 | #Constraints: 11654 440.31/441.85 c #Conflicts: 201000 | #Constraints: 12654 440.31/441.85 c #Conflicts: 202000 | #Constraints: 13657 440.31/441.85 c #Conflicts: 203000 | #Constraints: 14660 440.31/441.85 c #Conflicts: 204000 | #Constraints: 15662 440.31/441.85 c #Conflicts: 205000 | #Constraints: 16663 440.31/441.85 c #Conflicts: 206000 | #Constraints: 17665 440.31/441.85 c #Conflicts: 207000 | #Constraints: 18668 440.31/441.85 c INPROCESSING 440.31/441.85 c GARBAGE COLLECT 440.31/441.85 c rational objective 9 473.10/474.70 c #Conflicts: 208000 | #Constraints: 10655 473.10/474.70 c #Conflicts: 209000 | #Constraints: 11657 473.10/474.70 c #Conflicts: 210000 | #Constraints: 12657 473.10/474.70 c #Conflicts: 211000 | #Constraints: 13658 473.10/474.70 c #Conflicts: 212000 | #Constraints: 14660 473.10/474.70 c #Conflicts: 213000 | #Constraints: 15661 473.10/474.70 c #Conflicts: 214000 | #Constraints: 16663 473.10/474.70 c #Conflicts: 215000 | #Constraints: 17663 473.10/474.70 c #Conflicts: 216000 | #Constraints: 18664 473.10/474.70 c INPROCESSING 473.10/474.70 c GARBAGE COLLECT 473.10/474.70 c rational objective 9 503.69/505.41 c #Conflicts: 217000 | #Constraints: 10456 503.69/505.41 c #Conflicts: 218000 | #Constraints: 11457 503.69/505.41 c #Conflicts: 219000 | #Constraints: 12462 503.69/505.41 c #Conflicts: 220000 | #Constraints: 13465 503.69/505.41 c #Conflicts: 221000 | #Constraints: 14465 503.69/505.41 c #Conflicts: 222000 | #Constraints: 15465 503.69/505.41 c #Conflicts: 223000 | #Constraints: 16465 503.69/505.41 c #Conflicts: 224000 | #Constraints: 17466 503.69/505.41 c #Conflicts: 225000 | #Constraints: 18466 503.69/505.41 c #Conflicts: 226000 | #Constraints: 19466 503.69/505.41 c INPROCESSING 503.69/505.41 c GARBAGE COLLECT 503.69/505.41 c rational objective 9 529.81/531.65 c #Conflicts: 227000 | #Constraints: 11068 529.81/531.65 c #Conflicts: 228000 | #Constraints: 12070 529.81/531.65 c #Conflicts: 229000 | #Constraints: 13072 529.81/531.65 c #Conflicts: 230000 | #Constraints: 14074 529.81/531.65 c #Conflicts: 231000 | #Constraints: 15076 529.81/531.65 c #Conflicts: 232000 | #Constraints: 16076 529.81/531.65 c #Conflicts: 233000 | #Constraints: 17076 529.81/531.65 c #Conflicts: 234000 | #Constraints: 18077 529.81/531.65 c #Conflicts: 235000 | #Constraints: 19078 529.81/531.65 c #Conflicts: 236000 | #Constraints: 20079 529.81/531.65 c INPROCESSING 529.81/531.65 c GARBAGE COLLECT 529.81/531.65 c rational objective 9 553.92/555.88 c #Conflicts: 237000 | #Constraints: 11440 553.92/555.88 c #Conflicts: 238000 | #Constraints: 12443 553.92/555.88 c #Conflicts: 239000 | #Constraints: 13447 553.92/555.88 c #Conflicts: 240000 | #Constraints: 14450 553.92/555.88 c #Conflicts: 241000 | #Constraints: 15451 553.92/555.88 c #Conflicts: 242000 | #Constraints: 16452 553.92/555.88 c #Conflicts: 243000 | #Constraints: 17455 553.92/555.88 c #Conflicts: 244000 | #Constraints: 18456 553.92/555.88 c #Conflicts: 245000 | #Constraints: 19458 553.92/555.88 c #Conflicts: 246000 | #Constraints: 20460 553.92/555.88 c INPROCESSING 553.92/555.88 c GARBAGE COLLECT 553.92/555.88 c rational objective 9 574.85/576.84 c #Conflicts: 247000 | #Constraints: 11647 574.85/576.84 c #Conflicts: 248000 | #Constraints: 12652 574.85/576.84 c #Conflicts: 249000 | #Constraints: 13655 574.85/576.84 c #Conflicts: 250000 | #Constraints: 14657 574.85/576.84 c #Conflicts: 251000 | #Constraints: 15659 574.85/576.84 c #Conflicts: 252000 | #Constraints: 16664 574.85/576.84 c #Conflicts: 253000 | #Constraints: 17667 574.85/576.84 c #Conflicts: 254000 | #Constraints: 18668 574.85/576.84 c #Conflicts: 255000 | #Constraints: 19669 574.85/576.84 c #Conflicts: 256000 | #Constraints: 20670 574.85/576.84 c INPROCESSING 574.85/576.84 c GARBAGE COLLECT 574.85/576.84 c rational objective 9 594.18/596.25 c #Conflicts: 257000 | #Constraints: 11647 594.18/596.25 c #Conflicts: 258000 | #Constraints: 12648 594.18/596.25 c #Conflicts: 259000 | #Constraints: 13649 594.18/596.25 c #Conflicts: 260000 | #Constraints: 14652 594.18/596.25 c #Conflicts: 261000 | #Constraints: 15657 594.18/596.25 c #Conflicts: 262000 | #Constraints: 16659 594.18/596.25 c #Conflicts: 263000 | #Constraints: 17663 594.18/596.25 c #Conflicts: 264000 | #Constraints: 18665 594.18/596.25 c #Conflicts: 265000 | #Constraints: 19668 594.18/596.25 c #Conflicts: 266000 | #Constraints: 20672 594.18/596.25 c INPROCESSING 594.18/596.25 c GARBAGE COLLECT 594.18/596.25 c rational objective 9 623.77/625.93 c #Conflicts: 267000 | #Constraints: 11466 623.77/625.93 c #Conflicts: 268000 | #Constraints: 12467 623.77/625.93 c #Conflicts: 269000 | #Constraints: 13469 623.77/625.93 c #Conflicts: 270000 | #Constraints: 14472 623.77/625.93 c #Conflicts: 271000 | #Constraints: 15476 623.77/625.93 c #Conflicts: 272000 | #Constraints: 16477 623.77/625.93 c #Conflicts: 273000 | #Constraints: 17477 623.77/625.93 c #Conflicts: 274000 | #Constraints: 18479 623.77/625.93 c #Conflicts: 275000 | #Constraints: 19480 623.77/625.93 c #Conflicts: 276000 | #Constraints: 20481 623.77/625.93 c #Conflicts: 277000 | #Constraints: 21482 623.77/625.93 c INPROCESSING 623.77/625.93 c GARBAGE COLLECT 623.77/625.93 c rational objective 9 650.29/652.55 c #Conflicts: 278000 | #Constraints: 12041 650.29/652.55 c #Conflicts: 279000 | #Constraints: 13043 650.29/652.55 c #Conflicts: 280000 | #Constraints: 14046 650.29/652.55 c #Conflicts: 281000 | #Constraints: 15048 650.29/652.55 c #Conflicts: 282000 | #Constraints: 16049 650.29/652.55 c #Conflicts: 283000 | #Constraints: 17050 650.29/652.55 c #Conflicts: 284000 | #Constraints: 18053 650.29/652.55 c #Conflicts: 285000 | #Constraints: 19055 650.29/652.55 c #Conflicts: 286000 | #Constraints: 20057 650.29/652.55 c #Conflicts: 287000 | #Constraints: 21059 650.29/652.55 c #Conflicts: 288000 | #Constraints: 22061 650.29/652.55 c INPROCESSING 650.29/652.55 c GARBAGE COLLECT 650.29/652.55 c rational objective 9 685.87/688.28 c #Conflicts: 289000 | #Constraints: 12437 685.87/688.28 c #Conflicts: 290000 | #Constraints: 13440 685.87/688.28 c #Conflicts: 291000 | #Constraints: 14443 685.87/688.28 c #Conflicts: 292000 | #Constraints: 15445 685.87/688.28 c #Conflicts: 293000 | #Constraints: 16447 685.87/688.28 c #Conflicts: 294000 | #Constraints: 17449 685.87/688.28 c #Conflicts: 295000 | #Constraints: 18452 685.87/688.28 c #Conflicts: 296000 | #Constraints: 19455 685.87/688.28 c #Conflicts: 297000 | #Constraints: 20459 685.87/688.28 c #Conflicts: 298000 | #Constraints: 21467 685.87/688.28 c #Conflicts: 299000 | #Constraints: 22471 685.87/688.28 c INPROCESSING 685.87/688.28 c GARBAGE COLLECT 685.87/688.28 c rational objective 9 705.89/708.38 c #Conflicts: 300000 | #Constraints: 12648 705.89/708.38 c #Conflicts: 301000 | #Constraints: 13649 705.89/708.38 c #Conflicts: 302000 | #Constraints: 14650 705.89/708.38 c #Conflicts: 303000 | #Constraints: 15651 705.89/708.38 c #Conflicts: 304000 | #Constraints: 16652 705.89/708.38 c #Conflicts: 305000 | #Constraints: 17653 705.89/708.38 c #Conflicts: 306000 | #Constraints: 18655 705.89/708.38 c #Conflicts: 307000 | #Constraints: 19655 705.89/708.38 c #Conflicts: 308000 | #Constraints: 20657 705.89/708.38 c #Conflicts: 309000 | #Constraints: 21660 705.89/708.38 c #Conflicts: 310000 | #Constraints: 22663 705.89/708.38 c INPROCESSING 705.89/708.38 c GARBAGE COLLECT 705.89/708.38 c rational objective 9 751.14/753.78 c #Conflicts: 311000 | #Constraints: 12637 751.14/753.78 c #Conflicts: 312000 | #Constraints: 13639 751.14/753.78 c #Conflicts: 313000 | #Constraints: 14641 751.14/753.78 c #Conflicts: 314000 | #Constraints: 15641 751.14/753.78 c #Conflicts: 315000 | #Constraints: 16644 751.14/753.78 c #Conflicts: 316000 | #Constraints: 17645 751.14/753.78 c #Conflicts: 317000 | #Constraints: 18646 751.14/753.78 c #Conflicts: 318000 | #Constraints: 19647 751.14/753.78 c #Conflicts: 319000 | #Constraints: 20650 751.14/753.78 c #Conflicts: 320000 | #Constraints: 21652 751.14/753.78 c #Conflicts: 321000 | #Constraints: 22654 751.14/753.78 c INPROCESSING 751.14/753.78 c GARBAGE COLLECT 751.14/753.78 c rational objective 9 800.18/802.94 c #Conflicts: 322000 | #Constraints: 12445 800.18/802.94 c #Conflicts: 323000 | #Constraints: 13445 800.18/802.94 c #Conflicts: 324000 | #Constraints: 14445 800.18/802.94 c #Conflicts: 325000 | #Constraints: 15446 800.18/802.94 c #Conflicts: 326000 | #Constraints: 16451 800.18/802.94 c #Conflicts: 327000 | #Constraints: 17454 800.18/802.94 c #Conflicts: 328000 | #Constraints: 18456 800.18/802.94 c #Conflicts: 329000 | #Constraints: 19458 800.18/802.94 c #Conflicts: 330000 | #Constraints: 20460 800.18/802.94 c #Conflicts: 331000 | #Constraints: 21462 800.18/802.94 c #Conflicts: 332000 | #Constraints: 22464 800.18/802.94 c #Conflicts: 333000 | #Constraints: 23465 800.18/802.94 c INPROCESSING 800.18/802.94 c GARBAGE COLLECT 800.18/802.94 c rational objective 9 829.07/831.92 c #Conflicts: 334000 | #Constraints: 13045 829.07/831.92 c #Conflicts: 335000 | #Constraints: 14047 829.07/831.92 c #Conflicts: 336000 | #Constraints: 15048 829.07/831.92 c #Conflicts: 337000 | #Constraints: 16049 829.07/831.92 c #Conflicts: 338000 | #Constraints: 17051 829.07/831.92 c #Conflicts: 339000 | #Constraints: 18052 829.07/831.92 c #Conflicts: 340000 | #Constraints: 19056 829.07/831.92 c #Conflicts: 341000 | #Constraints: 20058 829.07/831.92 c #Conflicts: 342000 | #Constraints: 21062 829.07/831.92 c #Conflicts: 343000 | #Constraints: 22063 829.07/831.92 c #Conflicts: 344000 | #Constraints: 23067 829.07/831.92 c #Conflicts: 345000 | #Constraints: 24072 829.07/831.92 c INPROCESSING 829.07/831.92 c GARBAGE COLLECT 829.07/831.92 c rational objective 9 865.75/868.76 c #Conflicts: 346000 | #Constraints: 13450 865.75/868.76 c #Conflicts: 347000 | #Constraints: 14453 865.75/868.76 c #Conflicts: 348000 | #Constraints: 15455 865.75/868.76 c #Conflicts: 349000 | #Constraints: 16456 865.75/868.76 c #Conflicts: 350000 | #Constraints: 17456 865.75/868.76 c #Conflicts: 351000 | #Constraints: 18458 865.75/868.76 c #Conflicts: 352000 | #Constraints: 19458 865.75/868.76 c #Conflicts: 353000 | #Constraints: 20460 865.75/868.76 c #Conflicts: 354000 | #Constraints: 21462 865.75/868.76 c #Conflicts: 355000 | #Constraints: 22462 865.75/868.76 c #Conflicts: 356000 | #Constraints: 23463 865.75/868.76 c #Conflicts: 357000 | #Constraints: 24465 865.75/868.76 c INPROCESSING 865.75/868.76 c GARBAGE COLLECT 865.75/868.76 c rational objective 9 902.23/905.37 c #Conflicts: 358000 | #Constraints: 13632 902.23/905.37 c #Conflicts: 359000 | #Constraints: 14635 902.23/905.37 c #Conflicts: 360000 | #Constraints: 15636 902.23/905.37 c #Conflicts: 361000 | #Constraints: 16638 902.23/905.37 c #Conflicts: 362000 | #Constraints: 17639 902.23/905.37 c #Conflicts: 363000 | #Constraints: 18641 902.23/905.37 c #Conflicts: 364000 | #Constraints: 19641 902.23/905.37 c #Conflicts: 365000 | #Constraints: 20642 902.23/905.37 c #Conflicts: 366000 | #Constraints: 21647 902.23/905.37 c #Conflicts: 367000 | #Constraints: 22650 902.23/905.37 c #Conflicts: 368000 | #Constraints: 23652 902.23/905.37 c #Conflicts: 369000 | #Constraints: 24653 902.23/905.37 c INPROCESSING 902.23/905.37 c GARBAGE COLLECT 902.23/905.37 c rational objective 9 942.49/945.72 c #Conflicts: 370000 | #Constraints: 13639 942.49/945.72 c #Conflicts: 371000 | #Constraints: 14642 942.49/945.72 c #Conflicts: 372000 | #Constraints: 15644 942.49/945.72 c #Conflicts: 373000 | #Constraints: 16646 942.49/945.72 c #Conflicts: 374000 | #Constraints: 17648 942.49/945.72 c #Conflicts: 375000 | #Constraints: 18648 942.49/945.72 c #Conflicts: 376000 | #Constraints: 19650 942.49/945.72 c #Conflicts: 377000 | #Constraints: 20652 942.49/945.72 c #Conflicts: 378000 | #Constraints: 21654 942.49/945.72 c #Conflicts: 379000 | #Constraints: 22657 942.49/945.72 c #Conflicts: 380000 | #Constraints: 23657 942.49/945.72 c #Conflicts: 381000 | #Constraints: 24657 942.49/945.72 c INPROCESSING 942.49/945.72 c GARBAGE COLLECT 942.49/945.72 c rational objective 9 966.21/969.52 c #Conflicts: 382000 | #Constraints: 13437 966.21/969.52 c #Conflicts: 383000 | #Constraints: 14438 966.21/969.52 c #Conflicts: 384000 | #Constraints: 15439 966.21/969.52 c #Conflicts: 385000 | #Constraints: 16443 966.21/969.52 c #Conflicts: 386000 | #Constraints: 17445 966.21/969.52 c #Conflicts: 387000 | #Constraints: 18445 966.21/969.52 c #Conflicts: 388000 | #Constraints: 19446 966.21/969.52 c #Conflicts: 389000 | #Constraints: 20446 966.21/969.52 c #Conflicts: 390000 | #Constraints: 21447 966.21/969.52 c #Conflicts: 391000 | #Constraints: 22447 966.21/969.52 c #Conflicts: 392000 | #Constraints: 23448 966.21/969.52 c #Conflicts: 393000 | #Constraints: 24449 966.21/969.52 c #Conflicts: 394000 | #Constraints: 25451 966.21/969.52 c INPROCESSING 966.21/969.52 c GARBAGE COLLECT 966.21/969.52 c rational objective 9 994.51/997.95 c #Conflicts: 395000 | #Constraints: 14037 994.51/997.95 c #Conflicts: 396000 | #Constraints: 15038 994.51/997.95 c #Conflicts: 397000 | #Constraints: 16040 994.51/997.95 c #Conflicts: 398000 | #Constraints: 17042 994.51/997.95 c #Conflicts: 399000 | #Constraints: 18044 994.51/997.95 c #Conflicts: 400000 | #Constraints: 19046 994.51/997.95 c #Conflicts: 401000 | #Constraints: 20048 994.51/997.95 c #Conflicts: 402000 | #Constraints: 21049 994.51/997.95 c #Conflicts: 403000 | #Constraints: 22049 994.51/997.95 c #Conflicts: 404000 | #Constraints: 23050 994.51/997.95 c #Conflicts: 405000 | #Constraints: 24052 994.51/997.95 c #Conflicts: 406000 | #Constraints: 25055 994.51/997.95 c #Conflicts: 407000 | #Constraints: 26060 994.51/997.95 c INPROCESSING 994.51/997.95 c GARBAGE COLLECT 994.51/997.95 c rational objective 9 1028.30/1031.80 c #Conflicts: 408000 | #Constraints: 14439 1028.30/1031.80 c #Conflicts: 409000 | #Constraints: 15440 1028.30/1031.80 c #Conflicts: 410000 | #Constraints: 16442 1028.30/1031.80 c #Conflicts: 411000 | #Constraints: 17444 1028.30/1031.80 c #Conflicts: 412000 | #Constraints: 18447 1028.30/1031.80 c #Conflicts: 413000 | #Constraints: 19450 1028.30/1031.80 c #Conflicts: 414000 | #Constraints: 20453 1028.30/1031.80 c #Conflicts: 415000 | #Constraints: 21455 1028.30/1031.80 c #Conflicts: 416000 | #Constraints: 22456 1028.30/1031.80 c #Conflicts: 417000 | #Constraints: 23456 1028.30/1031.80 c #Conflicts: 418000 | #Constraints: 24461 1028.30/1031.80 c #Conflicts: 419000 | #Constraints: 25466 1028.30/1031.80 c #Conflicts: 420000 | #Constraints: 26476 1028.30/1031.80 c INPROCESSING 1028.30/1031.80 c GARBAGE COLLECT 1028.30/1031.80 c rational objective 9 1096.47/1100.27 c #Conflicts: 421000 | #Constraints: 14649 1096.47/1100.27 c #Conflicts: 422000 | #Constraints: 15651 1096.47/1100.27 c #Conflicts: 423000 | #Constraints: 16653 1096.47/1100.27 c #Conflicts: 424000 | #Constraints: 17658 1096.47/1100.27 c #Conflicts: 425000 | #Constraints: 18660 1096.47/1100.27 c #Conflicts: 426000 | #Constraints: 19662 1096.47/1100.27 c #Conflicts: 427000 | #Constraints: 20664 1096.47/1100.27 c #Conflicts: 428000 | #Constraints: 21667 1096.47/1100.27 c #Conflicts: 429000 | #Constraints: 22669 1096.47/1100.27 c #Conflicts: 430000 | #Constraints: 23671 1096.47/1100.27 c #Conflicts: 431000 | #Constraints: 24671 1096.47/1100.27 c #Conflicts: 432000 | #Constraints: 25672 1096.47/1100.27 c #Conflicts: 433000 | #Constraints: 26674 1096.47/1100.27 c INPROCESSING 1096.47/1100.27 c GARBAGE COLLECT 1096.47/1100.27 c rational objective 9 1179.39/1183.49 c #Conflicts: 434000 | #Constraints: 14675 1179.39/1183.49 c #Conflicts: 435000 | #Constraints: 15677 1179.39/1183.49 c #Conflicts: 436000 | #Constraints: 16679 1179.39/1183.49 c #Conflicts: 437000 | #Constraints: 17679 1179.39/1183.49 c #Conflicts: 438000 | #Constraints: 18681 1179.39/1183.49 c #Conflicts: 439000 | #Constraints: 19681 1179.39/1183.49 c #Conflicts: 440000 | #Constraints: 20683 1179.39/1183.49 c #Conflicts: 441000 | #Constraints: 21683 1179.39/1183.49 c #Conflicts: 442000 | #Constraints: 22685 1179.39/1183.49 c #Conflicts: 443000 | #Constraints: 23687 1179.39/1183.49 c #Conflicts: 444000 | #Constraints: 24688 1179.39/1183.49 c #Conflicts: 445000 | #Constraints: 25688 1179.39/1183.49 c #Conflicts: 446000 | #Constraints: 26688 1179.39/1183.49 c INPROCESSING 1179.39/1183.49 c GARBAGE COLLECT 1179.39/1183.49 c rational objective 9 1290.71/1295.15 c #Conflicts: 447000 | #Constraints: 14475 1290.71/1295.15 c #Conflicts: 448000 | #Constraints: 15478 1290.71/1295.15 c #Conflicts: 449000 | #Constraints: 16480 1290.71/1295.15 c #Conflicts: 450000 | #Constraints: 17484 1290.71/1295.15 c #Conflicts: 451000 | #Constraints: 18484 1290.71/1295.15 c #Conflicts: 452000 | #Constraints: 19487 1290.71/1295.15 c #Conflicts: 453000 | #Constraints: 20488 1290.71/1295.15 c #Conflicts: 454000 | #Constraints: 21489 1290.71/1295.15 c #Conflicts: 455000 | #Constraints: 22490 1290.71/1295.15 c #Conflicts: 456000 | #Constraints: 23491 1290.71/1295.15 c #Conflicts: 457000 | #Constraints: 24493 1290.71/1295.15 c #Conflicts: 458000 | #Constraints: 25494 1290.71/1295.15 c #Conflicts: 459000 | #Constraints: 26497 1290.71/1295.15 c #Conflicts: 460000 | #Constraints: 27498 1290.71/1295.15 c INPROCESSING 1290.71/1295.15 c GARBAGE COLLECT 1290.71/1295.15 c rational objective 9 1344.53/1349.11 c #Conflicts: 461000 | #Constraints: 15064 1344.53/1349.11 c #Conflicts: 462000 | #Constraints: 16066 1344.53/1349.11 c #Conflicts: 463000 | #Constraints: 17070 1344.53/1349.11 c #Conflicts: 464000 | #Constraints: 18071 1344.53/1349.11 c #Conflicts: 465000 | #Constraints: 19074 1344.53/1349.11 c #Conflicts: 466000 | #Constraints: 20077 1344.53/1349.11 c #Conflicts: 467000 | #Constraints: 21081 1344.53/1349.11 c #Conflicts: 468000 | #Constraints: 22083 1344.53/1349.11 c #Conflicts: 469000 | #Constraints: 23083 1344.53/1349.11 c #Conflicts: 470000 | #Constraints: 24086 1344.53/1349.11 c #Conflicts: 471000 | #Constraints: 25088 1344.53/1349.11 c #Conflicts: 472000 | #Constraints: 26090 1344.53/1349.11 c #Conflicts: 473000 | #Constraints: 27093 1344.53/1349.11 c #Conflicts: 474000 | #Constraints: 28094 1344.53/1349.11 c INPROCESSING 1344.53/1349.11 c GARBAGE COLLECT 1344.53/1349.11 c rational objective 9 1455.94/1460.99 c #Conflicts: 475000 | #Constraints: 15469 1455.94/1460.99 c #Conflicts: 476000 | #Constraints: 16470 1455.94/1460.99 c #Conflicts: 477000 | #Constraints: 17470 1455.94/1460.99 c #Conflicts: 478000 | #Constraints: 18472 1455.94/1460.99 c #Conflicts: 479000 | #Constraints: 19472 1455.94/1460.99 c #Conflicts: 480000 | #Constraints: 20474 1455.94/1460.99 c #Conflicts: 481000 | #Constraints: 21474 1455.94/1460.99 c #Conflicts: 482000 | #Constraints: 22475 1455.94/1460.99 c #Conflicts: 483000 | #Constraints: 23477 1455.94/1460.99 c #Conflicts: 484000 | #Constraints: 24478 1455.94/1460.99 c #Conflicts: 485000 | #Constraints: 25478 1455.94/1460.99 c #Conflicts: 486000 | #Constraints: 26480 1455.94/1460.99 c #Conflicts: 487000 | #Constraints: 27481 1455.94/1460.99 c #Conflicts: 488000 | #Constraints: 28482 1455.94/1460.99 c INPROCESSING 1455.94/1460.99 c GARBAGE COLLECT 1455.94/1460.99 c rational objective 9 1602.95/1608.44 c #Conflicts: 489000 | #Constraints: 15653 1602.95/1608.44 c #Conflicts: 490000 | #Constraints: 16655 1602.95/1608.44 c #Conflicts: 491000 | #Constraints: 17659 1602.95/1608.44 c #Conflicts: 492000 | #Constraints: 18665 1602.95/1608.44 c #Conflicts: 493000 | #Constraints: 19668 1602.95/1608.44 c #Conflicts: 494000 | #Constraints: 20668 1602.95/1608.44 c #Conflicts: 495000 | #Constraints: 21669 1602.95/1608.44 c #Conflicts: 496000 | #Constraints: 22671 1602.95/1608.44 c #Conflicts: 497000 | #Constraints: 23671 1602.95/1608.44 c #Conflicts: 498000 | #Constraints: 24672 1602.95/1608.44 c #Conflicts: 499000 | #Constraints: 25672 1602.95/1608.44 c #Conflicts: 500000 | #Constraints: 26674 1602.95/1608.44 c #Conflicts: 501000 | #Constraints: 27675 1602.95/1608.44 c #Conflicts: 502000 | #Constraints: 28677 1602.95/1608.44 c INPROCESSING 1602.95/1608.44 c GARBAGE COLLECT 1602.95/1608.44 c rational objective 9 1642.80/1648.46 c #Conflicts: 503000 | #Constraints: 15654 1642.80/1648.46 c #Conflicts: 504000 | #Constraints: 16658 1642.80/1648.46 c #Conflicts: 505000 | #Constraints: 17668 1642.80/1648.46 c #Conflicts: 506000 | #Constraints: 18674 1642.80/1648.46 c #Conflicts: 507000 | #Constraints: 19679 1642.80/1648.46 c #Conflicts: 508000 | #Constraints: 20679 1642.80/1648.46 c #Conflicts: 509000 | #Constraints: 21680 1642.80/1648.46 c #Conflicts: 510000 | #Constraints: 22682 1642.80/1648.46 c #Conflicts: 511000 | #Constraints: 23684 1642.80/1648.46 c #Conflicts: 512000 | #Constraints: 24690 1642.80/1648.46 c #Conflicts: 513000 | #Constraints: 25692 1642.80/1648.46 c #Conflicts: 514000 | #Constraints: 26695 1642.80/1648.46 c #Conflicts: 515000 | #Constraints: 27697 1642.80/1648.46 c #Conflicts: 516000 | #Constraints: 28699 1642.80/1648.46 c INPROCESSING 1642.80/1648.46 c GARBAGE COLLECT 1642.80/1648.46 c rational objective 9 1680.68/1686.46 c #Conflicts: 517000 | #Constraints: 15454 1680.68/1686.46 c #Conflicts: 518000 | #Constraints: 16459 1680.68/1686.46 c #Conflicts: 519000 | #Constraints: 17463 1680.68/1686.46 c #Conflicts: 520000 | #Constraints: 18465 1680.68/1686.46 c #Conflicts: 521000 | #Constraints: 19467 1680.68/1686.46 c #Conflicts: 522000 | #Constraints: 20469 1680.68/1686.46 c #Conflicts: 523000 | #Constraints: 21470 1680.68/1686.46 c #Conflicts: 524000 | #Constraints: 22471 1680.68/1686.46 c #Conflicts: 525000 | #Constraints: 23474 1680.68/1686.46 c #Conflicts: 526000 | #Constraints: 24477 1680.68/1686.46 c #Conflicts: 527000 | #Constraints: 25479 1680.68/1686.46 c #Conflicts: 528000 | #Constraints: 26484 1680.68/1686.46 c #Conflicts: 529000 | #Constraints: 27488 1680.68/1686.46 c #Conflicts: 530000 | #Constraints: 28489 1680.68/1686.46 c #Conflicts: 531000 | #Constraints: 29490 1680.68/1686.46 c INPROCESSING 1680.68/1686.46 c GARBAGE COLLECT 1680.68/1686.46 c rational objective 9 1717.16/1723.04 c #Conflicts: 532000 | #Constraints: 16062 1717.16/1723.04 c #Conflicts: 533000 | #Constraints: 17062 1717.16/1723.04 c #Conflicts: 534000 | #Constraints: 18064 1717.16/1723.04 c #Conflicts: 535000 | #Constraints: 19065 1717.16/1723.04 c #Conflicts: 536000 | #Constraints: 20067 1717.16/1723.04 c #Conflicts: 537000 | #Constraints: 21071 1717.16/1723.04 c #Conflicts: 538000 | #Constraints: 22074 1717.16/1723.04 c #Conflicts: 539000 | #Constraints: 23078 1717.16/1723.04 c #Conflicts: 540000 | #Constraints: 24081 1717.16/1723.04 c #Conflicts: 541000 | #Constraints: 25082 1717.16/1723.04 c #Conflicts: 542000 | #Constraints: 26084 1717.16/1723.04 c #Conflicts: 543000 | #Constraints: 27085 1717.16/1723.04 c #Conflicts: 544000 | #Constraints: 28088 1717.16/1723.04 c #Conflicts: 545000 | #Constraints: 29088 1717.16/1723.04 c #Conflicts: 546000 | #Constraints: 30089 1717.16/1723.04 c INPROCESSING 1717.16/1723.04 c GARBAGE COLLECT 1717.16/1723.04 c rational objective 9 1762.89/1768.97 c #Conflicts: 547000 | #Constraints: 16467 1762.89/1768.97 c #Conflicts: 548000 | #Constraints: 17469 1762.89/1768.97 c #Conflicts: 549000 | #Constraints: 18473 1762.89/1768.97 c #Conflicts: 550000 | #Constraints: 19475 1762.89/1768.97 c #Conflicts: 551000 | #Constraints: 20477 1762.89/1768.97 c #Conflicts: 552000 | #Constraints: 21480 1762.89/1768.97 c #Conflicts: 553000 | #Constraints: 22483 1762.89/1768.97 c #Conflicts: 554000 | #Constraints: 23487 1762.89/1768.97 c #Conflicts: 555000 | #Constraints: 24489 1762.89/1768.97 c #Conflicts: 556000 | #Constraints: 25492 1762.89/1768.97 c #Conflicts: 557000 | #Constraints: 26494 1762.89/1768.97 c #Conflicts: 558000 | #Constraints: 27495 1762.89/1768.97 c #Conflicts: 559000 | #Constraints: 28497 1762.89/1768.97 c #Conflicts: 560000 | #Constraints: 29500 1762.89/1768.97 c #Conflicts: 561000 | #Constraints: 30501 1762.89/1768.97 c INPROCESSING 1762.89/1768.97 c GARBAGE COLLECT 1762.89/1768.97 c rational objective 9 1804.35/1810.57 c #Conflicts: 562000 | #Constraints: 16654 1804.35/1810.57 c #Conflicts: 563000 | #Constraints: 17655 1804.35/1810.57 c #Conflicts: 564000 | #Constraints: 18657 1804.35/1810.57 c #Conflicts: 565000 | #Constraints: 19658 1804.35/1810.57 c #Conflicts: 566000 | #Constraints: 20658 1804.35/1810.57 c #Conflicts: 567000 | #Constraints: 21659 1804.35/1810.57 c #Conflicts: 568000 | #Constraints: 22663 1804.35/1810.57 c #Conflicts: 569000 | #Constraints: 23665 1804.35/1810.57 c #Conflicts: 570000 | #Constraints: 24667 1804.35/1810.57 c #Conflicts: 571000 | #Constraints: 25668 1804.35/1810.57 c #Conflicts: 572000 | #Constraints: 26670 1804.35/1810.57 c #Conflicts: 573000 | #Constraints: 27672 1804.35/1810.57 c #Conflicts: 574000 | #Constraints: 28674 1804.35/1810.57 c #Conflicts: 575000 | #Constraints: 29676 1804.35/1810.57 c #Conflicts: 576000 | #Constraints: 30678 1804.35/1810.57 c INPROCESSING 1804.35/1810.57 c GARBAGE COLLECT 1804.35/1810.57 c rational objective 9 1846.41/1852.79 c #Conflicts: 577000 | #Constraints: 16646 1846.41/1852.79 c #Conflicts: 578000 | #Constraints: 17647 1846.41/1852.79 c #Conflicts: 579000 | #Constraints: 18649 1846.41/1852.79 c #Conflicts: 580000 | #Constraints: 19650 1846.41/1852.79 c #Conflicts: 581000 | #Constraints: 20653 1846.41/1852.79 c #Conflicts: 582000 | #Constraints: 21655 1846.41/1852.79 c #Conflicts: 583000 | #Constraints: 22659 1846.41/1852.79 c #Conflicts: 584000 | #Constraints: 23660 1846.41/1852.79 c #Conflicts: 585000 | #Constraints: 24663 1846.41/1852.79 c #Conflicts: 586000 | #Constraints: 25668 1846.41/1852.79 c #Conflicts: 587000 | #Constraints: 26670 1846.41/1852.79 c #Conflicts: 588000 | #Constraints: 27671 1846.41/1852.79 c #Conflicts: 589000 | #Constraints: 28674 1846.41/1852.79 c #Conflicts: 590000 | #Constraints: 29674 1846.41/1852.79 c #Conflicts: 591000 | #Constraints: 30675 1846.41/1852.79 c INPROCESSING 1846.41/1852.79 c GARBAGE COLLECT 1846.41/1852.79 c rational objective 9 1904.31/1910.81 c #Conflicts: 592000 | #Constraints: 16444 1904.31/1910.81 c #Conflicts: 593000 | #Constraints: 17446 1904.31/1910.81 c #Conflicts: 594000 | #Constraints: 18447 1904.31/1910.81 c #Conflicts: 595000 | #Constraints: 19449 1904.31/1910.81 c #Conflicts: 596000 | #Constraints: 20453 1904.31/1910.81 c #Conflicts: 597000 | #Constraints: 21455 1904.31/1910.81 c #Conflicts: 598000 | #Constraints: 22457 1904.31/1910.81 c #Conflicts: 599000 | #Constraints: 23459 1904.31/1910.81 c #Conflicts: 600000 | #Constraints: 24461 1904.31/1910.81 c #Conflicts: 601000 | #Constraints: 25464 1904.31/1910.81 c #Conflicts: 602000 | #Constraints: 26465 1904.31/1910.81 c #Conflicts: 603000 | #Constraints: 27467 1904.31/1910.81 c #Conflicts: 604000 | #Constraints: 28468 1904.31/1910.81 c #Conflicts: 605000 | #Constraints: 29469 1904.31/1910.81 c #Conflicts: 606000 | #Constraints: 30471 1904.31/1910.81 c #Conflicts: 607000 | #Constraints: 31472 1904.31/1910.81 c INPROCESSING 1904.31/1910.81 c GARBAGE COLLECT 1904.31/1910.81 c rational objective 9 1964.89/1971.64 c #Conflicts: 608000 | #Constraints: 17053 1964.89/1971.64 c #Conflicts: 609000 | #Constraints: 18054 1964.89/1971.64 c #Conflicts: 610000 | #Constraints: 19055 1964.89/1971.64 c #Conflicts: 611000 | #Constraints: 20056 1964.89/1971.64 c #Conflicts: 612000 | #Constraints: 21056 1964.89/1971.64 c #Conflicts: 613000 | #Constraints: 22057 1964.89/1971.64 c #Conflicts: 614000 | #Constraints: 23058 1964.89/1971.64 c #Conflicts: 615000 | #Constraints: 24060 1964.89/1971.64 c #Conflicts: 616000 | #Constraints: 25062 1964.89/1971.64 c #Conflicts: 617000 | #Constraints: 26063 1964.89/1971.64 c #Conflicts: 618000 | #Constraints: 27065 1964.89/1971.64 c #Conflicts: 619000 | #Constraints: 28070 1964.89/1971.64 c #Conflicts: 620000 | #Constraints: 29072 1964.89/1971.64 c #Conflicts: 621000 | #Constraints: 30072 1964.89/1971.64 c #Conflicts: 622000 | #Constraints: 31074 1964.89/1971.64 c #Conflicts: 623000 | #Constraints: 32074 1964.89/1971.64 c INPROCESSING 1964.89/1971.64 c GARBAGE COLLECT 1964.89/1971.64 c rational objective 9 2020.39/2027.30 c #Conflicts: 624000 | #Constraints: 17439 2020.39/2027.30 c #Conflicts: 625000 | #Constraints: 18440 2020.39/2027.30 c #Conflicts: 626000 | #Constraints: 19440 2020.39/2027.30 c #Conflicts: 627000 | #Constraints: 20442 2020.39/2027.30 c #Conflicts: 628000 | #Constraints: 21442 2020.39/2027.30 c #Conflicts: 629000 | #Constraints: 22442 2020.39/2027.30 c #Conflicts: 630000 | #Constraints: 23443 2020.39/2027.30 c #Conflicts: 631000 | #Constraints: 24446 2020.39/2027.30 c #Conflicts: 632000 | #Constraints: 25447 2020.39/2027.30 c #Conflicts: 633000 | #Constraints: 26450 2020.39/2027.30 c #Conflicts: 634000 | #Constraints: 27452 2020.39/2027.30 c #Conflicts: 635000 | #Constraints: 28453 2020.39/2027.30 c #Conflicts: 636000 | #Constraints: 29453 2020.39/2027.30 c #Conflicts: 637000 | #Constraints: 30454 2020.39/2027.30 c #Conflicts: 638000 | #Constraints: 31457 2020.39/2027.30 c #Conflicts: 639000 | #Constraints: 32457 2020.39/2027.30 c INPROCESSING 2020.39/2027.30 c GARBAGE COLLECT 2020.39/2027.30 c rational objective 9 2072.81/2079.96 c #Conflicts: 640000 | #Constraints: 17633 2072.81/2079.96 c #Conflicts: 641000 | #Constraints: 18634 2072.81/2079.96 c #Conflicts: 642000 | #Constraints: 19637 2072.81/2079.96 c #Conflicts: 643000 | #Constraints: 20637 2072.81/2079.96 c #Conflicts: 644000 | #Constraints: 21637 2072.81/2079.96 c #Conflicts: 645000 | #Constraints: 22638 2072.81/2079.96 c #Conflicts: 646000 | #Constraints: 23640 2072.81/2079.96 c #Conflicts: 647000 | #Constraints: 24642 2072.81/2079.96 c #Conflicts: 648000 | #Constraints: 25642 2072.81/2079.96 c #Conflicts: 649000 | #Constraints: 26643 2072.81/2079.96 c #Conflicts: 650000 | #Constraints: 27644 2072.81/2079.96 c #Conflicts: 651000 | #Constraints: 28646 2072.81/2079.96 c #Conflicts: 652000 | #Constraints: 29648 2072.81/2079.96 c #Conflicts: 653000 | #Constraints: 30650 2072.81/2079.96 c #Conflicts: 654000 | #Constraints: 31652 2072.81/2079.96 c #Conflicts: 655000 | #Constraints: 32654 2072.81/2079.96 c INPROCESSING 2072.81/2079.96 c GARBAGE COLLECT 2072.81/2079.96 c rational objective 9 2114.16/2121.43 c #Conflicts: 656000 | #Constraints: 17660 2114.16/2121.43 c #Conflicts: 657000 | #Constraints: 18664 2114.16/2121.43 c #Conflicts: 658000 | #Constraints: 19668 2114.16/2121.43 c #Conflicts: 659000 | #Constraints: 20672 2114.16/2121.43 c #Conflicts: 660000 | #Constraints: 21672 2114.16/2121.43 c #Conflicts: 661000 | #Constraints: 22673 2114.16/2121.43 c #Conflicts: 662000 | #Constraints: 23674 2114.16/2121.43 c #Conflicts: 663000 | #Constraints: 24674 2114.16/2121.43 c #Conflicts: 664000 | #Constraints: 25675 2114.16/2121.43 c #Conflicts: 665000 | #Constraints: 26677 2114.16/2121.43 c #Conflicts: 666000 | #Constraints: 27677 2114.16/2121.43 c #Conflicts: 667000 | #Constraints: 28679 2114.16/2121.43 c #Conflicts: 668000 | #Constraints: 29681 2114.16/2121.43 c #Conflicts: 669000 | #Constraints: 30685 2114.16/2121.43 c #Conflicts: 670000 | #Constraints: 31687 2114.16/2121.43 c #Conflicts: 671000 | #Constraints: 32688 2114.16/2121.43 c INPROCESSING 2114.16/2121.43 c GARBAGE COLLECT 2114.16/2121.43 c rational objective 9 2168.86/2176.38 c #Conflicts: 672000 | #Constraints: 17452 2168.86/2176.38 c #Conflicts: 673000 | #Constraints: 18453 2168.86/2176.38 c #Conflicts: 674000 | #Constraints: 19458 2168.86/2176.38 c #Conflicts: 675000 | #Constraints: 20460 2168.86/2176.38 c #Conflicts: 676000 | #Constraints: 21463 2168.86/2176.38 c #Conflicts: 677000 | #Constraints: 22465 2168.86/2176.38 c #Conflicts: 678000 | #Constraints: 23467 2168.86/2176.38 c #Conflicts: 679000 | #Constraints: 24468 2168.86/2176.38 c #Conflicts: 680000 | #Constraints: 25469 2168.86/2176.38 c #Conflicts: 681000 | #Constraints: 26470 2168.86/2176.38 c #Conflicts: 682000 | #Constraints: 27472 2168.86/2176.38 c #Conflicts: 683000 | #Constraints: 28473 2168.86/2176.38 c #Conflicts: 684000 | #Constraints: 29476 2168.86/2176.38 c #Conflicts: 685000 | #Constraints: 30478 2168.86/2176.38 c #Conflicts: 686000 | #Constraints: 31479 2168.86/2176.38 c #Conflicts: 687000 | #Constraints: 32479 2168.86/2176.38 c #Conflicts: 688000 | #Constraints: 33480 2168.86/2176.38 c INPROCESSING 2168.86/2176.38 c GARBAGE COLLECT 2168.86/2176.38 c rational objective 9 2222.67/2230.32 c #Conflicts: 689000 | #Constraints: 18040 2222.67/2230.32 c #Conflicts: 690000 | #Constraints: 19041 2222.67/2230.32 c #Conflicts: 691000 | #Constraints: 20043 2222.67/2230.32 c #Conflicts: 692000 | #Constraints: 21043 2222.67/2230.32 c #Conflicts: 693000 | #Constraints: 22043 2222.67/2230.32 c #Conflicts: 694000 | #Constraints: 23044 2222.67/2230.32 c #Conflicts: 695000 | #Constraints: 24047 2222.67/2230.32 c #Conflicts: 696000 | #Constraints: 25051 2222.67/2230.32 c #Conflicts: 697000 | #Constraints: 26055 2222.67/2230.32 c #Conflicts: 698000 | #Constraints: 27058 2222.67/2230.32 c #Conflicts: 699000 | #Constraints: 28061 2222.67/2230.32 c #Conflicts: 700000 | #Constraints: 29063 2222.67/2230.32 c #Conflicts: 701000 | #Constraints: 30065 2222.67/2230.32 c #Conflicts: 702000 | #Constraints: 31067 2222.67/2230.32 c #Conflicts: 703000 | #Constraints: 32069 2222.67/2230.32 c #Conflicts: 704000 | #Constraints: 33071 2222.67/2230.32 c #Conflicts: 705000 | #Constraints: 34071 2222.67/2230.32 c INPROCESSING 2222.67/2230.32 c GARBAGE COLLECT 2222.67/2230.32 c rational objective 9 2311.75/2319.76 c #Conflicts: 706000 | #Constraints: 18454 2311.75/2319.76 c #Conflicts: 707000 | #Constraints: 19455 2311.75/2319.76 c #Conflicts: 708000 | #Constraints: 20458 2311.75/2319.76 c #Conflicts: 709000 | #Constraints: 21462 2311.75/2319.76 c #Conflicts: 710000 | #Constraints: 22464 2311.75/2319.76 c #Conflicts: 711000 | #Constraints: 23467 2311.75/2319.76 c #Conflicts: 712000 | #Constraints: 24469 2311.75/2319.76 c #Conflicts: 713000 | #Constraints: 25471 2311.75/2319.76 c #Conflicts: 714000 | #Constraints: 26472 2311.75/2319.76 c #Conflicts: 715000 | #Constraints: 27491 2311.75/2319.76 c #Conflicts: 716000 | #Constraints: 28493 2311.75/2319.76 c #Conflicts: 717000 | #Constraints: 29493 2311.75/2319.76 c #Conflicts: 718000 | #Constraints: 30497 2311.75/2319.76 c #Conflicts: 719000 | #Constraints: 31498 2311.75/2319.76 c #Conflicts: 720000 | #Constraints: 32499 2311.75/2319.76 c #Conflicts: 721000 | #Constraints: 33501 2311.75/2319.76 c #Conflicts: 722000 | #Constraints: 34505 2311.75/2319.76 c INPROCESSING 2311.75/2319.76 c GARBAGE COLLECT 2311.75/2319.76 c rational objective 9 2383.99/2392.21 c #Conflicts: 723000 | #Constraints: 18660 2383.99/2392.21 c #Conflicts: 724000 | #Constraints: 19663 2383.99/2392.21 c #Conflicts: 725000 | #Constraints: 20666 2383.99/2392.21 c #Conflicts: 726000 | #Constraints: 21668 2383.99/2392.21 c #Conflicts: 727000 | #Constraints: 22671 2383.99/2392.21 c #Conflicts: 728000 | #Constraints: 23674 2383.99/2392.21 c #Conflicts: 729000 | #Constraints: 24680 2383.99/2392.21 c #Conflicts: 730000 | #Constraints: 25682 2383.99/2392.21 c #Conflicts: 731000 | #Constraints: 26684 2383.99/2392.21 c #Conflicts: 732000 | #Constraints: 27685 2383.99/2392.21 c #Conflicts: 733000 | #Constraints: 28687 2383.99/2392.21 c #Conflicts: 734000 | #Constraints: 29689 2383.99/2392.21 c #Conflicts: 735000 | #Constraints: 30691 2383.99/2392.21 c #Conflicts: 736000 | #Constraints: 31692 2383.99/2392.21 c #Conflicts: 737000 | #Constraints: 32694 2383.99/2392.21 c #Conflicts: 738000 | #Constraints: 33696 2383.99/2392.21 c #Conflicts: 739000 | #Constraints: 34697 2383.99/2392.21 c INPROCESSING 2383.99/2392.21 c GARBAGE COLLECT 2383.99/2392.21 c rational objective 9 2437.80/2446.22 c #Conflicts: 740000 | #Constraints: 18678 2437.80/2446.22 c #Conflicts: 741000 | #Constraints: 19683 2437.80/2446.22 c #Conflicts: 742000 | #Constraints: 20685 2437.80/2446.22 c #Conflicts: 743000 | #Constraints: 21685 2437.80/2446.22 c #Conflicts: 744000 | #Constraints: 22686 2437.80/2446.22 c #Conflicts: 745000 | #Constraints: 23689 2437.80/2446.22 c #Conflicts: 746000 | #Constraints: 24689 2437.80/2446.22 c #Conflicts: 747000 | #Constraints: 25691 2437.80/2446.22 c #Conflicts: 748000 | #Constraints: 26693 2437.80/2446.22 c #Conflicts: 749000 | #Constraints: 27696 2437.80/2446.22 c #Conflicts: 750000 | #Constraints: 28697 2437.80/2446.22 c #Conflicts: 751000 | #Constraints: 29698 2437.80/2446.22 c #Conflicts: 752000 | #Constraints: 30698 2437.80/2446.22 c #Conflicts: 753000 | #Constraints: 31701 2437.80/2446.22 c #Conflicts: 754000 | #Constraints: 32703 2437.80/2446.22 c #Conflicts: 755000 | #Constraints: 33704 2437.80/2446.22 c #Conflicts: 756000 | #Constraints: 34707 2437.80/2446.22 c INPROCESSING 2437.80/2446.22 c GARBAGE COLLECT 2437.80/2446.22 c rational objective 9 2526.91/2535.64 c #Conflicts: 757000 | #Constraints: 18464 2526.91/2535.64 c #Conflicts: 758000 | #Constraints: 19464 2526.91/2535.64 c #Conflicts: 759000 | #Constraints: 20465 2526.91/2535.64 c #Conflicts: 760000 | #Constraints: 21467 2526.91/2535.64 c #Conflicts: 761000 | #Constraints: 22468 2526.91/2535.64 c #Conflicts: 762000 | #Constraints: 23471 2526.91/2535.64 c #Conflicts: 763000 | #Constraints: 24471 2526.91/2535.64 c #Conflicts: 764000 | #Constraints: 25473 2526.91/2535.64 c #Conflicts: 765000 | #Constraints: 26475 2526.91/2535.64 c #Conflicts: 766000 | #Constraints: 27476 2526.91/2535.64 c #Conflicts: 767000 | #Constraints: 28476 2526.91/2535.64 c #Conflicts: 768000 | #Constraints: 29477 2526.91/2535.64 c #Conflicts: 769000 | #Constraints: 30477 2526.91/2535.64 c #Conflicts: 770000 | #Constraints: 31477 2526.91/2535.64 c #Conflicts: 771000 | #Constraints: 32478 2526.91/2535.64 c #Conflicts: 772000 | #Constraints: 33480 2526.91/2535.64 c #Conflicts: 773000 | #Constraints: 34482 2526.91/2535.64 c #Conflicts: 774000 | #Constraints: 35483 2526.91/2535.64 c INPROCESSING 2526.91/2535.64 c GARBAGE COLLECT 2526.91/2535.64 c rational objective 9 2609.22/2618.20 c #Conflicts: 775000 | #Constraints: 19055 2609.22/2618.20 c #Conflicts: 776000 | #Constraints: 20058 2609.22/2618.20 c #Conflicts: 777000 | #Constraints: 21059 2609.22/2618.20 c #Conflicts: 778000 | #Constraints: 22060 2609.22/2618.20 c #Conflicts: 779000 | #Constraints: 23062 2609.22/2618.20 c #Conflicts: 780000 | #Constraints: 24064 2609.22/2618.20 c #Conflicts: 781000 | #Constraints: 25064 2609.22/2618.20 c #Conflicts: 782000 | #Constraints: 26065 2609.22/2618.20 c #Conflicts: 783000 | #Constraints: 27066 2609.22/2618.20 c #Conflicts: 784000 | #Constraints: 28068 2609.22/2618.20 c #Conflicts: 785000 | #Constraints: 29069 2609.22/2618.20 c #Conflicts: 786000 | #Constraints: 30071 2609.22/2618.20 c #Conflicts: 787000 | #Constraints: 31073 2609.22/2618.20 c #Conflicts: 788000 | #Constraints: 32073 2609.22/2618.20 c #Conflicts: 789000 | #Constraints: 33075 2609.22/2618.20 c #Conflicts: 790000 | #Constraints: 34077 2609.22/2618.20 c #Conflicts: 791000 | #Constraints: 35079 2609.22/2618.20 c #Conflicts: 792000 | #Constraints: 36079 2609.22/2618.20 c INPROCESSING 2609.22/2618.20 c GARBAGE COLLECT 2609.22/2618.20 c rational objective 9 2673.51/2682.70 c #Conflicts: 793000 | #Constraints: 19445 2673.51/2682.70 c #Conflicts: 794000 | #Constraints: 20447 2673.51/2682.70 c #Conflicts: 795000 | #Constraints: 21448 2673.51/2682.70 c #Conflicts: 796000 | #Constraints: 22449 2673.51/2682.70 c #Conflicts: 797000 | #Constraints: 23451 2673.51/2682.70 c #Conflicts: 798000 | #Constraints: 24453 2673.51/2682.70 c #Conflicts: 799000 | #Constraints: 25455 2673.51/2682.70 c #Conflicts: 800000 | #Constraints: 26456 2673.51/2682.70 c #Conflicts: 801000 | #Constraints: 27457 2673.51/2682.70 c #Conflicts: 802000 | #Constraints: 28457 2673.51/2682.70 c #Conflicts: 803000 | #Constraints: 29457 2673.51/2682.70 c #Conflicts: 804000 | #Constraints: 30460 2673.51/2682.70 c #Conflicts: 805000 | #Constraints: 31460 2673.51/2682.70 c #Conflicts: 806000 | #Constraints: 32462 2673.51/2682.70 c #Conflicts: 807000 | #Constraints: 33464 2673.51/2682.70 c #Conflicts: 808000 | #Constraints: 34466 2673.51/2682.70 c #Conflicts: 809000 | #Constraints: 35468 2673.51/2682.70 c #Conflicts: 810000 | #Constraints: 36470 2673.51/2682.70 c INPROCESSING 2673.51/2682.70 c GARBAGE COLLECT 2673.51/2682.70 c rational objective 9 2731.72/2741.11 c #Conflicts: 811000 | #Constraints: 19645 2731.72/2741.11 c #Conflicts: 812000 | #Constraints: 20646 2731.72/2741.11 c #Conflicts: 813000 | #Constraints: 21646 2731.72/2741.11 c #Conflicts: 814000 | #Constraints: 22647 2731.72/2741.11 c #Conflicts: 815000 | #Constraints: 23648 2731.72/2741.11 c #Conflicts: 816000 | #Constraints: 24649 2731.72/2741.11 c #Conflicts: 817000 | #Constraints: 25649 2731.72/2741.11 c #Conflicts: 818000 | #Constraints: 26650 2731.72/2741.11 c #Conflicts: 819000 | #Constraints: 27651 2731.72/2741.11 c #Conflicts: 820000 | #Constraints: 28651 2731.72/2741.11 c #Conflicts: 821000 | #Constraints: 29653 2731.72/2741.11 c #Conflicts: 822000 | #Constraints: 30657 2731.72/2741.11 c #Conflicts: 823000 | #Constraints: 31660 2731.72/2741.11 c #Conflicts: 824000 | #Constraints: 32663 2731.72/2741.11 c #Conflicts: 825000 | #Constraints: 33667 2731.72/2741.11 c #Conflicts: 826000 | #Constraints: 34668 2731.72/2741.11 c #Conflicts: 827000 | #Constraints: 35672 2731.72/2741.11 c #Conflicts: 828000 | #Constraints: 36677 2731.72/2741.11 c INPROCESSING 2731.72/2741.11 c GARBAGE COLLECT 2731.72/2741.11 c rational objective 9 2794.51/2804.17 c #Conflicts: 829000 | #Constraints: 19660 2794.51/2804.17 c #Conflicts: 830000 | #Constraints: 20662 2794.51/2804.17 c #Conflicts: 831000 | #Constraints: 21666 2794.51/2804.17 c #Conflicts: 832000 | #Constraints: 22667 2794.51/2804.17 c #Conflicts: 833000 | #Constraints: 23668 2794.51/2804.17 c #Conflicts: 834000 | #Constraints: 24671 2794.51/2804.17 c #Conflicts: 835000 | #Constraints: 25672 2794.51/2804.17 c #Conflicts: 836000 | #Constraints: 26672 2794.51/2804.17 c #Conflicts: 837000 | #Constraints: 27674 2794.51/2804.17 c #Conflicts: 838000 | #Constraints: 28674 2794.51/2804.17 c #Conflicts: 839000 | #Constraints: 29675 2794.51/2804.17 c #Conflicts: 840000 | #Constraints: 30679 2794.51/2804.17 c #Conflicts: 841000 | #Constraints: 31681 2794.51/2804.17 c #Conflicts: 842000 | #Constraints: 32684 2794.51/2804.17 c #Conflicts: 843000 | #Constraints: 33686 2794.51/2804.17 c #Conflicts: 844000 | #Constraints: 34686 2794.51/2804.17 c #Conflicts: 845000 | #Constraints: 35689 2794.51/2804.17 c #Conflicts: 846000 | #Constraints: 36692 2794.51/2804.17 c INPROCESSING 2794.51/2804.17 c GARBAGE COLLECT 2794.51/2804.17 c rational objective 9 2858.49/2868.39 c #Conflicts: 847000 | #Constraints: 19453 2858.49/2868.39 c #Conflicts: 848000 | #Constraints: 20454 2858.49/2868.39 c #Conflicts: 849000 | #Constraints: 21455 2858.49/2868.39 c #Conflicts: 850000 | #Constraints: 22458 2858.49/2868.39 c #Conflicts: 851000 | #Constraints: 23461 2858.49/2868.39 c #Conflicts: 852000 | #Constraints: 24463 2858.49/2868.39 c #Conflicts: 853000 | #Constraints: 25467 2858.49/2868.39 c #Conflicts: 854000 | #Constraints: 26469 2858.49/2868.39 c #Conflicts: 855000 | #Constraints: 27471 2858.49/2868.39 c #Conflicts: 856000 | #Constraints: 28471 2858.49/2868.39 c #Conflicts: 857000 | #Constraints: 29472 2858.49/2868.39 c #Conflicts: 858000 | #Constraints: 30474 2858.49/2868.39 c #Conflicts: 859000 | #Constraints: 31476 2858.49/2868.39 c #Conflicts: 860000 | #Constraints: 32479 2858.49/2868.39 c #Conflicts: 861000 | #Constraints: 33485 2858.49/2868.39 c #Conflicts: 862000 | #Constraints: 34487 2858.49/2868.39 c #Conflicts: 863000 | #Constraints: 35490 2858.49/2868.39 c #Conflicts: 864000 | #Constraints: 36491 2858.49/2868.39 c #Conflicts: 865000 | #Constraints: 37493 2858.49/2868.39 c INPROCESSING 2858.49/2868.39 c GARBAGE COLLECT 2858.49/2868.39 c rational objective 9 2928.75/2938.86 c #Conflicts: 866000 | #Constraints: 20050 2928.75/2938.86 c #Conflicts: 867000 | #Constraints: 21053 2928.75/2938.86 c #Conflicts: 868000 | #Constraints: 22057 2928.75/2938.86 c #Conflicts: 869000 | #Constraints: 23061 2928.75/2938.86 c #Conflicts: 870000 | #Constraints: 24066 2928.75/2938.86 c #Conflicts: 871000 | #Constraints: 25071 2928.75/2938.86 c #Conflicts: 872000 | #Constraints: 26071 2928.75/2938.86 c #Conflicts: 873000 | #Constraints: 27073 2928.75/2938.86 c #Conflicts: 874000 | #Constraints: 28077 2928.75/2938.86 c #Conflicts: 875000 | #Constraints: 29079 2928.75/2938.86 c #Conflicts: 876000 | #Constraints: 30085 2928.75/2938.86 c #Conflicts: 877000 | #Constraints: 31091 2928.75/2938.86 c #Conflicts: 878000 | #Constraints: 32093 2928.75/2938.86 c #Conflicts: 879000 | #Constraints: 33096 2928.75/2938.86 c #Conflicts: 880000 | #Constraints: 34097 2928.75/2938.86 c #Conflicts: 881000 | #Constraints: 35099 2928.75/2938.86 c #Conflicts: 882000 | #Constraints: 36100 2928.75/2938.86 c #Conflicts: 883000 | #Constraints: 37101 2928.75/2938.86 c #Conflicts: 884000 | #Constraints: 38104 2928.75/2938.86 c INPROCESSING 2928.75/2938.86 c GARBAGE COLLECT 2928.75/2938.86 c rational objective 9 3005.70/3016.07 c #Conflicts: 885000 | #Constraints: 20460 3005.70/3016.07 c #Conflicts: 886000 | #Constraints: 21462 3005.70/3016.07 c #Conflicts: 887000 | #Constraints: 22466 3005.70/3016.07 c #Conflicts: 888000 | #Constraints: 23470 3005.70/3016.07 c #Conflicts: 889000 | #Constraints: 24472 3005.70/3016.07 c #Conflicts: 890000 | #Constraints: 25473 3005.70/3016.07 c #Conflicts: 891000 | #Constraints: 26474 3005.70/3016.07 c #Conflicts: 892000 | #Constraints: 27475 3005.70/3016.07 c #Conflicts: 893000 | #Constraints: 28478 3005.70/3016.07 c #Conflicts: 894000 | #Constraints: 29479 3005.70/3016.07 c #Conflicts: 895000 | #Constraints: 30481 3005.70/3016.07 c #Conflicts: 896000 | #Constraints: 31483 3005.70/3016.07 c #Conflicts: 897000 | #Constraints: 32484 3005.70/3016.07 c #Conflicts: 898000 | #Constraints: 33487 3005.70/3016.07 c #Conflicts: 899000 | #Constraints: 34488 3005.70/3016.07 c #Conflicts: 900000 | #Constraints: 35492 3005.70/3016.07 c #Conflicts: 901000 | #Constraints: 36494 3005.70/3016.07 c #Conflicts: 902000 | #Constraints: 37497 3005.70/3016.07 c #Conflicts: 903000 | #Constraints: 38498 3005.70/3016.07 c INPROCESSING 3005.70/3016.07 c GARBAGE COLLECT 3005.70/3016.07 c rational objective 9 3100.37/3111.02 c #Conflicts: 904000 | #Constraints: 20657 3100.37/3111.02 c #Conflicts: 905000 | #Constraints: 21658 3100.37/3111.02 c #Conflicts: 906000 | #Constraints: 22660 3100.37/3111.02 c #Conflicts: 907000 | #Constraints: 23661 3100.37/3111.02 c #Conflicts: 908000 | #Constraints: 24664 3100.37/3111.02 c #Conflicts: 909000 | #Constraints: 25665 3100.37/3111.02 c #Conflicts: 910000 | #Constraints: 26666 3100.37/3111.02 c #Conflicts: 911000 | #Constraints: 27668 3100.37/3111.02 c #Conflicts: 912000 | #Constraints: 28670 3100.37/3111.02 c #Conflicts: 913000 | #Constraints: 29671 3100.37/3111.02 c #Conflicts: 914000 | #Constraints: 30674 3100.37/3111.02 c #Conflicts: 915000 | #Constraints: 31676 3100.37/3111.02 c #Conflicts: 916000 | #Constraints: 32678 3100.37/3111.02 c #Conflicts: 917000 | #Constraints: 33680 3100.37/3111.02 c #Conflicts: 918000 | #Constraints: 34682 3100.37/3111.02 c #Conflicts: 919000 | #Constraints: 35684 3100.37/3111.02 c #Conflicts: 920000 | #Constraints: 36689 3100.37/3111.02 c #Conflicts: 921000 | #Constraints: 37691 3100.37/3111.02 c #Conflicts: 922000 | #Constraints: 38693 3100.37/3111.02 c INPROCESSING 3100.37/3111.02 c GARBAGE COLLECT 3100.37/3111.02 c rational objective 9 3232.13/3243.25 c #Conflicts: 923000 | #Constraints: 20665 3232.13/3243.25 c #Conflicts: 924000 | #Constraints: 21668 3232.13/3243.25 c #Conflicts: 925000 | #Constraints: 22671 3232.13/3243.25 c #Conflicts: 926000 | #Constraints: 23674 3232.13/3243.25 c #Conflicts: 927000 | #Constraints: 24676 3232.13/3243.25 c #Conflicts: 928000 | #Constraints: 25679 3232.13/3243.25 c #Conflicts: 929000 | #Constraints: 26683 3232.13/3243.25 c #Conflicts: 930000 | #Constraints: 27688 3232.13/3243.25 c #Conflicts: 931000 | #Constraints: 28692 3232.13/3243.25 c #Conflicts: 932000 | #Constraints: 29695 3232.13/3243.25 c #Conflicts: 933000 | #Constraints: 30696 3232.13/3243.25 c #Conflicts: 934000 | #Constraints: 31697 3232.13/3243.25 c #Conflicts: 935000 | #Constraints: 32701 3232.13/3243.25 c #Conflicts: 936000 | #Constraints: 33701 3232.13/3243.25 c #Conflicts: 937000 | #Constraints: 34704 3232.13/3243.25 c #Conflicts: 938000 | #Constraints: 35705 3232.13/3243.25 c #Conflicts: 939000 | #Constraints: 36707 3232.13/3243.25 c #Conflicts: 940000 | #Constraints: 37710 3232.13/3243.25 c #Conflicts: 941000 | #Constraints: 38712 3232.13/3243.25 c INPROCESSING 3232.13/3243.25 c GARBAGE COLLECT 3232.13/3243.25 c rational objective 9 3325.33/3336.72 c #Conflicts: 942000 | #Constraints: 20480 3325.33/3336.72 c #Conflicts: 943000 | #Constraints: 21482 3325.33/3336.72 c #Conflicts: 944000 | #Constraints: 22483 3325.33/3336.72 c #Conflicts: 945000 | #Constraints: 23485 3325.33/3336.72 c #Conflicts: 946000 | #Constraints: 24487 3325.33/3336.72 c #Conflicts: 947000 | #Constraints: 25487 3325.33/3336.72 c #Conflicts: 948000 | #Constraints: 26489 3325.33/3336.72 c #Conflicts: 949000 | #Constraints: 27493 3325.33/3336.72 c #Conflicts: 950000 | #Constraints: 28496 3325.33/3336.72 c #Conflicts: 951000 | #Constraints: 29497 3325.33/3336.72 c #Conflicts: 952000 | #Constraints: 30499 3325.33/3336.72 c #Conflicts: 953000 | #Constraints: 31501 3325.33/3336.72 c #Conflicts: 954000 | #Constraints: 32503 3325.33/3336.72 c #Conflicts: 955000 | #Constraints: 33503 3325.33/3336.72 c #Conflicts: 956000 | #Constraints: 34504 3325.33/3336.72 c #Conflicts: 957000 | #Constraints: 35505 3325.33/3336.72 c #Conflicts: 958000 | #Constraints: 36506 3325.33/3336.72 c #Conflicts: 959000 | #Constraints: 37507 3325.33/3336.72 c #Conflicts: 960000 | #Constraints: 38509 3325.33/3336.72 c #Conflicts: 961000 | #Constraints: 39510 3325.33/3336.72 c INPROCESSING 3325.33/3336.72 c GARBAGE COLLECT 3325.33/3336.72 c rational objective 9 3470.55/3482.41 c #Conflicts: 962000 | #Constraints: 21075 3470.55/3482.41 c #Conflicts: 963000 | #Constraints: 22076 3470.55/3482.41 c #Conflicts: 964000 | #Constraints: 23076 3470.55/3482.41 c #Conflicts: 965000 | #Constraints: 24076 3470.55/3482.41 c #Conflicts: 966000 | #Constraints: 25076 3470.55/3482.41 c #Conflicts: 967000 | #Constraints: 26076 3470.55/3482.41 c #Conflicts: 968000 | #Constraints: 27076 3470.55/3482.41 c #Conflicts: 969000 | #Constraints: 28076 3470.55/3482.41 c #Conflicts: 970000 | #Constraints: 29076 3470.55/3482.41 c #Conflicts: 971000 | #Constraints: 30076 3470.55/3482.41 c #Conflicts: 972000 | #Constraints: 31077 3470.55/3482.41 c #Conflicts: 973000 | #Constraints: 32077 3470.55/3482.41 c #Conflicts: 974000 | #Constraints: 33078 3470.55/3482.41 c #Conflicts: 975000 | #Constraints: 34082 3470.55/3482.41 c #Conflicts: 976000 | #Constraints: 35084 3470.55/3482.41 c #Conflicts: 977000 | #Constraints: 36088 3470.55/3482.41 c #Conflicts: 978000 | #Constraints: 37089 3470.55/3482.41 c #Conflicts: 979000 | #Constraints: 38090 3470.55/3482.41 c #Conflicts: 980000 | #Constraints: 39090 3470.55/3482.41 c #Conflicts: 981000 | #Constraints: 40091 3470.55/3482.41 c INPROCESSING 3470.55/3482.41 c GARBAGE COLLECT 3470.55/3482.41 c rational objective 9 3600.03/3612.30 c #Conflicts: 982000 | #Constraints: 21470 3600.03/3612.30 c #Conflicts: 983000 | #Constraints: 22472 3600.03/3612.30 c #Conflicts: 984000 | #Constraints: 23473 3600.03/3612.30 c #Conflicts: 985000 | #Constraints: 24474 3600.03/3612.30 c #Conflicts: 986000 | #Constraints: 25475 3600.03/3612.30 c #Conflicts: 987000 | #Constraints: 26476 3600.03/3612.30 c #Conflicts: 988000 | #Constraints: 27477 3600.03/3612.30 c #Conflicts: 989000 | #Constraints: 28479 3600.03/3612.30 c #Conflicts: 990000 | #Constraints: 29484 3600.03/3612.30 c #Conflicts: 991000 | #Constraints: 30485 3600.03/3612.30 c #Conflicts: 992000 | #Constraints: 31487 3600.03/3612.30 c #Conflicts: 993000 | #Constraints: 32490 3600.03/3612.30 c #Conflicts: 994000 | #Constraints: 33492 3600.03/3612.30 c #Conflicts: 995000 | #Constraints: 34493 3600.03/3612.30 c #Conflicts: 996000 | #Constraints: 35494 3600.03/3612.30 c #Conflicts: 997000 | #Constraints: 36496 3600.03/3612.30 c #Conflicts: 998000 | #Constraints: 37497 3600.03/3612.30 c #Conflicts: 999000 | #Constraints: 38498 3600.03/3612.30 c Program interrupted by user. 3600.03/3612.30 c cpu time 3560.38 s 3600.03/3612.30 c deterministic time 946774560312 9.47e+11 3600.03/3612.30 c optimization time 127.596 s 3600.03/3612.30 c total solve time 3432.75 s 3600.03/3612.30 c core-guided solve time 0 s 3600.03/3612.30 c propagation time 2905.33 s 3600.03/3612.30 c conflict analysis time 470.895 s 3600.03/3612.30 c propagations 621905517 3600.03/3612.30 c resolve steps 4786223 3600.03/3612.30 c decisions 27040466 3600.03/3612.30 c conflicts 999887 3600.03/3612.30 c restarts 2045 3600.03/3612.30 c inprocessing phases 90 3600.03/3612.30 c input clauses 8512 3600.03/3612.30 c input cardinalities 98 3600.03/3612.30 c input general constraints 576 3600.03/3612.30 c input average constraint length 9.75 3600.03/3612.30 c input average constraint degree 71.75 3600.03/3612.30 c learned clauses 66211 3600.03/3612.30 c learned cardinalities 7749 3600.03/3612.30 c learned general constraints 928204 3600.03/3612.30 c learned average constraint length 1671.18 3600.03/3612.30 c learned average constraint degree 10781753879.94 3600.03/3612.30 c watched constraints 859525 3600.03/3612.30 c counting constraints 69255 3600.03/3612.30 c gcd simplifications 29566 3600.03/3612.30 c detected cardinalities 109 3600.03/3612.30 c weakened non-implied lits 147034048 3600.03/3612.30 c weakened non-implying lits 585329 3600.03/3612.30 c original variables 8424 3600.03/3612.30 c clausal propagations 1152924 3600.03/3612.30 c cardinality propagations 74644463 3600.03/3612.30 c watched propagations 315821528 3600.03/3612.30 c counting propagations 227319480 3600.03/3612.30 c watch lookups 25196391452 3600.03/3612.30 c watch backjump lookups 22296718583 3600.03/3612.30 c watch checks 807100535048 3600.03/3612.30 c propagation checks 86478065487 3600.03/3612.30 c constraint additions 4402886156 3600.03/3612.30 c trail pops 649938815 3600.03/3612.30 c formula constraints 9186 3600.03/3612.30 c learned constraints 998026 3600.03/3612.30 c bound constraints 0 3600.03/3612.30 c core-guided constraints 0 3600.03/3612.30 c encountered formula constraints 3403861 3600.03/3612.30 c encountered learned constraints 2258432 3600.03/3612.30 c encountered bound constraints 0 3600.03/3612.30 c encountered core-guided constraints 0 3600.03/3612.30 c LP total time 229.732 s 3600.03/3612.30 c LP solve time 173.8 s 3600.03/3612.30 c LP constraints added 10006 3600.03/3612.30 c LP constraints removed 811 3600.03/3612.30 c LP pivots internal 1000599 3600.03/3612.30 c LP pivots root 78188 3600.03/3612.30 c LP calls 2165 3600.03/3612.30 c LP optimalities 258 3600.03/3612.30 c LP no pivot count 23 3600.03/3612.30 c LP infeasibilities 1899 3600.03/3612.30 c LP valid Farkas constraints 1897 3600.03/3612.30 c LP learned Farkas constraints 1860 3600.03/3612.30 c LP basis resets 6 3600.03/3612.30 c LP cycling count 0 3600.03/3612.30 c LP singular count 4 3600.03/3612.30 c LP no primal count 0 3600.03/3612.30 c LP no farkas count 2 3600.03/3612.30 c LP other issue count 0 3600.03/3612.30 c LP Gomory cuts 381 3600.03/3612.30 c LP learned cuts 439 3600.03/3612.30 c LP deleted cuts 811 3600.03/3612.30 c LP encountered Gomory constraints 7692 3600.03/3612.30 c LP encountered Farkas constraints 93742 3600.03/3612.30 c LP encountered learned Farkas constraints 20523 3600.03/3612.30 c CG auxiliary variables introduced 0 3600.03/3612.30 c CG solutions found 0 3600.03/3612.30 c CG cores constructed 0 3600.03/3612.30 c CG core cardinality constraints returned 0 3600.03/3612.30 c CG unit cores 0 3600.03/3612.30 c CG single cores 0 3600.03/3612.30 c CG blocks removed during cardinality reduction 0 3600.03/3612.30 c CG first core best 0 3600.03/3612.30 c CG decision core best 0 3600.03/3612.30 c CG core reduction tie 0 3600.03/3612.30 c CG core degree average 0.00 3600.03/3612.30 c CG core slack average 0.00 3600.03/3612.30 s UNKNOWN
ERROR: no interpretation found !
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 (61815 MiB free)
memory of node 1: 64473 MiB (54512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455276-1721461343/watcher-4455276-1721461343 -o /tmp/evaluation-result-4455276-1721461343/solver-4455276-1721461343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054628 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455276-1721461343.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1057130, runsolver pid=1057127
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119101768/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=54136 memory=24876 CPUtime=0.09 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 5702 0 0 0 8 1 0 0 20 0 1 0 198305182 55435264 6219 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 13534 6219 1757 922 0 5486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54136 KiB
Current children cumulated memory: 24876 KiB
[startup+0.205552 s]*
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119095488/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=54548 memory=26196 CPUtime=0.2 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 6032 0 0 0 19 1 0 0 20 0 1 0 198305182 55857152 6549 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 13637 6549 1757 922 0 5589 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54548 KiB
Current children cumulated memory: 26196 KiB
[startup+0.305464 s]*
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119094704/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=54984 memory=26988 CPUtime=0.3 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 6219 0 0 0 29 1 0 0 20 0 1 0 198305182 56303616 6747 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 13746 6747 1757 922 0 5698 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54984 KiB
Current children cumulated memory: 26988 KiB
[startup+0.700216 s]
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119090440/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=60308 memory=33728 CPUtime=0.68 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 8447 0 0 0 65 3 0 0 20 0 1 0 198305182 61755392 8432 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 15077 8432 1841 922 0 7029 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 33728 KiB
[startup+1.50022 s]
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=119074784/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=72992 memory=44900 CPUtime=1.48 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 10211 0 0 0 142 6 0 0 20 0 1 0 198305182 74743808 11225 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 18248 11225 1841 922 0 10200 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72992 KiB
Current children cumulated memory: 44900 KiB
[startup+3.10544 s]
/proc/loadavg: 4.26 4.15 4.10 5/257 1057131
/proc/meminfo: memFree=118587596/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=92340 memory=59292 CPUtime=3.09 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 13807 0 0 0 301 8 0 0 20 0 1 0 198305182 94556160 14823 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 23085 14823 1857 922 0 15037 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92340 KiB
Current children cumulated memory: 59292 KiB
[startup+6.30021 s]
/proc/loadavg: 4.32 4.16 4.11 5/257 1057133
/proc/meminfo: memFree=118484308/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=132876 memory=89980 CPUtime=6.27 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 17421 0 0 0 611 16 0 0 20 0 1 0 198305182 136065024 22495 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 33219 22495 1857 922 0 25171 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132876 KiB
Current children cumulated memory: 89980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.18 4.11 5/257 1057133
/proc/meminfo: memFree=118272808/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=138268 memory=96052 CPUtime=12.65 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 18908 0 0 0 1235 30 0 0 20 0 1 0 198305182 141586432 24013 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 34567 24013 1857 922 0 26519 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138268 KiB
Current children cumulated memory: 96052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.18 4.11 5/257 1057134
/proc/meminfo: memFree=117698948/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=168076 memory=126864 CPUtime=25.4 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 26110 0 0 0 2486 54 0 0 20 0 1 0 198305182 172109824 31716 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 42019 31716 1857 922 0 33971 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 168076 KiB
Current children cumulated memory: 126864 KiB
[startup+51.1055 s]
/proc/loadavg: 4.29 4.18 4.12 5/257 1057139
/proc/meminfo: memFree=115973120/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=230604 memory=182704 CPUtime=50.93 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 34007 0 0 0 4993 100 0 0 20 0 1 0 198305182 236138496 45676 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 57651 45676 1857 922 0 49603 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 230604 KiB
Current children cumulated memory: 182704 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 1057150
/proc/meminfo: memFree=114017188/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=326892 memory=256288 CPUtime=101.95 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 45794 0 0 0 9997 198 0 0 20 0 1 0 198305182 334737408 64072 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 81723 64072 1857 922 0 73675 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 326892 KiB
Current children cumulated memory: 256288 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/257 1057160
/proc/meminfo: memFree=112283468/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=447084 memory=333324 CPUtime=161.75 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 55191 0 0 0 15913 262 0 0 20 0 1 0 198305182 457814016 83331 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 111771 83331 1985 922 0 103723 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 447084 KiB
Current children cumulated memory: 333324 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 1057170
/proc/meminfo: memFree=112254444/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=473192 memory=357332 CPUtime=221.55 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 63248 0 0 0 21818 337 0 0 20 0 1 0 198305182 484548608 89333 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 118298 89333 1985 922 0 110250 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 473192 KiB
Current children cumulated memory: 357332 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/255 1057181
/proc/meminfo: memFree=111722900/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=512860 memory=390124 CPUtime=281.35 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 71542 0 0 0 27707 428 0 0 20 0 1 0 198305182 525168640 97531 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 128215 97531 1985 922 0 120167 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 512860 KiB
Current children cumulated memory: 390124 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 1057194
/proc/meminfo: memFree=110758900/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=532132 memory=407980 CPUtime=341.14 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 76010 0 0 0 33597 517 0 0 20 0 1 0 198305182 544903168 101995 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 133033 101995 1985 922 0 124985 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 532132 KiB
Current children cumulated memory: 407980 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 1057204
/proc/meminfo: memFree=107932912/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=548628 memory=451720 CPUtime=400.94 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 79888 0 0 0 39526 568 0 0 20 0 1 0 198305182 561795072 112930 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 137157 112930 1985 922 0 129109 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 548628 KiB
Current children cumulated memory: 451720 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/257 1057218
/proc/meminfo: memFree=103938788/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=585684 memory=490752 CPUtime=460.74 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 87641 0 0 0 45459 615 0 0 20 0 1 0 198305182 599740416 122688 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 146421 122688 1985 922 0 138373 0
################
# More data... #
################
Current children cumulated memory: 1155624 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/259 1058946
/proc/meminfo: memFree=120058924/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1206376 memory=1156344 CPUtime=2912.3 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 202279 0 0 0 287759 3471 0 0 20 0 1 0 198305182 1235329024 289086 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 301594 289086 1985 922 0 293546 0
Current children cumulated CPU time: 2912.3 s
Current children cumulated vsize: 1206376 KiB
Current children cumulated memory: 1156344 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/259 1058957
/proc/meminfo: memFree=120053668/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1207016 memory=1156792 CPUtime=2972.11 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 202876 0 0 0 293695 3516 0 0 20 0 1 0 198305182 1235984384 289198 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 301754 289198 1985 922 0 293706 0
Current children cumulated CPU time: 2972.11 s
Current children cumulated vsize: 1207016 KiB
Current children cumulated memory: 1156792 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/259 1058967
/proc/meminfo: memFree=119919984/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1228160 memory=1175596 CPUtime=3031.91 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 208093 0 0 0 299615 3576 0 0 20 0 1 0 198305182 1257635840 293899 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 307040 293899 1985 922 0 298992 0
Current children cumulated CPU time: 3031.91 s
Current children cumulated vsize: 1228160 KiB
Current children cumulated memory: 1175596 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/257 1058978
/proc/meminfo: memFree=119830544/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1260112 memory=1197028 CPUtime=3091.7 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 213976 0 0 0 305526 3644 0 0 20 0 1 0 198305182 1290354688 299257 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 315028 299257 1985 922 0 306980 0
Current children cumulated CPU time: 3091.7 s
Current children cumulated vsize: 1260112 KiB
Current children cumulated memory: 1197028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/254 1058988
/proc/meminfo: memFree=119821588/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1264336 memory=1200500 CPUtime=3151.5 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 215333 0 0 0 311452 3698 0 0 20 0 1 0 198305182 1294680064 300125 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 316084 300125 1985 922 0 308036 0
Current children cumulated CPU time: 3151.5 s
Current children cumulated vsize: 1264336 KiB
Current children cumulated memory: 1200500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 1058998
/proc/meminfo: memFree=119749256/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1479260 memory=1253816 CPUtime=3211.3 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 216424 0 0 0 317388 3742 0 0 20 0 1 0 198305182 1514762240 313454 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 369815 313454 1985 922 0 361767 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 1479260 KiB
Current children cumulated memory: 1253816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/255 1059009
/proc/meminfo: memFree=119697832/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1487796 memory=1298140 CPUtime=3271.1 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 218268 0 0 0 323329 3781 0 0 20 0 1 0 198305182 1523503104 324535 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 371949 324535 1985 922 0 363901 0
Current children cumulated CPU time: 3271.1 s
Current children cumulated vsize: 1487796 KiB
Current children cumulated memory: 1298140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/255 1059020
/proc/meminfo: memFree=119678120/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1503588 memory=1310900 CPUtime=3330.91 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 221866 0 0 0 329281 3810 0 0 20 0 1 0 198305182 1539674112 327725 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 375897 327725 1985 922 0 367849 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 1503588 KiB
Current children cumulated memory: 1310900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/255 1059030
/proc/meminfo: memFree=119413816/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1503588 memory=1311120 CPUtime=3390.72 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 222191 0 0 0 335242 3830 0 0 20 0 1 0 198305182 1539674112 327780 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 375897 327780 1985 922 0 367849 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 1503588 KiB
Current children cumulated memory: 1311120 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1059045
/proc/meminfo: memFree=119133748/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1523612 memory=1326144 CPUtime=3450.52 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 226549 0 0 0 341183 3869 0 0 20 0 1 0 198305182 1560178688 331536 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 380903 331536 1985 922 0 372855 0
Current children cumulated CPU time: 3450.52 s
Current children cumulated vsize: 1523612 KiB
Current children cumulated memory: 1326144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 1059056
/proc/meminfo: memFree=119059744/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1530908 memory=1332684 CPUtime=3510.32 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 228603 0 0 0 347122 3910 0 0 20 0 1 0 198305182 1567649792 333171 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 382727 333171 1985 922 0 374679 0
Current children cumulated CPU time: 3510.32 s
Current children cumulated vsize: 1530908 KiB
Current children cumulated memory: 1332684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 1059113
/proc/meminfo: memFree=119502316/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1569232 memory=1360412 CPUtime=3570.13 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 236199 0 0 0 353058 3955 0 0 20 0 1 0 198305182 1606893568 340103 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 392308 340103 1985 922 0 384260 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 1569232 KiB
Current children cumulated memory: 1360412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059117
/proc/meminfo: memFree=119458940/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1585232 memory=1375908 CPUtime=3600.03 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 240348 0 0 0 356038 3965 0 0 20 0 1 0 198305182 1623277568 343977 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 396308 343977 1985 922 0 388260 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1585232 KiB
Current children cumulated memory: 1375908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.32 s]
# the end of solver process 1057130 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.39 s, system=39.6703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059117
/proc/meminfo: memFree=119458940/131524600 swapFree=131071996/131071996
[pid=1057130] ppid=1057127 vsize=1585232 memory=1375908 CPUtime=3600.03 cores=0,2
/proc/1057130/stat : 1057130 (roundingsat) R 1057127 1057130 1054618 0 -1 4194304 240348 0 0 0 356038 3965 0 0 20 0 1 0 198305182 1623277568 343977 134679101440 4194304 7968373 140729532472960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 38039552 140729532474300 140729532474464 140729532474464 140729532481481 0
/proc/1057130/statm: 396308 343977 1985 922 0 388260 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1585232 KiB
Current children cumulated memory: 1375908 KiB
Child status: 0
Real time (s): 3612.32
CPU time (s): 3600.06
CPU user time (s): 3560.39
CPU system time (s): 39.6703
CPU usage (%): 99.6607
Max. virtual memory (cumulated for all children) (KiB): 1585232
Max. memory (cumulated for all children) (KiB): 1375908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.39
system time used= 39.6703
maximum resident set size= 1375908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240357
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= 179
involuntary context switches= 24748
# summary of solver processes directly reported to runsolver:
# pid: 1057130
# total CPU time (s): 3600.06
# total CPU user time (s): 3560.39
# total CPU system time (s): 39.6703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9218 second user time and 17.7889 second system time
The end
Begin job on nodeC035 at 2024-07-20 09:42:36 IDJOB=4455276 IDBENCH=148768 IDSOLVER=3084 FILE ID=nodeC035/4455276-1721461343 RUNJOBID= nodeC035-1721457697-1054628 SLURM_JOB_ID= 7545698 Free space on /tmp= 889788 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4455276-1721461343/watcher-4455276-1721461343 -o /tmp/evaluation-result-4455276-1721461343/solver-4455276-1721461343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721457697-1054628 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455276-1721461343.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d RANDOM SEED=1113515500 nodeC035.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 : 3651.489 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.65 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 : 3680.617 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.79 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 : 3654.293 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.65 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 : 3600.156 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.79 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 : 3663.424 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.65 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 : 3680.636 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.79 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 : 3618.641 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.65 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.934 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119120616 kB MemAvailable: 122142876 kB Buffers: 568268 kB Cached: 3268888 kB SwapCached: 0 kB Active: 1332092 kB Inactive: 10376768 kB Active(anon): 1536 kB Inactive(anon): 7916060 kB Active(file): 1330556 kB Inactive(file): 2460708 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5972 kB Writeback: 0 kB AnonPages: 7866684 kB Mapped: 116896 kB Shmem: 45916 kB KReclaimable: 141636 kB Slab: 259548 kB SReclaimable: 141636 kB SUnreclaim: 117912 kB KernelStack: 4128 kB PageTables: 24868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8844412 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74176 kB HardwareCorrupted: 0 kB AnonHugePages: 5554176 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: 207572 kB DirectMap2M: 19488768 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 889940 MiB End job on nodeC035 at 2024-07-20 10:42:48