| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.07 | 3613.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
| MD5SUM | 175cf8fd081870b89b1494469c4bb17a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 293 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 8883 |
| Total number of constraints | 17459 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 37 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 512 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2691 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.59/0.62 c #variables 8883 #constraints 17459 7.47/7.54 c bounds - >= 0 @ 0.554549 7.47/7.54 c #Conflicts: 1000 | #Constraints: 18458 7.47/7.54 c #Conflicts: 2000 | #Constraints: 19458 7.47/7.54 c INPROCESSING 7.47/7.54 c bounds - >= 8 @ 3.62478 7.47/7.54 c bounds - >= 9 @ 3.62603 7.47/7.54 c bounds - >= 12 @ 3.62845 7.47/7.54 c bounds - >= 16 @ 3.62919 7.47/7.54 c bounds - >= 17 @ 3.63161 7.47/7.54 c bounds - >= 18 @ 3.63952 7.47/7.54 c bounds - >= 19 @ 3.64012 7.47/7.54 c bounds - >= 20 @ 3.64368 7.47/7.54 c bounds - >= 21 @ 3.64645 7.47/7.54 c bounds - >= 22 @ 3.65435 7.47/7.54 c bounds - >= 23 @ 3.66244 7.47/7.54 c bounds - >= 24 @ 3.67735 7.47/7.54 c bounds - >= 25 @ 3.69115 7.47/7.54 c bounds - >= 26 @ 3.71311 7.47/7.54 c bounds - >= 27 @ 3.74239 7.47/7.54 c bounds - >= 28 @ 3.76015 7.47/7.54 c bounds - >= 29 @ 3.77969 7.47/7.54 c bounds - >= 30 @ 3.83404 7.47/7.54 c bounds - >= 31 @ 3.91441 7.47/7.54 c bounds - >= 32 @ 4.09431 7.47/7.54 c #Conflicts: 3000 | #Constraints: 19582 7.47/7.54 c bounds - >= 33 @ 4.27133 7.47/7.54 c bounds - >= 34 @ 4.69199 7.47/7.54 c #Conflicts: 4000 | #Constraints: 20592 7.47/7.54 c INPROCESSING 7.47/7.54 c #Conflicts: 5000 | #Constraints: 20005 7.47/7.54 c #Conflicts: 6000 | #Constraints: 21005 7.47/7.54 c INPROCESSING 7.47/7.54 c GARBAGE COLLECT 7.47/7.54 c rational objective 17 11.45/11.53 c bounds - >= 35 @ 7.69268 11.45/11.53 c #Conflicts: 7000 | #Constraints: 20030 11.45/11.53 c bounds - >= 36 @ 7.93532 11.45/11.53 c bounds - >= 37 @ 8.1637 11.45/11.53 c bounds - >= 38 @ 8.51377 11.45/11.53 c bounds - >= 39 @ 8.66613 11.45/11.53 c #Conflicts: 8000 | #Constraints: 21059 11.45/11.53 c bounds - >= 40 @ 9.44639 11.45/11.53 c #Conflicts: 9000 | #Constraints: 22067 11.45/11.53 c INPROCESSING 11.45/11.53 c rational objective 17 27.12/27.27 c #Conflicts: 10000 | #Constraints: 20778 27.12/27.27 c #Conflicts: 11000 | #Constraints: 21778 27.12/27.27 c #Conflicts: 12000 | #Constraints: 22778 27.12/27.27 c INPROCESSING 27.12/27.27 c GARBAGE COLLECT 27.12/27.27 c bounds - >= 41 @ 14.412 27.12/27.27 c #Conflicts: 13000 | #Constraints: 21243 27.12/27.27 c #Conflicts: 14000 | #Constraints: 22243 27.12/27.27 c bounds - >= 42 @ 16.8466 27.12/27.27 c #Conflicts: 15000 | #Constraints: 23254 27.12/27.27 c INPROCESSING 27.12/27.27 c #Conflicts: 16000 | #Constraints: 21487 27.12/27.27 c #Conflicts: 17000 | #Constraints: 22487 27.12/27.27 c #Conflicts: 18000 | #Constraints: 23487 27.12/27.27 c #Conflicts: 19000 | #Constraints: 24487 27.12/27.27 c #Conflicts: 20000 | #Constraints: 25487 27.12/27.27 c #Conflicts: 21000 | #Constraints: 26487 27.12/27.27 c #Conflicts: 22000 | #Constraints: 27487 27.12/27.27 c #Conflicts: 23000 | #Constraints: 28487 27.12/27.27 c #Conflicts: 24000 | #Constraints: 29487 27.12/27.27 c INPROCESSING 27.12/27.27 c GARBAGE COLLECT 27.12/27.27 c rational objective 17 35.36/35.50 c #Conflicts: 25000 | #Constraints: 24402 35.36/35.50 c bounds - >= 43 @ 28.4812 35.36/35.50 c #Conflicts: 26000 | #Constraints: 25410 35.36/35.50 c #Conflicts: 27000 | #Constraints: 26410 35.36/35.50 c #Conflicts: 28000 | #Constraints: 27410 35.36/35.50 c bounds - >= 44 @ 33.4297 35.36/35.50 c INPROCESSING 35.36/35.50 c rational objective 17 40.96/41.15 c #Conflicts: 29000 | #Constraints: 23181 40.96/41.15 c bounds - >= 45 @ 36.4015 40.96/41.15 c #Conflicts: 30000 | #Constraints: 24189 40.96/41.15 c #Conflicts: 31000 | #Constraints: 25189 40.96/41.15 c #Conflicts: 32000 | #Constraints: 26189 40.96/41.15 c #Conflicts: 33000 | #Constraints: 27189 40.96/41.15 c INPROCESSING 40.96/41.15 c GARBAGE COLLECT 40.96/41.15 c rational objective 17 60.37/60.61 c #Conflicts: 34000 | #Constraints: 23338 60.37/60.61 c #Conflicts: 35000 | #Constraints: 24338 60.37/60.61 c #Conflicts: 36000 | #Constraints: 25338 60.37/60.61 c bounds - >= 46 @ 45.9833 60.37/60.61 c #Conflicts: 37000 | #Constraints: 26346 60.37/60.61 c #Conflicts: 38000 | #Constraints: 27346 60.37/60.61 c #Conflicts: 39000 | #Constraints: 28346 60.37/60.61 c #Conflicts: 40000 | #Constraints: 29346 60.37/60.61 c #Conflicts: 41000 | #Constraints: 30346 60.37/60.61 c #Conflicts: 42000 | #Constraints: 31346 60.37/60.61 c #Conflicts: 43000 | #Constraints: 32346 60.37/60.61 c #Conflicts: 44000 | #Constraints: 33346 60.37/60.61 c #Conflicts: 45000 | #Constraints: 34346 60.37/60.61 c #Conflicts: 46000 | #Constraints: 35346 60.37/60.61 c #Conflicts: 47000 | #Constraints: 36346 60.37/60.61 c INPROCESSING 60.37/60.61 c GARBAGE COLLECT 60.37/60.61 c rational objective 17 71.35/71.63 c #Conflicts: 48000 | #Constraints: 28087 71.35/71.63 c #Conflicts: 49000 | #Constraints: 29087 71.35/71.63 c #Conflicts: 50000 | #Constraints: 30087 71.35/71.63 c bounds - >= 47 @ 68.5097 71.35/71.63 c #Conflicts: 51000 | #Constraints: 31095 71.35/71.63 c #Conflicts: 52000 | #Constraints: 32095 71.35/71.63 c INPROCESSING 71.35/71.63 c GARBAGE COLLECT 71.35/71.63 c rational objective 17 107.74/108.12 c #Conflicts: 53000 | #Constraints: 25550 107.74/108.12 c #Conflicts: 54000 | #Constraints: 26550 107.74/108.12 c #Conflicts: 55000 | #Constraints: 27550 107.74/108.12 c #Conflicts: 56000 | #Constraints: 28550 107.74/108.12 c #Conflicts: 57000 | #Constraints: 29550 107.74/108.12 c #Conflicts: 58000 | #Constraints: 30550 107.74/108.12 c #Conflicts: 59000 | #Constraints: 31550 107.74/108.12 c #Conflicts: 60000 | #Constraints: 32550 107.74/108.12 c bounds - >= 48 @ 90.2379 107.74/108.12 c #Conflicts: 61000 | #Constraints: 33555 107.74/108.12 c #Conflicts: 62000 | #Constraints: 34555 107.74/108.12 c #Conflicts: 63000 | #Constraints: 35555 107.74/108.12 c #Conflicts: 64000 | #Constraints: 36555 107.74/108.12 c #Conflicts: 65000 | #Constraints: 37555 107.74/108.12 c #Conflicts: 66000 | #Constraints: 38555 107.74/108.12 c #Conflicts: 67000 | #Constraints: 39555 107.74/108.12 c #Conflicts: 68000 | #Constraints: 40555 107.74/108.12 c #Conflicts: 69000 | #Constraints: 41555 107.74/108.12 c INPROCESSING 107.74/108.12 c GARBAGE COLLECT 107.74/108.12 c rational objective 17.1429 120.39/120.81 c #Conflicts: 70000 | #Constraints: 30406 120.39/120.81 c #Conflicts: 71000 | #Constraints: 31406 120.39/120.81 c #Conflicts: 72000 | #Constraints: 32406 120.39/120.81 c #Conflicts: 73000 | #Constraints: 33406 120.39/120.81 c #Conflicts: 74000 | #Constraints: 34406 120.39/120.81 c #Conflicts: 75000 | #Constraints: 35406 120.39/120.81 c #Conflicts: 76000 | #Constraints: 36406 120.39/120.81 c INPROCESSING 120.39/120.81 c GARBAGE COLLECT 120.39/120.81 c rational objective 17.1429 152.86/153.40 c #Conflicts: 77000 | #Constraints: 27764 152.86/153.40 c #Conflicts: 78000 | #Constraints: 28764 152.86/153.40 c #Conflicts: 79000 | #Constraints: 29764 152.86/153.40 c #Conflicts: 80000 | #Constraints: 30764 152.86/153.40 c bounds - >= 49 @ 127.224 152.86/153.40 c #Conflicts: 81000 | #Constraints: 31772 152.86/153.40 c #Conflicts: 82000 | #Constraints: 32772 152.86/153.40 c #Conflicts: 83000 | #Constraints: 33772 152.86/153.40 c #Conflicts: 84000 | #Constraints: 34772 152.86/153.40 c #Conflicts: 85000 | #Constraints: 35772 152.86/153.40 c #Conflicts: 86000 | #Constraints: 36772 152.86/153.40 c #Conflicts: 87000 | #Constraints: 37772 152.86/153.40 c #Conflicts: 88000 | #Constraints: 38772 152.86/153.40 c #Conflicts: 89000 | #Constraints: 39772 152.86/153.40 c #Conflicts: 90000 | #Constraints: 40772 152.86/153.40 c #Conflicts: 91000 | #Constraints: 41772 152.86/153.40 c #Conflicts: 92000 | #Constraints: 42772 152.86/153.40 c #Conflicts: 93000 | #Constraints: 43772 152.86/153.40 c #Conflicts: 94000 | #Constraints: 44772 152.86/153.40 c #Conflicts: 95000 | #Constraints: 45772 152.86/153.40 c #Conflicts: 96000 | #Constraints: 46772 152.86/153.40 c INPROCESSING 152.86/153.40 c GARBAGE COLLECT 152.86/153.40 c rational objective 17.1429 185.47/186.19 c #Conflicts: 97000 | #Constraints: 33084 185.47/186.19 c #Conflicts: 98000 | #Constraints: 34084 185.47/186.19 c #Conflicts: 99000 | #Constraints: 35084 185.47/186.19 c #Conflicts: 100000 | #Constraints: 36084 185.47/186.19 c #Conflicts: 101000 | #Constraints: 37084 185.47/186.19 c #Conflicts: 102000 | #Constraints: 38084 185.47/186.19 c bounds - >= 50 @ 171.064 185.47/186.19 c #Conflicts: 103000 | #Constraints: 39092 185.47/186.19 c #Conflicts: 104000 | #Constraints: 40092 185.47/186.19 c #Conflicts: 105000 | #Constraints: 41092 185.47/186.19 c INPROCESSING 185.47/186.19 c GARBAGE COLLECT 185.47/186.19 c rational objective 17.1429 227.60/228.44 c #Conflicts: 106000 | #Constraints: 30474 227.60/228.44 c #Conflicts: 107000 | #Constraints: 31474 227.60/228.44 c #Conflicts: 108000 | #Constraints: 32474 227.60/228.44 c #Conflicts: 109000 | #Constraints: 33474 227.60/228.44 c #Conflicts: 110000 | #Constraints: 34474 227.60/228.44 c #Conflicts: 111000 | #Constraints: 35474 227.60/228.44 c #Conflicts: 112000 | #Constraints: 36474 227.60/228.44 c #Conflicts: 113000 | #Constraints: 37474 227.60/228.44 c #Conflicts: 114000 | #Constraints: 38474 227.60/228.44 c #Conflicts: 115000 | #Constraints: 39474 227.60/228.44 c #Conflicts: 116000 | #Constraints: 40474 227.60/228.44 c #Conflicts: 117000 | #Constraints: 41474 227.60/228.44 c #Conflicts: 118000 | #Constraints: 42474 227.60/228.44 c #Conflicts: 119000 | #Constraints: 43474 227.60/228.44 c #Conflicts: 120000 | #Constraints: 44474 227.60/228.44 c #Conflicts: 121000 | #Constraints: 45474 227.60/228.44 c #Conflicts: 122000 | #Constraints: 46474 227.60/228.44 c #Conflicts: 123000 | #Constraints: 47474 227.60/228.44 c #Conflicts: 124000 | #Constraints: 48474 227.60/228.44 c #Conflicts: 125000 | #Constraints: 49474 227.60/228.44 c #Conflicts: 126000 | #Constraints: 50474 227.60/228.44 c #Conflicts: 127000 | #Constraints: 51474 227.60/228.44 c #Conflicts: 128000 | #Constraints: 52474 227.60/228.44 c INPROCESSING 227.60/228.44 c GARBAGE COLLECT 227.60/228.44 c rational objective 17.3579 267.56/268.59 c bounds - >= 51 @ 227.884 267.56/268.59 c #Conflicts: 129000 | #Constraints: 36278 267.56/268.59 c #Conflicts: 130000 | #Constraints: 37278 267.56/268.59 c #Conflicts: 131000 | #Constraints: 38278 267.56/268.59 c #Conflicts: 132000 | #Constraints: 39278 267.56/268.59 c #Conflicts: 133000 | #Constraints: 40278 267.56/268.59 c #Conflicts: 134000 | #Constraints: 41278 267.56/268.59 c #Conflicts: 135000 | #Constraints: 42278 267.56/268.59 c #Conflicts: 136000 | #Constraints: 43278 267.56/268.59 c #Conflicts: 137000 | #Constraints: 44278 267.56/268.59 c INPROCESSING 267.56/268.59 c GARBAGE COLLECT 267.56/268.59 c rational objective 17.3588 322.26/323.45 c #Conflicts: 138000 | #Constraints: 31728 322.26/323.45 c #Conflicts: 139000 | #Constraints: 32728 322.26/323.45 c #Conflicts: 140000 | #Constraints: 33728 322.26/323.45 c #Conflicts: 141000 | #Constraints: 34728 322.26/323.45 c #Conflicts: 142000 | #Constraints: 35728 322.26/323.45 c #Conflicts: 143000 | #Constraints: 36728 322.26/323.45 c #Conflicts: 144000 | #Constraints: 37728 322.26/323.45 c #Conflicts: 145000 | #Constraints: 38728 322.26/323.45 c #Conflicts: 146000 | #Constraints: 39728 322.26/323.45 c #Conflicts: 147000 | #Constraints: 40728 322.26/323.45 c #Conflicts: 148000 | #Constraints: 41728 322.26/323.45 c #Conflicts: 149000 | #Constraints: 42728 322.26/323.45 c #Conflicts: 150000 | #Constraints: 43728 322.26/323.45 c #Conflicts: 151000 | #Constraints: 44728 322.26/323.45 c #Conflicts: 152000 | #Constraints: 45728 322.26/323.45 c #Conflicts: 153000 | #Constraints: 46728 322.26/323.45 c #Conflicts: 154000 | #Constraints: 47728 322.26/323.45 c #Conflicts: 155000 | #Constraints: 48728 322.26/323.45 c #Conflicts: 156000 | #Constraints: 49728 322.26/323.45 c #Conflicts: 157000 | #Constraints: 50728 322.26/323.45 c #Conflicts: 158000 | #Constraints: 51728 322.26/323.45 c #Conflicts: 159000 | #Constraints: 52728 322.26/323.45 c #Conflicts: 160000 | #Constraints: 53728 322.26/323.45 c #Conflicts: 161000 | #Constraints: 54728 322.26/323.45 c #Conflicts: 162000 | #Constraints: 55728 322.26/323.45 c #Conflicts: 163000 | #Constraints: 56728 322.26/323.45 c INPROCESSING 322.26/323.45 c GARBAGE COLLECT 322.26/323.45 c rational objective 17.3609 375.04/376.49 c #Conflicts: 164000 | #Constraints: 38042 375.04/376.49 c #Conflicts: 165000 | #Constraints: 39042 375.04/376.49 c bounds - >= 52 @ 327.4 375.04/376.49 c #Conflicts: 166000 | #Constraints: 40047 375.04/376.49 c #Conflicts: 167000 | #Constraints: 41047 375.04/376.49 c #Conflicts: 168000 | #Constraints: 42047 375.04/376.49 c #Conflicts: 169000 | #Constraints: 43047 375.04/376.49 c #Conflicts: 170000 | #Constraints: 44047 375.04/376.49 c #Conflicts: 171000 | #Constraints: 45047 375.04/376.49 c #Conflicts: 172000 | #Constraints: 46047 375.04/376.49 c #Conflicts: 173000 | #Constraints: 47047 375.04/376.49 c #Conflicts: 174000 | #Constraints: 48047 375.04/376.49 c INPROCESSING 375.04/376.49 c GARBAGE COLLECT 375.04/376.49 c rational objective 17.3609 530.15/532.18 c #Conflicts: 175000 | #Constraints: 33572 530.15/532.18 c bounds - >= 53 @ 373.767 530.15/532.18 c #Conflicts: 176000 | #Constraints: 34577 530.15/532.18 c #Conflicts: 177000 | #Constraints: 35577 530.15/532.18 c #Conflicts: 178000 | #Constraints: 36577 530.15/532.18 c #Conflicts: 179000 | #Constraints: 37577 530.15/532.18 c #Conflicts: 180000 | #Constraints: 38577 530.15/532.18 c #Conflicts: 181000 | #Constraints: 39577 530.15/532.18 c #Conflicts: 182000 | #Constraints: 40577 530.15/532.18 c #Conflicts: 183000 | #Constraints: 41577 530.15/532.18 c #Conflicts: 184000 | #Constraints: 42577 530.15/532.18 c #Conflicts: 185000 | #Constraints: 43577 530.15/532.18 c #Conflicts: 186000 | #Constraints: 44577 530.15/532.18 c #Conflicts: 187000 | #Constraints: 45577 530.15/532.18 c #Conflicts: 188000 | #Constraints: 46577 530.15/532.18 c #Conflicts: 189000 | #Constraints: 47577 530.15/532.18 c #Conflicts: 190000 | #Constraints: 48577 530.15/532.18 c #Conflicts: 191000 | #Constraints: 49577 530.15/532.18 c #Conflicts: 192000 | #Constraints: 50577 530.15/532.18 c #Conflicts: 193000 | #Constraints: 51577 530.15/532.18 c #Conflicts: 194000 | #Constraints: 52577 530.15/532.18 c #Conflicts: 195000 | #Constraints: 53577 530.15/532.18 c #Conflicts: 196000 | #Constraints: 54577 530.15/532.18 c #Conflicts: 197000 | #Constraints: 55577 530.15/532.18 c #Conflicts: 198000 | #Constraints: 56577 530.15/532.18 c #Conflicts: 199000 | #Constraints: 57577 530.15/532.18 c #Conflicts: 200000 | #Constraints: 58577 530.15/532.18 c #Conflicts: 201000 | #Constraints: 59577 530.15/532.18 c #Conflicts: 202000 | #Constraints: 60577 530.15/532.18 c #Conflicts: 203000 | #Constraints: 61577 530.15/532.18 c #Conflicts: 204000 | #Constraints: 62577 530.15/532.18 c INPROCESSING 530.15/532.18 c GARBAGE COLLECT 530.15/532.18 c #Conflicts: 205000 | #Constraints: 41273 530.15/532.18 c #Conflicts: 206000 | #Constraints: 42273 530.15/532.18 c #Conflicts: 207000 | #Constraints: 43273 530.15/532.18 c #Conflicts: 208000 | #Constraints: 44273 530.15/532.18 c #Conflicts: 209000 | #Constraints: 45273 530.15/532.18 c #Conflicts: 210000 | #Constraints: 46273 530.15/532.18 c #Conflicts: 211000 | #Constraints: 47273 530.15/532.18 c #Conflicts: 212000 | #Constraints: 48273 530.15/532.18 c #Conflicts: 213000 | #Constraints: 49273 530.15/532.18 c #Conflicts: 214000 | #Constraints: 50273 530.15/532.18 c #Conflicts: 215000 | #Constraints: 51273 530.15/532.18 c bounds - >= 54 @ 519.495 530.15/532.18 c #Conflicts: 216000 | #Constraints: 52278 530.15/532.18 c INPROCESSING 530.15/532.18 c GARBAGE COLLECT 530.15/532.18 c rational objective 17.3617 726.84/729.46 c #Conflicts: 217000 | #Constraints: 36053 726.84/729.46 c #Conflicts: 218000 | #Constraints: 37053 726.84/729.46 c #Conflicts: 219000 | #Constraints: 38053 726.84/729.46 c #Conflicts: 220000 | #Constraints: 39053 726.84/729.46 c #Conflicts: 221000 | #Constraints: 40053 726.84/729.46 c #Conflicts: 222000 | #Constraints: 41053 726.84/729.46 c #Conflicts: 223000 | #Constraints: 42053 726.84/729.46 c #Conflicts: 224000 | #Constraints: 43053 726.84/729.46 c #Conflicts: 225000 | #Constraints: 44053 726.84/729.46 c #Conflicts: 226000 | #Constraints: 45053 726.84/729.46 c #Conflicts: 227000 | #Constraints: 46053 726.84/729.46 c #Conflicts: 228000 | #Constraints: 47053 726.84/729.46 c #Conflicts: 229000 | #Constraints: 48053 726.84/729.46 c #Conflicts: 230000 | #Constraints: 49053 726.84/729.46 c #Conflicts: 231000 | #Constraints: 50053 726.84/729.46 c #Conflicts: 232000 | #Constraints: 51053 726.84/729.46 c #Conflicts: 233000 | #Constraints: 52053 726.84/729.46 c #Conflicts: 234000 | #Constraints: 53053 726.84/729.46 c #Conflicts: 235000 | #Constraints: 54053 726.84/729.46 c bounds - >= 55 @ 637.872 726.84/729.46 c #Conflicts: 236000 | #Constraints: 55061 726.84/729.46 c #Conflicts: 237000 | #Constraints: 56061 726.84/729.46 c #Conflicts: 238000 | #Constraints: 57061 726.84/729.46 c #Conflicts: 239000 | #Constraints: 58061 726.84/729.46 c #Conflicts: 240000 | #Constraints: 59061 726.84/729.46 c #Conflicts: 241000 | #Constraints: 60061 726.84/729.46 c #Conflicts: 242000 | #Constraints: 61061 726.84/729.46 c #Conflicts: 243000 | #Constraints: 62061 726.84/729.46 c #Conflicts: 244000 | #Constraints: 63061 726.84/729.46 c #Conflicts: 245000 | #Constraints: 64061 726.84/729.46 c #Conflicts: 246000 | #Constraints: 65061 726.84/729.46 c #Conflicts: 247000 | #Constraints: 66061 726.84/729.46 c #Conflicts: 248000 | #Constraints: 67061 726.84/729.46 c INPROCESSING 726.84/729.46 c GARBAGE COLLECT 726.84/729.46 c #Conflicts: 249000 | #Constraints: 43241 726.84/729.46 c #Conflicts: 250000 | #Constraints: 44241 726.84/729.46 c #Conflicts: 251000 | #Constraints: 45241 726.84/729.46 c #Conflicts: 252000 | #Constraints: 46241 726.84/729.46 c #Conflicts: 253000 | #Constraints: 47241 726.84/729.46 c #Conflicts: 254000 | #Constraints: 48241 726.84/729.46 c #Conflicts: 255000 | #Constraints: 49241 726.84/729.46 c #Conflicts: 256000 | #Constraints: 50241 726.84/729.46 c #Conflicts: 257000 | #Constraints: 51241 726.84/729.46 c #Conflicts: 258000 | #Constraints: 52241 726.84/729.46 c #Conflicts: 259000 | #Constraints: 53241 726.84/729.46 c #Conflicts: 260000 | #Constraints: 54241 726.84/729.46 c #Conflicts: 261000 | #Constraints: 55241 726.84/729.46 c #Conflicts: 262000 | #Constraints: 56241 726.84/729.46 c INPROCESSING 726.84/729.46 c GARBAGE COLLECT 726.84/729.46 c rational objective 17.4089 838.00/840.97 c #Conflicts: 263000 | #Constraints: 40045 838.00/840.97 c #Conflicts: 264000 | #Constraints: 41045 838.00/840.97 c #Conflicts: 265000 | #Constraints: 42045 838.00/840.97 c #Conflicts: 266000 | #Constraints: 43045 838.00/840.97 c #Conflicts: 267000 | #Constraints: 44045 838.00/840.97 c #Conflicts: 268000 | #Constraints: 45045 838.00/840.97 c #Conflicts: 269000 | #Constraints: 46045 838.00/840.97 c #Conflicts: 270000 | #Constraints: 47045 838.00/840.97 c #Conflicts: 271000 | #Constraints: 48045 838.00/840.97 c #Conflicts: 272000 | #Constraints: 49045 838.00/840.97 c #Conflicts: 273000 | #Constraints: 50045 838.00/840.97 c #Conflicts: 274000 | #Constraints: 51045 838.00/840.97 c #Conflicts: 275000 | #Constraints: 52045 838.00/840.97 c #Conflicts: 276000 | #Constraints: 53045 838.00/840.97 c #Conflicts: 277000 | #Constraints: 54045 838.00/840.97 c #Conflicts: 278000 | #Constraints: 55045 838.00/840.97 c #Conflicts: 279000 | #Constraints: 56045 838.00/840.97 c #Conflicts: 280000 | #Constraints: 57045 838.00/840.97 c #Conflicts: 281000 | #Constraints: 58045 838.00/840.97 c #Conflicts: 282000 | #Constraints: 59045 838.00/840.97 c #Conflicts: 283000 | #Constraints: 60045 838.00/840.97 c #Conflicts: 284000 | #Constraints: 61045 838.00/840.97 c #Conflicts: 285000 | #Constraints: 62045 838.00/840.97 c #Conflicts: 286000 | #Constraints: 63045 838.00/840.97 c #Conflicts: 287000 | #Constraints: 64045 838.00/840.97 c #Conflicts: 288000 | #Constraints: 65045 838.00/840.97 c #Conflicts: 289000 | #Constraints: 66045 838.00/840.97 c #Conflicts: 290000 | #Constraints: 67045 838.00/840.97 c #Conflicts: 291000 | #Constraints: 68045 838.00/840.97 c #Conflicts: 292000 | #Constraints: 69045 838.00/840.97 c #Conflicts: 293000 | #Constraints: 70045 838.00/840.97 c #Conflicts: 294000 | #Constraints: 71045 838.00/840.97 c #Conflicts: 295000 | #Constraints: 72045 838.00/840.97 c #Conflicts: 296000 | #Constraints: 73045 838.00/840.97 c #Conflicts: 297000 | #Constraints: 74045 838.00/840.97 c INPROCESSING 838.00/840.97 c GARBAGE COLLECT 838.00/840.97 c rational objective 17.4208 972.56/976.00 c #Conflicts: 298000 | #Constraints: 46821 972.56/976.00 c #Conflicts: 299000 | #Constraints: 47821 972.56/976.00 c #Conflicts: 300000 | #Constraints: 48821 972.56/976.00 c #Conflicts: 301000 | #Constraints: 49821 972.56/976.00 c #Conflicts: 302000 | #Constraints: 50821 972.56/976.00 c #Conflicts: 303000 | #Constraints: 51821 972.56/976.00 c #Conflicts: 304000 | #Constraints: 52821 972.56/976.00 c #Conflicts: 305000 | #Constraints: 53821 972.56/976.00 c #Conflicts: 306000 | #Constraints: 54821 972.56/976.00 c #Conflicts: 307000 | #Constraints: 55821 972.56/976.00 c #Conflicts: 308000 | #Constraints: 56821 972.56/976.00 c #Conflicts: 309000 | #Constraints: 57821 972.56/976.00 c #Conflicts: 310000 | #Constraints: 58821 972.56/976.00 c #Conflicts: 311000 | #Constraints: 59821 972.56/976.00 c #Conflicts: 312000 | #Constraints: 60821 972.56/976.00 c INPROCESSING 972.56/976.00 c GARBAGE COLLECT 972.56/976.00 c rational objective 17.4204 1083.89/1087.67 c #Conflicts: 313000 | #Constraints: 42404 1083.89/1087.67 c #Conflicts: 314000 | #Constraints: 43404 1083.89/1087.67 c bounds - >= 56 @ 982.951 1083.89/1087.67 c #Conflicts: 315000 | #Constraints: 44409 1083.89/1087.67 c #Conflicts: 316000 | #Constraints: 45409 1083.89/1087.67 c #Conflicts: 317000 | #Constraints: 46409 1083.89/1087.67 c #Conflicts: 318000 | #Constraints: 47409 1083.89/1087.67 c #Conflicts: 319000 | #Constraints: 48409 1083.89/1087.67 c #Conflicts: 320000 | #Constraints: 49409 1083.89/1087.67 c #Conflicts: 321000 | #Constraints: 50409 1083.89/1087.67 c #Conflicts: 322000 | #Constraints: 51409 1083.89/1087.67 c #Conflicts: 323000 | #Constraints: 52409 1083.89/1087.67 c #Conflicts: 324000 | #Constraints: 53409 1083.89/1087.67 c #Conflicts: 325000 | #Constraints: 54409 1083.89/1087.67 c #Conflicts: 326000 | #Constraints: 55409 1083.89/1087.67 c #Conflicts: 327000 | #Constraints: 56409 1083.89/1087.67 c #Conflicts: 328000 | #Constraints: 57409 1083.89/1087.67 c #Conflicts: 329000 | #Constraints: 58409 1083.89/1087.67 c #Conflicts: 330000 | #Constraints: 59409 1083.89/1087.67 c #Conflicts: 331000 | #Constraints: 60409 1083.89/1087.67 c #Conflicts: 332000 | #Constraints: 61409 1083.89/1087.67 c #Conflicts: 333000 | #Constraints: 62409 1083.89/1087.67 c #Conflicts: 334000 | #Constraints: 63409 1083.89/1087.67 c #Conflicts: 335000 | #Constraints: 64409 1083.89/1087.67 c #Conflicts: 336000 | #Constraints: 65409 1083.89/1087.67 c #Conflicts: 337000 | #Constraints: 66409 1083.89/1087.67 c #Conflicts: 338000 | #Constraints: 67409 1083.89/1087.67 c #Conflicts: 339000 | #Constraints: 68409 1083.89/1087.67 c #Conflicts: 340000 | #Constraints: 69409 1083.89/1087.67 c #Conflicts: 341000 | #Constraints: 70409 1083.89/1087.67 c #Conflicts: 342000 | #Constraints: 71409 1083.89/1087.67 WSVECS04 Frhs2[130]: 6 -8.00005 0 shouldn't be 1083.89/1087.67 WSVECS04 Frhs2[1736]: 6 -324 0 shouldn't be 1083.89/1087.67 WSVECS04 Frhs2[8860]: 6 -324 0 shouldn't be 1120.20/1124.04 c #Conflicts: 343000 | #Constraints: 72409 1120.20/1124.04 c #Conflicts: 344000 | #Constraints: 73409 1120.20/1124.04 c #Conflicts: 345000 | #Constraints: 74409 1120.20/1124.04 c #Conflicts: 346000 | #Constraints: 75409 1120.20/1124.04 c #Conflicts: 347000 | #Constraints: 76409 1120.20/1124.04 c #Conflicts: 348000 | #Constraints: 77409 1120.20/1124.04 c #Conflicts: 349000 | #Constraints: 78409 1120.20/1124.04 c #Conflicts: 350000 | #Constraints: 79409 1120.20/1124.04 c #Conflicts: 351000 | #Constraints: 80409 1120.20/1124.04 c INPROCESSING 1120.20/1124.04 c GARBAGE COLLECT 1120.20/1124.04 c rational objective 17.4209 1303.40/1307.89 c #Conflicts: 352000 | #Constraints: 50438 1303.40/1307.89 c #Conflicts: 353000 | #Constraints: 51438 1303.40/1307.89 c #Conflicts: 354000 | #Constraints: 52438 1303.40/1307.89 c #Conflicts: 355000 | #Constraints: 53438 1303.40/1307.89 c #Conflicts: 356000 | #Constraints: 54438 1303.40/1307.89 c #Conflicts: 357000 | #Constraints: 55438 1303.40/1307.89 c #Conflicts: 358000 | #Constraints: 56438 1303.40/1307.89 c #Conflicts: 359000 | #Constraints: 57438 1303.40/1307.89 c #Conflicts: 360000 | #Constraints: 58438 1303.40/1307.89 c bounds - >= 57 @ 1204.48 1303.40/1307.89 c #Conflicts: 361000 | #Constraints: 59446 1303.40/1307.89 c #Conflicts: 362000 | #Constraints: 60446 1303.40/1307.89 c #Conflicts: 363000 | #Constraints: 61446 1303.40/1307.89 c #Conflicts: 364000 | #Constraints: 62446 1303.40/1307.89 c #Conflicts: 365000 | #Constraints: 63446 1303.40/1307.89 c #Conflicts: 366000 | #Constraints: 64446 1303.40/1307.89 c #Conflicts: 367000 | #Constraints: 65446 1303.40/1307.89 c INPROCESSING 1303.40/1307.89 c GARBAGE COLLECT 1303.40/1307.89 c rational objective 17.4209 1469.24/1474.21 c #Conflicts: 368000 | #Constraints: 46526 1469.24/1474.21 c #Conflicts: 369000 | #Constraints: 47526 1469.24/1474.21 c #Conflicts: 370000 | #Constraints: 48526 1469.24/1474.21 c #Conflicts: 371000 | #Constraints: 49526 1469.24/1474.21 c #Conflicts: 372000 | #Constraints: 50526 1469.24/1474.21 c #Conflicts: 373000 | #Constraints: 51526 1469.24/1474.21 c #Conflicts: 374000 | #Constraints: 52526 1469.24/1474.21 c #Conflicts: 375000 | #Constraints: 53526 1469.24/1474.21 c #Conflicts: 376000 | #Constraints: 54526 1469.24/1474.21 c #Conflicts: 377000 | #Constraints: 55526 1469.24/1474.21 c #Conflicts: 378000 | #Constraints: 56526 1469.24/1474.21 c #Conflicts: 379000 | #Constraints: 57526 1469.24/1474.21 c #Conflicts: 380000 | #Constraints: 58526 1469.24/1474.21 c #Conflicts: 381000 | #Constraints: 59526 1469.24/1474.21 c #Conflicts: 382000 | #Constraints: 60526 1469.24/1474.21 c #Conflicts: 383000 | #Constraints: 61526 1469.24/1474.21 c #Conflicts: 384000 | #Constraints: 62526 1469.24/1474.21 c #Conflicts: 385000 | #Constraints: 63526 1469.24/1474.21 c #Conflicts: 386000 | #Constraints: 64526 1469.24/1474.21 c #Conflicts: 387000 | #Constraints: 65526 1469.24/1474.21 c #Conflicts: 388000 | #Constraints: 66526 1469.24/1474.21 c #Conflicts: 389000 | #Constraints: 67526 1469.24/1474.21 c #Conflicts: 390000 | #Constraints: 68526 1469.24/1474.21 c #Conflicts: 391000 | #Constraints: 69526 1469.24/1474.21 c #Conflicts: 392000 | #Constraints: 70526 1469.24/1474.21 c #Conflicts: 393000 | #Constraints: 71526 1469.24/1474.21 c #Conflicts: 394000 | #Constraints: 72526 1469.24/1474.21 c #Conflicts: 395000 | #Constraints: 73526 1469.24/1474.21 c #Conflicts: 396000 | #Constraints: 74526 1469.24/1474.21 c #Conflicts: 397000 | #Constraints: 75526 1469.24/1474.21 c #Conflicts: 398000 | #Constraints: 76526 1469.24/1474.21 c #Conflicts: 399000 | #Constraints: 77526 1469.24/1474.21 c #Conflicts: 400000 | #Constraints: 78526 1469.24/1474.21 c #Conflicts: 401000 | #Constraints: 79526 1469.24/1474.21 c #Conflicts: 402000 | #Constraints: 80526 1469.24/1474.21 c #Conflicts: 403000 | #Constraints: 81526 1469.24/1474.21 c #Conflicts: 404000 | #Constraints: 82526 1469.24/1474.21 c #Conflicts: 405000 | #Constraints: 83526 1469.24/1474.21 c #Conflicts: 406000 | #Constraints: 84526 1469.24/1474.21 c #Conflicts: 407000 | #Constraints: 85526 1469.24/1474.21 c #Conflicts: 408000 | #Constraints: 86526 1469.24/1474.21 c INPROCESSING 1469.24/1474.21 c GARBAGE COLLECT 1469.24/1474.21 c rational objective 17.4213 1694.69/1700.45 c #Conflicts: 409000 | #Constraints: 53035 1694.69/1700.45 c #Conflicts: 410000 | #Constraints: 54035 1694.69/1700.45 c #Conflicts: 411000 | #Constraints: 55035 1694.69/1700.45 c #Conflicts: 412000 | #Constraints: 56035 1694.69/1700.45 c #Conflicts: 413000 | #Constraints: 57035 1694.69/1700.45 c #Conflicts: 414000 | #Constraints: 58035 1694.69/1700.45 c #Conflicts: 415000 | #Constraints: 59035 1694.69/1700.45 c #Conflicts: 416000 | #Constraints: 60035 1694.69/1700.45 c #Conflicts: 417000 | #Constraints: 61035 1694.69/1700.45 c #Conflicts: 418000 | #Constraints: 62035 1694.69/1700.45 c #Conflicts: 419000 | #Constraints: 63035 1694.69/1700.45 c #Conflicts: 420000 | #Constraints: 64035 1694.69/1700.45 c #Conflicts: 421000 | #Constraints: 65035 1694.69/1700.45 c #Conflicts: 422000 | #Constraints: 66035 1694.69/1700.45 c bounds - >= 58 @ 1638.54 1694.69/1700.45 c #Conflicts: 423000 | #Constraints: 67043 1694.69/1700.45 c #Conflicts: 424000 | #Constraints: 68043 1694.69/1700.45 c #Conflicts: 425000 | #Constraints: 69043 1694.69/1700.45 c #Conflicts: 426000 | #Constraints: 70043 1694.69/1700.45 c INPROCESSING 1694.69/1700.45 c GARBAGE COLLECT 1694.69/1700.45 c rational objective 17.4219 2100.02/2107.07 c #Conflicts: 427000 | #Constraints: 49910 2100.02/2107.07 c #Conflicts: 428000 | #Constraints: 50910 2100.02/2107.07 c #Conflicts: 429000 | #Constraints: 51910 2100.02/2107.07 c #Conflicts: 430000 | #Constraints: 52910 2100.02/2107.07 c #Conflicts: 431000 | #Constraints: 53910 2100.02/2107.07 c #Conflicts: 432000 | #Constraints: 54910 2100.02/2107.07 c #Conflicts: 433000 | #Constraints: 55910 2100.02/2107.07 c #Conflicts: 434000 | #Constraints: 56910 2100.02/2107.07 c #Conflicts: 435000 | #Constraints: 57910 2100.02/2107.07 c #Conflicts: 436000 | #Constraints: 58910 2100.02/2107.07 c #Conflicts: 437000 | #Constraints: 59910 2100.02/2107.07 c #Conflicts: 438000 | #Constraints: 60910 2100.02/2107.07 c #Conflicts: 439000 | #Constraints: 61910 2100.02/2107.07 c #Conflicts: 440000 | #Constraints: 62910 2100.02/2107.07 c #Conflicts: 441000 | #Constraints: 63910 2100.02/2107.07 c #Conflicts: 442000 | #Constraints: 64910 2100.02/2107.07 c #Conflicts: 443000 | #Constraints: 65910 2100.02/2107.07 c #Conflicts: 444000 | #Constraints: 66910 2100.02/2107.07 c #Conflicts: 445000 | #Constraints: 67910 2100.02/2107.07 c #Conflicts: 446000 | #Constraints: 68910 2100.02/2107.07 c #Conflicts: 447000 | #Constraints: 69910 2100.02/2107.07 c #Conflicts: 448000 | #Constraints: 70910 2100.02/2107.07 c #Conflicts: 449000 | #Constraints: 71910 2100.02/2107.07 c #Conflicts: 450000 | #Constraints: 72910 2100.02/2107.07 c bounds - >= 59 @ 1983.15 2100.02/2107.07 c #Conflicts: 451000 | #Constraints: 73915 2100.02/2107.07 c #Conflicts: 452000 | #Constraints: 74915 2100.02/2107.07 c #Conflicts: 453000 | #Constraints: 75915 2100.02/2107.07 c #Conflicts: 454000 | #Constraints: 76915 2100.02/2107.07 c #Conflicts: 455000 | #Constraints: 77915 2100.02/2107.07 c #Conflicts: 456000 | #Constraints: 78915 2100.02/2107.07 c #Conflicts: 457000 | #Constraints: 79915 2100.02/2107.07 c #Conflicts: 458000 | #Constraints: 80915 2100.02/2107.07 c #Conflicts: 459000 | #Constraints: 81915 2100.02/2107.07 c #Conflicts: 460000 | #Constraints: 82915 2100.02/2107.07 c #Conflicts: 461000 | #Constraints: 83915 2100.02/2107.07 c #Conflicts: 462000 | #Constraints: 84915 2100.02/2107.07 c #Conflicts: 463000 | #Constraints: 85915 2100.02/2107.07 c #Conflicts: 464000 | #Constraints: 86915 2100.02/2107.07 c #Conflicts: 465000 | #Constraints: 87915 2100.02/2107.07 c #Conflicts: 466000 | #Constraints: 88915 2100.02/2107.07 c #Conflicts: 467000 | #Constraints: 89915 2100.02/2107.07 c #Conflicts: 468000 | #Constraints: 90915 2100.02/2107.07 c #Conflicts: 469000 | #Constraints: 91915 2100.02/2107.07 c #Conflicts: 470000 | #Constraints: 92915 2100.02/2107.07 c #Conflicts: 471000 | #Constraints: 93915 2100.02/2107.07 c INPROCESSING 2100.02/2107.07 c GARBAGE COLLECT 2100.02/2107.07 c rational objective 17.4219 2363.45/2371.32 c #Conflicts: 472000 | #Constraints: 57064 2363.45/2371.32 c #Conflicts: 473000 | #Constraints: 58064 2363.45/2371.32 c #Conflicts: 474000 | #Constraints: 59064 2363.45/2371.32 c #Conflicts: 475000 | #Constraints: 60064 2363.45/2371.32 c #Conflicts: 476000 | #Constraints: 61064 2363.45/2371.32 c #Conflicts: 477000 | #Constraints: 62064 2363.45/2371.32 c #Conflicts: 478000 | #Constraints: 63064 2363.45/2371.32 c #Conflicts: 479000 | #Constraints: 64064 2363.45/2371.32 c #Conflicts: 480000 | #Constraints: 65064 2363.45/2371.32 c #Conflicts: 481000 | #Constraints: 66064 2363.45/2371.32 c #Conflicts: 482000 | #Constraints: 67064 2363.45/2371.32 c #Conflicts: 483000 | #Constraints: 68064 2363.45/2371.32 c #Conflicts: 484000 | #Constraints: 69064 2363.45/2371.32 c #Conflicts: 485000 | #Constraints: 70064 2363.45/2371.32 c #Conflicts: 486000 | #Constraints: 71064 2363.45/2371.32 c #Conflicts: 487000 | #Constraints: 72064 2363.45/2371.32 c #Conflicts: 488000 | #Constraints: 73064 2363.45/2371.32 c #Conflicts: 489000 | #Constraints: 74064 2363.45/2371.32 c #Conflicts: 490000 | #Constraints: 75064 2363.45/2371.32 c #Conflicts: 491000 | #Constraints: 76064 2363.45/2371.32 c #Conflicts: 492000 | #Constraints: 77064 2363.45/2371.32 c #Conflicts: 493000 | #Constraints: 78064 2363.45/2371.32 c #Conflicts: 494000 | #Constraints: 79064 2363.45/2371.32 c #Conflicts: 495000 | #Constraints: 80064 2363.45/2371.32 c #Conflicts: 496000 | #Constraints: 81064 2363.45/2371.32 c #Conflicts: 497000 | #Constraints: 82064 2363.45/2371.32 c #Conflicts: 498000 | #Constraints: 83064 2363.45/2371.32 c #Conflicts: 499000 | #Constraints: 84064 2363.45/2371.32 c #Conflicts: 500000 | #Constraints: 85064 2363.45/2371.32 c #Conflicts: 501000 | #Constraints: 86064 2363.45/2371.32 c #Conflicts: 502000 | #Constraints: 87064 2363.45/2371.32 c #Conflicts: 503000 | #Constraints: 88064 2363.45/2371.32 c #Conflicts: 504000 | #Constraints: 89064 2363.45/2371.32 c #Conflicts: 505000 | #Constraints: 90064 2363.45/2371.32 c #Conflicts: 506000 | #Constraints: 91064 2363.45/2371.32 c #Conflicts: 507000 | #Constraints: 92064 2363.45/2371.32 c #Conflicts: 508000 | #Constraints: 93064 2363.45/2371.32 c #Conflicts: 509000 | #Constraints: 94064 2363.45/2371.32 c #Conflicts: 510000 | #Constraints: 95064 2363.45/2371.32 c #Conflicts: 511000 | #Constraints: 96064 2363.45/2371.32 c #Conflicts: 512000 | #Constraints: 97064 2363.45/2371.32 c #Conflicts: 513000 | #Constraints: 98064 2363.45/2371.32 c #Conflicts: 514000 | #Constraints: 99064 2363.45/2371.32 c #Conflicts: 515000 | #Constraints: 100064 2363.45/2371.32 c #Conflicts: 516000 | #Constraints: 101064 2363.45/2371.32 c #Conflicts: 517000 | #Constraints: 102064 2363.45/2371.32 c INPROCESSING 2363.45/2371.32 c GARBAGE COLLECT 2363.45/2371.32 c rational objective 17.4219 2684.36/2693.19 c #Conflicts: 518000 | #Constraints: 60816 2684.36/2693.19 c #Conflicts: 519000 | #Constraints: 61816 2684.36/2693.19 c #Conflicts: 520000 | #Constraints: 62816 2684.36/2693.19 c #Conflicts: 521000 | #Constraints: 63816 2684.36/2693.19 c #Conflicts: 522000 | #Constraints: 64816 2684.36/2693.19 c #Conflicts: 523000 | #Constraints: 65816 2684.36/2693.19 c #Conflicts: 524000 | #Constraints: 66816 2684.36/2693.19 c #Conflicts: 525000 | #Constraints: 67816 2684.36/2693.19 c #Conflicts: 526000 | #Constraints: 68816 2684.36/2693.19 c #Conflicts: 527000 | #Constraints: 69816 2684.36/2693.19 c #Conflicts: 528000 | #Constraints: 70816 2684.36/2693.19 c #Conflicts: 529000 | #Constraints: 71816 2684.36/2693.19 c #Conflicts: 530000 | #Constraints: 72816 2684.36/2693.19 c #Conflicts: 531000 | #Constraints: 73816 2684.36/2693.19 c #Conflicts: 532000 | #Constraints: 74816 2684.36/2693.19 c #Conflicts: 533000 | #Constraints: 75816 2684.36/2693.19 c #Conflicts: 534000 | #Constraints: 76816 2684.36/2693.19 c #Conflicts: 535000 | #Constraints: 77816 2684.36/2693.19 c #Conflicts: 536000 | #Constraints: 78816 2684.36/2693.19 c #Conflicts: 537000 | #Constraints: 79816 2684.36/2693.19 c INPROCESSING 2684.36/2693.19 c GARBAGE COLLECT 2684.36/2693.19 c rational objective 17.4219 2964.01/2973.61 c #Conflicts: 538000 | #Constraints: 57799 2964.01/2973.61 c #Conflicts: 539000 | #Constraints: 58799 2964.01/2973.61 c #Conflicts: 540000 | #Constraints: 59799 2964.01/2973.61 c #Conflicts: 541000 | #Constraints: 60799 2964.01/2973.61 c #Conflicts: 542000 | #Constraints: 61799 2964.01/2973.61 c #Conflicts: 543000 | #Constraints: 62799 2964.01/2973.61 c #Conflicts: 544000 | #Constraints: 63799 2964.01/2973.61 c #Conflicts: 545000 | #Constraints: 64799 2964.01/2973.61 c #Conflicts: 546000 | #Constraints: 65799 2964.01/2973.61 c #Conflicts: 547000 | #Constraints: 66799 2964.01/2973.61 c #Conflicts: 548000 | #Constraints: 67799 2964.01/2973.61 c #Conflicts: 549000 | #Constraints: 68799 2964.01/2973.61 c #Conflicts: 550000 | #Constraints: 69799 2964.01/2973.61 c #Conflicts: 551000 | #Constraints: 70799 2964.01/2973.61 c #Conflicts: 552000 | #Constraints: 71799 2964.01/2973.61 c #Conflicts: 553000 | #Constraints: 72799 2964.01/2973.61 c #Conflicts: 554000 | #Constraints: 73799 2964.01/2973.61 c #Conflicts: 555000 | #Constraints: 74799 2964.01/2973.61 c #Conflicts: 556000 | #Constraints: 75799 2964.01/2973.61 c #Conflicts: 557000 | #Constraints: 76799 2964.01/2973.61 c #Conflicts: 558000 | #Constraints: 77799 2964.01/2973.61 c #Conflicts: 559000 | #Constraints: 78799 2964.01/2973.61 c #Conflicts: 560000 | #Constraints: 79799 2964.01/2973.61 c #Conflicts: 561000 | #Constraints: 80799 2964.01/2973.61 c #Conflicts: 562000 | #Constraints: 81799 2964.01/2973.61 c #Conflicts: 563000 | #Constraints: 82799 2964.01/2973.61 c #Conflicts: 564000 | #Constraints: 83799 2964.01/2973.61 c #Conflicts: 565000 | #Constraints: 84799 2964.01/2973.61 c #Conflicts: 566000 | #Constraints: 85799 2964.01/2973.61 c #Conflicts: 567000 | #Constraints: 86799 2964.01/2973.61 c #Conflicts: 568000 | #Constraints: 87799 2964.01/2973.61 c #Conflicts: 569000 | #Constraints: 88799 2964.01/2973.61 c #Conflicts: 570000 | #Constraints: 89799 2964.01/2973.61 c #Conflicts: 571000 | #Constraints: 90799 2964.01/2973.61 c #Conflicts: 572000 | #Constraints: 91799 2964.01/2973.61 c #Conflicts: 573000 | #Constraints: 92799 2964.01/2973.61 c #Conflicts: 574000 | #Constraints: 93799 2964.01/2973.61 c #Conflicts: 575000 | #Constraints: 94799 2964.01/2973.61 c #Conflicts: 576000 | #Constraints: 95799 2964.01/2973.61 c #Conflicts: 577000 | #Constraints: 96799 2964.01/2973.61 c #Conflicts: 578000 | #Constraints: 97799 2964.01/2973.61 c #Conflicts: 579000 | #Constraints: 98799 2964.01/2973.61 c #Conflicts: 580000 | #Constraints: 99799 2964.01/2973.61 c #Conflicts: 581000 | #Constraints: 100799 2964.01/2973.61 c #Conflicts: 582000 | #Constraints: 101799 2964.01/2973.61 c #Conflicts: 583000 | #Constraints: 102799 2964.01/2973.61 c #Conflicts: 584000 | #Constraints: 103799 2964.01/2973.61 c #Conflicts: 585000 | #Constraints: 104799 2964.01/2973.61 c #Conflicts: 586000 | #Constraints: 105799 2964.01/2973.61 c #Conflicts: 587000 | #Constraints: 106799 2964.01/2973.61 c INPROCESSING 2964.01/2973.61 c GARBAGE COLLECT 2964.01/2973.61 c rational objective 17.4219 3344.91/3355.72 c #Conflicts: 588000 | #Constraints: 63399 3344.91/3355.72 c #Conflicts: 589000 | #Constraints: 64399 3344.91/3355.72 c #Conflicts: 590000 | #Constraints: 65399 3344.91/3355.72 c #Conflicts: 591000 | #Constraints: 66399 3344.91/3355.72 c #Conflicts: 592000 | #Constraints: 67399 3344.91/3355.72 c #Conflicts: 593000 | #Constraints: 68399 3344.91/3355.72 c #Conflicts: 594000 | #Constraints: 69399 3344.91/3355.72 c #Conflicts: 595000 | #Constraints: 70399 3344.91/3355.72 c #Conflicts: 596000 | #Constraints: 71399 3344.91/3355.72 c #Conflicts: 597000 | #Constraints: 72399 3344.91/3355.72 c bounds - >= 60 @ 3117.34 3344.91/3355.72 c #Conflicts: 598000 | #Constraints: 73404 3344.91/3355.72 c #Conflicts: 599000 | #Constraints: 74404 3344.91/3355.72 c #Conflicts: 600000 | #Constraints: 75404 3344.91/3355.72 c #Conflicts: 601000 | #Constraints: 76404 3344.91/3355.72 c #Conflicts: 602000 | #Constraints: 77404 3344.91/3355.72 c #Conflicts: 603000 | #Constraints: 78404 3344.91/3355.72 c #Conflicts: 604000 | #Constraints: 79404 3344.91/3355.72 c #Conflicts: 605000 | #Constraints: 80404 3344.91/3355.72 c #Conflicts: 606000 | #Constraints: 81404 3344.91/3355.72 c #Conflicts: 607000 | #Constraints: 82404 3344.91/3355.72 c #Conflicts: 608000 | #Constraints: 83404 3344.91/3355.72 c INPROCESSING 3344.91/3355.72 c GARBAGE COLLECT 3344.91/3355.72 c rational objective 17.4219 3600.05/3611.70 c #Conflicts: 609000 | #Constraints: 61905 3600.05/3611.70 c #Conflicts: 610000 | #Constraints: 62905 3600.05/3611.70 c #Conflicts: 611000 | #Constraints: 63905 3600.05/3611.70 c #Conflicts: 612000 | #Constraints: 64905 3600.05/3611.70 c #Conflicts: 613000 | #Constraints: 65905 3600.05/3611.70 c #Conflicts: 614000 | #Constraints: 66905 3600.05/3611.70 c #Conflicts: 615000 | #Constraints: 67905 3600.05/3611.70 c #Conflicts: 616000 | #Constraints: 68905 3600.05/3611.70 c #Conflicts: 617000 | #Constraints: 69905 3600.05/3611.70 c #Conflicts: 618000 | #Constraints: 70905 3600.05/3611.70 c #Conflicts: 619000 | #Constraints: 71905 3600.05/3611.70 c #Conflicts: 620000 | #Constraints: 72905 3600.05/3611.70 c #Conflicts: 621000 | #Constraints: 73905 3600.05/3611.70 c #Conflicts: 622000 | #Constraints: 74905 3600.05/3611.70 c #Conflicts: 623000 | #Constraints: 75905 3600.05/3611.70 c #Conflicts: 624000 | #Constraints: 76905 3600.05/3611.70 c #Conflicts: 625000 | #Constraints: 77905 3600.05/3611.70 c #Conflicts: 626000 | #Constraints: 78905 3600.05/3611.70 c #Conflicts: 627000 | #Constraints: 79905 3600.05/3611.70 c #Conflicts: 628000 | #Constraints: 80905 3600.05/3611.70 c #Conflicts: 629000 | #Constraints: 81905 3600.05/3611.70 c #Conflicts: 630000 | #Constraints: 82905 3600.05/3611.70 c #Conflicts: 631000 | #Constraints: 83905 3600.05/3611.70 c #Conflicts: 632000 | #Constraints: 84905 3600.05/3611.70 c #Conflicts: 633000 | #Constraints: 85905 3600.05/3611.70 c #Conflicts: 634000 | #Constraints: 86905 3600.05/3611.70 c #Conflicts: 635000 | #Constraints: 87905 3600.05/3611.70 c #Conflicts: 636000 | #Constraints: 88905 3600.05/3611.70 c #Conflicts: 637000 | #Constraints: 89905 3600.05/3611.70 c #Conflicts: 638000 | #Constraints: 90905 3600.05/3611.70 c #Conflicts: 639000 | #Constraints: 91905 3600.05/3611.70 c #Conflicts: 640000 | #Constraints: 92905 3600.05/3611.70 c #Conflicts: 641000 | #Constraints: 93905 3600.05/3611.70 c #Conflicts: 642000 | #Constraints: 94905 3600.05/3611.70 c #Conflicts: 643000 | #Constraints: 95905 3600.05/3611.70 c #Conflicts: 644000 | #Constraints: 96905 3600.05/3611.70 c #Conflicts: 645000 | #Constraints: 97905 3600.05/3611.70 c #Conflicts: 646000 | #Constraints: 98905 3600.05/3611.70 c #Conflicts: 647000 | #Constraints: 99905 3600.05/3611.70 c #Conflicts: 648000 | #Constraints: 100905 3600.05/3611.70 c #Conflicts: 649000 | #Constraints: 101905 3600.05/3611.70 c #Conflicts: 650000 | #Constraints: 102905 3600.05/3611.70 c Program interrupted by user.
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: 64059 MiB (63463 MiB free)
memory of node 1: 64510 MiB (63871 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462590-1722340768/watcher-4462590-1722340768 -o /tmp/evaluation-result-4462590-1722340768/solver-4462590-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462590-1722340768 --lp-cut-gomory=0 HOME/instance-4462590-1722340768.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=7545, runsolver pid=7541
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 0.48 0.18 0.12 4/244 7566
/proc/meminfo: memFree=130374424/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=39528 memory=8744 CPUtime=0.1 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 1023 0 0 0 9 1 0 0 20 0 1 0 673677 40476672 2186 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 9882 2186 1360 992 0 1740 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39528 KiB
Current children cumulated memory: 8744 KiB
[startup+0.213435 s]*
/proc/loadavg: 0.48 0.18 0.12 5/243 7569
/proc/meminfo: memFree=130361012/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=39816 memory=11320 CPUtime=0.22 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 1160 0 0 0 20 2 0 0 20 0 1 0 673677 40771584 2830 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 9954 2830 1360 992 0 1812 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 11320 KiB
[startup+0.312649 s]*
/proc/loadavg: 0.48 0.18 0.12 5/243 7580
/proc/meminfo: memFree=130341088/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=40232 memory=11828 CPUtime=0.31 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 1247 0 0 0 29 2 0 0 20 0 1 0 673677 41197568 2957 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 10058 2957 1360 992 0 1916 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 11828 KiB
[startup+0.700351 s]
/proc/loadavg: 0.48 0.18 0.12 5/241 7598
/proc/meminfo: memFree=130336964/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=92908 memory=65124 CPUtime=0.69 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 15642 0 0 0 60 9 0 0 20 0 1 0 673677 95137792 16281 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 23227 16281 1694 992 0 15085 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92908 KiB
Current children cumulated memory: 65124 KiB
[startup+1.5003 s]
/proc/loadavg: 0.48 0.18 0.12 5/246 7613
/proc/meminfo: memFree=130247524/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=98392 memory=70344 CPUtime=1.48 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 18344 0 0 0 137 11 0 0 20 0 1 0 673677 100753408 17586 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 24598 17586 1758 992 0 16456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 70344 KiB
[startup+3.11291 s]
/proc/loadavg: 0.48 0.18 0.12 5/246 7615
/proc/meminfo: memFree=129959944/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=98392 memory=71480 CPUtime=3.09 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 18498 0 0 0 295 14 0 0 20 0 1 0 673677 100753408 17870 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 24598 17870 1851 992 0 16456 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 71480 KiB
[startup+6.30026 s]
/proc/loadavg: 0.77 0.24 0.14 5/246 7662
/proc/meminfo: memFree=129819456/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=110884 memory=81308 CPUtime=6.27 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 20114 0 0 0 606 21 0 0 20 0 1 0 673677 113545216 20327 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 27721 20327 1867 992 0 19579 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 110884 KiB
Current children cumulated memory: 81308 KiB
[startup+12.7003 s]
/proc/loadavg: 1.11 0.32 0.16 5/246 7663
/proc/meminfo: memFree=129028364/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=143064 memory=110516 CPUtime=12.65 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 22087 0 0 0 1234 31 0 0 20 0 1 0 673677 146497536 27629 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 35766 27629 1867 992 0 27624 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143064 KiB
Current children cumulated memory: 110516 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 0.50 0.23 5/247 7666
/proc/meminfo: memFree=128155388/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=160236 memory=127188 CPUtime=25.42 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 22772 0 0 0 2490 52 0 0 20 0 1 0 673677 164081664 31797 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 40059 31797 1867 992 0 31917 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 160236 KiB
Current children cumulated memory: 127188 KiB
[startup+51.113 s]
/proc/loadavg: 2.65 0.81 0.34 5/249 7673
/proc/meminfo: memFree=126583444/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=160236 memory=127576 CPUtime=50.93 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 22892 0 0 0 5004 89 0 0 20 0 1 0 673677 164081664 31894 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 40059 31894 1867 992 0 31917 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 160236 KiB
Current children cumulated memory: 127576 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.32 0.54 5/249 7696
/proc/meminfo: memFree=125552604/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=167284 memory=132792 CPUtime=101.95 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 23276 0 0 0 10059 136 0 0 20 0 1 0 673677 171298816 33198 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 41821 33198 1867 992 0 33679 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 167284 KiB
Current children cumulated memory: 132792 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.83 0.76 5/249 7706
/proc/meminfo: memFree=123992640/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=171204 memory=137872 CPUtime=161.74 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 24110 0 0 0 15978 196 0 0 20 0 1 0 673677 175312896 34468 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 42801 34468 1867 992 0 34659 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 171204 KiB
Current children cumulated memory: 137872 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.26 0.98 5/249 7717
/proc/meminfo: memFree=122049244/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=182880 memory=139084 CPUtime=221.52 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 24439 0 0 0 21907 245 0 0 20 0 1 0 673677 187269120 34771 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 45720 34771 1867 992 0 37578 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 182880 KiB
Current children cumulated memory: 139084 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.60 1.18 5/248 7727
/proc/meminfo: memFree=120598124/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=193804 memory=150696 CPUtime=281.3 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 28332 0 0 0 27839 291 0 0 20 0 1 0 673677 198455296 37674 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 48451 37674 1867 992 0 40309 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 193804 KiB
Current children cumulated memory: 150696 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 2.89 1.37 5/245 7737
/proc/meminfo: memFree=119193620/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=205272 memory=162432 CPUtime=341.07 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 30827 0 0 0 33770 337 0 0 20 0 1 0 673677 210198528 40608 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 51318 40608 1867 992 0 43176 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 205272 KiB
Current children cumulated memory: 162432 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.13 1.55 5/242 7748
/proc/meminfo: memFree=118418672/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=221236 memory=178396 CPUtime=400.85 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 34061 0 0 0 39710 375 0 0 20 0 1 0 673677 226545664 44599 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 55309 44599 1867 992 0 47167 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 221236 KiB
Current children cumulated memory: 178396 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.32 1.71 5/242 7758
/proc/meminfo: memFree=116011664/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=221236 memory=180444 CPUtime=460.64 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 34615 0 1 0 45649 415 0 0 20 0 1 0 673677 226545664 45111 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 55309 45111 1867 992 0 47167 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.23 4.25 4.15 5/248 8881
/proc/meminfo: memFree=69136152/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3092.32 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 55086 0 1 0 307867 1365 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3092.32 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.25 4.16 5/248 8891
/proc/meminfo: memFree=68678584/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3152.15 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 55131 0 1 0 313841 1374 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3152.15 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.22 4.15 5/248 8903
/proc/meminfo: memFree=67639504/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3211.93 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 55177 0 1 0 319805 1388 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.22 4.16 5/249 8919
/proc/meminfo: memFree=66076020/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3271.73 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 55264 0 1 0 325772 1401 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/250 8930
/proc/meminfo: memFree=65117864/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3331.54 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 55289 0 1 0 331743 1411 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3331.54 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.15 5/250 9325
/proc/meminfo: memFree=63222052/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3391.32 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 56665 0 1 0 337697 1435 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.16 5/250 9335
/proc/meminfo: memFree=62435700/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3451.13 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 56743 0 1 0 343655 1458 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3451.13 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/250 9346
/proc/meminfo: memFree=61939012/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3510.96 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 56838 0 1 0 349618 1478 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3510.96 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/251 9525
/proc/meminfo: memFree=60079664/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3570.77 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 56898 0 1 0 355579 1498 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3570.77 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.09 4.15 4.15 4/247 9531
/proc/meminfo: memFree=58689968/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3600.05 cores=5,7
/proc/7545/stat : 7545 (roundingsat) R 7541 7545 7348 0 -1 4194304 56899 0 1 0 358495 1510 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.71 s]
# the end of solver process 7545 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.96 s, system=15.113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.09 4.15 4.15 3/247 9532
/proc/meminfo: memFree=58645396/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3600.05 cores=5,7
/proc/7545/stat : 7545 (roundingsat) D 7541 7545 7348 0 -1 4194304 56902 0 1 0 358495 1510 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 138 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3613.2 s]
/proc/loadavg: 4.09 4.15 4.15 2/247 9532
/proc/meminfo: memFree=58627924/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3600.05 cores=5,7
/proc/7545/stat : 7545 (roundingsat) D 7541 7545 7348 0 -1 4194304 56902 0 1 0 358495 1510 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 138 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3613.6 s]
/proc/loadavg: 4.09 4.15 4.15 2/247 9532
/proc/meminfo: memFree=58627924/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3600.05 cores=5,7
/proc/7545/stat : 7545 (roundingsat) D 7541 7545 7348 0 -1 4194304 56902 0 1 0 358495 1510 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 1 0 0 17 5 0 0 243 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
[startup+3613.7 s]
/proc/loadavg: 4.09 4.15 4.15 2/247 9532
/proc/meminfo: memFree=58627924/131655788 swapFree=131071996/131071996
[pid=7545] ppid=7541 vsize=312216 memory=273376 CPUtime=3600.05 cores=5,7
/proc/7545/stat : 7545 (roundingsat) D 7541 7545 7348 0 -1 4194304 56902 0 1 0 358495 1510 0 0 20 0 1 0 673677 319709184 68344 134679101440 4194304 8255733 140734708827280 0 0 0 0 0 25182210 1 0 0 17 5 0 0 243 0 0 9037040 9046032 31055872 140734708831074 140734708831336 140734708831336 140734708838345 0
/proc/7545/statm: 78054 68344 1935 992 0 69912 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312216 KiB
Current children cumulated memory: 273376 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.71
CPU time (s): 3600.07
CPU user time (s): 3584.96
CPU system time (s): 15.113
CPU usage (%): 99.6226
Max. virtual memory (cumulated for all children) (KiB): 353604
Max. memory (cumulated for all children) (KiB): 314572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.96
system time used= 15.113
maximum resident set size= 314572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56902
page faults= 1
swaps= 0
block input operations= 224
block output operations= 647264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 4826
# summary of solver processes directly reported to runsolver:
# pid: 7545
# total CPU time (s): 3600.07
# total CPU user time (s): 3584.96
# total CPU system time (s): 15.113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.644 second user time and 34.4691 second system time
The end
Begin job on nodeC010 at 2024-07-30 13:59:28 IDJOB=4462590 IDBENCH=147625 IDSOLVER=3089 FILE ID=nodeC010/4462590-1722340768 RUNJOBID= nodeC010-1722340763-7361 SLURM_JOB_ID= 8248990 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462590-1722340768/watcher-4462590-1722340768 -o /tmp/evaluation-result-4462590-1722340768/solver-4462590-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462590-1722340768 --lp-cut-gomory=0 HOME/instance-4462590-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a RANDOM SEED=52205761 nodeC010.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 : 0xb00001f cpu MHz : 1197.166 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21 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 : 0xb00001f cpu MHz : 1197.186 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33 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 : 0xb00001f cpu MHz : 1197.139 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21 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 : 0xb00001f cpu MHz : 1197.218 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33 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 : 0xb00001f cpu MHz : 3491.609 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21 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 : 0xb00001f cpu MHz : 1197.145 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33 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 : 0xb00001f cpu MHz : 1197.338 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21 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 : 0xb00001f cpu MHz : 1197.126 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130398936 kB MemAvailable: 130006252 kB Buffers: 38272 kB Cached: 400396 kB SwapCached: 0 kB Active: 135836 kB Inactive: 707412 kB Active(anon): 1912 kB Inactive(anon): 432180 kB Active(file): 133924 kB Inactive(file): 275232 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 107808 kB Writeback: 0 kB AnonPages: 404616 kB Mapped: 95328 kB Shmem: 29504 kB KReclaimable: 42108 kB Slab: 115740 kB SReclaimable: 42108 kB SUnreclaim: 73632 kB KernelStack: 3792 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 767824 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6336 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 146248 kB DirectMap2M: 8146944 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 723740 MiB End job on nodeC010 at 2024-07-30 14:59:42