| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.05 | 3613.52 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K197.opb |
| MD5SUM | cd0a69270cffb0a3df5915a64d0aa68c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 34.2303 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 23443 |
| Total number of constraints | 23839 |
| Number of constraints which are clauses | 23642 |
| Number of constraints which are cardinality constraints (but not clauses) | 197 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 197 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 198 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.06/0.15 c #variables 23443 #constraints 23839 233.24/234.22 c #Conflicts: 1000 | #Constraints: 24838 233.24/234.22 c #Conflicts: 2000 | #Constraints: 25838 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 3000 | #Constraints: 25097 233.24/234.22 c #Conflicts: 4000 | #Constraints: 26097 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 5000 | #Constraints: 25612 233.24/234.22 c #Conflicts: 6000 | #Constraints: 26612 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 7000 | #Constraints: 25714 233.24/234.22 c #Conflicts: 8000 | #Constraints: 26714 233.24/234.22 c #Conflicts: 9000 | #Constraints: 27714 233.24/234.22 c #Conflicts: 10000 | #Constraints: 28714 233.24/234.22 c #Conflicts: 11000 | #Constraints: 29714 233.24/234.22 c #Conflicts: 12000 | #Constraints: 30714 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 13000 | #Constraints: 27735 233.24/234.22 c #Conflicts: 14000 | #Constraints: 28735 233.24/234.22 c #Conflicts: 15000 | #Constraints: 29735 233.24/234.22 c #Conflicts: 16000 | #Constraints: 30735 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 17000 | #Constraints: 28186 233.24/234.22 c #Conflicts: 18000 | #Constraints: 29186 233.24/234.22 c #Conflicts: 19000 | #Constraints: 30187 233.24/234.22 c #Conflicts: 20000 | #Constraints: 31187 233.24/234.22 c #Conflicts: 21000 | #Constraints: 32187 233.24/234.22 c #Conflicts: 22000 | #Constraints: 33187 233.24/234.22 c #Conflicts: 23000 | #Constraints: 34187 233.24/234.22 c #Conflicts: 24000 | #Constraints: 35187 233.24/234.22 c #Conflicts: 25000 | #Constraints: 36187 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 26000 | #Constraints: 30656 233.24/234.22 c #Conflicts: 27000 | #Constraints: 31656 233.24/234.22 c #Conflicts: 28000 | #Constraints: 32656 233.24/234.22 c #Conflicts: 29000 | #Constraints: 33656 233.24/234.22 c #Conflicts: 30000 | #Constraints: 34656 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 31000 | #Constraints: 30767 233.24/234.22 c #Conflicts: 32000 | #Constraints: 31767 233.24/234.22 c #Conflicts: 33000 | #Constraints: 32767 233.24/234.22 c #Conflicts: 34000 | #Constraints: 33767 233.24/234.22 c #Conflicts: 35000 | #Constraints: 34767 233.24/234.22 c #Conflicts: 36000 | #Constraints: 35768 233.24/234.22 c #Conflicts: 37000 | #Constraints: 36768 233.24/234.22 c #Conflicts: 38000 | #Constraints: 37768 233.24/234.22 c #Conflicts: 39000 | #Constraints: 38768 233.24/234.22 c #Conflicts: 40000 | #Constraints: 39768 233.24/234.22 c #Conflicts: 41000 | #Constraints: 40768 233.24/234.22 c #Conflicts: 42000 | #Constraints: 41768 233.24/234.22 c #Conflicts: 43000 | #Constraints: 42768 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 44000 | #Constraints: 34384 233.24/234.22 c #Conflicts: 45000 | #Constraints: 35384 233.24/234.22 c #Conflicts: 46000 | #Constraints: 36384 233.24/234.22 c #Conflicts: 47000 | #Constraints: 37384 233.24/234.22 c #Conflicts: 48000 | #Constraints: 38384 233.24/234.22 c #Conflicts: 49000 | #Constraints: 39384 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c #Conflicts: 50000 | #Constraints: 33454 233.24/234.22 c #Conflicts: 51000 | #Constraints: 34454 233.24/234.22 c #Conflicts: 52000 | #Constraints: 35454 233.24/234.22 c #Conflicts: 53000 | #Constraints: 36454 233.24/234.22 c #Conflicts: 54000 | #Constraints: 37454 233.24/234.22 c #Conflicts: 55000 | #Constraints: 38454 233.24/234.22 c #Conflicts: 56000 | #Constraints: 39454 233.24/234.22 c #Conflicts: 57000 | #Constraints: 40454 233.24/234.22 c #Conflicts: 58000 | #Constraints: 41454 233.24/234.22 c #Conflicts: 59000 | #Constraints: 42454 233.24/234.22 c #Conflicts: 60000 | #Constraints: 43454 233.24/234.22 c #Conflicts: 61000 | #Constraints: 44454 233.24/234.22 c #Conflicts: 62000 | #Constraints: 45454 233.24/234.22 c #Conflicts: 63000 | #Constraints: 46454 233.24/234.22 c #Conflicts: 64000 | #Constraints: 47454 233.24/234.22 c #Conflicts: 65000 | #Constraints: 48454 233.24/234.22 c INPROCESSING 233.24/234.22 c GARBAGE COLLECT 233.24/234.22 c rational objective 197 266.22/267.39 c #Conflicts: 66000 | #Constraints: 37384 266.22/267.39 c #Conflicts: 67000 | #Constraints: 38384 266.22/267.39 c #Conflicts: 68000 | #Constraints: 39384 266.22/267.39 c #Conflicts: 69000 | #Constraints: 40384 266.22/267.39 c #Conflicts: 70000 | #Constraints: 41384 266.22/267.39 c #Conflicts: 71000 | #Constraints: 42384 266.22/267.39 c #Conflicts: 72000 | #Constraints: 43384 266.22/267.39 c INPROCESSING 266.22/267.39 c GARBAGE COLLECT 266.22/267.39 c rational objective 197 322.00/323.30 c #Conflicts: 73000 | #Constraints: 36946 322.00/323.30 c #Conflicts: 74000 | #Constraints: 37946 322.00/323.30 c #Conflicts: 75000 | #Constraints: 38946 322.00/323.30 c #Conflicts: 76000 | #Constraints: 39946 322.00/323.30 c #Conflicts: 77000 | #Constraints: 40946 322.00/323.30 c #Conflicts: 78000 | #Constraints: 41946 322.00/323.30 c #Conflicts: 79000 | #Constraints: 42946 322.00/323.30 c #Conflicts: 80000 | #Constraints: 43946 322.00/323.30 c #Conflicts: 81000 | #Constraints: 44946 322.00/323.30 c #Conflicts: 82000 | #Constraints: 45946 322.00/323.30 c #Conflicts: 83000 | #Constraints: 46946 322.00/323.30 c #Conflicts: 84000 | #Constraints: 47946 322.00/323.30 c #Conflicts: 85000 | #Constraints: 48946 322.00/323.30 c #Conflicts: 86000 | #Constraints: 49946 322.00/323.30 c #Conflicts: 87000 | #Constraints: 50947 322.00/323.30 c #Conflicts: 88000 | #Constraints: 51948 322.00/323.30 c #Conflicts: 89000 | #Constraints: 52948 322.00/323.30 c #Conflicts: 90000 | #Constraints: 53948 322.00/323.30 c #Conflicts: 91000 | #Constraints: 54949 322.00/323.30 c INPROCESSING 322.00/323.30 c GARBAGE COLLECT 322.00/323.30 c rational objective 197 363.29/364.86 c #Conflicts: 92000 | #Constraints: 40744 363.29/364.86 c #Conflicts: 93000 | #Constraints: 41744 363.29/364.86 c #Conflicts: 94000 | #Constraints: 42744 363.29/364.86 c #Conflicts: 95000 | #Constraints: 43744 363.29/364.86 c #Conflicts: 96000 | #Constraints: 44744 363.29/364.86 c #Conflicts: 97000 | #Constraints: 45744 363.29/364.86 c #Conflicts: 98000 | #Constraints: 46744 363.29/364.86 c #Conflicts: 99000 | #Constraints: 47744 363.29/364.86 c #Conflicts: 100000 | #Constraints: 48744 363.29/364.86 c INPROCESSING 363.29/364.86 c GARBAGE COLLECT 363.29/364.86 c rational objective 197 403.11/404.85 c #Conflicts: 101000 | #Constraints: 40162 403.11/404.85 c #Conflicts: 102000 | #Constraints: 41162 403.11/404.85 c #Conflicts: 103000 | #Constraints: 42162 403.11/404.85 c #Conflicts: 104000 | #Constraints: 43162 403.11/404.85 c #Conflicts: 105000 | #Constraints: 44162 403.11/404.85 c #Conflicts: 106000 | #Constraints: 45162 403.11/404.85 c #Conflicts: 107000 | #Constraints: 46162 403.11/404.85 c #Conflicts: 108000 | #Constraints: 47162 403.11/404.85 c #Conflicts: 109000 | #Constraints: 48162 403.11/404.85 c #Conflicts: 110000 | #Constraints: 49162 403.11/404.85 c #Conflicts: 111000 | #Constraints: 50162 403.11/404.85 c #Conflicts: 112000 | #Constraints: 51162 403.11/404.85 c #Conflicts: 113000 | #Constraints: 52162 403.11/404.85 c #Conflicts: 114000 | #Constraints: 53163 403.11/404.85 c #Conflicts: 115000 | #Constraints: 54163 403.11/404.85 c #Conflicts: 116000 | #Constraints: 55163 403.11/404.85 c #Conflicts: 117000 | #Constraints: 56163 403.11/404.85 c #Conflicts: 118000 | #Constraints: 57163 403.11/404.85 c #Conflicts: 119000 | #Constraints: 58163 403.11/404.85 c #Conflicts: 120000 | #Constraints: 59163 403.11/404.85 c #Conflicts: 121000 | #Constraints: 60163 403.11/404.85 c INPROCESSING 403.11/404.85 c GARBAGE COLLECT 403.11/404.85 c rational objective 197 436.66/438.50 c #Conflicts: 122000 | #Constraints: 43164 436.66/438.50 c #Conflicts: 123000 | #Constraints: 44164 436.66/438.50 c #Conflicts: 124000 | #Constraints: 45164 436.66/438.50 c #Conflicts: 125000 | #Constraints: 46164 436.66/438.50 c #Conflicts: 126000 | #Constraints: 47164 436.66/438.50 c #Conflicts: 127000 | #Constraints: 48164 436.66/438.50 c #Conflicts: 128000 | #Constraints: 49164 436.66/438.50 c #Conflicts: 129000 | #Constraints: 50164 436.66/438.50 c #Conflicts: 130000 | #Constraints: 51164 436.66/438.50 c #Conflicts: 131000 | #Constraints: 52164 436.66/438.50 c #Conflicts: 132000 | #Constraints: 53164 436.66/438.50 c INPROCESSING 436.66/438.50 c GARBAGE COLLECT 436.66/438.50 c rational objective 197 522.92/525.18 c #Conflicts: 133000 | #Constraints: 43399 522.92/525.18 c #Conflicts: 134000 | #Constraints: 44399 522.92/525.18 c #Conflicts: 135000 | #Constraints: 45399 522.92/525.18 c #Conflicts: 136000 | #Constraints: 46399 522.92/525.18 c #Conflicts: 137000 | #Constraints: 47399 522.92/525.18 c #Conflicts: 138000 | #Constraints: 48399 522.92/525.18 c #Conflicts: 139000 | #Constraints: 49399 522.92/525.18 c #Conflicts: 140000 | #Constraints: 50399 522.92/525.18 c #Conflicts: 141000 | #Constraints: 51399 522.92/525.18 c #Conflicts: 142000 | #Constraints: 52399 522.92/525.18 c #Conflicts: 143000 | #Constraints: 53399 522.92/525.18 c #Conflicts: 144000 | #Constraints: 54399 522.92/525.18 c #Conflicts: 145000 | #Constraints: 55399 522.92/525.18 c #Conflicts: 146000 | #Constraints: 56399 522.92/525.18 c #Conflicts: 147000 | #Constraints: 57399 522.92/525.18 c #Conflicts: 148000 | #Constraints: 58400 522.92/525.18 c #Conflicts: 149000 | #Constraints: 59400 522.92/525.18 c #Conflicts: 150000 | #Constraints: 60400 522.92/525.18 c #Conflicts: 151000 | #Constraints: 61400 522.92/525.18 c #Conflicts: 152000 | #Constraints: 62400 522.92/525.18 c #Conflicts: 153000 | #Constraints: 63400 522.92/525.18 c #Conflicts: 154000 | #Constraints: 64400 522.92/525.18 c #Conflicts: 155000 | #Constraints: 65400 522.92/525.18 c #Conflicts: 156000 | #Constraints: 66400 522.92/525.18 c INPROCESSING 522.92/525.18 c GARBAGE COLLECT 522.92/525.18 c rational objective 197 567.73/570.14 c #Conflicts: 157000 | #Constraints: 46452 567.73/570.14 c #Conflicts: 158000 | #Constraints: 47452 567.73/570.14 c #Conflicts: 159000 | #Constraints: 48452 567.73/570.14 c #Conflicts: 160000 | #Constraints: 49452 567.73/570.14 c #Conflicts: 161000 | #Constraints: 50452 567.73/570.14 c #Conflicts: 162000 | #Constraints: 51453 567.73/570.14 c #Conflicts: 163000 | #Constraints: 52453 567.73/570.14 c #Conflicts: 164000 | #Constraints: 53454 567.73/570.14 c #Conflicts: 165000 | #Constraints: 54454 567.73/570.14 c #Conflicts: 166000 | #Constraints: 55454 567.73/570.14 c #Conflicts: 167000 | #Constraints: 56454 567.73/570.14 c #Conflicts: 168000 | #Constraints: 57454 567.73/570.14 c INPROCESSING 567.73/570.14 c GARBAGE COLLECT 567.73/570.14 c rational objective 197 722.74/725.74 c #Conflicts: 169000 | #Constraints: 46566 722.74/725.74 c #Conflicts: 170000 | #Constraints: 47566 722.74/725.74 c #Conflicts: 171000 | #Constraints: 48566 722.74/725.74 c #Conflicts: 172000 | #Constraints: 49566 722.74/725.74 c #Conflicts: 173000 | #Constraints: 50566 722.74/725.74 c #Conflicts: 174000 | #Constraints: 51566 722.74/725.74 c #Conflicts: 175000 | #Constraints: 52566 722.74/725.74 c #Conflicts: 176000 | #Constraints: 53566 722.74/725.74 c #Conflicts: 177000 | #Constraints: 54566 722.74/725.74 c #Conflicts: 178000 | #Constraints: 55566 722.74/725.74 c #Conflicts: 179000 | #Constraints: 56566 722.74/725.74 c #Conflicts: 180000 | #Constraints: 57566 722.74/725.74 c #Conflicts: 181000 | #Constraints: 58566 722.74/725.74 c #Conflicts: 182000 | #Constraints: 59566 722.74/725.74 c #Conflicts: 183000 | #Constraints: 60566 722.74/725.74 c #Conflicts: 184000 | #Constraints: 61566 722.74/725.74 c #Conflicts: 185000 | #Constraints: 62566 722.74/725.74 c #Conflicts: 186000 | #Constraints: 63566 722.74/725.74 c #Conflicts: 187000 | #Constraints: 64567 722.74/725.74 c #Conflicts: 188000 | #Constraints: 65567 722.74/725.74 c #Conflicts: 189000 | #Constraints: 66567 722.74/725.74 c #Conflicts: 190000 | #Constraints: 67567 722.74/725.74 c #Conflicts: 191000 | #Constraints: 68567 722.74/725.74 c #Conflicts: 192000 | #Constraints: 69567 722.74/725.74 c #Conflicts: 193000 | #Constraints: 70567 722.74/725.74 c #Conflicts: 194000 | #Constraints: 71567 722.74/725.74 c #Conflicts: 195000 | #Constraints: 72567 722.74/725.74 c #Conflicts: 196000 | #Constraints: 73567 722.74/725.74 c INPROCESSING 722.74/725.74 c GARBAGE COLLECT 722.74/725.74 c rational objective 197 831.10/834.52 c #Conflicts: 197000 | #Constraints: 50313 831.10/834.52 c #Conflicts: 198000 | #Constraints: 51313 831.10/834.52 c #Conflicts: 199000 | #Constraints: 52313 831.10/834.52 c #Conflicts: 200000 | #Constraints: 53313 831.10/834.52 c #Conflicts: 201000 | #Constraints: 54313 831.10/834.52 c #Conflicts: 202000 | #Constraints: 55313 831.10/834.52 c #Conflicts: 203000 | #Constraints: 56314 831.10/834.52 c #Conflicts: 204000 | #Constraints: 57314 831.10/834.52 c #Conflicts: 205000 | #Constraints: 58314 831.10/834.52 c #Conflicts: 206000 | #Constraints: 59314 831.10/834.52 c #Conflicts: 207000 | #Constraints: 60314 831.10/834.52 c #Conflicts: 208000 | #Constraints: 61315 831.10/834.52 c #Conflicts: 209000 | #Constraints: 62315 831.10/834.52 c INPROCESSING 831.10/834.52 c GARBAGE COLLECT 831.10/834.52 c rational objective 197 1023.92/1028.22 c #Conflicts: 210000 | #Constraints: 49474 1023.92/1028.22 c #Conflicts: 211000 | #Constraints: 50474 1023.92/1028.22 c #Conflicts: 212000 | #Constraints: 51475 1023.92/1028.22 c #Conflicts: 213000 | #Constraints: 52475 1023.92/1028.22 c #Conflicts: 214000 | #Constraints: 53475 1023.92/1028.22 c #Conflicts: 215000 | #Constraints: 54475 1023.92/1028.22 c #Conflicts: 216000 | #Constraints: 55475 1023.92/1028.22 c #Conflicts: 217000 | #Constraints: 56475 1023.92/1028.22 c #Conflicts: 218000 | #Constraints: 57475 1023.92/1028.22 c #Conflicts: 219000 | #Constraints: 58475 1023.92/1028.22 c #Conflicts: 220000 | #Constraints: 59475 1023.92/1028.22 c #Conflicts: 221000 | #Constraints: 60476 1023.92/1028.22 c #Conflicts: 222000 | #Constraints: 61476 1023.92/1028.22 c #Conflicts: 223000 | #Constraints: 62476 1023.92/1028.22 c #Conflicts: 224000 | #Constraints: 63477 1023.92/1028.22 c #Conflicts: 225000 | #Constraints: 64477 1023.92/1028.22 c #Conflicts: 226000 | #Constraints: 65477 1023.92/1028.22 c #Conflicts: 227000 | #Constraints: 66477 1023.92/1028.22 c #Conflicts: 228000 | #Constraints: 67477 1023.92/1028.22 c #Conflicts: 229000 | #Constraints: 68477 1023.92/1028.22 c #Conflicts: 230000 | #Constraints: 69477 1023.92/1028.22 c #Conflicts: 231000 | #Constraints: 70478 1023.92/1028.22 c #Conflicts: 232000 | #Constraints: 71478 1023.92/1028.22 c #Conflicts: 233000 | #Constraints: 72478 1023.92/1028.22 c #Conflicts: 234000 | #Constraints: 73478 1023.92/1028.22 c #Conflicts: 235000 | #Constraints: 74478 1023.92/1028.22 c #Conflicts: 236000 | #Constraints: 75478 1023.92/1028.22 c #Conflicts: 237000 | #Constraints: 76478 1023.92/1028.22 c #Conflicts: 238000 | #Constraints: 77478 1023.92/1028.22 c #Conflicts: 239000 | #Constraints: 78478 1023.92/1028.22 c #Conflicts: 240000 | #Constraints: 79478 1023.92/1028.22 c INPROCESSING 1023.92/1028.22 c GARBAGE COLLECT 1023.92/1028.22 c rational objective 197 1065.34/1069.90 c #Conflicts: 241000 | #Constraints: 53099 1065.34/1069.90 c #Conflicts: 242000 | #Constraints: 54099 1065.34/1069.90 c #Conflicts: 243000 | #Constraints: 55099 1065.34/1069.90 c #Conflicts: 244000 | #Constraints: 56099 1065.34/1069.90 c #Conflicts: 245000 | #Constraints: 57099 1065.34/1069.90 c #Conflicts: 246000 | #Constraints: 58099 1065.34/1069.90 c #Conflicts: 247000 | #Constraints: 59099 1065.34/1069.90 c #Conflicts: 248000 | #Constraints: 60099 1065.34/1069.90 c #Conflicts: 249000 | #Constraints: 61099 1065.34/1069.90 c #Conflicts: 250000 | #Constraints: 62099 1065.34/1069.90 c #Conflicts: 251000 | #Constraints: 63099 1065.34/1069.90 c #Conflicts: 252000 | #Constraints: 64099 1065.34/1069.90 c #Conflicts: 253000 | #Constraints: 65099 1065.34/1069.90 c #Conflicts: 254000 | #Constraints: 66099 1065.34/1069.90 c INPROCESSING 1065.34/1069.90 c GARBAGE COLLECT 1065.34/1069.90 c rational objective 197 1220.35/1225.51 c #Conflicts: 255000 | #Constraints: 51884 1220.35/1225.51 c #Conflicts: 256000 | #Constraints: 52884 1220.35/1225.51 c #Conflicts: 257000 | #Constraints: 53884 1220.35/1225.51 c #Conflicts: 258000 | #Constraints: 54884 1220.35/1225.51 c #Conflicts: 259000 | #Constraints: 55884 1220.35/1225.51 c #Conflicts: 260000 | #Constraints: 56884 1220.35/1225.51 c #Conflicts: 261000 | #Constraints: 57884 1220.35/1225.51 c #Conflicts: 262000 | #Constraints: 58884 1220.35/1225.51 c #Conflicts: 263000 | #Constraints: 59884 1220.35/1225.51 c #Conflicts: 264000 | #Constraints: 60884 1220.35/1225.51 c #Conflicts: 265000 | #Constraints: 61884 1220.35/1225.51 c #Conflicts: 266000 | #Constraints: 62884 1220.35/1225.51 c #Conflicts: 267000 | #Constraints: 63884 1220.35/1225.51 c #Conflicts: 268000 | #Constraints: 64884 1220.35/1225.51 c #Conflicts: 269000 | #Constraints: 65884 1220.35/1225.51 c #Conflicts: 270000 | #Constraints: 66884 1220.35/1225.51 c #Conflicts: 271000 | #Constraints: 67884 1220.35/1225.51 c #Conflicts: 272000 | #Constraints: 68884 1220.35/1225.51 c #Conflicts: 273000 | #Constraints: 69884 1220.35/1225.51 c #Conflicts: 274000 | #Constraints: 70884 1220.35/1225.51 c #Conflicts: 275000 | #Constraints: 71884 1220.35/1225.51 c #Conflicts: 276000 | #Constraints: 72884 1220.35/1225.51 c #Conflicts: 277000 | #Constraints: 73884 1220.35/1225.51 c #Conflicts: 278000 | #Constraints: 74884 1220.35/1225.51 c #Conflicts: 279000 | #Constraints: 75884 1220.35/1225.51 c #Conflicts: 280000 | #Constraints: 76884 1220.35/1225.51 c #Conflicts: 281000 | #Constraints: 77884 1220.35/1225.51 c #Conflicts: 282000 | #Constraints: 78884 1220.35/1225.51 c #Conflicts: 283000 | #Constraints: 79884 1220.35/1225.51 c #Conflicts: 284000 | #Constraints: 80885 1220.35/1225.51 c #Conflicts: 285000 | #Constraints: 81885 1220.35/1225.51 c #Conflicts: 286000 | #Constraints: 82885 1220.35/1225.51 c #Conflicts: 287000 | #Constraints: 83885 1220.35/1225.51 c #Conflicts: 288000 | #Constraints: 84885 1220.35/1225.51 c INPROCESSING 1220.35/1225.51 c GARBAGE COLLECT 1220.35/1225.51 c rational objective 197 1255.54/1260.88 c #Conflicts: 289000 | #Constraints: 56267 1255.54/1260.88 c #Conflicts: 290000 | #Constraints: 57267 1255.54/1260.88 c #Conflicts: 291000 | #Constraints: 58267 1255.54/1260.88 c #Conflicts: 292000 | #Constraints: 59267 1255.54/1260.88 c #Conflicts: 293000 | #Constraints: 60267 1255.54/1260.88 c #Conflicts: 294000 | #Constraints: 61267 1255.54/1260.88 c #Conflicts: 295000 | #Constraints: 62267 1255.54/1260.88 c #Conflicts: 296000 | #Constraints: 63267 1255.54/1260.88 c #Conflicts: 297000 | #Constraints: 64267 1255.54/1260.88 c #Conflicts: 298000 | #Constraints: 65267 1255.54/1260.88 c #Conflicts: 299000 | #Constraints: 66267 1255.54/1260.88 c #Conflicts: 300000 | #Constraints: 67267 1255.54/1260.88 c #Conflicts: 301000 | #Constraints: 68267 1255.54/1260.88 c #Conflicts: 302000 | #Constraints: 69267 1255.54/1260.88 c #Conflicts: 303000 | #Constraints: 70267 1255.54/1260.88 c INPROCESSING 1255.54/1260.88 c GARBAGE COLLECT 1255.54/1260.88 c rational objective 197 1383.62/1389.31 c #Conflicts: 304000 | #Constraints: 55115 1383.62/1389.31 c #Conflicts: 305000 | #Constraints: 56115 1383.62/1389.31 c #Conflicts: 306000 | #Constraints: 57115 1383.62/1389.31 c #Conflicts: 307000 | #Constraints: 58115 1383.62/1389.31 c #Conflicts: 308000 | #Constraints: 59115 1383.62/1389.31 c #Conflicts: 309000 | #Constraints: 60115 1383.62/1389.31 c #Conflicts: 310000 | #Constraints: 61116 1383.62/1389.31 c #Conflicts: 311000 | #Constraints: 62117 1383.62/1389.31 c #Conflicts: 312000 | #Constraints: 63117 1383.62/1389.31 c #Conflicts: 313000 | #Constraints: 64117 1383.62/1389.31 c #Conflicts: 314000 | #Constraints: 65117 1383.62/1389.31 c #Conflicts: 315000 | #Constraints: 66117 1383.62/1389.31 c #Conflicts: 316000 | #Constraints: 67117 1383.62/1389.31 c #Conflicts: 317000 | #Constraints: 68117 1383.62/1389.31 c #Conflicts: 318000 | #Constraints: 69117 1383.62/1389.31 c #Conflicts: 319000 | #Constraints: 70117 1383.62/1389.31 c #Conflicts: 320000 | #Constraints: 71118 1383.62/1389.31 c #Conflicts: 321000 | #Constraints: 72118 1383.62/1389.31 c #Conflicts: 322000 | #Constraints: 73118 1383.62/1389.31 c #Conflicts: 323000 | #Constraints: 74118 1383.62/1389.31 c #Conflicts: 324000 | #Constraints: 75118 1383.62/1389.31 c #Conflicts: 325000 | #Constraints: 76118 1383.62/1389.31 c #Conflicts: 326000 | #Constraints: 77118 1383.62/1389.31 c #Conflicts: 327000 | #Constraints: 78118 1383.62/1389.31 c #Conflicts: 328000 | #Constraints: 79118 1383.62/1389.31 c #Conflicts: 329000 | #Constraints: 80118 1383.62/1389.31 c #Conflicts: 330000 | #Constraints: 81118 1383.62/1389.31 c #Conflicts: 331000 | #Constraints: 82118 1383.62/1389.31 c #Conflicts: 332000 | #Constraints: 83118 1383.62/1389.31 c #Conflicts: 333000 | #Constraints: 84118 1383.62/1389.31 c #Conflicts: 334000 | #Constraints: 85118 1383.62/1389.31 c #Conflicts: 335000 | #Constraints: 86118 1383.62/1389.31 c #Conflicts: 336000 | #Constraints: 87118 1383.62/1389.31 c #Conflicts: 337000 | #Constraints: 88118 1383.62/1389.31 c #Conflicts: 338000 | #Constraints: 89118 1383.62/1389.31 c #Conflicts: 339000 | #Constraints: 90118 1383.62/1389.31 c #Conflicts: 340000 | #Constraints: 91118 1383.62/1389.31 c INPROCESSING 1383.62/1389.31 c GARBAGE COLLECT 1383.62/1389.31 c rational objective 197 1420.61/1426.48 c #Conflicts: 341000 | #Constraints: 59014 1420.61/1426.48 c #Conflicts: 342000 | #Constraints: 60014 1420.61/1426.48 c #Conflicts: 343000 | #Constraints: 61014 1420.61/1426.48 c #Conflicts: 344000 | #Constraints: 62014 1420.61/1426.48 c #Conflicts: 345000 | #Constraints: 63014 1420.61/1426.48 c #Conflicts: 346000 | #Constraints: 64014 1420.61/1426.48 c #Conflicts: 347000 | #Constraints: 65014 1420.61/1426.48 c #Conflicts: 348000 | #Constraints: 66014 1420.61/1426.48 c #Conflicts: 349000 | #Constraints: 67014 1420.61/1426.48 c #Conflicts: 350000 | #Constraints: 68014 1420.61/1426.48 c #Conflicts: 351000 | #Constraints: 69014 1420.61/1426.48 c #Conflicts: 352000 | #Constraints: 70014 1420.61/1426.48 c #Conflicts: 353000 | #Constraints: 71014 1420.61/1426.48 c #Conflicts: 354000 | #Constraints: 72014 1420.61/1426.48 c #Conflicts: 355000 | #Constraints: 73014 1420.61/1426.48 c #Conflicts: 356000 | #Constraints: 74014 1420.61/1426.48 c #Conflicts: 357000 | #Constraints: 75014 1420.61/1426.48 c INPROCESSING 1420.61/1426.48 c GARBAGE COLLECT 1420.61/1426.48 c rational objective 197 1502.34/1508.45 c #Conflicts: 358000 | #Constraints: 57941 1502.34/1508.45 c #Conflicts: 359000 | #Constraints: 58941 1502.34/1508.45 c #Conflicts: 360000 | #Constraints: 59941 1502.34/1508.45 c #Conflicts: 361000 | #Constraints: 60941 1502.34/1508.45 c #Conflicts: 362000 | #Constraints: 61941 1502.34/1508.45 c #Conflicts: 363000 | #Constraints: 62941 1502.34/1508.45 c #Conflicts: 364000 | #Constraints: 63941 1502.34/1508.45 c #Conflicts: 365000 | #Constraints: 64941 1502.34/1508.45 c #Conflicts: 366000 | #Constraints: 65941 1502.34/1508.45 c #Conflicts: 367000 | #Constraints: 66941 1502.34/1508.45 c #Conflicts: 368000 | #Constraints: 67941 1502.34/1508.45 c #Conflicts: 369000 | #Constraints: 68941 1502.34/1508.45 c #Conflicts: 370000 | #Constraints: 69942 1502.34/1508.45 c #Conflicts: 371000 | #Constraints: 70942 1502.34/1508.45 c #Conflicts: 372000 | #Constraints: 71942 1502.34/1508.45 c #Conflicts: 373000 | #Constraints: 72942 1502.34/1508.45 c #Conflicts: 374000 | #Constraints: 73942 1502.34/1508.45 c #Conflicts: 375000 | #Constraints: 74942 1502.34/1508.45 c #Conflicts: 376000 | #Constraints: 75942 1502.34/1508.45 c #Conflicts: 377000 | #Constraints: 76942 1502.34/1508.45 c #Conflicts: 378000 | #Constraints: 77942 1502.34/1508.45 c #Conflicts: 379000 | #Constraints: 78942 1502.34/1508.45 c #Conflicts: 380000 | #Constraints: 79942 1502.34/1508.45 c #Conflicts: 381000 | #Constraints: 80942 1502.34/1508.45 c #Conflicts: 382000 | #Constraints: 81942 1502.34/1508.45 c #Conflicts: 383000 | #Constraints: 82942 1502.34/1508.45 c #Conflicts: 384000 | #Constraints: 83942 1502.34/1508.45 c #Conflicts: 385000 | #Constraints: 84942 1502.34/1508.45 c #Conflicts: 386000 | #Constraints: 85942 1502.34/1508.45 c #Conflicts: 387000 | #Constraints: 86942 1502.34/1508.45 c #Conflicts: 388000 | #Constraints: 87943 1502.34/1508.45 c #Conflicts: 389000 | #Constraints: 88943 1502.34/1508.45 c #Conflicts: 390000 | #Constraints: 89943 1502.34/1508.45 c #Conflicts: 391000 | #Constraints: 90943 1502.34/1508.45 c #Conflicts: 392000 | #Constraints: 91943 1502.34/1508.45 c #Conflicts: 393000 | #Constraints: 92943 1502.34/1508.45 c #Conflicts: 394000 | #Constraints: 93943 1502.34/1508.45 c #Conflicts: 395000 | #Constraints: 94943 1502.34/1508.45 c #Conflicts: 396000 | #Constraints: 95943 1502.34/1508.45 c #Conflicts: 397000 | #Constraints: 96943 1502.34/1508.45 c INPROCESSING 1502.34/1508.45 c GARBAGE COLLECT 1502.34/1508.45 c rational objective 197 1578.40/1584.73 c #Conflicts: 398000 | #Constraints: 62053 1578.40/1584.73 c #Conflicts: 399000 | #Constraints: 63053 1578.40/1584.73 c #Conflicts: 400000 | #Constraints: 64053 1578.40/1584.73 c #Conflicts: 401000 | #Constraints: 65053 1578.40/1584.73 c #Conflicts: 402000 | #Constraints: 66053 1578.40/1584.73 c #Conflicts: 403000 | #Constraints: 67053 1578.40/1584.73 c #Conflicts: 404000 | #Constraints: 68053 1578.40/1584.73 c #Conflicts: 405000 | #Constraints: 69054 1578.40/1584.73 c #Conflicts: 406000 | #Constraints: 70054 1578.40/1584.73 c #Conflicts: 407000 | #Constraints: 71054 1578.40/1584.73 c #Conflicts: 408000 | #Constraints: 72054 1578.40/1584.73 c #Conflicts: 409000 | #Constraints: 73054 1578.40/1584.73 c #Conflicts: 410000 | #Constraints: 74054 1578.40/1584.73 c #Conflicts: 411000 | #Constraints: 75054 1578.40/1584.73 c #Conflicts: 412000 | #Constraints: 76054 1578.40/1584.73 c #Conflicts: 413000 | #Constraints: 77054 1578.40/1584.73 c #Conflicts: 414000 | #Constraints: 78054 1578.40/1584.73 c #Conflicts: 415000 | #Constraints: 79054 1578.40/1584.73 c INPROCESSING 1578.40/1584.73 c GARBAGE COLLECT 1578.40/1584.73 c rational objective 197 1752.81/1759.86 c #Conflicts: 416000 | #Constraints: 60990 1752.81/1759.86 c #Conflicts: 417000 | #Constraints: 61990 1752.81/1759.86 c #Conflicts: 418000 | #Constraints: 62990 1752.81/1759.86 c #Conflicts: 419000 | #Constraints: 63990 1752.81/1759.86 c #Conflicts: 420000 | #Constraints: 64991 1752.81/1759.86 c #Conflicts: 421000 | #Constraints: 65991 1752.81/1759.86 c #Conflicts: 422000 | #Constraints: 66991 1752.81/1759.86 c #Conflicts: 423000 | #Constraints: 67991 1752.81/1759.86 c #Conflicts: 424000 | #Constraints: 68991 1752.81/1759.86 c #Conflicts: 425000 | #Constraints: 69991 1752.81/1759.86 c #Conflicts: 426000 | #Constraints: 70992 1752.81/1759.86 c #Conflicts: 427000 | #Constraints: 71992 1752.81/1759.86 c #Conflicts: 428000 | #Constraints: 72992 1752.81/1759.86 c #Conflicts: 429000 | #Constraints: 73992 1752.81/1759.86 c #Conflicts: 430000 | #Constraints: 74992 1752.81/1759.86 c #Conflicts: 431000 | #Constraints: 75992 1752.81/1759.86 c #Conflicts: 432000 | #Constraints: 76992 1752.81/1759.86 c #Conflicts: 433000 | #Constraints: 77992 1752.81/1759.86 c #Conflicts: 434000 | #Constraints: 78992 1752.81/1759.86 c #Conflicts: 435000 | #Constraints: 79992 1752.81/1759.86 c #Conflicts: 436000 | #Constraints: 80992 1752.81/1759.86 c #Conflicts: 437000 | #Constraints: 81992 1752.81/1759.86 c #Conflicts: 438000 | #Constraints: 82992 1752.81/1759.86 c #Conflicts: 439000 | #Constraints: 83992 1752.81/1759.86 c #Conflicts: 440000 | #Constraints: 84992 1752.81/1759.86 c #Conflicts: 441000 | #Constraints: 85993 1752.81/1759.86 c #Conflicts: 442000 | #Constraints: 86993 1752.81/1759.86 c #Conflicts: 443000 | #Constraints: 87993 1752.81/1759.86 c #Conflicts: 444000 | #Constraints: 88993 1752.81/1759.86 c #Conflicts: 445000 | #Constraints: 89993 1752.81/1759.86 c #Conflicts: 446000 | #Constraints: 90993 1752.81/1759.86 c #Conflicts: 447000 | #Constraints: 91993 1752.81/1759.86 c #Conflicts: 448000 | #Constraints: 92993 1752.81/1759.86 c #Conflicts: 449000 | #Constraints: 93993 1752.81/1759.86 c #Conflicts: 450000 | #Constraints: 94993 1752.81/1759.86 c #Conflicts: 451000 | #Constraints: 95993 1752.81/1759.86 c #Conflicts: 452000 | #Constraints: 96993 1752.81/1759.86 c #Conflicts: 453000 | #Constraints: 97993 1752.81/1759.86 c #Conflicts: 454000 | #Constraints: 98994 1752.81/1759.86 c #Conflicts: 455000 | #Constraints: 99994 1752.81/1759.86 c #Conflicts: 456000 | #Constraints: 100994 1752.81/1759.86 c #Conflicts: 457000 | #Constraints: 101994 1752.81/1759.86 c #Conflicts: 458000 | #Constraints: 102995 1752.81/1759.86 c #Conflicts: 459000 | #Constraints: 103995 1752.81/1759.86 c INPROCESSING 1752.81/1759.86 c GARBAGE COLLECT 1752.81/1759.86 c rational objective 197 2422.99/2432.22 c #Conflicts: 460000 | #Constraints: 65877 2422.99/2432.22 c #Conflicts: 461000 | #Constraints: 66877 2422.99/2432.22 c #Conflicts: 462000 | #Constraints: 67877 2422.99/2432.22 c #Conflicts: 463000 | #Constraints: 68877 2422.99/2432.22 c #Conflicts: 464000 | #Constraints: 69877 2422.99/2432.22 c #Conflicts: 465000 | #Constraints: 70877 2422.99/2432.22 c #Conflicts: 466000 | #Constraints: 71877 2422.99/2432.22 c #Conflicts: 467000 | #Constraints: 72877 2422.99/2432.22 c #Conflicts: 468000 | #Constraints: 73877 2422.99/2432.22 c #Conflicts: 469000 | #Constraints: 74877 2422.99/2432.22 c #Conflicts: 470000 | #Constraints: 75877 2422.99/2432.22 c #Conflicts: 471000 | #Constraints: 76877 2422.99/2432.22 c #Conflicts: 472000 | #Constraints: 77877 2422.99/2432.22 c #Conflicts: 473000 | #Constraints: 78878 2422.99/2432.22 c #Conflicts: 474000 | #Constraints: 79878 2422.99/2432.22 c #Conflicts: 475000 | #Constraints: 80878 2422.99/2432.22 c #Conflicts: 476000 | #Constraints: 81878 2422.99/2432.22 c #Conflicts: 477000 | #Constraints: 82878 2422.99/2432.22 c #Conflicts: 478000 | #Constraints: 83878 2422.99/2432.22 c INPROCESSING 2422.99/2432.22 c GARBAGE COLLECT 2422.99/2432.22 c #Conflicts: 479000 | #Constraints: 63003 2422.99/2432.22 c #Conflicts: 480000 | #Constraints: 64003 2422.99/2432.22 c #Conflicts: 481000 | #Constraints: 65003 2422.99/2432.22 c #Conflicts: 482000 | #Constraints: 66003 2422.99/2432.22 c #Conflicts: 483000 | #Constraints: 67003 2422.99/2432.22 c #Conflicts: 484000 | #Constraints: 68003 2422.99/2432.22 c #Conflicts: 485000 | #Constraints: 69003 2422.99/2432.22 c #Conflicts: 486000 | #Constraints: 70003 2422.99/2432.22 c #Conflicts: 487000 | #Constraints: 71003 2422.99/2432.22 c #Conflicts: 488000 | #Constraints: 72003 2422.99/2432.22 c #Conflicts: 489000 | #Constraints: 73004 2422.99/2432.22 c #Conflicts: 490000 | #Constraints: 74004 2422.99/2432.22 c #Conflicts: 491000 | #Constraints: 75004 2422.99/2432.22 c #Conflicts: 492000 | #Constraints: 76004 2422.99/2432.22 c #Conflicts: 493000 | #Constraints: 77004 2422.99/2432.22 c #Conflicts: 494000 | #Constraints: 78004 2422.99/2432.22 c #Conflicts: 495000 | #Constraints: 79004 2422.99/2432.22 c #Conflicts: 496000 | #Constraints: 80004 2422.99/2432.22 c #Conflicts: 497000 | #Constraints: 81004 2422.99/2432.22 c #Conflicts: 498000 | #Constraints: 82004 2422.99/2432.22 c #Conflicts: 499000 | #Constraints: 83004 2422.99/2432.22 c #Conflicts: 500000 | #Constraints: 84004 2422.99/2432.22 c #Conflicts: 501000 | #Constraints: 85004 2422.99/2432.22 c #Conflicts: 502000 | #Constraints: 86004 2422.99/2432.22 c #Conflicts: 503000 | #Constraints: 87004 2422.99/2432.22 c #Conflicts: 504000 | #Constraints: 88004 2422.99/2432.22 c #Conflicts: 505000 | #Constraints: 89004 2422.99/2432.22 c #Conflicts: 506000 | #Constraints: 90004 2422.99/2432.22 c #Conflicts: 507000 | #Constraints: 91004 2422.99/2432.22 c #Conflicts: 508000 | #Constraints: 92004 2422.99/2432.22 c #Conflicts: 509000 | #Constraints: 93004 2422.99/2432.22 c #Conflicts: 510000 | #Constraints: 94004 2422.99/2432.22 c #Conflicts: 511000 | #Constraints: 95004 2422.99/2432.22 c #Conflicts: 512000 | #Constraints: 96004 2422.99/2432.22 c #Conflicts: 513000 | #Constraints: 97004 2422.99/2432.22 c #Conflicts: 514000 | #Constraints: 98004 2422.99/2432.22 c #Conflicts: 515000 | #Constraints: 99004 2422.99/2432.22 c #Conflicts: 516000 | #Constraints: 100004 2422.99/2432.22 c #Conflicts: 517000 | #Constraints: 101004 2422.99/2432.22 c #Conflicts: 518000 | #Constraints: 102004 2422.99/2432.22 c #Conflicts: 519000 | #Constraints: 103004 2422.99/2432.22 c #Conflicts: 520000 | #Constraints: 104004 2422.99/2432.22 c #Conflicts: 521000 | #Constraints: 105004 2422.99/2432.22 c #Conflicts: 522000 | #Constraints: 106004 2422.99/2432.22 c #Conflicts: 523000 | #Constraints: 107004 2422.99/2432.22 c #Conflicts: 524000 | #Constraints: 108004 2422.99/2432.22 c #Conflicts: 525000 | #Constraints: 109004 2422.99/2432.22 c INPROCESSING 2422.99/2432.22 c GARBAGE COLLECT 2422.99/2432.22 c rational objective 197 2456.98/2466.38 c #Conflicts: 526000 | #Constraints: 68838 2456.98/2466.38 c #Conflicts: 527000 | #Constraints: 69838 2456.98/2466.38 c #Conflicts: 528000 | #Constraints: 70838 2456.98/2466.38 c #Conflicts: 529000 | #Constraints: 71838 2456.98/2466.38 c #Conflicts: 530000 | #Constraints: 72838 2456.98/2466.38 c #Conflicts: 531000 | #Constraints: 73838 2456.98/2466.38 c #Conflicts: 532000 | #Constraints: 74838 2456.98/2466.38 c #Conflicts: 533000 | #Constraints: 75838 2456.98/2466.38 c #Conflicts: 534000 | #Constraints: 76838 2456.98/2466.38 c #Conflicts: 535000 | #Constraints: 77838 2456.98/2466.38 c #Conflicts: 536000 | #Constraints: 78838 2456.98/2466.38 c #Conflicts: 537000 | #Constraints: 79838 2456.98/2466.38 c #Conflicts: 538000 | #Constraints: 80838 2456.98/2466.38 c #Conflicts: 539000 | #Constraints: 81838 2456.98/2466.38 c #Conflicts: 540000 | #Constraints: 82838 2456.98/2466.38 c #Conflicts: 541000 | #Constraints: 83839 2456.98/2466.38 c #Conflicts: 542000 | #Constraints: 84839 2456.98/2466.38 c #Conflicts: 543000 | #Constraints: 85839 2456.98/2466.38 c #Conflicts: 544000 | #Constraints: 86839 2456.98/2466.38 c #Conflicts: 545000 | #Constraints: 87839 2456.98/2466.38 c INPROCESSING 2456.98/2466.38 c GARBAGE COLLECT 2456.98/2466.38 c rational objective 197 2629.96/2639.94 c #Conflicts: 546000 | #Constraints: 65462 2629.96/2639.94 c #Conflicts: 547000 | #Constraints: 66462 2629.96/2639.94 c #Conflicts: 548000 | #Constraints: 67462 2629.96/2639.94 c #Conflicts: 549000 | #Constraints: 68462 2629.96/2639.94 c #Conflicts: 550000 | #Constraints: 69462 2629.96/2639.94 c #Conflicts: 551000 | #Constraints: 70462 2629.96/2639.94 c #Conflicts: 552000 | #Constraints: 71462 2629.96/2639.94 c #Conflicts: 553000 | #Constraints: 72462 2629.96/2639.94 c #Conflicts: 554000 | #Constraints: 73462 2629.96/2639.94 c #Conflicts: 555000 | #Constraints: 74462 2629.96/2639.94 c #Conflicts: 556000 | #Constraints: 75462 2629.96/2639.94 c #Conflicts: 557000 | #Constraints: 76462 2629.96/2639.94 c #Conflicts: 558000 | #Constraints: 77462 2629.96/2639.94 c #Conflicts: 559000 | #Constraints: 78462 2629.96/2639.94 c #Conflicts: 560000 | #Constraints: 79462 2629.96/2639.94 c #Conflicts: 561000 | #Constraints: 80462 2629.96/2639.94 c #Conflicts: 562000 | #Constraints: 81462 2629.96/2639.94 c #Conflicts: 563000 | #Constraints: 82462 2629.96/2639.94 c #Conflicts: 564000 | #Constraints: 83462 2629.96/2639.94 c #Conflicts: 565000 | #Constraints: 84462 2629.96/2639.94 c #Conflicts: 566000 | #Constraints: 85462 2629.96/2639.94 c #Conflicts: 567000 | #Constraints: 86462 2629.96/2639.94 c #Conflicts: 568000 | #Constraints: 87462 2629.96/2639.94 c #Conflicts: 569000 | #Constraints: 88463 2629.96/2639.94 c #Conflicts: 570000 | #Constraints: 89463 2629.96/2639.94 c #Conflicts: 571000 | #Constraints: 90463 2629.96/2639.94 c #Conflicts: 572000 | #Constraints: 91463 2629.96/2639.94 c #Conflicts: 573000 | #Constraints: 92463 2629.96/2639.94 c #Conflicts: 574000 | #Constraints: 93463 2629.96/2639.94 c #Conflicts: 575000 | #Constraints: 94463 2629.96/2639.94 c #Conflicts: 576000 | #Constraints: 95463 2629.96/2639.94 c #Conflicts: 577000 | #Constraints: 96463 2629.96/2639.94 c #Conflicts: 578000 | #Constraints: 97463 2629.96/2639.94 c #Conflicts: 579000 | #Constraints: 98463 2629.96/2639.94 c #Conflicts: 580000 | #Constraints: 99463 2629.96/2639.94 c #Conflicts: 581000 | #Constraints: 100463 2629.96/2639.94 c #Conflicts: 582000 | #Constraints: 101463 2629.96/2639.94 c #Conflicts: 583000 | #Constraints: 102464 2629.96/2639.94 c #Conflicts: 584000 | #Constraints: 103464 2629.96/2639.94 c #Conflicts: 585000 | #Constraints: 104464 2629.96/2639.94 c #Conflicts: 586000 | #Constraints: 105464 2629.96/2639.94 c #Conflicts: 587000 | #Constraints: 106464 2629.96/2639.94 c #Conflicts: 588000 | #Constraints: 107464 2629.96/2639.94 c #Conflicts: 589000 | #Constraints: 108464 2629.96/2639.94 c #Conflicts: 590000 | #Constraints: 109464 2629.96/2639.94 c #Conflicts: 591000 | #Constraints: 110464 2629.96/2639.94 c #Conflicts: 592000 | #Constraints: 111464 2629.96/2639.94 c #Conflicts: 593000 | #Constraints: 112464 2629.96/2639.94 c #Conflicts: 594000 | #Constraints: 113464 2629.96/2639.94 c #Conflicts: 595000 | #Constraints: 114464 2629.96/2639.94 c INPROCESSING 2629.96/2639.94 c GARBAGE COLLECT 2629.96/2639.94 c rational objective 197 2788.33/2798.82 c #Conflicts: 596000 | #Constraints: 71268 2788.33/2798.82 c #Conflicts: 597000 | #Constraints: 72268 2788.33/2798.82 c #Conflicts: 598000 | #Constraints: 73268 2788.33/2798.82 c #Conflicts: 599000 | #Constraints: 74268 2788.33/2798.82 c #Conflicts: 600000 | #Constraints: 75268 2788.33/2798.82 c #Conflicts: 601000 | #Constraints: 76268 2788.33/2798.82 c #Conflicts: 602000 | #Constraints: 77268 2788.33/2798.82 c #Conflicts: 603000 | #Constraints: 78269 2788.33/2798.82 c #Conflicts: 604000 | #Constraints: 79270 2788.33/2798.82 c #Conflicts: 605000 | #Constraints: 80270 2788.33/2798.82 c #Conflicts: 606000 | #Constraints: 81271 2788.33/2798.82 c #Conflicts: 607000 | #Constraints: 82271 2788.33/2798.82 c #Conflicts: 608000 | #Constraints: 83271 2788.33/2798.82 c #Conflicts: 609000 | #Constraints: 84271 2788.33/2798.82 c #Conflicts: 610000 | #Constraints: 85271 2788.33/2798.82 c #Conflicts: 611000 | #Constraints: 86272 2788.33/2798.82 c #Conflicts: 612000 | #Constraints: 87274 2788.33/2798.82 c #Conflicts: 613000 | #Constraints: 88274 2788.33/2798.82 c #Conflicts: 614000 | #Constraints: 89274 2788.33/2798.82 c #Conflicts: 615000 | #Constraints: 90274 2788.33/2798.82 c #Conflicts: 616000 | #Constraints: 91274 2788.33/2798.82 c #Conflicts: 617000 | #Constraints: 92274 2788.33/2798.82 c INPROCESSING 2788.33/2798.82 c GARBAGE COLLECT 2788.33/2798.82 c rational objective 197 2905.92/2916.86 c #Conflicts: 618000 | #Constraints: 69035 2905.92/2916.86 c #Conflicts: 619000 | #Constraints: 70035 2905.92/2916.86 c #Conflicts: 620000 | #Constraints: 71035 2905.92/2916.86 c #Conflicts: 621000 | #Constraints: 72035 2905.92/2916.86 c #Conflicts: 622000 | #Constraints: 73035 2905.92/2916.86 c #Conflicts: 623000 | #Constraints: 74035 2905.92/2916.86 c #Conflicts: 624000 | #Constraints: 75035 2905.92/2916.86 c #Conflicts: 625000 | #Constraints: 76035 2905.92/2916.86 c #Conflicts: 626000 | #Constraints: 77035 2905.92/2916.86 c #Conflicts: 627000 | #Constraints: 78035 2905.92/2916.86 c #Conflicts: 628000 | #Constraints: 79035 2905.92/2916.86 c #Conflicts: 629000 | #Constraints: 80035 2905.92/2916.86 c #Conflicts: 630000 | #Constraints: 81035 2905.92/2916.86 c #Conflicts: 631000 | #Constraints: 82035 2905.92/2916.86 c #Conflicts: 632000 | #Constraints: 83035 2905.92/2916.86 c #Conflicts: 633000 | #Constraints: 84035 2905.92/2916.86 c #Conflicts: 634000 | #Constraints: 85035 2905.92/2916.86 c #Conflicts: 635000 | #Constraints: 86035 2905.92/2916.86 c #Conflicts: 636000 | #Constraints: 87035 2905.92/2916.86 c #Conflicts: 637000 | #Constraints: 88035 2905.92/2916.86 c #Conflicts: 638000 | #Constraints: 89035 2905.92/2916.86 c #Conflicts: 639000 | #Constraints: 90035 2905.92/2916.86 c #Conflicts: 640000 | #Constraints: 91035 2905.92/2916.86 c #Conflicts: 641000 | #Constraints: 92035 2905.92/2916.86 c #Conflicts: 642000 | #Constraints: 93035 2905.92/2916.86 c #Conflicts: 643000 | #Constraints: 94035 2905.92/2916.86 c #Conflicts: 644000 | #Constraints: 95035 2905.92/2916.86 c #Conflicts: 645000 | #Constraints: 96035 2905.92/2916.86 c #Conflicts: 646000 | #Constraints: 97035 2905.92/2916.86 c #Conflicts: 647000 | #Constraints: 98035 2905.92/2916.86 c #Conflicts: 648000 | #Constraints: 99035 2905.92/2916.86 c #Conflicts: 649000 | #Constraints: 100035 2905.92/2916.86 c #Conflicts: 650000 | #Constraints: 101035 2905.92/2916.86 c #Conflicts: 651000 | #Constraints: 102035 2905.92/2916.86 c #Conflicts: 652000 | #Constraints: 103035 2905.92/2916.86 c #Conflicts: 653000 | #Constraints: 104035 2905.92/2916.86 c #Conflicts: 654000 | #Constraints: 105035 2905.92/2916.86 c #Conflicts: 655000 | #Constraints: 106036 2905.92/2916.86 c #Conflicts: 656000 | #Constraints: 107036 2905.92/2916.86 c #Conflicts: 657000 | #Constraints: 108036 2905.92/2916.86 c #Conflicts: 658000 | #Constraints: 109036 2905.92/2916.86 c #Conflicts: 659000 | #Constraints: 110036 2905.92/2916.86 c #Conflicts: 660000 | #Constraints: 111036 2905.92/2916.86 c #Conflicts: 661000 | #Constraints: 112036 2905.92/2916.86 c #Conflicts: 662000 | #Constraints: 113036 2905.92/2916.86 c #Conflicts: 663000 | #Constraints: 114036 2905.92/2916.86 c #Conflicts: 664000 | #Constraints: 115036 2905.92/2916.86 c #Conflicts: 665000 | #Constraints: 116036 2905.92/2916.86 c #Conflicts: 666000 | #Constraints: 117036 2905.92/2916.86 c #Conflicts: 667000 | #Constraints: 118036 2905.92/2916.86 c #Conflicts: 668000 | #Constraints: 119036 2905.92/2916.86 c #Conflicts: 669000 | #Constraints: 120036 2905.92/2916.86 c INPROCESSING 2905.92/2916.86 c GARBAGE COLLECT 2905.92/2916.86 c rational objective 197 2974.69/2985.82 c #Conflicts: 670000 | #Constraints: 74152 2974.69/2985.82 c #Conflicts: 671000 | #Constraints: 75152 2974.69/2985.82 c #Conflicts: 672000 | #Constraints: 76152 2974.69/2985.82 c #Conflicts: 673000 | #Constraints: 77152 2974.69/2985.82 c #Conflicts: 674000 | #Constraints: 78152 2974.69/2985.82 c #Conflicts: 675000 | #Constraints: 79152 2974.69/2985.82 c #Conflicts: 676000 | #Constraints: 80152 2974.69/2985.82 c #Conflicts: 677000 | #Constraints: 81152 2974.69/2985.82 c #Conflicts: 678000 | #Constraints: 82152 2974.69/2985.82 c #Conflicts: 679000 | #Constraints: 83152 2974.69/2985.82 c #Conflicts: 680000 | #Constraints: 84152 2974.69/2985.82 c #Conflicts: 681000 | #Constraints: 85152 2974.69/2985.82 c #Conflicts: 682000 | #Constraints: 86152 2974.69/2985.82 c #Conflicts: 683000 | #Constraints: 87153 2974.69/2985.82 c #Conflicts: 684000 | #Constraints: 88153 2974.69/2985.82 c #Conflicts: 685000 | #Constraints: 89153 2974.69/2985.82 c #Conflicts: 686000 | #Constraints: 90153 2974.69/2985.82 c #Conflicts: 687000 | #Constraints: 91153 2974.69/2985.82 c #Conflicts: 688000 | #Constraints: 92154 2974.69/2985.82 c #Conflicts: 689000 | #Constraints: 93154 2974.69/2985.82 c #Conflicts: 690000 | #Constraints: 94154 2974.69/2985.82 c #Conflicts: 691000 | #Constraints: 95154 2974.69/2985.82 c #Conflicts: 692000 | #Constraints: 96154 2974.69/2985.82 c #Conflicts: 693000 | #Constraints: 97154 2974.69/2985.82 c INPROCESSING 2974.69/2985.82 c GARBAGE COLLECT 2974.69/2985.82 c rational objective 197 3409.54/3422.23 c #Conflicts: 694000 | #Constraints: 72772 3409.54/3422.23 c #Conflicts: 695000 | #Constraints: 73772 3409.54/3422.23 c #Conflicts: 696000 | #Constraints: 74772 3409.54/3422.23 c #Conflicts: 697000 | #Constraints: 75772 3409.54/3422.23 c #Conflicts: 698000 | #Constraints: 76772 3409.54/3422.23 c #Conflicts: 699000 | #Constraints: 77772 3409.54/3422.23 c #Conflicts: 700000 | #Constraints: 78772 3409.54/3422.23 c #Conflicts: 701000 | #Constraints: 79772 3409.54/3422.23 c #Conflicts: 702000 | #Constraints: 80772 3409.54/3422.23 c #Conflicts: 703000 | #Constraints: 81772 3409.54/3422.23 c #Conflicts: 704000 | #Constraints: 82772 3409.54/3422.23 c #Conflicts: 705000 | #Constraints: 83772 3409.54/3422.23 c #Conflicts: 706000 | #Constraints: 84772 3409.54/3422.23 c #Conflicts: 707000 | #Constraints: 85772 3409.54/3422.23 c #Conflicts: 708000 | #Constraints: 86772 3409.54/3422.23 c #Conflicts: 709000 | #Constraints: 87772 3409.54/3422.23 c #Conflicts: 710000 | #Constraints: 88772 3409.54/3422.23 c #Conflicts: 711000 | #Constraints: 89773 3409.54/3422.23 c #Conflicts: 712000 | #Constraints: 90773 3409.54/3422.23 c #Conflicts: 713000 | #Constraints: 91773 3409.54/3422.23 c #Conflicts: 714000 | #Constraints: 92773 3409.54/3422.23 c #Conflicts: 715000 | #Constraints: 93773 3409.54/3422.23 c #Conflicts: 716000 | #Constraints: 94773 3409.54/3422.23 c #Conflicts: 717000 | #Constraints: 95773 3409.54/3422.23 c #Conflicts: 718000 | #Constraints: 96773 3409.54/3422.23 c #Conflicts: 719000 | #Constraints: 97773 3409.54/3422.23 c #Conflicts: 720000 | #Constraints: 98773 3409.54/3422.23 c #Conflicts: 721000 | #Constraints: 99773 3409.54/3422.23 c #Conflicts: 722000 | #Constraints: 100773 3409.54/3422.23 c #Conflicts: 723000 | #Constraints: 101774 3409.54/3422.23 c #Conflicts: 724000 | #Constraints: 102774 3409.54/3422.23 c #Conflicts: 725000 | #Constraints: 103774 3409.54/3422.23 c #Conflicts: 726000 | #Constraints: 104774 3409.54/3422.23 c #Conflicts: 727000 | #Constraints: 105774 3409.54/3422.23 c #Conflicts: 728000 | #Constraints: 106774 3409.54/3422.23 c #Conflicts: 729000 | #Constraints: 107774 3409.54/3422.23 c #Conflicts: 730000 | #Constraints: 108774 3409.54/3422.23 c #Conflicts: 731000 | #Constraints: 109774 3409.54/3422.23 c #Conflicts: 732000 | #Constraints: 110774 3409.54/3422.23 c #Conflicts: 733000 | #Constraints: 111774 3409.54/3422.23 c #Conflicts: 734000 | #Constraints: 112774 3409.54/3422.23 c #Conflicts: 735000 | #Constraints: 113775 3409.54/3422.23 c #Conflicts: 736000 | #Constraints: 114776 3409.54/3422.23 c #Conflicts: 737000 | #Constraints: 115776 3409.54/3422.23 c #Conflicts: 738000 | #Constraints: 116776 3409.54/3422.23 c #Conflicts: 739000 | #Constraints: 117777 3409.54/3422.23 c #Conflicts: 740000 | #Constraints: 118777 3409.54/3422.23 c #Conflicts: 741000 | #Constraints: 119777 3409.54/3422.23 c #Conflicts: 742000 | #Constraints: 120777 3409.54/3422.23 c #Conflicts: 743000 | #Constraints: 121777 3409.54/3422.23 c #Conflicts: 744000 | #Constraints: 122777 3409.54/3422.23 c #Conflicts: 745000 | #Constraints: 123778 3409.54/3422.23 c #Conflicts: 746000 | #Constraints: 124778 3409.54/3422.23 c #Conflicts: 747000 | #Constraints: 125778 3409.54/3422.23 c #Conflicts: 748000 | #Constraints: 126778 3409.54/3422.23 c INPROCESSING 3409.54/3422.23 c GARBAGE COLLECT 3409.54/3422.23 c rational objective 197 3463.34/3476.24 c #Conflicts: 749000 | #Constraints: 77236 3463.34/3476.24 c #Conflicts: 750000 | #Constraints: 78236 3463.34/3476.24 c #Conflicts: 751000 | #Constraints: 79236 3463.34/3476.24 c #Conflicts: 752000 | #Constraints: 80236 3463.34/3476.24 c #Conflicts: 753000 | #Constraints: 81236 3463.34/3476.24 c #Conflicts: 754000 | #Constraints: 82236 3463.34/3476.24 c #Conflicts: 755000 | #Constraints: 83236 3463.34/3476.24 c #Conflicts: 756000 | #Constraints: 84236 3463.34/3476.24 c #Conflicts: 757000 | #Constraints: 85236 3463.34/3476.24 c #Conflicts: 758000 | #Constraints: 86236 3463.34/3476.24 c #Conflicts: 759000 | #Constraints: 87236 3463.34/3476.24 c #Conflicts: 760000 | #Constraints: 88236 3463.34/3476.24 c #Conflicts: 761000 | #Constraints: 89236 3463.34/3476.24 c #Conflicts: 762000 | #Constraints: 90236 3463.34/3476.24 c #Conflicts: 763000 | #Constraints: 91236 3463.34/3476.24 c #Conflicts: 764000 | #Constraints: 92236 3463.34/3476.24 c #Conflicts: 765000 | #Constraints: 93236 3463.34/3476.24 c #Conflicts: 766000 | #Constraints: 94236 3463.34/3476.24 c #Conflicts: 767000 | #Constraints: 95236 3463.34/3476.24 c #Conflicts: 768000 | #Constraints: 96236 3463.34/3476.24 c #Conflicts: 769000 | #Constraints: 97236 3463.34/3476.24 c #Conflicts: 770000 | #Constraints: 98236 3463.34/3476.24 c #Conflicts: 771000 | #Constraints: 99236 3463.34/3476.24 c #Conflicts: 772000 | #Constraints: 100236 3463.34/3476.24 c #Conflicts: 773000 | #Constraints: 101236 3463.34/3476.24 c INPROCESSING 3463.34/3476.24 c GARBAGE COLLECT 3463.34/3476.24 c rational objective 197 3600.02/3613.50 c #Conflicts: 774000 | #Constraints: 75202 3600.02/3613.50 c #Conflicts: 775000 | #Constraints: 76202 3600.02/3613.50 c #Conflicts: 776000 | #Constraints: 77202 3600.02/3613.50 c #Conflicts: 777000 | #Constraints: 78202 3600.02/3613.50 c #Conflicts: 778000 | #Constraints: 79202 3600.02/3613.50 c #Conflicts: 779000 | #Constraints: 80202 3600.02/3613.50 c #Conflicts: 780000 | #Constraints: 81202 3600.02/3613.50 c #Conflicts: 781000 | #Constraints: 82202 3600.02/3613.50 c #Conflicts: 782000 | #Constraints: 83202 3600.02/3613.50 c #Conflicts: 783000 | #Constraints: 84202 3600.02/3613.50 c #Conflicts: 784000 | #Constraints: 85202 3600.02/3613.50 c #Conflicts: 785000 | #Constraints: 86203 3600.02/3613.50 c #Conflicts: 786000 | #Constraints: 87203 3600.02/3613.50 c #Conflicts: 787000 | #Constraints: 88203 3600.02/3613.50 c #Conflicts: 788000 | #Constraints: 89203 3600.02/3613.50 c #Conflicts: 789000 | #Constraints: 90203 3600.02/3613.50 c #Conflicts: 790000 | #Constraints: 91203 3600.02/3613.50 c #Conflicts: 791000 | #Constraints: 92203 3600.02/3613.50 c #Conflicts: 792000 | #Constraints: 93203 3600.02/3613.50 c #Conflicts: 793000 | #Constraints: 94203 3600.02/3613.50 c #Conflicts: 794000 | #Constraints: 95203 3600.02/3613.50 c #Conflicts: 795000 | #Constraints: 96203 3600.02/3613.50 c #Conflicts: 796000 | #Constraints: 97203 3600.02/3613.50 c #Conflicts: 797000 | #Constraints: 98204 3600.02/3613.50 c #Conflicts: 798000 | #Constraints: 99204 3600.02/3613.50 c #Conflicts: 799000 | #Constraints: 100204 3600.02/3613.50 c #Conflicts: 800000 | #Constraints: 101204 3600.02/3613.50 c #Conflicts: 801000 | #Constraints: 102204 3600.02/3613.50 c #Conflicts: 802000 | #Constraints: 103204 3600.02/3613.50 c #Conflicts: 803000 | #Constraints: 104204 3600.02/3613.50 c #Conflicts: 804000 | #Constraints: 105204 3600.02/3613.50 c #Conflicts: 805000 | #Constraints: 106204 3600.02/3613.50 c #Conflicts: 806000 | #Constraints: 107204 3600.02/3613.50 c #Conflicts: 807000 | #Constraints: 108204 3600.02/3613.50 c #Conflicts: 808000 | #Constraints: 109204 3600.02/3613.50 c #Conflicts: 809000 | #Constraints: 110204 3600.02/3613.50 c #Conflicts: 810000 | #Constraints: 111204 3600.02/3613.50 c #Conflicts: 811000 | #Constraints: 112204 3600.02/3613.50 c #Conflicts: 812000 | #Constraints: 113204 3600.02/3613.50 c #Conflicts: 813000 | #Constraints: 114204 3600.02/3613.50 c #Conflicts: 814000 | #Constraints: 115204 3600.02/3613.50 c #Conflicts: 815000 | #Constraints: 116204 3600.02/3613.50 c #Conflicts: 816000 | #Constraints: 117204 3600.02/3613.50 c #Conflicts: 817000 | #Constraints: 118204 3600.02/3613.50 c #Conflicts: 818000 | #Constraints: 119204 3600.02/3613.50 c Program interrupted by user. 3600.02/3613.51 c cpu time 3556.06 s 3600.02/3613.51 c deterministic time 443621171988 4.44e+11 3600.02/3613.51 c optimization time 134.437 s 3600.02/3613.51 c total solve time 3421.52 s 3600.02/3613.51 c core-guided solve time 0 s 3600.02/3613.51 c propagation time 2117.34 s 3600.02/3613.51 c conflict analysis time 611.963 s 3600.02/3613.51 c propagations 718182066 3600.02/3613.51 c resolve steps 34290097 3600.02/3613.51 c decisions 22109800 3600.02/3613.51 c conflicts 818503 3600.02/3613.51 c restarts 1769 3600.02/3613.51 c inprocessing phases 37 3600.02/3613.51 c input clauses 23642 3600.02/3613.51 c input cardinalities 197 3600.02/3613.51 c input general constraints 0 3600.02/3613.51 c input average constraint length 6.44 3600.02/3613.51 c input average constraint degree 1.97 3600.02/3613.51 c learned clauses 509127 3600.02/3613.51 c learned cardinalities 42038 3600.02/3613.51 c learned general constraints 267391 3600.02/3613.51 c learned average constraint length 1546.37 3600.02/3613.51 c learned average constraint degree 678140964.24 3600.02/3613.51 c watched constraints 190323 3600.02/3613.51 c counting constraints 77068 3600.02/3613.51 c gcd simplifications 3700 3600.02/3613.51 c detected cardinalities 7095 3600.02/3613.51 c weakened non-implied lits 199683308 3600.02/3613.51 c weakened non-implying lits 209390 3600.02/3613.51 c original variables 23443 3600.02/3613.51 c clausal propagations 334257245 3600.02/3613.51 c cardinality propagations 246892280 3600.02/3613.51 c watched propagations 49092208 3600.02/3613.51 c counting propagations 79197158 3600.02/3613.51 c watch lookups 10097480875 3600.02/3613.51 c watch backjump lookups 7555522463 3600.02/3613.51 c watch checks 366214858525 3600.02/3613.51 c propagation checks 54217351546 3600.02/3613.51 c constraint additions 4053265826 3600.02/3613.51 c trail pops 741088597 3600.02/3613.51 c formula constraints 23839 3600.02/3613.51 c learned constraints 818448 3600.02/3613.51 c bound constraints 0 3600.02/3613.51 c core-guided constraints 0 3600.02/3613.51 c encountered formula constraints 23341766 3600.02/3613.51 c encountered learned constraints 11764460 3600.02/3613.51 c encountered bound constraints 0 3600.02/3613.51 c encountered core-guided constraints 0 3600.02/3613.51 c LP total time 1552.71 s 3600.02/3613.51 c LP solve time 1548.52 s 3600.02/3613.51 c LP constraints added 27504 3600.02/3613.51 c LP constraints removed 3578 3600.02/3613.51 c LP pivots internal 824374 3600.02/3613.51 c LP pivots root 487915 3600.02/3613.51 c LP calls 114 3600.02/3613.51 c LP optimalities 52 3600.02/3613.51 c LP no pivot count 1 3600.02/3613.51 c LP infeasibilities 54 3600.02/3613.51 c LP valid Farkas constraints 54 3600.02/3613.51 c LP learned Farkas constraints 54 3600.02/3613.51 c LP basis resets 1 3600.02/3613.51 c LP cycling count 0 3600.02/3613.51 c LP singular count 1 3600.02/3613.51 c LP no primal count 0 3600.02/3613.51 c LP no farkas count 0 3600.02/3613.51 c LP other issue count 0 3600.02/3613.51 c LP Gomory cuts 0 3600.02/3613.51 c LP learned cuts 3665 3600.02/3613.51 c LP deleted cuts 3578 3600.02/3613.51 c LP encountered Gomory constraints 0 3600.02/3613.51 c LP encountered Farkas constraints 1691 3600.02/3613.51 c LP encountered learned Farkas constraints 629 3600.02/3613.51 c CG auxiliary variables introduced 0 3600.02/3613.51 c CG solutions found 0 3600.02/3613.51 c CG cores constructed 0 3600.02/3613.51 c CG core cardinality constraints returned 0 3600.02/3613.51 c CG unit cores 0 3600.02/3613.51 c CG single cores 0 3600.02/3613.51 c CG blocks removed during cardinality reduction 0 3600.02/3613.51 c CG first core best 0 3600.02/3613.51 c CG decision core best 0 3600.02/3613.51 c CG core reduction tie 0 3600.02/3613.51 c CG core degree average 0.00 3600.02/3613.51 c CG core slack average 0.00 3600.02/3613.51 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 (62452 MiB free)
memory of node 1: 64473 MiB (50644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463075-1722344982/watcher-4463075-1722344982 -o /tmp/evaluation-result-4463075-1722344982/solver-4463075-1722344982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722340763-6769 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463075-1722344982 --lp-cut-gomory=0 HOME/instance-4463075-1722344982.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=9310, runsolver pid=9307
[startup+0.100084 s]*
/proc/loadavg: 4.15 4.13 4.09 5/259 9311
/proc/meminfo: memFree=115802076/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=43676 memory=12112 CPUtime=0.06 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 2667 0 0 0 5 1 0 0 20 0 1 0 1095228 44724224 3028 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 10919 3028 1373 992 0 2777 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 43676 KiB
Current children cumulated memory: 12112 KiB
[startup+0.205384 s]*
/proc/loadavg: 4.15 4.13 4.09 5/259 9311
/proc/meminfo: memFree=115768560/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=73508 memory=42876 CPUtime=0.16 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 10198 0 0 0 14 2 0 0 20 0 1 0 1095228 75272192 10719 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 18377 10719 1708 992 0 10235 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 73508 KiB
Current children cumulated memory: 42876 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.15 4.13 4.09 5/259 9311
/proc/meminfo: memFree=115757668/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=76808 memory=43932 CPUtime=0.27 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 10473 0 0 0 24 3 0 0 20 0 1 0 1095228 78651392 10983 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 19202 10983 1708 992 0 11060 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76808 KiB
Current children cumulated memory: 43932 KiB
[startup+0.700206 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 9311
/proc/meminfo: memFree=115747664/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=80000 memory=48420 CPUtime=0.65 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 11582 0 0 0 62 3 0 0 20 0 1 0 1095228 81920000 12105 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 20000 12105 1708 992 0 11858 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 48420 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 9311
/proc/meminfo: memFree=115733560/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=80000 memory=48668 CPUtime=1.45 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 11624 0 0 0 141 4 0 0 20 0 1 0 1095228 81920000 12167 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 20000 12167 1708 992 0 11858 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 48668 KiB
[startup+3.1053 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 9312
/proc/meminfo: memFree=115645148/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=86264 memory=54876 CPUtime=3.06 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 12630 0 0 0 286 20 0 0 20 0 1 0 1095228 88334336 13719 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 21566 13719 1754 992 0 13424 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 86264 KiB
Current children cumulated memory: 54876 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 9312
/proc/meminfo: memFree=115560828/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=86612 memory=55664 CPUtime=6.23 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 12873 0 0 0 602 21 0 0 20 0 1 0 1095228 88690688 13916 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 21653 13916 1754 992 0 13511 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 86612 KiB
Current children cumulated memory: 55664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 9312
/proc/meminfo: memFree=115338036/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=87440 memory=57248 CPUtime=12.61 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 13258 0 0 0 1237 24 0 0 20 0 1 0 1095228 89538560 14312 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 21860 14312 1754 992 0 13718 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 57248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 9315
/proc/meminfo: memFree=114890260/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=89064 memory=58752 CPUtime=25.33 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 13541 0 0 0 2473 60 0 0 20 0 1 0 1095228 91201536 14688 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 22266 14688 1805 992 0 14124 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 89064 KiB
Current children cumulated memory: 58752 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 9319
/proc/meminfo: memFree=114209568/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=115000 memory=83080 CPUtime=50.84 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 18063 0 0 0 4965 119 0 0 20 0 1 0 1095228 117760000 20770 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 28750 20770 1837 992 0 20608 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 83080 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 9333
/proc/meminfo: memFree=112924408/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=216408 memory=164476 CPUtime=101.85 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 29185 0 0 0 9961 224 0 0 20 0 1 0 1095228 221601792 41119 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 54102 41119 1837 992 0 45960 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 216408 KiB
Current children cumulated memory: 164476 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 9344
/proc/meminfo: memFree=110574624/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=222868 memory=172396 CPUtime=161.62 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 31208 0 0 0 15867 295 0 0 20 0 1 0 1095228 228216832 43099 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 55717 43099 1837 992 0 47575 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 222868 KiB
Current children cumulated memory: 172396 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/262 9355
/proc/meminfo: memFree=108827740/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=225756 memory=174740 CPUtime=221.39 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 31773 0 0 0 21713 426 0 0 20 0 1 0 1095228 231174144 43685 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 56439 43685 1837 992 0 48297 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 225756 KiB
Current children cumulated memory: 174740 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/263 9367
/proc/meminfo: memFree=107413692/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=237120 memory=186172 CPUtime=281.16 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 34167 0 0 0 27534 582 0 0 20 0 1 0 1095228 242810880 46543 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 59280 46543 1837 992 0 51138 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 237120 KiB
Current children cumulated memory: 186172 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/263 9377
/proc/meminfo: memFree=106381660/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=249748 memory=212652 CPUtime=340.9 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 36715 0 0 0 33448 642 0 0 20 0 1 0 1095228 255741952 53163 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 62437 53163 1837 992 0 54295 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 249748 KiB
Current children cumulated memory: 212652 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/261 9388
/proc/meminfo: memFree=105064224/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=249748 memory=214892 CPUtime=400.61 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 36769 0 0 0 39290 771 0 0 20 0 1 0 1095228 255741952 53723 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 62437 53723 1837 992 0 54295 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 249748 KiB
Current children cumulated memory: 214892 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/262 9401
/proc/meminfo: memFree=104045684/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=307372 memory=233024 CPUtime=460.36 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 38300 0 0 0 45180 856 0 0 20 0 1 0 1095228 314748928 58256 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 76843 58256 1837 992 0 68701 0
################
# More data... #
################
Current children cumulated memory: 1813372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/260 10925
/proc/meminfo: memFree=52294524/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2267732 memory=1813376 CPUtime=2911.4 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 196481 0 0 0 287466 3674 0 0 20 0 1 0 1095228 2322157568 453344 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 566933 453344 1929 992 0 558791 0
Current children cumulated CPU time: 2911.4 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1813376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/261 11106
/proc/meminfo: memFree=51291740/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2268156 memory=1813616 CPUtime=2971.2 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 196815 0 0 0 293352 3768 0 0 20 0 1 0 1095228 2322591744 453404 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 567039 453404 1929 992 0 558897 0
Current children cumulated CPU time: 2971.2 s
Current children cumulated vsize: 2268156 KiB
Current children cumulated memory: 1813616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 11117
/proc/meminfo: memFree=50494528/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2268156 memory=1813696 CPUtime=3031 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 197372 0 0 0 299256 3844 0 0 20 0 1 0 1095228 2322591744 453424 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 567039 453424 1929 992 0 558897 0
Current children cumulated CPU time: 3031 s
Current children cumulated vsize: 2268156 KiB
Current children cumulated memory: 1813696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.16 4.10 4/261 11189
/proc/meminfo: memFree=49519876/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2268156 memory=1813696 CPUtime=3090.79 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 197995 0 0 0 305185 3894 0 0 20 0 1 0 1095228 2322591744 453424 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 567039 453424 1929 992 0 558897 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 2268156 KiB
Current children cumulated memory: 1813696 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 11246
/proc/meminfo: memFree=119078964/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2286200 memory=1832120 CPUtime=3150.56 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 203253 0 0 0 311129 3927 0 0 20 0 1 0 1095228 2341068800 458030 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 571550 458030 1929 992 0 563408 0
Current children cumulated CPU time: 3150.56 s
Current children cumulated vsize: 2286200 KiB
Current children cumulated memory: 1832120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/262 11302
/proc/meminfo: memFree=119328528/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2337360 memory=1882640 CPUtime=3210.34 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 216497 0 0 0 317077 3957 0 0 20 0 1 0 1095228 2393456640 470660 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 584340 470660 1929 992 0 576198 0
Current children cumulated CPU time: 3210.34 s
Current children cumulated vsize: 2337360 KiB
Current children cumulated memory: 1882640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 11313
/proc/meminfo: memFree=118790452/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2364440 memory=1961624 CPUtime=3270.12 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 224187 0 0 0 323022 3990 0 0 20 0 1 0 1095228 2421186560 490406 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 591110 490406 1929 992 0 582968 0
Current children cumulated CPU time: 3270.12 s
Current children cumulated vsize: 2364440 KiB
Current children cumulated memory: 1961624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/261 11323
/proc/meminfo: memFree=118372096/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2422268 memory=2103068 CPUtime=3329.9 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 237375 0 0 0 328960 4030 0 0 20 0 1 0 1095228 2480402432 525767 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 605567 525767 1929 992 0 597425 0
Current children cumulated CPU time: 3329.9 s
Current children cumulated vsize: 2422268 KiB
Current children cumulated memory: 2103068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 11333
/proc/meminfo: memFree=118167788/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2479480 memory=2158712 CPUtime=3389.71 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 249596 0 0 0 334906 4065 0 0 20 0 1 0 1095228 2538987520 539678 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 619870 539678 1929 992 0 611728 0
Current children cumulated CPU time: 3389.71 s
Current children cumulated vsize: 2479480 KiB
Current children cumulated memory: 2158712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/259 11345
/proc/meminfo: memFree=117970004/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2480612 memory=2163988 CPUtime=3449.5 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 250261 0 0 0 340789 4161 0 0 20 0 1 0 1095228 2540146688 540997 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 620153 540997 1929 992 0 612011 0
Current children cumulated CPU time: 3449.5 s
Current children cumulated vsize: 2480612 KiB
Current children cumulated memory: 2163988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/259 11358
/proc/meminfo: memFree=117651000/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2480612 memory=2184364 CPUtime=3509.29 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 251136 0 0 0 346667 4262 0 0 20 0 1 0 1095228 2540146688 546091 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 620153 546091 1929 992 0 612011 0
Current children cumulated CPU time: 3509.29 s
Current children cumulated vsize: 2480612 KiB
Current children cumulated memory: 2184364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.23 4.13 5/258 11368
/proc/meminfo: memFree=117446784/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2480612 memory=2197168 CPUtime=3568.92 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 251736 0 0 0 352541 4351 0 0 20 0 1 0 1095228 2540146688 549292 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 620153 549292 1929 992 0 612011 0
Current children cumulated CPU time: 3568.92 s
Current children cumulated vsize: 2480612 KiB
Current children cumulated memory: 2197168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.30 4.22 4.13 5/258 11375
/proc/meminfo: memFree=117343424/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2480612 memory=2197420 CPUtime=3600.02 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 252341 0 0 0 355605 4397 0 0 20 0 1 0 1095228 2540146688 549355 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 620153 549355 1929 992 0 612011 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2480612 KiB
Current children cumulated memory: 2197420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.52 s]
# the end of solver process 9310 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.06 s, system=43.9854 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.5 s]
/proc/loadavg: 4.30 4.22 4.13 5/258 11375
/proc/meminfo: memFree=117343424/131524600 swapFree=131071216/131071996
[pid=9310] ppid=9307 vsize=2480612 memory=2197420 CPUtime=3600.02 cores=0,2
/proc/9310/stat : 9310 (roundingsat) R 9307 9310 6759 0 -1 4194304 252341 0 0 0 355605 4397 0 0 20 0 1 0 1095228 2540146688 549355 134679101440 4194304 8255733 140722654183856 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40267776 140722654188382 140722654188644 140722654188644 140722654195657 0
/proc/9310/statm: 620153 549355 1929 992 0 612011 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2480612 KiB
Current children cumulated memory: 2197420 KiB
Child status: 0
Real time (s): 3613.52
CPU time (s): 3600.05
CPU user time (s): 3556.06
CPU system time (s): 43.9854
CPU usage (%): 99.627
Max. virtual memory (cumulated for all children) (KiB): 2480612
Max. memory (cumulated for all children) (KiB): 2197420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.06
system time used= 43.9854
maximum resident set size= 2197420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15127496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222
involuntary context switches= 25667
# summary of solver processes directly reported to runsolver:
# pid: 9310
# total CPU time (s): 3600.05
# total CPU user time (s): 3556.06
# total CPU system time (s): 43.9854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99035 second user time and 15.2233 second system time
The end
Begin job on nodeC017 at 2024-07-30 15:09:42 IDJOB=4463075 IDBENCH=158277 IDSOLVER=3089 FILE ID=nodeC017/4463075-1722344982 RUNJOBID= nodeC017-1722340763-6769 SLURM_JOB_ID= 8248980 Free space on /tmp= 889996 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K197.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-4463075-1722344982/watcher-4463075-1722344982 -o /tmp/evaluation-result-4463075-1722344982/solver-4463075-1722344982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722340763-6769 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463075-1722344982 --lp-cut-gomory=0 HOME/instance-4463075-1722344982.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cd0a69270cffb0a3df5915a64d0aa68c RANDOM SEED=1429832398 nodeC017.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 : 3663.132 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.82 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 : 3692.500 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.29 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 : 3633.699 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.82 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.074 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.29 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 : 3675.787 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.82 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 : 3692.527 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.29 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 : 3616.269 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.82 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 : 3600.183 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 115812092 kB MemAvailable: 122762264 kB Buffers: 46148 kB Cached: 7735352 kB SwapCached: 52 kB Active: 220692 kB Inactive: 14987792 kB Active(anon): 1620 kB Inactive(anon): 7446556 kB Active(file): 219072 kB Inactive(file): 7541236 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 329824 kB Writeback: 0 kB AnonPages: 7426608 kB Mapped: 96864 kB Shmem: 21136 kB KReclaimable: 59376 kB Slab: 149100 kB SReclaimable: 59376 kB SUnreclaim: 89724 kB KernelStack: 4192 kB PageTables: 24608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8466072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 2220032 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890052 MiB End job on nodeC017 at 2024-07-30 16:09:56