| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.09 | 3610.69 |
| 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.09/0.14 c #variables 23443 #constraints 23839 262.05/262.80 c #Conflicts: 1000 | #Constraints: 24838 262.05/262.80 c #Conflicts: 2000 | #Constraints: 25838 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 3000 | #Constraints: 25097 262.05/262.80 c #Conflicts: 4000 | #Constraints: 26097 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 5000 | #Constraints: 25612 262.05/262.80 c #Conflicts: 6000 | #Constraints: 26612 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 7000 | #Constraints: 25714 262.05/262.80 c #Conflicts: 8000 | #Constraints: 26714 262.05/262.80 c #Conflicts: 9000 | #Constraints: 27714 262.05/262.80 c #Conflicts: 10000 | #Constraints: 28714 262.05/262.80 c #Conflicts: 11000 | #Constraints: 29714 262.05/262.80 c #Conflicts: 12000 | #Constraints: 30714 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 13000 | #Constraints: 27735 262.05/262.80 c #Conflicts: 14000 | #Constraints: 28735 262.05/262.80 c #Conflicts: 15000 | #Constraints: 29735 262.05/262.80 c #Conflicts: 16000 | #Constraints: 30735 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 17000 | #Constraints: 28186 262.05/262.80 c #Conflicts: 18000 | #Constraints: 29186 262.05/262.80 c #Conflicts: 19000 | #Constraints: 30187 262.05/262.80 c #Conflicts: 20000 | #Constraints: 31187 262.05/262.80 c #Conflicts: 21000 | #Constraints: 32187 262.05/262.80 c #Conflicts: 22000 | #Constraints: 33187 262.05/262.80 c #Conflicts: 23000 | #Constraints: 34187 262.05/262.80 c #Conflicts: 24000 | #Constraints: 35187 262.05/262.80 c #Conflicts: 25000 | #Constraints: 36187 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 26000 | #Constraints: 30656 262.05/262.80 c #Conflicts: 27000 | #Constraints: 31656 262.05/262.80 c #Conflicts: 28000 | #Constraints: 32656 262.05/262.80 c #Conflicts: 29000 | #Constraints: 33656 262.05/262.80 c #Conflicts: 30000 | #Constraints: 34656 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 31000 | #Constraints: 30767 262.05/262.80 c #Conflicts: 32000 | #Constraints: 31767 262.05/262.80 c #Conflicts: 33000 | #Constraints: 32767 262.05/262.80 c #Conflicts: 34000 | #Constraints: 33767 262.05/262.80 c #Conflicts: 35000 | #Constraints: 34767 262.05/262.80 c #Conflicts: 36000 | #Constraints: 35768 262.05/262.80 c #Conflicts: 37000 | #Constraints: 36768 262.05/262.80 c #Conflicts: 38000 | #Constraints: 37768 262.05/262.80 c #Conflicts: 39000 | #Constraints: 38768 262.05/262.80 c #Conflicts: 40000 | #Constraints: 39768 262.05/262.80 c #Conflicts: 41000 | #Constraints: 40768 262.05/262.80 c #Conflicts: 42000 | #Constraints: 41768 262.05/262.80 c #Conflicts: 43000 | #Constraints: 42768 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 44000 | #Constraints: 34384 262.05/262.80 c #Conflicts: 45000 | #Constraints: 35384 262.05/262.80 c #Conflicts: 46000 | #Constraints: 36384 262.05/262.80 c #Conflicts: 47000 | #Constraints: 37384 262.05/262.80 c #Conflicts: 48000 | #Constraints: 38384 262.05/262.80 c #Conflicts: 49000 | #Constraints: 39384 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c #Conflicts: 50000 | #Constraints: 33454 262.05/262.80 c #Conflicts: 51000 | #Constraints: 34454 262.05/262.80 c #Conflicts: 52000 | #Constraints: 35454 262.05/262.80 c #Conflicts: 53000 | #Constraints: 36454 262.05/262.80 c #Conflicts: 54000 | #Constraints: 37454 262.05/262.80 c #Conflicts: 55000 | #Constraints: 38454 262.05/262.80 c #Conflicts: 56000 | #Constraints: 39454 262.05/262.80 c #Conflicts: 57000 | #Constraints: 40454 262.05/262.80 c #Conflicts: 58000 | #Constraints: 41454 262.05/262.80 c #Conflicts: 59000 | #Constraints: 42454 262.05/262.80 c #Conflicts: 60000 | #Constraints: 43454 262.05/262.80 c #Conflicts: 61000 | #Constraints: 44454 262.05/262.80 c #Conflicts: 62000 | #Constraints: 45454 262.05/262.80 c #Conflicts: 63000 | #Constraints: 46454 262.05/262.80 c #Conflicts: 64000 | #Constraints: 47454 262.05/262.80 c #Conflicts: 65000 | #Constraints: 48454 262.05/262.80 c INPROCESSING 262.05/262.80 c GARBAGE COLLECT 262.05/262.80 c rational objective 197 298.45/299.32 c #Conflicts: 66000 | #Constraints: 37384 298.45/299.32 c #Conflicts: 67000 | #Constraints: 38384 298.45/299.32 c #Conflicts: 68000 | #Constraints: 39384 298.45/299.32 c #Conflicts: 69000 | #Constraints: 40384 298.45/299.32 c #Conflicts: 70000 | #Constraints: 41384 298.45/299.32 c #Conflicts: 71000 | #Constraints: 42384 298.45/299.32 c #Conflicts: 72000 | #Constraints: 43384 298.45/299.32 c INPROCESSING 298.45/299.32 c GARBAGE COLLECT 298.45/299.32 c rational objective 197 358.48/359.56 c #Conflicts: 73000 | #Constraints: 36946 358.48/359.56 c #Conflicts: 74000 | #Constraints: 37946 358.48/359.56 c #Conflicts: 75000 | #Constraints: 38946 358.48/359.56 c #Conflicts: 76000 | #Constraints: 39946 358.48/359.56 c #Conflicts: 77000 | #Constraints: 40946 358.48/359.56 c #Conflicts: 78000 | #Constraints: 41946 358.48/359.56 c #Conflicts: 79000 | #Constraints: 42946 358.48/359.56 c #Conflicts: 80000 | #Constraints: 43946 358.48/359.56 c #Conflicts: 81000 | #Constraints: 44946 358.48/359.56 c #Conflicts: 82000 | #Constraints: 45946 358.48/359.56 c #Conflicts: 83000 | #Constraints: 46946 358.48/359.56 c #Conflicts: 84000 | #Constraints: 47946 358.48/359.56 c #Conflicts: 85000 | #Constraints: 48946 358.48/359.56 c #Conflicts: 86000 | #Constraints: 49946 358.48/359.56 c #Conflicts: 87000 | #Constraints: 50947 358.48/359.56 c #Conflicts: 88000 | #Constraints: 51948 358.48/359.56 c #Conflicts: 89000 | #Constraints: 52948 358.48/359.56 c #Conflicts: 90000 | #Constraints: 53948 358.48/359.56 c #Conflicts: 91000 | #Constraints: 54949 358.48/359.56 c INPROCESSING 358.48/359.56 c GARBAGE COLLECT 358.48/359.56 c rational objective 197 402.66/403.84 c #Conflicts: 92000 | #Constraints: 40744 402.66/403.84 c #Conflicts: 93000 | #Constraints: 41744 402.66/403.84 c #Conflicts: 94000 | #Constraints: 42744 402.66/403.84 c #Conflicts: 95000 | #Constraints: 43744 402.66/403.84 c #Conflicts: 96000 | #Constraints: 44744 402.66/403.84 c #Conflicts: 97000 | #Constraints: 45744 402.66/403.84 c #Conflicts: 98000 | #Constraints: 46744 402.66/403.84 c #Conflicts: 99000 | #Constraints: 47744 402.66/403.84 c #Conflicts: 100000 | #Constraints: 48744 402.66/403.84 c INPROCESSING 402.66/403.84 c GARBAGE COLLECT 402.66/403.84 c rational objective 197 445.64/446.99 c #Conflicts: 101000 | #Constraints: 40162 445.64/446.99 c #Conflicts: 102000 | #Constraints: 41162 445.64/446.99 c #Conflicts: 103000 | #Constraints: 42162 445.64/446.99 c #Conflicts: 104000 | #Constraints: 43162 445.64/446.99 c #Conflicts: 105000 | #Constraints: 44162 445.64/446.99 c #Conflicts: 106000 | #Constraints: 45162 445.64/446.99 c #Conflicts: 107000 | #Constraints: 46162 445.64/446.99 c #Conflicts: 108000 | #Constraints: 47162 445.64/446.99 c #Conflicts: 109000 | #Constraints: 48162 445.64/446.99 c #Conflicts: 110000 | #Constraints: 49162 445.64/446.99 c #Conflicts: 111000 | #Constraints: 50162 445.64/446.99 c #Conflicts: 112000 | #Constraints: 51162 445.64/446.99 c #Conflicts: 113000 | #Constraints: 52162 445.64/446.99 c #Conflicts: 114000 | #Constraints: 53163 445.64/446.99 c #Conflicts: 115000 | #Constraints: 54163 445.64/446.99 c #Conflicts: 116000 | #Constraints: 55163 445.64/446.99 c #Conflicts: 117000 | #Constraints: 56163 445.64/446.99 c #Conflicts: 118000 | #Constraints: 57163 445.64/446.99 c #Conflicts: 119000 | #Constraints: 58163 445.64/446.99 c #Conflicts: 120000 | #Constraints: 59163 445.64/446.99 c #Conflicts: 121000 | #Constraints: 60163 445.64/446.99 c INPROCESSING 445.64/446.99 c GARBAGE COLLECT 445.64/446.99 c rational objective 197 482.04/483.45 c #Conflicts: 122000 | #Constraints: 43164 482.04/483.45 c #Conflicts: 123000 | #Constraints: 44164 482.04/483.45 c #Conflicts: 124000 | #Constraints: 45164 482.04/483.45 c #Conflicts: 125000 | #Constraints: 46164 482.04/483.45 c #Conflicts: 126000 | #Constraints: 47164 482.04/483.45 c #Conflicts: 127000 | #Constraints: 48164 482.04/483.45 c #Conflicts: 128000 | #Constraints: 49164 482.04/483.45 c #Conflicts: 129000 | #Constraints: 50164 482.04/483.45 c #Conflicts: 130000 | #Constraints: 51164 482.04/483.45 c #Conflicts: 131000 | #Constraints: 52164 482.04/483.45 c #Conflicts: 132000 | #Constraints: 53164 482.04/483.45 c INPROCESSING 482.04/483.45 c GARBAGE COLLECT 482.04/483.45 c rational objective 197 575.19/576.82 c #Conflicts: 133000 | #Constraints: 43399 575.19/576.82 c #Conflicts: 134000 | #Constraints: 44399 575.19/576.82 c #Conflicts: 135000 | #Constraints: 45399 575.19/576.82 c #Conflicts: 136000 | #Constraints: 46399 575.19/576.82 c #Conflicts: 137000 | #Constraints: 47399 575.19/576.82 c #Conflicts: 138000 | #Constraints: 48399 575.19/576.82 c #Conflicts: 139000 | #Constraints: 49399 575.19/576.82 c #Conflicts: 140000 | #Constraints: 50399 575.19/576.82 c #Conflicts: 141000 | #Constraints: 51399 575.19/576.82 c #Conflicts: 142000 | #Constraints: 52399 575.19/576.82 c #Conflicts: 143000 | #Constraints: 53399 575.19/576.82 c #Conflicts: 144000 | #Constraints: 54399 575.19/576.82 c #Conflicts: 145000 | #Constraints: 55399 575.19/576.82 c #Conflicts: 146000 | #Constraints: 56399 575.19/576.82 c #Conflicts: 147000 | #Constraints: 57399 575.19/576.82 c #Conflicts: 148000 | #Constraints: 58400 575.19/576.82 c #Conflicts: 149000 | #Constraints: 59400 575.19/576.82 c #Conflicts: 150000 | #Constraints: 60400 575.19/576.82 c #Conflicts: 151000 | #Constraints: 61400 575.19/576.82 c #Conflicts: 152000 | #Constraints: 62400 575.19/576.82 c #Conflicts: 153000 | #Constraints: 63400 575.19/576.82 c #Conflicts: 154000 | #Constraints: 64400 575.19/576.82 c #Conflicts: 155000 | #Constraints: 65400 575.19/576.82 c #Conflicts: 156000 | #Constraints: 66400 575.19/576.82 c INPROCESSING 575.19/576.82 c GARBAGE COLLECT 575.19/576.82 c rational objective 197 623.36/625.18 c #Conflicts: 157000 | #Constraints: 46452 623.36/625.18 c #Conflicts: 158000 | #Constraints: 47452 623.36/625.18 c #Conflicts: 159000 | #Constraints: 48452 623.36/625.18 c #Conflicts: 160000 | #Constraints: 49452 623.36/625.18 c #Conflicts: 161000 | #Constraints: 50452 623.36/625.18 c #Conflicts: 162000 | #Constraints: 51453 623.36/625.18 c #Conflicts: 163000 | #Constraints: 52453 623.36/625.18 c #Conflicts: 164000 | #Constraints: 53454 623.36/625.18 c #Conflicts: 165000 | #Constraints: 54454 623.36/625.18 c #Conflicts: 166000 | #Constraints: 55454 623.36/625.18 c #Conflicts: 167000 | #Constraints: 56454 623.36/625.18 c #Conflicts: 168000 | #Constraints: 57454 623.36/625.18 c INPROCESSING 623.36/625.18 c GARBAGE COLLECT 623.36/625.18 c rational objective 197 789.21/791.44 c #Conflicts: 169000 | #Constraints: 46566 789.21/791.44 c #Conflicts: 170000 | #Constraints: 47566 789.21/791.44 c #Conflicts: 171000 | #Constraints: 48566 789.21/791.44 c #Conflicts: 172000 | #Constraints: 49566 789.21/791.44 c #Conflicts: 173000 | #Constraints: 50566 789.21/791.44 c #Conflicts: 174000 | #Constraints: 51566 789.21/791.44 c #Conflicts: 175000 | #Constraints: 52566 789.21/791.44 c #Conflicts: 176000 | #Constraints: 53566 789.21/791.44 c #Conflicts: 177000 | #Constraints: 54566 789.21/791.44 c #Conflicts: 178000 | #Constraints: 55566 789.21/791.44 c #Conflicts: 179000 | #Constraints: 56566 789.21/791.44 c #Conflicts: 180000 | #Constraints: 57566 789.21/791.44 c #Conflicts: 181000 | #Constraints: 58566 789.21/791.44 c #Conflicts: 182000 | #Constraints: 59566 789.21/791.44 c #Conflicts: 183000 | #Constraints: 60566 789.21/791.44 c #Conflicts: 184000 | #Constraints: 61566 789.21/791.44 c #Conflicts: 185000 | #Constraints: 62566 789.21/791.44 c #Conflicts: 186000 | #Constraints: 63566 789.21/791.44 c #Conflicts: 187000 | #Constraints: 64567 789.21/791.44 c #Conflicts: 188000 | #Constraints: 65567 789.21/791.44 c #Conflicts: 189000 | #Constraints: 66567 789.21/791.44 c #Conflicts: 190000 | #Constraints: 67567 789.21/791.44 c #Conflicts: 191000 | #Constraints: 68567 789.21/791.44 c #Conflicts: 192000 | #Constraints: 69567 789.21/791.44 c #Conflicts: 193000 | #Constraints: 70567 789.21/791.44 c #Conflicts: 194000 | #Constraints: 71567 789.21/791.44 c #Conflicts: 195000 | #Constraints: 72567 789.21/791.44 c #Conflicts: 196000 | #Constraints: 73567 789.21/791.44 c INPROCESSING 789.21/791.44 c GARBAGE COLLECT 789.21/791.44 c rational objective 197 913.36/915.96 c #Conflicts: 197000 | #Constraints: 50313 913.36/915.96 c #Conflicts: 198000 | #Constraints: 51313 913.36/915.96 c #Conflicts: 199000 | #Constraints: 52313 913.36/915.96 c #Conflicts: 200000 | #Constraints: 53313 913.36/915.96 c #Conflicts: 201000 | #Constraints: 54313 913.36/915.96 c #Conflicts: 202000 | #Constraints: 55313 913.36/915.96 c #Conflicts: 203000 | #Constraints: 56314 913.36/915.96 c #Conflicts: 204000 | #Constraints: 57314 913.36/915.96 c #Conflicts: 205000 | #Constraints: 58314 913.36/915.96 c #Conflicts: 206000 | #Constraints: 59314 913.36/915.96 c #Conflicts: 207000 | #Constraints: 60314 913.36/915.96 c #Conflicts: 208000 | #Constraints: 61315 913.36/915.96 c #Conflicts: 209000 | #Constraints: 62315 913.36/915.96 c INPROCESSING 913.36/915.96 c GARBAGE COLLECT 913.36/915.96 c rational objective 197 1124.95/1128.11 c #Conflicts: 210000 | #Constraints: 49474 1124.95/1128.11 c #Conflicts: 211000 | #Constraints: 50474 1124.95/1128.11 c #Conflicts: 212000 | #Constraints: 51475 1124.95/1128.11 c #Conflicts: 213000 | #Constraints: 52475 1124.95/1128.11 c #Conflicts: 214000 | #Constraints: 53475 1124.95/1128.11 c #Conflicts: 215000 | #Constraints: 54475 1124.95/1128.11 c #Conflicts: 216000 | #Constraints: 55475 1124.95/1128.11 c #Conflicts: 217000 | #Constraints: 56475 1124.95/1128.11 c #Conflicts: 218000 | #Constraints: 57475 1124.95/1128.11 c #Conflicts: 219000 | #Constraints: 58475 1124.95/1128.11 c #Conflicts: 220000 | #Constraints: 59475 1124.95/1128.11 c #Conflicts: 221000 | #Constraints: 60476 1124.95/1128.11 c #Conflicts: 222000 | #Constraints: 61476 1124.95/1128.11 c #Conflicts: 223000 | #Constraints: 62476 1124.95/1128.11 c #Conflicts: 224000 | #Constraints: 63477 1124.95/1128.11 c #Conflicts: 225000 | #Constraints: 64477 1124.95/1128.11 c #Conflicts: 226000 | #Constraints: 65477 1124.95/1128.11 c #Conflicts: 227000 | #Constraints: 66477 1124.95/1128.11 c #Conflicts: 228000 | #Constraints: 67477 1124.95/1128.11 c #Conflicts: 229000 | #Constraints: 68477 1124.95/1128.11 c #Conflicts: 230000 | #Constraints: 69477 1124.95/1128.11 c #Conflicts: 231000 | #Constraints: 70478 1124.95/1128.11 c #Conflicts: 232000 | #Constraints: 71478 1124.95/1128.11 c #Conflicts: 233000 | #Constraints: 72478 1124.95/1128.11 c #Conflicts: 234000 | #Constraints: 73478 1124.95/1128.11 c #Conflicts: 235000 | #Constraints: 74478 1124.95/1128.11 c #Conflicts: 236000 | #Constraints: 75478 1124.95/1128.11 c #Conflicts: 237000 | #Constraints: 76478 1124.95/1128.11 c #Conflicts: 238000 | #Constraints: 77478 1124.95/1128.11 c #Conflicts: 239000 | #Constraints: 78478 1124.95/1128.11 c #Conflicts: 240000 | #Constraints: 79478 1124.95/1128.11 c INPROCESSING 1124.95/1128.11 c GARBAGE COLLECT 1124.95/1128.11 c rational objective 197 1176.00/1179.33 c #Conflicts: 241000 | #Constraints: 53099 1176.00/1179.33 c #Conflicts: 242000 | #Constraints: 54099 1176.00/1179.33 c #Conflicts: 243000 | #Constraints: 55099 1176.00/1179.33 c #Conflicts: 244000 | #Constraints: 56099 1176.00/1179.33 c #Conflicts: 245000 | #Constraints: 57099 1176.00/1179.33 c #Conflicts: 246000 | #Constraints: 58099 1176.00/1179.33 c #Conflicts: 247000 | #Constraints: 59099 1176.00/1179.33 c #Conflicts: 248000 | #Constraints: 60099 1176.00/1179.33 c #Conflicts: 249000 | #Constraints: 61099 1176.00/1179.33 c #Conflicts: 250000 | #Constraints: 62099 1176.00/1179.33 c #Conflicts: 251000 | #Constraints: 63099 1176.00/1179.33 c #Conflicts: 252000 | #Constraints: 64099 1176.00/1179.33 c #Conflicts: 253000 | #Constraints: 65099 1176.00/1179.33 c #Conflicts: 254000 | #Constraints: 66099 1176.00/1179.33 c INPROCESSING 1176.00/1179.33 c GARBAGE COLLECT 1176.00/1179.33 c rational objective 197 1360.59/1364.44 c #Conflicts: 255000 | #Constraints: 51884 1360.59/1364.44 c #Conflicts: 256000 | #Constraints: 52884 1360.59/1364.44 c #Conflicts: 257000 | #Constraints: 53884 1360.59/1364.44 c #Conflicts: 258000 | #Constraints: 54884 1360.59/1364.44 c #Conflicts: 259000 | #Constraints: 55884 1360.59/1364.44 c #Conflicts: 260000 | #Constraints: 56884 1360.59/1364.44 c #Conflicts: 261000 | #Constraints: 57884 1360.59/1364.44 c #Conflicts: 262000 | #Constraints: 58884 1360.59/1364.44 c #Conflicts: 263000 | #Constraints: 59884 1360.59/1364.44 c #Conflicts: 264000 | #Constraints: 60884 1360.59/1364.44 c #Conflicts: 265000 | #Constraints: 61884 1360.59/1364.44 c #Conflicts: 266000 | #Constraints: 62884 1360.59/1364.44 c #Conflicts: 267000 | #Constraints: 63884 1360.59/1364.44 c #Conflicts: 268000 | #Constraints: 64884 1360.59/1364.44 c #Conflicts: 269000 | #Constraints: 65884 1360.59/1364.44 c #Conflicts: 270000 | #Constraints: 66884 1360.59/1364.44 c #Conflicts: 271000 | #Constraints: 67884 1360.59/1364.44 c #Conflicts: 272000 | #Constraints: 68884 1360.59/1364.44 c #Conflicts: 273000 | #Constraints: 69884 1360.59/1364.44 c #Conflicts: 274000 | #Constraints: 70884 1360.59/1364.44 c #Conflicts: 275000 | #Constraints: 71884 1360.59/1364.44 c #Conflicts: 276000 | #Constraints: 72884 1360.59/1364.44 c #Conflicts: 277000 | #Constraints: 73884 1360.59/1364.44 c #Conflicts: 278000 | #Constraints: 74884 1360.59/1364.44 c #Conflicts: 279000 | #Constraints: 75884 1360.59/1364.44 c #Conflicts: 280000 | #Constraints: 76884 1360.59/1364.44 c #Conflicts: 281000 | #Constraints: 77884 1360.59/1364.44 c #Conflicts: 282000 | #Constraints: 78884 1360.59/1364.44 c #Conflicts: 283000 | #Constraints: 79884 1360.59/1364.44 c #Conflicts: 284000 | #Constraints: 80885 1360.59/1364.44 c #Conflicts: 285000 | #Constraints: 81885 1360.59/1364.44 c #Conflicts: 286000 | #Constraints: 82885 1360.59/1364.44 c #Conflicts: 287000 | #Constraints: 83885 1360.59/1364.44 c #Conflicts: 288000 | #Constraints: 84885 1360.59/1364.44 c INPROCESSING 1360.59/1364.44 c GARBAGE COLLECT 1360.59/1364.44 c rational objective 197 1402.68/1406.64 c #Conflicts: 289000 | #Constraints: 56267 1402.68/1406.64 c #Conflicts: 290000 | #Constraints: 57267 1402.68/1406.64 c #Conflicts: 291000 | #Constraints: 58267 1402.68/1406.64 c #Conflicts: 292000 | #Constraints: 59267 1402.68/1406.64 c #Conflicts: 293000 | #Constraints: 60267 1402.68/1406.64 c #Conflicts: 294000 | #Constraints: 61267 1402.68/1406.64 c #Conflicts: 295000 | #Constraints: 62267 1402.68/1406.64 c #Conflicts: 296000 | #Constraints: 63267 1402.68/1406.64 c #Conflicts: 297000 | #Constraints: 64267 1402.68/1406.64 c #Conflicts: 298000 | #Constraints: 65267 1402.68/1406.64 c #Conflicts: 299000 | #Constraints: 66267 1402.68/1406.64 c #Conflicts: 300000 | #Constraints: 67267 1402.68/1406.64 c #Conflicts: 301000 | #Constraints: 68267 1402.68/1406.64 c #Conflicts: 302000 | #Constraints: 69267 1402.68/1406.64 c #Conflicts: 303000 | #Constraints: 70267 1402.68/1406.64 c INPROCESSING 1402.68/1406.64 c GARBAGE COLLECT 1402.68/1406.64 c rational objective 197 1552.54/1556.90 c #Conflicts: 304000 | #Constraints: 55115 1552.54/1556.90 c #Conflicts: 305000 | #Constraints: 56115 1552.54/1556.90 c #Conflicts: 306000 | #Constraints: 57115 1552.54/1556.90 c #Conflicts: 307000 | #Constraints: 58115 1552.54/1556.90 c #Conflicts: 308000 | #Constraints: 59115 1552.54/1556.90 c #Conflicts: 309000 | #Constraints: 60115 1552.54/1556.90 c #Conflicts: 310000 | #Constraints: 61116 1552.54/1556.90 c #Conflicts: 311000 | #Constraints: 62117 1552.54/1556.90 c #Conflicts: 312000 | #Constraints: 63117 1552.54/1556.90 c #Conflicts: 313000 | #Constraints: 64117 1552.54/1556.90 c #Conflicts: 314000 | #Constraints: 65117 1552.54/1556.90 c #Conflicts: 315000 | #Constraints: 66117 1552.54/1556.90 c #Conflicts: 316000 | #Constraints: 67117 1552.54/1556.90 c #Conflicts: 317000 | #Constraints: 68117 1552.54/1556.90 c #Conflicts: 318000 | #Constraints: 69117 1552.54/1556.90 c #Conflicts: 319000 | #Constraints: 70117 1552.54/1556.90 c #Conflicts: 320000 | #Constraints: 71118 1552.54/1556.90 c #Conflicts: 321000 | #Constraints: 72118 1552.54/1556.90 c #Conflicts: 322000 | #Constraints: 73118 1552.54/1556.90 c #Conflicts: 323000 | #Constraints: 74118 1552.54/1556.90 c #Conflicts: 324000 | #Constraints: 75118 1552.54/1556.90 c #Conflicts: 325000 | #Constraints: 76118 1552.54/1556.90 c #Conflicts: 326000 | #Constraints: 77118 1552.54/1556.90 c #Conflicts: 327000 | #Constraints: 78118 1552.54/1556.90 c #Conflicts: 328000 | #Constraints: 79118 1552.54/1556.90 c #Conflicts: 329000 | #Constraints: 80118 1552.54/1556.90 c #Conflicts: 330000 | #Constraints: 81118 1552.54/1556.90 c #Conflicts: 331000 | #Constraints: 82118 1552.54/1556.90 c #Conflicts: 332000 | #Constraints: 83118 1552.54/1556.90 c #Conflicts: 333000 | #Constraints: 84118 1552.54/1556.90 c #Conflicts: 334000 | #Constraints: 85118 1552.54/1556.90 c #Conflicts: 335000 | #Constraints: 86118 1552.54/1556.90 c #Conflicts: 336000 | #Constraints: 87118 1552.54/1556.90 c #Conflicts: 337000 | #Constraints: 88118 1552.54/1556.90 c #Conflicts: 338000 | #Constraints: 89118 1552.54/1556.90 c #Conflicts: 339000 | #Constraints: 90118 1552.54/1556.90 c #Conflicts: 340000 | #Constraints: 91118 1552.54/1556.90 c INPROCESSING 1552.54/1556.90 c GARBAGE COLLECT 1552.54/1556.90 c rational objective 197 1597.62/1602.18 c #Conflicts: 341000 | #Constraints: 59014 1597.62/1602.18 c #Conflicts: 342000 | #Constraints: 60014 1597.62/1602.18 c #Conflicts: 343000 | #Constraints: 61014 1597.62/1602.18 c #Conflicts: 344000 | #Constraints: 62014 1597.62/1602.18 c #Conflicts: 345000 | #Constraints: 63014 1597.62/1602.18 c #Conflicts: 346000 | #Constraints: 64014 1597.62/1602.18 c #Conflicts: 347000 | #Constraints: 65014 1597.62/1602.18 c #Conflicts: 348000 | #Constraints: 66014 1597.62/1602.18 c #Conflicts: 349000 | #Constraints: 67014 1597.62/1602.18 c #Conflicts: 350000 | #Constraints: 68014 1597.62/1602.18 c #Conflicts: 351000 | #Constraints: 69014 1597.62/1602.18 c #Conflicts: 352000 | #Constraints: 70014 1597.62/1602.18 c #Conflicts: 353000 | #Constraints: 71014 1597.62/1602.18 c #Conflicts: 354000 | #Constraints: 72014 1597.62/1602.18 c #Conflicts: 355000 | #Constraints: 73014 1597.62/1602.18 c #Conflicts: 356000 | #Constraints: 74014 1597.62/1602.18 c #Conflicts: 357000 | #Constraints: 75014 1597.62/1602.18 c INPROCESSING 1597.62/1602.18 c GARBAGE COLLECT 1597.62/1602.18 c rational objective 197 1697.42/1702.22 c #Conflicts: 358000 | #Constraints: 57941 1697.42/1702.22 c #Conflicts: 359000 | #Constraints: 58941 1697.42/1702.22 c #Conflicts: 360000 | #Constraints: 59941 1697.42/1702.22 c #Conflicts: 361000 | #Constraints: 60941 1697.42/1702.22 c #Conflicts: 362000 | #Constraints: 61941 1697.42/1702.22 c #Conflicts: 363000 | #Constraints: 62941 1697.42/1702.22 c #Conflicts: 364000 | #Constraints: 63941 1697.42/1702.22 c #Conflicts: 365000 | #Constraints: 64941 1697.42/1702.22 c #Conflicts: 366000 | #Constraints: 65941 1697.42/1702.22 c #Conflicts: 367000 | #Constraints: 66941 1697.42/1702.22 c #Conflicts: 368000 | #Constraints: 67941 1697.42/1702.22 c #Conflicts: 369000 | #Constraints: 68941 1697.42/1702.22 c #Conflicts: 370000 | #Constraints: 69942 1697.42/1702.22 c #Conflicts: 371000 | #Constraints: 70942 1697.42/1702.22 c #Conflicts: 372000 | #Constraints: 71942 1697.42/1702.22 c #Conflicts: 373000 | #Constraints: 72942 1697.42/1702.22 c #Conflicts: 374000 | #Constraints: 73942 1697.42/1702.22 c #Conflicts: 375000 | #Constraints: 74942 1697.42/1702.22 c #Conflicts: 376000 | #Constraints: 75942 1697.42/1702.22 c #Conflicts: 377000 | #Constraints: 76942 1697.42/1702.22 c #Conflicts: 378000 | #Constraints: 77942 1697.42/1702.22 c #Conflicts: 379000 | #Constraints: 78942 1697.42/1702.22 c #Conflicts: 380000 | #Constraints: 79942 1697.42/1702.22 c #Conflicts: 381000 | #Constraints: 80942 1697.42/1702.22 c #Conflicts: 382000 | #Constraints: 81942 1697.42/1702.22 c #Conflicts: 383000 | #Constraints: 82942 1697.42/1702.22 c #Conflicts: 384000 | #Constraints: 83942 1697.42/1702.22 c #Conflicts: 385000 | #Constraints: 84942 1697.42/1702.22 c #Conflicts: 386000 | #Constraints: 85942 1697.42/1702.22 c #Conflicts: 387000 | #Constraints: 86942 1697.42/1702.22 c #Conflicts: 388000 | #Constraints: 87943 1697.42/1702.22 c #Conflicts: 389000 | #Constraints: 88943 1697.42/1702.22 c #Conflicts: 390000 | #Constraints: 89943 1697.42/1702.22 c #Conflicts: 391000 | #Constraints: 90943 1697.42/1702.22 c #Conflicts: 392000 | #Constraints: 91943 1697.42/1702.22 c #Conflicts: 393000 | #Constraints: 92943 1697.42/1702.22 c #Conflicts: 394000 | #Constraints: 93943 1697.42/1702.22 c #Conflicts: 395000 | #Constraints: 94943 1697.42/1702.22 c #Conflicts: 396000 | #Constraints: 95943 1697.42/1702.22 c #Conflicts: 397000 | #Constraints: 96943 1697.42/1702.22 c INPROCESSING 1697.42/1702.22 c GARBAGE COLLECT 1697.42/1702.22 c rational objective 197 1780.38/1785.45 c #Conflicts: 398000 | #Constraints: 62053 1780.38/1785.45 c #Conflicts: 399000 | #Constraints: 63053 1780.38/1785.45 c #Conflicts: 400000 | #Constraints: 64053 1780.38/1785.45 c #Conflicts: 401000 | #Constraints: 65053 1780.38/1785.45 c #Conflicts: 402000 | #Constraints: 66053 1780.38/1785.45 c #Conflicts: 403000 | #Constraints: 67053 1780.38/1785.45 c #Conflicts: 404000 | #Constraints: 68053 1780.38/1785.45 c #Conflicts: 405000 | #Constraints: 69054 1780.38/1785.45 c #Conflicts: 406000 | #Constraints: 70054 1780.38/1785.45 c #Conflicts: 407000 | #Constraints: 71054 1780.38/1785.45 c #Conflicts: 408000 | #Constraints: 72054 1780.38/1785.45 c #Conflicts: 409000 | #Constraints: 73054 1780.38/1785.45 c #Conflicts: 410000 | #Constraints: 74054 1780.38/1785.45 c #Conflicts: 411000 | #Constraints: 75054 1780.38/1785.45 c #Conflicts: 412000 | #Constraints: 76054 1780.38/1785.45 c #Conflicts: 413000 | #Constraints: 77054 1780.38/1785.45 c #Conflicts: 414000 | #Constraints: 78054 1780.38/1785.45 c #Conflicts: 415000 | #Constraints: 79054 1780.38/1785.45 c INPROCESSING 1780.38/1785.45 c GARBAGE COLLECT 1780.38/1785.45 c rational objective 197 1960.71/1966.25 c #Conflicts: 416000 | #Constraints: 60990 1960.71/1966.25 c #Conflicts: 417000 | #Constraints: 61990 1960.71/1966.25 c #Conflicts: 418000 | #Constraints: 62990 1960.71/1966.25 c #Conflicts: 419000 | #Constraints: 63990 1960.71/1966.25 c #Conflicts: 420000 | #Constraints: 64991 1960.71/1966.25 c #Conflicts: 421000 | #Constraints: 65991 1960.71/1966.25 c #Conflicts: 422000 | #Constraints: 66991 1960.71/1966.25 c #Conflicts: 423000 | #Constraints: 67991 1960.71/1966.25 c #Conflicts: 424000 | #Constraints: 68991 1960.71/1966.25 c #Conflicts: 425000 | #Constraints: 69991 1960.71/1966.25 c #Conflicts: 426000 | #Constraints: 70992 1960.71/1966.25 c #Conflicts: 427000 | #Constraints: 71992 1960.71/1966.25 c #Conflicts: 428000 | #Constraints: 72992 1960.71/1966.25 c #Conflicts: 429000 | #Constraints: 73992 1960.71/1966.25 c #Conflicts: 430000 | #Constraints: 74992 1960.71/1966.25 c #Conflicts: 431000 | #Constraints: 75992 1960.71/1966.25 c #Conflicts: 432000 | #Constraints: 76992 1960.71/1966.25 c #Conflicts: 433000 | #Constraints: 77992 1960.71/1966.25 c #Conflicts: 434000 | #Constraints: 78992 1960.71/1966.25 c #Conflicts: 435000 | #Constraints: 79992 1960.71/1966.25 c #Conflicts: 436000 | #Constraints: 80992 1960.71/1966.25 c #Conflicts: 437000 | #Constraints: 81992 1960.71/1966.25 c #Conflicts: 438000 | #Constraints: 82992 1960.71/1966.25 c #Conflicts: 439000 | #Constraints: 83992 1960.71/1966.25 c #Conflicts: 440000 | #Constraints: 84992 1960.71/1966.25 c #Conflicts: 441000 | #Constraints: 85993 1960.71/1966.25 c #Conflicts: 442000 | #Constraints: 86993 1960.71/1966.25 c #Conflicts: 443000 | #Constraints: 87993 1960.71/1966.25 c #Conflicts: 444000 | #Constraints: 88993 1960.71/1966.25 c #Conflicts: 445000 | #Constraints: 89993 1960.71/1966.25 c #Conflicts: 446000 | #Constraints: 90993 1960.71/1966.25 c #Conflicts: 447000 | #Constraints: 91993 1960.71/1966.25 c #Conflicts: 448000 | #Constraints: 92993 1960.71/1966.25 c #Conflicts: 449000 | #Constraints: 93993 1960.71/1966.25 c #Conflicts: 450000 | #Constraints: 94993 1960.71/1966.25 c #Conflicts: 451000 | #Constraints: 95993 1960.71/1966.25 c #Conflicts: 452000 | #Constraints: 96993 1960.71/1966.25 c #Conflicts: 453000 | #Constraints: 97993 1960.71/1966.25 c #Conflicts: 454000 | #Constraints: 98994 1960.71/1966.25 c #Conflicts: 455000 | #Constraints: 99994 1960.71/1966.25 c #Conflicts: 456000 | #Constraints: 100994 1960.71/1966.25 c #Conflicts: 457000 | #Constraints: 101994 1960.71/1966.25 c #Conflicts: 458000 | #Constraints: 102995 1960.71/1966.25 c #Conflicts: 459000 | #Constraints: 103995 1960.71/1966.25 c INPROCESSING 1960.71/1966.25 c GARBAGE COLLECT 1960.71/1966.25 c rational objective 197 2702.75/2710.57 c #Conflicts: 460000 | #Constraints: 65877 2702.75/2710.57 c #Conflicts: 461000 | #Constraints: 66877 2702.75/2710.57 c #Conflicts: 462000 | #Constraints: 67877 2702.75/2710.57 c #Conflicts: 463000 | #Constraints: 68877 2702.75/2710.57 c #Conflicts: 464000 | #Constraints: 69877 2702.75/2710.57 c #Conflicts: 465000 | #Constraints: 70877 2702.75/2710.57 c #Conflicts: 466000 | #Constraints: 71877 2702.75/2710.57 c #Conflicts: 467000 | #Constraints: 72877 2702.75/2710.57 c #Conflicts: 468000 | #Constraints: 73877 2702.75/2710.57 c #Conflicts: 469000 | #Constraints: 74877 2702.75/2710.57 c #Conflicts: 470000 | #Constraints: 75877 2702.75/2710.57 c #Conflicts: 471000 | #Constraints: 76877 2702.75/2710.57 c #Conflicts: 472000 | #Constraints: 77877 2702.75/2710.57 c #Conflicts: 473000 | #Constraints: 78878 2702.75/2710.57 c #Conflicts: 474000 | #Constraints: 79878 2702.75/2710.57 c #Conflicts: 475000 | #Constraints: 80878 2702.75/2710.57 c #Conflicts: 476000 | #Constraints: 81878 2702.75/2710.57 c #Conflicts: 477000 | #Constraints: 82878 2702.75/2710.57 c #Conflicts: 478000 | #Constraints: 83878 2702.75/2710.57 c INPROCESSING 2702.75/2710.57 c GARBAGE COLLECT 2702.75/2710.57 c #Conflicts: 479000 | #Constraints: 63003 2702.75/2710.57 c #Conflicts: 480000 | #Constraints: 64003 2702.75/2710.57 c #Conflicts: 481000 | #Constraints: 65003 2702.75/2710.57 c #Conflicts: 482000 | #Constraints: 66003 2702.75/2710.57 c #Conflicts: 483000 | #Constraints: 67003 2702.75/2710.57 c #Conflicts: 484000 | #Constraints: 68003 2702.75/2710.57 c #Conflicts: 485000 | #Constraints: 69003 2702.75/2710.57 c #Conflicts: 486000 | #Constraints: 70003 2702.75/2710.57 c #Conflicts: 487000 | #Constraints: 71003 2702.75/2710.57 c #Conflicts: 488000 | #Constraints: 72003 2702.75/2710.57 c #Conflicts: 489000 | #Constraints: 73004 2702.75/2710.57 c #Conflicts: 490000 | #Constraints: 74004 2702.75/2710.57 c #Conflicts: 491000 | #Constraints: 75004 2702.75/2710.57 c #Conflicts: 492000 | #Constraints: 76004 2702.75/2710.57 c #Conflicts: 493000 | #Constraints: 77004 2702.75/2710.57 c #Conflicts: 494000 | #Constraints: 78004 2702.75/2710.57 c #Conflicts: 495000 | #Constraints: 79004 2702.75/2710.57 c #Conflicts: 496000 | #Constraints: 80004 2702.75/2710.57 c #Conflicts: 497000 | #Constraints: 81004 2702.75/2710.57 c #Conflicts: 498000 | #Constraints: 82004 2702.75/2710.57 c #Conflicts: 499000 | #Constraints: 83004 2702.75/2710.57 c #Conflicts: 500000 | #Constraints: 84004 2702.75/2710.57 c #Conflicts: 501000 | #Constraints: 85004 2702.75/2710.57 c #Conflicts: 502000 | #Constraints: 86004 2702.75/2710.57 c #Conflicts: 503000 | #Constraints: 87004 2702.75/2710.57 c #Conflicts: 504000 | #Constraints: 88004 2702.75/2710.57 c #Conflicts: 505000 | #Constraints: 89004 2702.75/2710.57 c #Conflicts: 506000 | #Constraints: 90004 2702.75/2710.57 c #Conflicts: 507000 | #Constraints: 91004 2702.75/2710.57 c #Conflicts: 508000 | #Constraints: 92004 2702.75/2710.57 c #Conflicts: 509000 | #Constraints: 93004 2702.75/2710.57 c #Conflicts: 510000 | #Constraints: 94004 2702.75/2710.57 c #Conflicts: 511000 | #Constraints: 95004 2702.75/2710.57 c #Conflicts: 512000 | #Constraints: 96004 2702.75/2710.57 c #Conflicts: 513000 | #Constraints: 97004 2702.75/2710.57 c #Conflicts: 514000 | #Constraints: 98004 2702.75/2710.57 c #Conflicts: 515000 | #Constraints: 99004 2702.75/2710.57 c #Conflicts: 516000 | #Constraints: 100004 2702.75/2710.57 c #Conflicts: 517000 | #Constraints: 101004 2702.75/2710.57 c #Conflicts: 518000 | #Constraints: 102004 2702.75/2710.57 c #Conflicts: 519000 | #Constraints: 103004 2702.75/2710.57 c #Conflicts: 520000 | #Constraints: 104004 2702.75/2710.57 c #Conflicts: 521000 | #Constraints: 105004 2702.75/2710.57 c #Conflicts: 522000 | #Constraints: 106004 2702.75/2710.57 c #Conflicts: 523000 | #Constraints: 107004 2702.75/2710.57 c #Conflicts: 524000 | #Constraints: 108004 2702.75/2710.57 c #Conflicts: 525000 | #Constraints: 109004 2702.75/2710.57 c INPROCESSING 2702.75/2710.57 c GARBAGE COLLECT 2702.75/2710.57 c rational objective 197 2745.13/2753.10 c #Conflicts: 526000 | #Constraints: 68838 2745.13/2753.10 c #Conflicts: 527000 | #Constraints: 69838 2745.13/2753.10 c #Conflicts: 528000 | #Constraints: 70838 2745.13/2753.10 c #Conflicts: 529000 | #Constraints: 71838 2745.13/2753.10 c #Conflicts: 530000 | #Constraints: 72838 2745.13/2753.10 c #Conflicts: 531000 | #Constraints: 73838 2745.13/2753.10 c #Conflicts: 532000 | #Constraints: 74838 2745.13/2753.10 c #Conflicts: 533000 | #Constraints: 75838 2745.13/2753.10 c #Conflicts: 534000 | #Constraints: 76838 2745.13/2753.10 c #Conflicts: 535000 | #Constraints: 77838 2745.13/2753.10 c #Conflicts: 536000 | #Constraints: 78838 2745.13/2753.10 c #Conflicts: 537000 | #Constraints: 79838 2745.13/2753.10 c #Conflicts: 538000 | #Constraints: 80838 2745.13/2753.10 c #Conflicts: 539000 | #Constraints: 81838 2745.13/2753.10 c #Conflicts: 540000 | #Constraints: 82838 2745.13/2753.10 c #Conflicts: 541000 | #Constraints: 83839 2745.13/2753.10 c #Conflicts: 542000 | #Constraints: 84839 2745.13/2753.10 c #Conflicts: 543000 | #Constraints: 85839 2745.13/2753.10 c #Conflicts: 544000 | #Constraints: 86839 2745.13/2753.10 c #Conflicts: 545000 | #Constraints: 87839 2745.13/2753.10 c INPROCESSING 2745.13/2753.10 c GARBAGE COLLECT 2745.13/2753.10 c rational objective 197 2948.72/2957.27 c #Conflicts: 546000 | #Constraints: 65462 2948.72/2957.27 c #Conflicts: 547000 | #Constraints: 66462 2948.72/2957.27 c #Conflicts: 548000 | #Constraints: 67462 2948.72/2957.27 c #Conflicts: 549000 | #Constraints: 68462 2948.72/2957.27 c #Conflicts: 550000 | #Constraints: 69462 2948.72/2957.27 c #Conflicts: 551000 | #Constraints: 70462 2948.72/2957.27 c #Conflicts: 552000 | #Constraints: 71462 2948.72/2957.27 c #Conflicts: 553000 | #Constraints: 72462 2948.72/2957.27 c #Conflicts: 554000 | #Constraints: 73462 2948.72/2957.27 c #Conflicts: 555000 | #Constraints: 74462 2948.72/2957.27 c #Conflicts: 556000 | #Constraints: 75462 2948.72/2957.27 c #Conflicts: 557000 | #Constraints: 76462 2948.72/2957.27 c #Conflicts: 558000 | #Constraints: 77462 2948.72/2957.27 c #Conflicts: 559000 | #Constraints: 78462 2948.72/2957.27 c #Conflicts: 560000 | #Constraints: 79462 2948.72/2957.27 c #Conflicts: 561000 | #Constraints: 80462 2948.72/2957.27 c #Conflicts: 562000 | #Constraints: 81462 2948.72/2957.27 c #Conflicts: 563000 | #Constraints: 82462 2948.72/2957.27 c #Conflicts: 564000 | #Constraints: 83462 2948.72/2957.27 c #Conflicts: 565000 | #Constraints: 84462 2948.72/2957.27 c #Conflicts: 566000 | #Constraints: 85462 2948.72/2957.27 c #Conflicts: 567000 | #Constraints: 86462 2948.72/2957.27 c #Conflicts: 568000 | #Constraints: 87462 2948.72/2957.27 c #Conflicts: 569000 | #Constraints: 88463 2948.72/2957.27 c #Conflicts: 570000 | #Constraints: 89463 2948.72/2957.27 c #Conflicts: 571000 | #Constraints: 90463 2948.72/2957.27 c #Conflicts: 572000 | #Constraints: 91463 2948.72/2957.27 c #Conflicts: 573000 | #Constraints: 92463 2948.72/2957.27 c #Conflicts: 574000 | #Constraints: 93463 2948.72/2957.27 c #Conflicts: 575000 | #Constraints: 94463 2948.72/2957.27 c #Conflicts: 576000 | #Constraints: 95463 2948.72/2957.27 c #Conflicts: 577000 | #Constraints: 96463 2948.72/2957.27 c #Conflicts: 578000 | #Constraints: 97463 2948.72/2957.27 c #Conflicts: 579000 | #Constraints: 98463 2948.72/2957.27 c #Conflicts: 580000 | #Constraints: 99463 2948.72/2957.27 c #Conflicts: 581000 | #Constraints: 100463 2948.72/2957.27 c #Conflicts: 582000 | #Constraints: 101463 2948.72/2957.27 c #Conflicts: 583000 | #Constraints: 102464 2948.72/2957.27 c #Conflicts: 584000 | #Constraints: 103464 2948.72/2957.27 c #Conflicts: 585000 | #Constraints: 104464 2948.72/2957.27 c #Conflicts: 586000 | #Constraints: 105464 2948.72/2957.27 c #Conflicts: 587000 | #Constraints: 106464 2948.72/2957.27 c #Conflicts: 588000 | #Constraints: 107464 2948.72/2957.27 c #Conflicts: 589000 | #Constraints: 108464 2948.72/2957.27 c #Conflicts: 590000 | #Constraints: 109464 2948.72/2957.27 c #Conflicts: 591000 | #Constraints: 110464 2948.72/2957.27 c #Conflicts: 592000 | #Constraints: 111464 2948.72/2957.27 c #Conflicts: 593000 | #Constraints: 112464 2948.72/2957.27 c #Conflicts: 594000 | #Constraints: 113464 2948.72/2957.27 c #Conflicts: 595000 | #Constraints: 114464 2948.72/2957.27 c INPROCESSING 2948.72/2957.27 c GARBAGE COLLECT 2948.72/2957.27 c rational objective 197 3114.48/3123.45 c #Conflicts: 596000 | #Constraints: 71268 3114.48/3123.45 c #Conflicts: 597000 | #Constraints: 72268 3114.48/3123.45 c #Conflicts: 598000 | #Constraints: 73268 3114.48/3123.45 c #Conflicts: 599000 | #Constraints: 74268 3114.48/3123.45 c #Conflicts: 600000 | #Constraints: 75268 3114.48/3123.45 c #Conflicts: 601000 | #Constraints: 76268 3114.48/3123.45 c #Conflicts: 602000 | #Constraints: 77268 3114.48/3123.45 c #Conflicts: 603000 | #Constraints: 78269 3114.48/3123.45 c #Conflicts: 604000 | #Constraints: 79270 3114.48/3123.45 c #Conflicts: 605000 | #Constraints: 80270 3114.48/3123.45 c #Conflicts: 606000 | #Constraints: 81271 3114.48/3123.45 c #Conflicts: 607000 | #Constraints: 82271 3114.48/3123.45 c #Conflicts: 608000 | #Constraints: 83271 3114.48/3123.45 c #Conflicts: 609000 | #Constraints: 84271 3114.48/3123.45 c #Conflicts: 610000 | #Constraints: 85271 3114.48/3123.45 c #Conflicts: 611000 | #Constraints: 86272 3114.48/3123.45 c #Conflicts: 612000 | #Constraints: 87274 3114.48/3123.45 c #Conflicts: 613000 | #Constraints: 88274 3114.48/3123.45 c #Conflicts: 614000 | #Constraints: 89274 3114.48/3123.45 c #Conflicts: 615000 | #Constraints: 90274 3114.48/3123.45 c #Conflicts: 616000 | #Constraints: 91274 3114.48/3123.45 c #Conflicts: 617000 | #Constraints: 92274 3114.48/3123.45 c INPROCESSING 3114.48/3123.45 c GARBAGE COLLECT 3114.48/3123.45 c rational objective 197 3221.78/3231.10 c #Conflicts: 618000 | #Constraints: 69035 3221.78/3231.10 c #Conflicts: 619000 | #Constraints: 70035 3221.78/3231.10 c #Conflicts: 620000 | #Constraints: 71035 3221.78/3231.10 c #Conflicts: 621000 | #Constraints: 72035 3221.78/3231.10 c #Conflicts: 622000 | #Constraints: 73035 3221.78/3231.10 c #Conflicts: 623000 | #Constraints: 74035 3221.78/3231.10 c #Conflicts: 624000 | #Constraints: 75035 3221.78/3231.10 c #Conflicts: 625000 | #Constraints: 76035 3221.78/3231.10 c #Conflicts: 626000 | #Constraints: 77035 3221.78/3231.10 c #Conflicts: 627000 | #Constraints: 78035 3221.78/3231.10 c #Conflicts: 628000 | #Constraints: 79035 3221.78/3231.10 c #Conflicts: 629000 | #Constraints: 80035 3221.78/3231.10 c #Conflicts: 630000 | #Constraints: 81035 3221.78/3231.10 c #Conflicts: 631000 | #Constraints: 82035 3221.78/3231.10 c #Conflicts: 632000 | #Constraints: 83035 3221.78/3231.10 c #Conflicts: 633000 | #Constraints: 84035 3221.78/3231.10 c #Conflicts: 634000 | #Constraints: 85035 3221.78/3231.10 c #Conflicts: 635000 | #Constraints: 86035 3221.78/3231.10 c #Conflicts: 636000 | #Constraints: 87035 3221.78/3231.10 c #Conflicts: 637000 | #Constraints: 88035 3221.78/3231.10 c #Conflicts: 638000 | #Constraints: 89035 3221.78/3231.10 c #Conflicts: 639000 | #Constraints: 90035 3221.78/3231.10 c #Conflicts: 640000 | #Constraints: 91035 3221.78/3231.10 c #Conflicts: 641000 | #Constraints: 92035 3221.78/3231.10 c #Conflicts: 642000 | #Constraints: 93035 3221.78/3231.10 c #Conflicts: 643000 | #Constraints: 94035 3221.78/3231.10 c #Conflicts: 644000 | #Constraints: 95035 3221.78/3231.10 c #Conflicts: 645000 | #Constraints: 96035 3221.78/3231.10 c #Conflicts: 646000 | #Constraints: 97035 3221.78/3231.10 c #Conflicts: 647000 | #Constraints: 98035 3221.78/3231.10 c #Conflicts: 648000 | #Constraints: 99035 3221.78/3231.10 c #Conflicts: 649000 | #Constraints: 100035 3221.78/3231.10 c #Conflicts: 650000 | #Constraints: 101035 3221.78/3231.10 c #Conflicts: 651000 | #Constraints: 102035 3221.78/3231.10 c #Conflicts: 652000 | #Constraints: 103035 3221.78/3231.10 c #Conflicts: 653000 | #Constraints: 104035 3221.78/3231.10 c #Conflicts: 654000 | #Constraints: 105035 3221.78/3231.10 c #Conflicts: 655000 | #Constraints: 106036 3221.78/3231.10 c #Conflicts: 656000 | #Constraints: 107036 3221.78/3231.10 c #Conflicts: 657000 | #Constraints: 108036 3221.78/3231.10 c #Conflicts: 658000 | #Constraints: 109036 3221.78/3231.10 c #Conflicts: 659000 | #Constraints: 110036 3221.78/3231.10 c #Conflicts: 660000 | #Constraints: 111036 3221.78/3231.10 c #Conflicts: 661000 | #Constraints: 112036 3221.78/3231.10 c #Conflicts: 662000 | #Constraints: 113036 3221.78/3231.10 c #Conflicts: 663000 | #Constraints: 114036 3221.78/3231.10 c #Conflicts: 664000 | #Constraints: 115036 3221.78/3231.10 c #Conflicts: 665000 | #Constraints: 116036 3221.78/3231.10 c #Conflicts: 666000 | #Constraints: 117036 3221.78/3231.10 c #Conflicts: 667000 | #Constraints: 118036 3221.78/3231.10 c #Conflicts: 668000 | #Constraints: 119036 3221.78/3231.10 c #Conflicts: 669000 | #Constraints: 120036 3221.78/3231.10 c INPROCESSING 3221.78/3231.10 c GARBAGE COLLECT 3221.78/3231.10 c rational objective 197 3287.23/3296.60 c #Conflicts: 670000 | #Constraints: 74152 3287.23/3296.60 c #Conflicts: 671000 | #Constraints: 75152 3287.23/3296.60 c #Conflicts: 672000 | #Constraints: 76152 3287.23/3296.60 c #Conflicts: 673000 | #Constraints: 77152 3287.23/3296.60 c #Conflicts: 674000 | #Constraints: 78152 3287.23/3296.60 c #Conflicts: 675000 | #Constraints: 79152 3287.23/3296.60 c #Conflicts: 676000 | #Constraints: 80152 3287.23/3296.60 c #Conflicts: 677000 | #Constraints: 81152 3287.23/3296.60 c #Conflicts: 678000 | #Constraints: 82152 3287.23/3296.60 c #Conflicts: 679000 | #Constraints: 83152 3287.23/3296.60 c #Conflicts: 680000 | #Constraints: 84152 3287.23/3296.60 c #Conflicts: 681000 | #Constraints: 85152 3287.23/3296.60 c #Conflicts: 682000 | #Constraints: 86152 3287.23/3296.60 c #Conflicts: 683000 | #Constraints: 87153 3287.23/3296.60 c #Conflicts: 684000 | #Constraints: 88153 3287.23/3296.60 c #Conflicts: 685000 | #Constraints: 89153 3287.23/3296.60 c #Conflicts: 686000 | #Constraints: 90153 3287.23/3296.60 c #Conflicts: 687000 | #Constraints: 91153 3287.23/3296.60 c #Conflicts: 688000 | #Constraints: 92154 3287.23/3296.60 c #Conflicts: 689000 | #Constraints: 93154 3287.23/3296.60 c #Conflicts: 690000 | #Constraints: 94154 3287.23/3296.60 c #Conflicts: 691000 | #Constraints: 95154 3287.23/3296.60 c #Conflicts: 692000 | #Constraints: 96154 3287.23/3296.60 c #Conflicts: 693000 | #Constraints: 97154 3287.23/3296.60 c INPROCESSING 3287.23/3296.60 c GARBAGE COLLECT 3287.23/3296.60 c rational objective 197 3600.04/3610.20 c #Conflicts: 694000 | #Constraints: 72772 3600.04/3610.20 c #Conflicts: 695000 | #Constraints: 73772 3600.04/3610.20 c #Conflicts: 696000 | #Constraints: 74772 3600.04/3610.20 c #Conflicts: 697000 | #Constraints: 75772 3600.04/3610.20 c #Conflicts: 698000 | #Constraints: 76772 3600.04/3610.20 c #Conflicts: 699000 | #Constraints: 77772 3600.04/3610.20 c #Conflicts: 700000 | #Constraints: 78772 3600.04/3610.20 c #Conflicts: 701000 | #Constraints: 79772 3600.04/3610.20 c #Conflicts: 702000 | #Constraints: 80772 3600.04/3610.20 c #Conflicts: 703000 | #Constraints: 81772 3600.04/3610.20 c #Conflicts: 704000 | #Constraints: 82772 3600.04/3610.20 c #Conflicts: 705000 | #Constraints: 83772 3600.04/3610.20 c #Conflicts: 706000 | #Constraints: 84772 3600.04/3610.20 c #Conflicts: 707000 | #Constraints: 85772 3600.04/3610.20 c #Conflicts: 708000 | #Constraints: 86772 3600.04/3610.20 c #Conflicts: 709000 | #Constraints: 87772 3600.04/3610.20 c #Conflicts: 710000 | #Constraints: 88772 3600.04/3610.20 c #Conflicts: 711000 | #Constraints: 89773 3600.04/3610.20 c #Conflicts: 712000 | #Constraints: 90773 3600.04/3610.20 c #Conflicts: 713000 | #Constraints: 91773 3600.04/3610.20 c #Conflicts: 714000 | #Constraints: 92773 3600.04/3610.20 c #Conflicts: 715000 | #Constraints: 93773 3600.04/3610.20 c #Conflicts: 716000 | #Constraints: 94773 3600.04/3610.20 c #Conflicts: 717000 | #Constraints: 95773 3600.04/3610.20 c #Conflicts: 718000 | #Constraints: 96773 3600.04/3610.20 c #Conflicts: 719000 | #Constraints: 97773 3600.04/3610.20 c #Conflicts: 720000 | #Constraints: 98773 3600.04/3610.20 c #Conflicts: 721000 | #Constraints: 99773 3600.04/3610.20 c #Conflicts: 722000 | #Constraints: 100773 3600.04/3610.20 c #Conflicts: 723000 | #Constraints: 101774 3600.04/3610.20 c #Conflicts: 724000 | #Constraints: 102774 3600.04/3610.20 c #Conflicts: 725000 | #Constraints: 103774 3600.04/3610.20 c #Conflicts: 726000 | #Constraints: 104774 3600.04/3610.20 c #Conflicts: 727000 | #Constraints: 105774 3600.04/3610.20 c #Conflicts: 728000 | #Constraints: 106774 3600.04/3610.20 c #Conflicts: 729000 | #Constraints: 107774 3600.04/3610.20 c #Conflicts: 730000 | #Constraints: 108774 3600.04/3610.20 c #Conflicts: 731000 | #Constraints: 109774 3600.04/3610.20 c #Conflicts: 732000 | #Constraints: 110774 3600.04/3610.20 c #Conflicts: 733000 | #Constraints: 111774 3600.04/3610.20 c #Conflicts: 734000 | #Constraints: 112774 3600.04/3610.20 c #Conflicts: 735000 | #Constraints: 113775 3600.04/3610.20 c #Conflicts: 736000 | #Constraints: 114776 3600.04/3610.20 c #Conflicts: 737000 | #Constraints: 115776 3600.04/3610.20 c #Conflicts: 738000 | #Constraints: 116776 3600.04/3610.20 c #Conflicts: 739000 | #Constraints: 117777 3600.04/3610.20 c #Conflicts: 740000 | #Constraints: 118777 3600.04/3610.20 c #Conflicts: 741000 | #Constraints: 119777 3600.04/3610.20 c #Conflicts: 742000 | #Constraints: 120777 3600.04/3610.20 c #Conflicts: 743000 | #Constraints: 121777 3600.04/3610.20 c Program interrupted by user. 3600.06/3610.68 c cpu time 3560.16 s 3600.06/3610.68 c deterministic time 411238971391 4.11e+11 3600.06/3610.68 c optimization time 310.355 s 3600.06/3610.68 c total solve time 3249.71 s 3600.06/3610.68 c core-guided solve time 0 s 3600.06/3610.68 c propagation time 2114.14 s 3600.06/3610.68 c conflict analysis time 604.764 s 3600.06/3610.68 c propagations 649753585 3600.06/3610.68 c resolve steps 31110410 3600.06/3610.68 c decisions 19892068 3600.06/3610.68 c conflicts 743836 3600.06/3610.68 c restarts 1537 3600.06/3610.68 c inprocessing phases 35 3600.06/3610.68 c input clauses 23642 3600.06/3610.68 c input cardinalities 197 3600.06/3610.68 c input general constraints 0 3600.06/3610.68 c input average constraint length 6.44 3600.06/3610.68 c input average constraint degree 1.97 3600.06/3610.68 c learned clauses 459888 3600.06/3610.68 c learned cardinalities 39749 3600.06/3610.68 c learned general constraints 244249 3600.06/3610.68 c learned average constraint length 1600.45 3600.06/3610.68 c learned average constraint degree 719058270.91 3600.06/3610.68 c watched constraints 174473 3600.06/3610.68 c counting constraints 69776 3600.06/3610.68 c gcd simplifications 3470 3600.06/3610.68 c detected cardinalities 6644 3600.06/3610.68 c weakened non-implied lits 181648282 3600.06/3610.68 c weakened non-implying lits 187473 3600.06/3610.68 c original variables 23443 3600.06/3610.68 c clausal propagations 304294249 3600.06/3610.68 c cardinality propagations 221244323 3600.06/3610.68 c watched propagations 46508264 3600.06/3610.68 c counting propagations 69595558 3600.06/3610.68 c watch lookups 8599858451 3600.06/3610.68 c watch backjump lookups 6466041316 3600.06/3610.68 c watch checks 343815047509 3600.06/3610.68 c propagation checks 47226131429 3600.06/3610.68 c constraint additions 3790672246 3600.06/3610.68 c trail pops 670367227 3600.06/3610.68 c formula constraints 23839 3600.06/3610.68 c learned constraints 743784 3600.06/3610.68 c bound constraints 0 3600.06/3610.68 c core-guided constraints 0 3600.06/3610.68 c encountered formula constraints 21454123 3600.06/3610.68 c encountered learned constraints 10397840 3600.06/3610.68 c encountered bound constraints 0 3600.06/3610.68 c encountered core-guided constraints 0 3600.06/3610.68 c LP total time 1559.75 s 3600.06/3610.68 c LP solve time 1555.89 s 3600.06/3610.68 c LP constraints added 27214 3600.06/3610.68 c LP constraints removed 3204 3600.06/3610.68 c LP pivots internal 744051 3600.06/3610.68 c LP pivots root 463508 3600.06/3610.68 c LP calls 105 3600.06/3610.68 c LP optimalities 46 3600.06/3610.68 c LP no pivot count 1 3600.06/3610.68 c LP infeasibilities 51 3600.06/3610.68 c LP valid Farkas constraints 51 3600.06/3610.68 c LP learned Farkas constraints 51 3600.06/3610.68 c LP basis resets 1 3600.06/3610.68 c LP cycling count 0 3600.06/3610.68 c LP singular count 1 3600.06/3610.68 c LP no primal count 0 3600.06/3610.68 c LP no farkas count 0 3600.06/3610.68 c LP other issue count 0 3600.06/3610.68 c LP Gomory cuts 0 3600.06/3610.68 c LP learned cuts 3375 3600.06/3610.68 c LP deleted cuts 3204 3600.06/3610.68 c LP encountered Gomory constraints 0 3600.06/3610.68 c LP encountered Farkas constraints 1608 3600.06/3610.68 c LP encountered learned Farkas constraints 624 3600.06/3610.68 c CG auxiliary variables introduced 0 3600.06/3610.68 c CG solutions found 0 3600.06/3610.68 c CG cores constructed 0 3600.06/3610.68 c CG core cardinality constraints returned 0 3600.06/3610.68 c CG unit cores 0 3600.06/3610.68 c CG single cores 0 3600.06/3610.68 c CG blocks removed during cardinality reduction 0 3600.06/3610.68 c CG first core best 0 3600.06/3610.68 c CG decision core best 0 3600.06/3610.68 c CG core reduction tie 0 3600.06/3610.68 c CG core degree average 0.00 3600.06/3610.68 c CG core slack average 0.00 3600.06/3610.68 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: 63931 MiB (38365 MiB free)
memory of node 1: 64510 MiB (25971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457163-1721826531/watcher-4457163-1721826531 -o /tmp/evaluation-result-4457163-1721826531/solver-4457163-1721826531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721817188-226964 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457163-1721826531 --lp-cut-gomory=0 HOME/instance-4457163-1721826531.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=232654, runsolver pid=232651
Current StackSize limit: 8192 KiB
[startup+0.100309 s]*
/proc/loadavg: 4.27 4.21 4.16 5/259 232655
/proc/meminfo: memFree=65872132/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=44100 memory=12848 CPUtime=0.09 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 2832 0 0 0 7 2 0 0 20 0 1 0 19182638 45158400 3212 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 11025 3212 1359 992 0 2883 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44100 KiB
Current children cumulated memory: 12848 KiB
[startup+0.206294 s]*
/proc/loadavg: 4.27 4.21 4.16 5/259 232655
/proc/meminfo: memFree=65845028/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=73508 memory=41012 CPUtime=0.18 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 11286 0 0 0 15 3 0 0 20 0 1 0 19182638 75272192 10253 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 6 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 18377 10253 1708 992 0 10235 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73508 KiB
Current children cumulated memory: 41012 KiB
[startup+0.30631 s]*
/proc/loadavg: 4.27 4.21 4.16 5/259 232655
/proc/meminfo: memFree=65843684/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=76808 memory=42068 CPUtime=0.27 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 11536 0 0 0 24 3 0 0 20 0 1 0 19182638 78651392 10517 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 19202 10517 1708 992 0 11060 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76808 KiB
Current children cumulated memory: 42068 KiB
[startup+0.700236 s]
/proc/loadavg: 4.27 4.21 4.16 5/259 232655
/proc/meminfo: memFree=65841900/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=79484 memory=46028 CPUtime=0.65 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 12510 0 0 0 62 3 0 0 20 0 1 0 19182638 81391616 11507 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 19871 11507 1708 992 0 11729 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 79484 KiB
Current children cumulated memory: 46028 KiB
[startup+1.50025 s]
/proc/loadavg: 4.27 4.21 4.16 5/259 232655
/proc/meminfo: memFree=65839184/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=80000 memory=46556 CPUtime=1.46 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 12674 0 0 0 142 4 0 0 20 0 1 0 19182638 81920000 11639 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 20000 11639 1708 992 0 11858 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 46556 KiB
[startup+3.1058 s]
/proc/loadavg: 4.25 4.20 4.16 5/259 232655
/proc/meminfo: memFree=65830192/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=82720 memory=50724 CPUtime=3.06 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 13141 0 0 0 287 19 0 0 20 0 1 0 19182638 84705280 12681 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 20680 12681 1755 992 0 12538 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82720 KiB
Current children cumulated memory: 50724 KiB
[startup+6.30023 s]
/proc/loadavg: 4.25 4.20 4.16 5/259 232655
/proc/meminfo: memFree=65823180/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=86612 memory=53892 CPUtime=6.24 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 13949 0 0 0 603 21 0 0 20 0 1 0 19182638 88690688 13473 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 21653 13473 1755 992 0 13511 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 86612 KiB
Current children cumulated memory: 53892 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.20 4.16 5/259 232657
/proc/meminfo: memFree=65815560/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=87440 memory=55740 CPUtime=12.62 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 14385 0 0 0 1238 24 0 0 20 0 1 0 19182638 89538560 13935 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 21860 13935 1755 992 0 13718 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 55740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.16 5/259 232658
/proc/meminfo: memFree=65789292/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=89064 memory=58128 CPUtime=25.39 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 14923 0 0 0 2480 59 0 0 20 0 1 0 19182638 91201536 14532 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 22266 14532 1829 992 0 14124 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89064 KiB
Current children cumulated memory: 58128 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.17 4.15 5/259 232664
/proc/meminfo: memFree=65722892/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=114596 memory=81396 CPUtime=50.93 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 19686 0 0 0 4974 119 0 0 20 0 1 0 19182638 117346304 20349 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 28649 20349 1861 992 0 20507 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 114596 KiB
Current children cumulated memory: 81396 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/261 232677
/proc/meminfo: memFree=65452628/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=211844 memory=157424 CPUtime=101.99 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 30419 0 0 0 9985 214 0 0 20 0 1 0 19182638 216928256 39356 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 52961 39356 1861 992 0 44819 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 211844 KiB
Current children cumulated memory: 157424 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.24 4.18 5/261 232688
/proc/meminfo: memFree=65376604/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=221796 memory=169764 CPUtime=161.82 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 33002 0 0 0 15942 240 0 0 20 0 1 0 19182638 227119104 42441 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 55449 42441 1861 992 0 47307 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 221796 KiB
Current children cumulated memory: 169764 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.23 4.18 5/261 232698
/proc/meminfo: memFree=65224672/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=225096 memory=171824 CPUtime=221.66 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 33496 0 0 0 21800 366 0 0 20 0 1 0 19182638 230498304 42956 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 56274 42956 1861 992 0 48132 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 225096 KiB
Current children cumulated memory: 171824 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/259 232709
/proc/meminfo: memFree=65093808/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=236372 memory=183788 CPUtime=281.49 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 36015 0 0 0 27661 488 0 0 20 0 1 0 19182638 242044928 45947 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 59093 45947 1861 992 0 50951 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 236372 KiB
Current children cumulated memory: 183788 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/262 232771
/proc/meminfo: memFree=64923164/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=241152 memory=205012 CPUtime=341.33 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 37304 0 0 0 33535 598 0 0 20 0 1 0 19182638 246939648 51253 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 60288 51253 1861 992 0 52146 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 241152 KiB
Current children cumulated memory: 205012 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/260 232781
/proc/meminfo: memFree=64830452/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=249748 memory=211840 CPUtime=401.16 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 39007 0 0 0 39470 646 0 0 20 0 1 0 19182638 255741952 52960 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 62437 52960 1861 992 0 54295 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 249748 KiB
Current children cumulated memory: 211840 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/260 232792
/proc/meminfo: memFree=64677804/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=302412 memory=227112 CPUtime=461 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 40308 0 0 0 45302 798 0 0 20 0 1 0 19182638 309669888 56778 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 75603 56778 1861 992 0 67461 0
################
# More data... #
################
Current children cumulated memory: 1805580 KiB
[startup+2982.3 s]
/proc/loadavg: 2.16 2.17 2.54 3/246 234504
/proc/meminfo: memFree=84819848/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1805580 CPUtime=2973.75 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 193806 0 0 0 294037 3338 0 0 20 0 1 0 19182638 2322157568 451395 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 451395 1951 992 0 558791 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1805580 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.15 2.52 3/246 234515
/proc/meminfo: memFree=84637568/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1807844 CPUtime=3033.57 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 193834 0 0 0 299991 3366 0 0 20 0 1 0 19182638 2322157568 451961 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 451961 1951 992 0 558791 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1807844 KiB
[startup+3102.3 s]
/proc/loadavg: 1.65 2.03 2.45 2/238 234559
/proc/meminfo: memFree=92744800/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1807912 CPUtime=3093.42 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 194000 0 0 0 305939 3403 0 0 20 0 1 0 19182638 2322157568 451978 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 451978 1951 992 0 558791 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1807912 KiB
[startup+3162.3 s]
/proc/loadavg: 1.28 1.85 2.36 2/238 234582
/proc/meminfo: memFree=92643460/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1808200 CPUtime=3153.28 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 194318 0 0 0 311799 3529 0 0 20 0 1 0 19182638 2322157568 452050 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 452050 1951 992 0 558791 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1808200 KiB
[startup+3222.3 s]
/proc/loadavg: 1.22 1.73 2.28 2/238 234593
/proc/meminfo: memFree=92554088/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1814184 CPUtime=3213.1 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 194767 0 0 0 317679 3631 0 0 20 0 1 0 19182638 2322157568 453546 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 453546 1951 992 0 558791 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1814184 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.61 2.21 2/238 234606
/proc/meminfo: memFree=92443860/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2267732 memory=1814200 CPUtime=3272.96 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 195191 0 0 0 323548 3748 0 0 20 0 1 0 19182638 2322157568 453550 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 566933 453550 1951 992 0 558791 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 2267732 KiB
Current children cumulated memory: 1814200 KiB
[startup+3342.3 s]
/proc/loadavg: 1.05 1.49 2.13 2/238 234616
/proc/meminfo: memFree=92351164/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2268156 memory=1815908 CPUtime=3332.82 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 195853 0 0 0 329463 3819 0 0 20 0 1 0 19182638 2322591744 453977 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 567039 453977 1951 992 0 558897 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 2268156 KiB
Current children cumulated memory: 1815908 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.43 2.06 2/237 234627
/proc/meminfo: memFree=91790436/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2268156 memory=1829260 CPUtime=3392.67 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 196543 0 0 0 335394 3873 0 0 20 0 1 0 19182638 2322591744 457315 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 567039 457315 1951 992 0 558897 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 2268156 KiB
Current children cumulated memory: 1829260 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.37 2.00 2/237 234637
/proc/meminfo: memFree=91184356/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2284964 memory=1871372 CPUtime=3452.52 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 201393 0 0 0 341342 3910 0 0 20 0 1 0 19182638 2339803136 467843 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 571241 467843 1951 992 0 563099 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 2284964 KiB
Current children cumulated memory: 1871372 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.31 1.94 2/237 234649
/proc/meminfo: memFree=90773220/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2334720 memory=1921272 CPUtime=3512.37 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 214348 0 0 0 347299 3938 0 0 20 0 1 0 19182638 2390753280 480318 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 583680 480318 1951 992 0 575538 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 2334720 KiB
Current children cumulated memory: 1921272 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.27 1.89 2/236 234660
/proc/meminfo: memFree=90388652/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2363684 memory=1999528 CPUtime=3572.22 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 222436 0 0 0 353253 3969 0 0 20 0 1 0 19182638 2420412416 499882 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 590921 499882 1951 992 0 582779 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 2363684 KiB
Current children cumulated memory: 1999528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.45 1.34 1.89 2/236 234665
/proc/meminfo: memFree=90171800/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2387176 memory=2095644 CPUtime=3600.04 cores=4,6
/proc/232654/stat : 232654 (roundingsat) R 232651 232654 226953 0 -1 4194304 228472 0 0 0 356016 3988 0 0 20 0 1 0 19182638 2444468224 523911 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 596794 523911 1951 992 0 588652 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2387176 KiB
Current children cumulated memory: 2095644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.69 s]
# the end of solver process 232654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.17 s, system=39.9229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 1.45 1.34 1.89 2/236 234665
/proc/meminfo: memFree=90171800/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2387176 memory=2095644 CPUtime=3600.06 cores=4,6
/proc/232654/stat : 232654 (roundingsat) D 232651 232654 226953 0 -1 4194304 228476 0 0 0 356016 3990 0 0 20 0 1 0 19182638 2444468224 523911 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 35 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 596794 523911 1951 992 0 588652 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2387176 KiB
Current children cumulated memory: 2095644 KiB
[startup+3610.6 s]
/proc/loadavg: 1.45 1.34 1.89 2/236 234665
/proc/meminfo: memFree=90171800/131524600 swapFree=131067876/131071996
[pid=232654] ppid=232651 vsize=2387176 memory=2095644 CPUtime=3600.06 cores=4,6
/proc/232654/stat : 232654 (roundingsat) D 232651 232654 226953 0 -1 4194304 228476 0 0 0 356016 3990 0 0 20 0 1 0 19182638 2444468224 523911 134679101440 4194304 8254037 140730709152816 0 0 0 0 0 25182210 0 0 0 17 4 0 0 74 0 0 9037040 9046032 41246720 140730709160796 140730709161058 140730709161058 140730709168073 0
/proc/232654/statm: 596794 523911 1951 992 0 588652 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2387176 KiB
Current children cumulated memory: 2095644 KiB
Child status: 0
Real time (s): 3610.69
CPU time (s): 3600.09
CPU user time (s): 3560.17
CPU system time (s): 39.9229
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 2387176
Max. memory (cumulated for all children) (KiB): 2095644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.17
system time used= 39.9229
maximum resident set size= 2095644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14406768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3339
involuntary context switches= 4907
# summary of solver processes directly reported to runsolver:
# pid: 232654
# total CPU time (s): 3600.09
# total CPU user time (s): 3560.17
# total CPU system time (s): 39.9229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.25639 second user time and 14.5621 second system time
The end
Begin job on nodeC031 at 2024-07-24 15:08:51 IDJOB=4457163 IDBENCH=158277 IDSOLVER=3085 FILE ID=nodeC031/4457163-1721826531 RUNJOBID= nodeC031-1721817188-226964 SLURM_JOB_ID= 7816894 Free space on /tmp= 889860 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-4457163-1721826531/watcher-4457163-1721826531 -o /tmp/evaluation-result-4457163-1721826531/solver-4457163-1721826531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721817188-226964 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457163-1721826531 --lp-cut-gomory=0 HOME/instance-4457163-1721826531.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cd0a69270cffb0a3df5915a64d0aa68c RANDOM SEED=1759071281 nodeC031.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 : 3675.878 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 : 7000.44 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 : 3687.712 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 : 7007.12 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 : 3626.280 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 : 7000.44 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.447 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 : 7007.12 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 : 3654.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 : 7000.44 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 : 3687.749 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 : 7007.12 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 : 3662.243 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 : 7000.44 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.393 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 65880336 kB MemAvailable: 120860284 kB Buffers: 255864 kB Cached: 55295156 kB SwapCached: 452 kB Active: 2675000 kB Inactive: 61937060 kB Active(anon): 1732 kB Inactive(anon): 9112820 kB Active(file): 2673268 kB Inactive(file): 52824240 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067876 kB Dirty: 7928 kB Writeback: 304 kB AnonPages: 9056540 kB Mapped: 120780 kB Shmem: 53492 kB KReclaimable: 543672 kB Slab: 667376 kB SReclaimable: 543672 kB SUnreclaim: 123704 kB KernelStack: 4160 kB PageTables: 27480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10574568 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13280 kB HardwareCorrupted: 0 kB AnonHugePages: 4179968 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: 367316 kB DirectMap2M: 37154816 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 890076 MiB End job on nodeC031 at 2024-07-24 16:09:02