| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.06 | 3612.03 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K193.opb |
| MD5SUM | a57909b893e448cbfc1c45d11e8afcf3 |
| 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 | 62.0014 |
| 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 | 22967 |
| Total number of constraints | 23355 |
| Number of constraints which are clauses | 23162 |
| Number of constraints which are cardinality constraints (but not clauses) | 193 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 193 |
| 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 | 194 |
| 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.11 c #variables 22967 #constraints 23355 103.16/103.53 c #Conflicts: 1000 | #Constraints: 24354 103.16/103.53 c #Conflicts: 2000 | #Constraints: 25354 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c #Conflicts: 3000 | #Constraints: 24681 103.16/103.53 c #Conflicts: 4000 | #Constraints: 25681 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c #Conflicts: 5000 | #Constraints: 25218 103.16/103.53 c #Conflicts: 6000 | #Constraints: 26218 103.16/103.53 c #Conflicts: 7000 | #Constraints: 27219 103.16/103.53 c #Conflicts: 8000 | #Constraints: 28219 103.16/103.53 c #Conflicts: 9000 | #Constraints: 29219 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c #Conflicts: 10000 | #Constraints: 27033 103.16/103.53 c #Conflicts: 11000 | #Constraints: 28033 103.16/103.53 c #Conflicts: 12000 | #Constraints: 29033 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c #Conflicts: 13000 | #Constraints: 26732 103.16/103.53 c #Conflicts: 14000 | #Constraints: 27732 103.16/103.53 c #Conflicts: 15000 | #Constraints: 28732 103.16/103.53 c #Conflicts: 16000 | #Constraints: 29732 103.16/103.53 c #Conflicts: 17000 | #Constraints: 30732 103.16/103.53 c #Conflicts: 18000 | #Constraints: 31732 103.16/103.53 c #Conflicts: 19000 | #Constraints: 32732 103.16/103.53 c #Conflicts: 20000 | #Constraints: 33732 103.16/103.53 c #Conflicts: 21000 | #Constraints: 34732 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c #Conflicts: 22000 | #Constraints: 30109 103.16/103.53 c #Conflicts: 23000 | #Constraints: 31109 103.16/103.53 c #Conflicts: 24000 | #Constraints: 32109 103.16/103.53 c #Conflicts: 25000 | #Constraints: 33109 103.16/103.53 c INPROCESSING 103.16/103.53 c GARBAGE COLLECT 103.16/103.53 c rational objective 193 115.62/116.04 c #Conflicts: 26000 | #Constraints: 29207 115.62/116.04 c #Conflicts: 27000 | #Constraints: 30207 115.62/116.04 c #Conflicts: 28000 | #Constraints: 31207 115.62/116.04 c #Conflicts: 29000 | #Constraints: 32207 115.62/116.04 c #Conflicts: 30000 | #Constraints: 33207 115.62/116.04 c #Conflicts: 31000 | #Constraints: 34207 115.62/116.04 c #Conflicts: 32000 | #Constraints: 35207 115.62/116.04 c #Conflicts: 33000 | #Constraints: 36207 115.62/116.04 c #Conflicts: 34000 | #Constraints: 37207 115.62/116.04 c #Conflicts: 35000 | #Constraints: 38207 115.62/116.04 c #Conflicts: 36000 | #Constraints: 39207 115.62/116.04 c #Conflicts: 37000 | #Constraints: 40207 115.62/116.04 c INPROCESSING 115.62/116.04 c GARBAGE COLLECT 115.62/116.04 c rational objective 193 245.62/246.44 c #Conflicts: 38000 | #Constraints: 32926 245.62/246.44 c #Conflicts: 39000 | #Constraints: 33926 245.62/246.44 c #Conflicts: 40000 | #Constraints: 34926 245.62/246.44 c #Conflicts: 41000 | #Constraints: 35926 245.62/246.44 c #Conflicts: 42000 | #Constraints: 36926 245.62/246.44 c #Conflicts: 43000 | #Constraints: 37926 245.62/246.44 c INPROCESSING 245.62/246.44 c GARBAGE COLLECT 245.62/246.44 c #Conflicts: 44000 | #Constraints: 32581 245.62/246.44 c #Conflicts: 45000 | #Constraints: 33581 245.62/246.44 c #Conflicts: 46000 | #Constraints: 34581 245.62/246.44 c #Conflicts: 47000 | #Constraints: 35581 245.62/246.44 c #Conflicts: 48000 | #Constraints: 36581 245.62/246.44 c #Conflicts: 49000 | #Constraints: 37581 245.62/246.44 c #Conflicts: 50000 | #Constraints: 38581 245.62/246.44 c #Conflicts: 51000 | #Constraints: 39581 245.62/246.44 c #Conflicts: 52000 | #Constraints: 40581 245.62/246.44 c #Conflicts: 53000 | #Constraints: 41581 245.62/246.44 c #Conflicts: 54000 | #Constraints: 42581 245.62/246.44 c #Conflicts: 55000 | #Constraints: 43581 245.62/246.44 c #Conflicts: 56000 | #Constraints: 44581 245.62/246.44 c #Conflicts: 57000 | #Constraints: 45581 245.62/246.44 c INPROCESSING 245.62/246.44 c GARBAGE COLLECT 245.62/246.44 c #Conflicts: 58000 | #Constraints: 35518 245.62/246.44 c #Conflicts: 59000 | #Constraints: 36518 245.62/246.44 c #Conflicts: 60000 | #Constraints: 37518 245.62/246.44 c #Conflicts: 61000 | #Constraints: 38518 245.62/246.44 c #Conflicts: 62000 | #Constraints: 39518 245.62/246.44 c #Conflicts: 63000 | #Constraints: 40518 245.62/246.44 c #Conflicts: 64000 | #Constraints: 41518 245.62/246.44 c #Conflicts: 65000 | #Constraints: 42518 245.62/246.44 c INPROCESSING 245.62/246.44 c GARBAGE COLLECT 245.62/246.44 c rational objective 193 374.80/376.07 c #Conflicts: 66000 | #Constraints: 36295 374.80/376.07 c #Conflicts: 67000 | #Constraints: 37295 374.80/376.07 c #Conflicts: 68000 | #Constraints: 38295 374.80/376.07 c #Conflicts: 69000 | #Constraints: 39296 374.80/376.07 c #Conflicts: 70000 | #Constraints: 40296 374.80/376.07 c #Conflicts: 71000 | #Constraints: 41296 374.80/376.07 c #Conflicts: 72000 | #Constraints: 42296 374.80/376.07 c #Conflicts: 73000 | #Constraints: 43296 374.80/376.07 c #Conflicts: 74000 | #Constraints: 44296 374.80/376.07 c #Conflicts: 75000 | #Constraints: 45296 374.80/376.07 c #Conflicts: 76000 | #Constraints: 46296 374.80/376.07 c #Conflicts: 77000 | #Constraints: 47297 374.80/376.07 c #Conflicts: 78000 | #Constraints: 48297 374.80/376.07 c #Conflicts: 79000 | #Constraints: 49297 374.80/376.07 c #Conflicts: 80000 | #Constraints: 50297 374.80/376.07 c #Conflicts: 81000 | #Constraints: 51297 374.80/376.07 c #Conflicts: 82000 | #Constraints: 52297 374.80/376.07 c INPROCESSING 374.80/376.07 c GARBAGE COLLECT 374.80/376.07 c rational objective 193 506.09/507.70 c #Conflicts: 83000 | #Constraints: 39067 506.09/507.70 c #Conflicts: 84000 | #Constraints: 40067 506.09/507.70 c #Conflicts: 85000 | #Constraints: 41067 506.09/507.70 c #Conflicts: 86000 | #Constraints: 42067 506.09/507.70 c #Conflicts: 87000 | #Constraints: 43067 506.09/507.70 c #Conflicts: 88000 | #Constraints: 44067 506.09/507.70 c #Conflicts: 89000 | #Constraints: 45067 506.09/507.70 c #Conflicts: 90000 | #Constraints: 46068 506.09/507.70 c #Conflicts: 91000 | #Constraints: 47068 506.09/507.70 c INPROCESSING 506.09/507.70 c GARBAGE COLLECT 506.09/507.70 c #Conflicts: 92000 | #Constraints: 38818 506.09/507.70 c #Conflicts: 93000 | #Constraints: 39818 506.09/507.70 c #Conflicts: 94000 | #Constraints: 40818 506.09/507.70 c #Conflicts: 95000 | #Constraints: 41818 506.09/507.70 c #Conflicts: 96000 | #Constraints: 42818 506.09/507.70 c #Conflicts: 97000 | #Constraints: 43818 506.09/507.70 c #Conflicts: 98000 | #Constraints: 44818 506.09/507.70 c #Conflicts: 99000 | #Constraints: 45818 506.09/507.70 c #Conflicts: 100000 | #Constraints: 46818 506.09/507.70 c #Conflicts: 101000 | #Constraints: 47818 506.09/507.70 c #Conflicts: 102000 | #Constraints: 48818 506.09/507.70 c #Conflicts: 103000 | #Constraints: 49818 506.09/507.70 c #Conflicts: 104000 | #Constraints: 50818 506.09/507.70 c #Conflicts: 105000 | #Constraints: 51818 506.09/507.70 c #Conflicts: 106000 | #Constraints: 52819 506.09/507.70 c #Conflicts: 107000 | #Constraints: 53819 506.09/507.70 c #Conflicts: 108000 | #Constraints: 54819 506.09/507.70 c #Conflicts: 109000 | #Constraints: 55819 506.09/507.70 c #Conflicts: 110000 | #Constraints: 56819 506.09/507.70 c #Conflicts: 111000 | #Constraints: 57819 506.09/507.70 c INPROCESSING 506.09/507.70 c GARBAGE COLLECT 506.09/507.70 c #Conflicts: 112000 | #Constraints: 41835 506.09/507.70 c #Conflicts: 113000 | #Constraints: 42835 506.09/507.70 c #Conflicts: 114000 | #Constraints: 43835 506.09/507.70 c #Conflicts: 115000 | #Constraints: 44835 506.09/507.70 c #Conflicts: 116000 | #Constraints: 45835 506.09/507.70 c #Conflicts: 117000 | #Constraints: 46835 506.09/507.70 c #Conflicts: 118000 | #Constraints: 47836 506.09/507.70 c #Conflicts: 119000 | #Constraints: 48836 506.09/507.70 c #Conflicts: 120000 | #Constraints: 49836 506.09/507.70 c #Conflicts: 121000 | #Constraints: 50836 506.09/507.70 c INPROCESSING 506.09/507.70 c GARBAGE COLLECT 506.09/507.70 c rational objective 193 596.49/598.40 c #Conflicts: 122000 | #Constraints: 41031 596.49/598.40 c #Conflicts: 123000 | #Constraints: 42031 596.49/598.40 c #Conflicts: 124000 | #Constraints: 43031 596.49/598.40 c #Conflicts: 125000 | #Constraints: 44031 596.49/598.40 c #Conflicts: 126000 | #Constraints: 45031 596.49/598.40 c #Conflicts: 127000 | #Constraints: 46031 596.49/598.40 c #Conflicts: 128000 | #Constraints: 47031 596.49/598.40 c #Conflicts: 129000 | #Constraints: 48031 596.49/598.40 c #Conflicts: 130000 | #Constraints: 49031 596.49/598.40 c #Conflicts: 131000 | #Constraints: 50031 596.49/598.40 c #Conflicts: 132000 | #Constraints: 51032 596.49/598.40 c #Conflicts: 133000 | #Constraints: 52032 596.49/598.40 c #Conflicts: 134000 | #Constraints: 53032 596.49/598.40 c #Conflicts: 135000 | #Constraints: 54032 596.49/598.40 c #Conflicts: 136000 | #Constraints: 55033 596.49/598.40 c #Conflicts: 137000 | #Constraints: 56033 596.49/598.40 c #Conflicts: 138000 | #Constraints: 57033 596.49/598.40 c #Conflicts: 139000 | #Constraints: 58033 596.49/598.40 c #Conflicts: 140000 | #Constraints: 59033 596.49/598.40 c #Conflicts: 141000 | #Constraints: 60033 596.49/598.40 c #Conflicts: 142000 | #Constraints: 61033 596.49/598.40 c #Conflicts: 143000 | #Constraints: 62033 596.49/598.40 c #Conflicts: 144000 | #Constraints: 63033 596.49/598.40 c #Conflicts: 145000 | #Constraints: 64033 596.49/598.40 c INPROCESSING 596.49/598.40 c GARBAGE COLLECT 596.49/598.40 c rational objective 193 671.74/673.91 c #Conflicts: 146000 | #Constraints: 45100 671.74/673.91 c #Conflicts: 147000 | #Constraints: 46100 671.74/673.91 c #Conflicts: 148000 | #Constraints: 47100 671.74/673.91 c #Conflicts: 149000 | #Constraints: 48100 671.74/673.91 c #Conflicts: 150000 | #Constraints: 49100 671.74/673.91 c #Conflicts: 151000 | #Constraints: 50100 671.74/673.91 c #Conflicts: 152000 | #Constraints: 51100 671.74/673.91 c #Conflicts: 153000 | #Constraints: 52100 671.74/673.91 c #Conflicts: 154000 | #Constraints: 53100 671.74/673.91 c #Conflicts: 155000 | #Constraints: 54100 671.74/673.91 c #Conflicts: 156000 | #Constraints: 55100 671.74/673.91 c INPROCESSING 671.74/673.91 c GARBAGE COLLECT 671.74/673.91 c #Conflicts: 157000 | #Constraints: 43863 671.74/673.91 c #Conflicts: 158000 | #Constraints: 44863 671.74/673.91 c #Conflicts: 159000 | #Constraints: 45863 671.74/673.91 c #Conflicts: 160000 | #Constraints: 46863 671.74/673.91 c #Conflicts: 161000 | #Constraints: 47863 671.74/673.91 c #Conflicts: 162000 | #Constraints: 48864 671.74/673.91 c #Conflicts: 163000 | #Constraints: 49864 671.74/673.91 c #Conflicts: 164000 | #Constraints: 50864 671.74/673.91 c #Conflicts: 165000 | #Constraints: 51865 671.74/673.91 c #Conflicts: 166000 | #Constraints: 52865 671.74/673.91 c #Conflicts: 167000 | #Constraints: 53865 671.74/673.91 c #Conflicts: 168000 | #Constraints: 54865 671.74/673.91 c #Conflicts: 169000 | #Constraints: 55865 671.74/673.91 c #Conflicts: 170000 | #Constraints: 56865 671.74/673.91 c #Conflicts: 171000 | #Constraints: 57865 671.74/673.91 c #Conflicts: 172000 | #Constraints: 58865 671.74/673.91 c #Conflicts: 173000 | #Constraints: 59865 671.74/673.91 c #Conflicts: 174000 | #Constraints: 60865 671.74/673.91 c #Conflicts: 175000 | #Constraints: 61865 671.74/673.91 c #Conflicts: 176000 | #Constraints: 62865 671.74/673.91 c #Conflicts: 177000 | #Constraints: 63865 671.74/673.91 c #Conflicts: 178000 | #Constraints: 64865 671.74/673.91 c #Conflicts: 179000 | #Constraints: 65865 671.74/673.91 c #Conflicts: 180000 | #Constraints: 66865 671.74/673.91 c #Conflicts: 181000 | #Constraints: 67865 671.74/673.91 c #Conflicts: 182000 | #Constraints: 68865 671.74/673.91 c #Conflicts: 183000 | #Constraints: 69865 671.74/673.91 c INPROCESSING 671.74/673.91 c GARBAGE COLLECT 671.74/673.91 c rational objective 193 786.87/789.43 c #Conflicts: 184000 | #Constraints: 48020 786.87/789.43 c #Conflicts: 185000 | #Constraints: 49020 786.87/789.43 c #Conflicts: 186000 | #Constraints: 50020 786.87/789.43 c #Conflicts: 187000 | #Constraints: 51020 786.87/789.43 c #Conflicts: 188000 | #Constraints: 52020 786.87/789.43 c #Conflicts: 189000 | #Constraints: 53020 786.87/789.43 c #Conflicts: 190000 | #Constraints: 54020 786.87/789.43 c #Conflicts: 191000 | #Constraints: 55021 786.87/789.43 c #Conflicts: 192000 | #Constraints: 56021 786.87/789.43 c #Conflicts: 193000 | #Constraints: 57021 786.87/789.43 c #Conflicts: 194000 | #Constraints: 58021 786.87/789.43 c #Conflicts: 195000 | #Constraints: 59021 786.87/789.43 c #Conflicts: 196000 | #Constraints: 60021 786.87/789.43 c INPROCESSING 786.87/789.43 c GARBAGE COLLECT 786.87/789.43 c rational objective 193 1021.23/1024.57 c #Conflicts: 197000 | #Constraints: 47718 1021.23/1024.57 c #Conflicts: 198000 | #Constraints: 48718 1021.23/1024.57 c #Conflicts: 199000 | #Constraints: 49718 1021.23/1024.57 c #Conflicts: 200000 | #Constraints: 50718 1021.23/1024.57 c #Conflicts: 201000 | #Constraints: 51718 1021.23/1024.57 c #Conflicts: 202000 | #Constraints: 52719 1021.23/1024.57 c #Conflicts: 203000 | #Constraints: 53719 1021.23/1024.57 c #Conflicts: 204000 | #Constraints: 54719 1021.23/1024.57 c #Conflicts: 205000 | #Constraints: 55719 1021.23/1024.57 c #Conflicts: 206000 | #Constraints: 56719 1021.23/1024.57 c #Conflicts: 207000 | #Constraints: 57719 1021.23/1024.57 c #Conflicts: 208000 | #Constraints: 58719 1021.23/1024.57 c #Conflicts: 209000 | #Constraints: 59719 1021.23/1024.57 c #Conflicts: 210000 | #Constraints: 60719 1021.23/1024.57 c #Conflicts: 211000 | #Constraints: 61719 1021.23/1024.57 c #Conflicts: 212000 | #Constraints: 62719 1021.23/1024.57 c #Conflicts: 213000 | #Constraints: 63719 1021.23/1024.57 c #Conflicts: 214000 | #Constraints: 64719 1021.23/1024.57 c #Conflicts: 215000 | #Constraints: 65719 1021.23/1024.57 c #Conflicts: 216000 | #Constraints: 66719 1021.23/1024.57 c #Conflicts: 217000 | #Constraints: 67719 1021.23/1024.57 c #Conflicts: 218000 | #Constraints: 68719 1021.23/1024.57 c #Conflicts: 219000 | #Constraints: 69719 1021.23/1024.57 c #Conflicts: 220000 | #Constraints: 70720 1021.23/1024.57 c #Conflicts: 221000 | #Constraints: 71720 1021.23/1024.57 c #Conflicts: 222000 | #Constraints: 72720 1021.23/1024.57 c #Conflicts: 223000 | #Constraints: 73720 1021.23/1024.57 c #Conflicts: 224000 | #Constraints: 74720 1021.23/1024.57 c #Conflicts: 225000 | #Constraints: 75720 1021.23/1024.57 c #Conflicts: 226000 | #Constraints: 76720 1021.23/1024.57 c INPROCESSING 1021.23/1024.57 c GARBAGE COLLECT 1021.23/1024.57 c #Conflicts: 227000 | #Constraints: 48357 1021.23/1024.57 c #Conflicts: 228000 | #Constraints: 49357 1021.23/1024.57 c #Conflicts: 229000 | #Constraints: 50357 1021.23/1024.57 c #Conflicts: 230000 | #Constraints: 51357 1021.23/1024.57 c #Conflicts: 231000 | #Constraints: 52357 1021.23/1024.57 c #Conflicts: 232000 | #Constraints: 53358 1021.23/1024.57 c #Conflicts: 233000 | #Constraints: 54358 1021.23/1024.57 c #Conflicts: 234000 | #Constraints: 55358 1021.23/1024.57 c #Conflicts: 235000 | #Constraints: 56358 1021.23/1024.57 c #Conflicts: 236000 | #Constraints: 57358 1021.23/1024.57 c #Conflicts: 237000 | #Constraints: 58358 1021.23/1024.57 c #Conflicts: 238000 | #Constraints: 59358 1021.23/1024.57 c #Conflicts: 239000 | #Constraints: 60358 1021.23/1024.57 c #Conflicts: 240000 | #Constraints: 61358 1021.23/1024.57 c #Conflicts: 241000 | #Constraints: 62358 1021.23/1024.57 c #Conflicts: 242000 | #Constraints: 63358 1021.23/1024.57 c #Conflicts: 243000 | #Constraints: 64358 1021.23/1024.57 c #Conflicts: 244000 | #Constraints: 65358 1021.23/1024.57 c #Conflicts: 245000 | #Constraints: 66358 1021.23/1024.57 c #Conflicts: 246000 | #Constraints: 67358 1021.23/1024.57 c #Conflicts: 247000 | #Constraints: 68359 1021.23/1024.57 c #Conflicts: 248000 | #Constraints: 69359 1021.23/1024.57 c #Conflicts: 249000 | #Constraints: 70359 1021.23/1024.57 c #Conflicts: 250000 | #Constraints: 71359 1021.23/1024.57 c #Conflicts: 251000 | #Constraints: 72359 1021.23/1024.57 c #Conflicts: 252000 | #Constraints: 73359 1021.23/1024.57 c #Conflicts: 253000 | #Constraints: 74359 1021.23/1024.57 c #Conflicts: 254000 | #Constraints: 75359 1021.23/1024.57 c #Conflicts: 255000 | #Constraints: 76359 1021.23/1024.57 c #Conflicts: 256000 | #Constraints: 77359 1021.23/1024.57 c #Conflicts: 257000 | #Constraints: 78359 1021.23/1024.57 c #Conflicts: 258000 | #Constraints: 79359 1021.23/1024.57 c INPROCESSING 1021.23/1024.57 c GARBAGE COLLECT 1021.23/1024.57 c rational objective 193 1048.34/1051.70 c #Conflicts: 259000 | #Constraints: 53126 1048.34/1051.70 c #Conflicts: 260000 | #Constraints: 54126 1048.34/1051.70 c #Conflicts: 261000 | #Constraints: 55127 1048.34/1051.70 c #Conflicts: 262000 | #Constraints: 56127 1048.34/1051.70 c #Conflicts: 263000 | #Constraints: 57127 1048.34/1051.70 c #Conflicts: 264000 | #Constraints: 58127 1048.34/1051.70 c #Conflicts: 265000 | #Constraints: 59127 1048.34/1051.70 c #Conflicts: 266000 | #Constraints: 60127 1048.34/1051.70 c #Conflicts: 267000 | #Constraints: 61127 1048.34/1051.70 c #Conflicts: 268000 | #Constraints: 62127 1048.34/1051.70 c #Conflicts: 269000 | #Constraints: 63127 1048.34/1051.70 c #Conflicts: 270000 | #Constraints: 64127 1048.34/1051.70 c #Conflicts: 271000 | #Constraints: 65127 1048.34/1051.70 c #Conflicts: 272000 | #Constraints: 66127 1048.34/1051.70 c #Conflicts: 273000 | #Constraints: 67127 1048.34/1051.70 c INPROCESSING 1048.34/1051.70 c GARBAGE COLLECT 1048.34/1051.70 c rational objective 193 1141.73/1145.47 c #Conflicts: 274000 | #Constraints: 52150 1141.73/1145.47 c #Conflicts: 275000 | #Constraints: 53150 1141.73/1145.47 c #Conflicts: 276000 | #Constraints: 54150 1141.73/1145.47 c #Conflicts: 277000 | #Constraints: 55150 1141.73/1145.47 c #Conflicts: 278000 | #Constraints: 56151 1141.73/1145.47 c #Conflicts: 279000 | #Constraints: 57151 1141.73/1145.47 c #Conflicts: 280000 | #Constraints: 58151 1141.73/1145.47 c #Conflicts: 281000 | #Constraints: 59151 1141.73/1145.47 c #Conflicts: 282000 | #Constraints: 60151 1141.73/1145.47 c #Conflicts: 283000 | #Constraints: 61151 1141.73/1145.47 c #Conflicts: 284000 | #Constraints: 62151 1141.73/1145.47 c #Conflicts: 285000 | #Constraints: 63152 1141.73/1145.47 c #Conflicts: 286000 | #Constraints: 64152 1141.73/1145.47 c #Conflicts: 287000 | #Constraints: 65152 1141.73/1145.47 c #Conflicts: 288000 | #Constraints: 66152 1141.73/1145.47 c #Conflicts: 289000 | #Constraints: 67152 1141.73/1145.47 c #Conflicts: 290000 | #Constraints: 68152 1141.73/1145.47 c #Conflicts: 291000 | #Constraints: 69152 1141.73/1145.47 c #Conflicts: 292000 | #Constraints: 70152 1141.73/1145.47 c #Conflicts: 293000 | #Constraints: 71152 1141.73/1145.47 c #Conflicts: 294000 | #Constraints: 72152 1141.73/1145.47 c #Conflicts: 295000 | #Constraints: 73152 1141.73/1145.47 c #Conflicts: 296000 | #Constraints: 74152 1141.73/1145.47 c #Conflicts: 297000 | #Constraints: 75152 1141.73/1145.47 c #Conflicts: 298000 | #Constraints: 76152 1141.73/1145.47 c #Conflicts: 299000 | #Constraints: 77152 1141.73/1145.47 c #Conflicts: 300000 | #Constraints: 78152 1141.73/1145.47 c #Conflicts: 301000 | #Constraints: 79152 1141.73/1145.47 c #Conflicts: 302000 | #Constraints: 80152 1141.73/1145.47 c #Conflicts: 303000 | #Constraints: 81152 1141.73/1145.47 c #Conflicts: 304000 | #Constraints: 82152 1141.73/1145.47 c #Conflicts: 305000 | #Constraints: 83152 1141.73/1145.47 c #Conflicts: 306000 | #Constraints: 84152 1141.73/1145.47 c #Conflicts: 307000 | #Constraints: 85152 1141.73/1145.47 c #Conflicts: 308000 | #Constraints: 86152 1141.73/1145.47 c INPROCESSING 1141.73/1145.47 c GARBAGE COLLECT 1141.73/1145.47 c rational objective 193 1178.52/1182.34 c #Conflicts: 309000 | #Constraints: 56499 1178.52/1182.34 c #Conflicts: 310000 | #Constraints: 57499 1178.52/1182.34 c #Conflicts: 311000 | #Constraints: 58499 1178.52/1182.34 c #Conflicts: 312000 | #Constraints: 59499 1178.52/1182.34 c #Conflicts: 313000 | #Constraints: 60499 1178.52/1182.34 c #Conflicts: 314000 | #Constraints: 61500 1178.52/1182.34 c #Conflicts: 315000 | #Constraints: 62500 1178.52/1182.34 c #Conflicts: 316000 | #Constraints: 63500 1178.52/1182.34 c #Conflicts: 317000 | #Constraints: 64500 1178.52/1182.34 c #Conflicts: 318000 | #Constraints: 65500 1178.52/1182.34 c #Conflicts: 319000 | #Constraints: 66501 1178.52/1182.34 c #Conflicts: 320000 | #Constraints: 67501 1178.52/1182.34 c #Conflicts: 321000 | #Constraints: 68501 1178.52/1182.34 c #Conflicts: 322000 | #Constraints: 69501 1178.52/1182.34 c #Conflicts: 323000 | #Constraints: 70501 1178.52/1182.34 c #Conflicts: 324000 | #Constraints: 71501 1178.52/1182.34 c INPROCESSING 1178.52/1182.34 c GARBAGE COLLECT 1178.52/1182.34 c rational objective 193 1326.33/1330.67 c #Conflicts: 325000 | #Constraints: 55407 1326.33/1330.67 c #Conflicts: 326000 | #Constraints: 56407 1326.33/1330.67 c #Conflicts: 327000 | #Constraints: 57407 1326.33/1330.67 c #Conflicts: 328000 | #Constraints: 58407 1326.33/1330.67 c #Conflicts: 329000 | #Constraints: 59407 1326.33/1330.67 c #Conflicts: 330000 | #Constraints: 60407 1326.33/1330.67 c #Conflicts: 331000 | #Constraints: 61407 1326.33/1330.67 c #Conflicts: 332000 | #Constraints: 62407 1326.33/1330.67 c #Conflicts: 333000 | #Constraints: 63407 1326.33/1330.67 c #Conflicts: 334000 | #Constraints: 64407 1326.33/1330.67 c #Conflicts: 335000 | #Constraints: 65407 1326.33/1330.67 c #Conflicts: 336000 | #Constraints: 66407 1326.33/1330.67 c #Conflicts: 337000 | #Constraints: 67407 1326.33/1330.67 c #Conflicts: 338000 | #Constraints: 68407 1326.33/1330.67 c #Conflicts: 339000 | #Constraints: 69407 1326.33/1330.67 c #Conflicts: 340000 | #Constraints: 70407 1326.33/1330.67 c #Conflicts: 341000 | #Constraints: 71407 1326.33/1330.67 c #Conflicts: 342000 | #Constraints: 72407 1326.33/1330.67 c #Conflicts: 343000 | #Constraints: 73407 1326.33/1330.67 c #Conflicts: 344000 | #Constraints: 74407 1326.33/1330.67 c #Conflicts: 345000 | #Constraints: 75407 1326.33/1330.67 c #Conflicts: 346000 | #Constraints: 76407 1326.33/1330.67 c #Conflicts: 347000 | #Constraints: 77407 1326.33/1330.67 c #Conflicts: 348000 | #Constraints: 78407 1326.33/1330.67 c #Conflicts: 349000 | #Constraints: 79408 1326.33/1330.67 c #Conflicts: 350000 | #Constraints: 80408 1326.33/1330.67 c #Conflicts: 351000 | #Constraints: 81408 1326.33/1330.67 c #Conflicts: 352000 | #Constraints: 82408 1326.33/1330.67 c #Conflicts: 353000 | #Constraints: 83408 1326.33/1330.67 c #Conflicts: 354000 | #Constraints: 84408 1326.33/1330.67 c #Conflicts: 355000 | #Constraints: 85408 1326.33/1330.67 c #Conflicts: 356000 | #Constraints: 86408 1326.33/1330.67 c #Conflicts: 357000 | #Constraints: 87408 1326.33/1330.67 c #Conflicts: 358000 | #Constraints: 88409 1326.33/1330.67 c #Conflicts: 359000 | #Constraints: 89409 1326.33/1330.67 c #Conflicts: 360000 | #Constraints: 90409 1326.33/1330.67 c #Conflicts: 361000 | #Constraints: 91409 1326.33/1330.67 c #Conflicts: 362000 | #Constraints: 92409 1326.33/1330.67 c INPROCESSING 1326.33/1330.67 c GARBAGE COLLECT 1326.33/1330.67 c rational objective 193 1714.79/1720.32 c #Conflicts: 363000 | #Constraints: 59599 1714.79/1720.32 c #Conflicts: 364000 | #Constraints: 60599 1714.79/1720.32 c #Conflicts: 365000 | #Constraints: 61599 1714.79/1720.32 c #Conflicts: 366000 | #Constraints: 62599 1714.79/1720.32 c #Conflicts: 367000 | #Constraints: 63599 1714.79/1720.32 c #Conflicts: 368000 | #Constraints: 64599 1714.79/1720.32 c #Conflicts: 369000 | #Constraints: 65599 1714.79/1720.32 c #Conflicts: 370000 | #Constraints: 66599 1714.79/1720.32 c #Conflicts: 371000 | #Constraints: 67600 1714.79/1720.32 c #Conflicts: 372000 | #Constraints: 68600 1714.79/1720.32 c #Conflicts: 373000 | #Constraints: 69600 1714.79/1720.32 c #Conflicts: 374000 | #Constraints: 70600 1714.79/1720.32 c #Conflicts: 375000 | #Constraints: 71600 1714.79/1720.32 c #Conflicts: 376000 | #Constraints: 72600 1714.79/1720.32 c #Conflicts: 377000 | #Constraints: 73600 1714.79/1720.32 c #Conflicts: 378000 | #Constraints: 74600 1714.79/1720.32 c #Conflicts: 379000 | #Constraints: 75600 1714.79/1720.32 c #Conflicts: 380000 | #Constraints: 76600 1714.79/1720.32 c INPROCESSING 1714.79/1720.32 c GARBAGE COLLECT 1714.79/1720.32 c #Conflicts: 381000 | #Constraints: 59104 1714.79/1720.32 c #Conflicts: 382000 | #Constraints: 60104 1714.79/1720.32 c #Conflicts: 383000 | #Constraints: 61104 1714.79/1720.32 c #Conflicts: 384000 | #Constraints: 62104 1714.79/1720.32 c #Conflicts: 385000 | #Constraints: 63104 1714.79/1720.32 c #Conflicts: 386000 | #Constraints: 64104 1714.79/1720.32 c #Conflicts: 387000 | #Constraints: 65104 1714.79/1720.32 c #Conflicts: 388000 | #Constraints: 66104 1714.79/1720.32 c #Conflicts: 389000 | #Constraints: 67104 1714.79/1720.32 c #Conflicts: 390000 | #Constraints: 68104 1714.79/1720.32 c #Conflicts: 391000 | #Constraints: 69104 1714.79/1720.32 c #Conflicts: 392000 | #Constraints: 70104 1714.79/1720.32 c #Conflicts: 393000 | #Constraints: 71104 1714.79/1720.32 c #Conflicts: 394000 | #Constraints: 72104 1714.79/1720.32 c #Conflicts: 395000 | #Constraints: 73104 1714.79/1720.32 c #Conflicts: 396000 | #Constraints: 74104 1714.79/1720.32 c #Conflicts: 397000 | #Constraints: 75104 1714.79/1720.32 c #Conflicts: 398000 | #Constraints: 76104 1714.79/1720.32 c #Conflicts: 399000 | #Constraints: 77104 1714.79/1720.32 c #Conflicts: 400000 | #Constraints: 78104 1714.79/1720.32 c #Conflicts: 401000 | #Constraints: 79104 1714.79/1720.32 c #Conflicts: 402000 | #Constraints: 80104 1714.79/1720.32 c #Conflicts: 403000 | #Constraints: 81104 1714.79/1720.32 c #Conflicts: 404000 | #Constraints: 82104 1714.79/1720.32 c #Conflicts: 405000 | #Constraints: 83104 1714.79/1720.32 c #Conflicts: 406000 | #Constraints: 84104 1714.79/1720.32 c #Conflicts: 407000 | #Constraints: 85104 1714.79/1720.32 c #Conflicts: 408000 | #Constraints: 86104 1714.79/1720.32 c #Conflicts: 409000 | #Constraints: 87104 1714.79/1720.32 c #Conflicts: 410000 | #Constraints: 88105 1714.79/1720.32 c #Conflicts: 411000 | #Constraints: 89105 1714.79/1720.32 c #Conflicts: 412000 | #Constraints: 90105 1714.79/1720.32 c #Conflicts: 413000 | #Constraints: 91105 1714.79/1720.32 c #Conflicts: 414000 | #Constraints: 92105 1714.79/1720.32 c #Conflicts: 415000 | #Constraints: 93105 1714.79/1720.32 c #Conflicts: 416000 | #Constraints: 94105 1714.79/1720.32 c #Conflicts: 417000 | #Constraints: 95105 1714.79/1720.32 c #Conflicts: 418000 | #Constraints: 96106 1714.79/1720.32 c #Conflicts: 419000 | #Constraints: 97106 1714.79/1720.32 c #Conflicts: 420000 | #Constraints: 98106 1714.79/1720.32 c #Conflicts: 421000 | #Constraints: 99106 1714.79/1720.32 c INPROCESSING 1714.79/1720.32 c GARBAGE COLLECT 1714.79/1720.32 c rational objective 193 1749.68/1755.37 c #Conflicts: 422000 | #Constraints: 62869 1749.68/1755.37 c #Conflicts: 423000 | #Constraints: 63869 1749.68/1755.37 c #Conflicts: 424000 | #Constraints: 64869 1749.68/1755.37 c #Conflicts: 425000 | #Constraints: 65869 1749.68/1755.37 c #Conflicts: 426000 | #Constraints: 66869 1749.68/1755.37 c #Conflicts: 427000 | #Constraints: 67869 1749.68/1755.37 c #Conflicts: 428000 | #Constraints: 68869 1749.68/1755.37 c #Conflicts: 429000 | #Constraints: 69869 1749.68/1755.37 c #Conflicts: 430000 | #Constraints: 70869 1749.68/1755.37 c #Conflicts: 431000 | #Constraints: 71870 1749.68/1755.37 c #Conflicts: 432000 | #Constraints: 72870 1749.68/1755.37 c #Conflicts: 433000 | #Constraints: 73870 1749.68/1755.37 c #Conflicts: 434000 | #Constraints: 74870 1749.68/1755.37 c #Conflicts: 435000 | #Constraints: 75870 1749.68/1755.37 c #Conflicts: 436000 | #Constraints: 76870 1749.68/1755.37 c #Conflicts: 437000 | #Constraints: 77870 1749.68/1755.37 c #Conflicts: 438000 | #Constraints: 78870 1749.68/1755.37 c #Conflicts: 439000 | #Constraints: 79870 1749.68/1755.37 c #Conflicts: 440000 | #Constraints: 80870 1749.68/1755.37 c INPROCESSING 1749.68/1755.37 c GARBAGE COLLECT 1749.68/1755.37 c rational objective 193 1956.19/1962.53 c #Conflicts: 441000 | #Constraints: 62431 1956.19/1962.53 c #Conflicts: 442000 | #Constraints: 63431 1956.19/1962.53 c #Conflicts: 443000 | #Constraints: 64431 1956.19/1962.53 c #Conflicts: 444000 | #Constraints: 65431 1956.19/1962.53 c #Conflicts: 445000 | #Constraints: 66431 1956.19/1962.53 c #Conflicts: 446000 | #Constraints: 67431 1956.19/1962.53 c #Conflicts: 447000 | #Constraints: 68431 1956.19/1962.53 c #Conflicts: 448000 | #Constraints: 69431 1956.19/1962.53 c #Conflicts: 449000 | #Constraints: 70431 1956.19/1962.53 c #Conflicts: 450000 | #Constraints: 71431 1956.19/1962.53 c #Conflicts: 451000 | #Constraints: 72432 1956.19/1962.53 c #Conflicts: 452000 | #Constraints: 73432 1956.19/1962.53 c #Conflicts: 453000 | #Constraints: 74432 1956.19/1962.53 c #Conflicts: 454000 | #Constraints: 75433 1956.19/1962.53 c #Conflicts: 455000 | #Constraints: 76433 1956.19/1962.53 c #Conflicts: 456000 | #Constraints: 77433 1956.19/1962.53 c #Conflicts: 457000 | #Constraints: 78433 1956.19/1962.53 c #Conflicts: 458000 | #Constraints: 79433 1956.19/1962.53 c #Conflicts: 459000 | #Constraints: 80433 1956.19/1962.53 c #Conflicts: 460000 | #Constraints: 81433 1956.19/1962.53 c #Conflicts: 461000 | #Constraints: 82433 1956.19/1962.53 c #Conflicts: 462000 | #Constraints: 83433 1956.19/1962.53 c #Conflicts: 463000 | #Constraints: 84433 1956.19/1962.53 c #Conflicts: 464000 | #Constraints: 85433 1956.19/1962.53 c #Conflicts: 465000 | #Constraints: 86433 1956.19/1962.53 c #Conflicts: 466000 | #Constraints: 87433 1956.19/1962.53 c #Conflicts: 467000 | #Constraints: 88433 1956.19/1962.53 c #Conflicts: 468000 | #Constraints: 89433 1956.19/1962.53 c #Conflicts: 469000 | #Constraints: 90433 1956.19/1962.53 c #Conflicts: 470000 | #Constraints: 91433 1956.19/1962.53 c #Conflicts: 471000 | #Constraints: 92433 1956.19/1962.53 c #Conflicts: 472000 | #Constraints: 93433 1956.19/1962.53 c #Conflicts: 473000 | #Constraints: 94433 1956.19/1962.53 c #Conflicts: 474000 | #Constraints: 95433 1956.19/1962.53 c #Conflicts: 475000 | #Constraints: 96433 1956.19/1962.53 c #Conflicts: 476000 | #Constraints: 97433 1956.19/1962.53 c #Conflicts: 477000 | #Constraints: 98433 1956.19/1962.53 c #Conflicts: 478000 | #Constraints: 99433 1956.19/1962.53 c #Conflicts: 479000 | #Constraints: 100433 1956.19/1962.53 c #Conflicts: 480000 | #Constraints: 101433 1956.19/1962.53 c #Conflicts: 481000 | #Constraints: 102434 1956.19/1962.53 c #Conflicts: 482000 | #Constraints: 103434 1956.19/1962.53 c #Conflicts: 483000 | #Constraints: 104435 1956.19/1962.53 c #Conflicts: 484000 | #Constraints: 105436 1956.19/1962.53 c INPROCESSING 1956.19/1962.53 c GARBAGE COLLECT 1956.19/1962.53 c rational objective 193 2009.22/2015.79 c #Conflicts: 485000 | #Constraints: 65860 2009.22/2015.79 c #Conflicts: 486000 | #Constraints: 66860 2009.22/2015.79 c #Conflicts: 487000 | #Constraints: 67860 2009.22/2015.79 c #Conflicts: 488000 | #Constraints: 68860 2009.22/2015.79 c #Conflicts: 489000 | #Constraints: 69860 2009.22/2015.79 c #Conflicts: 490000 | #Constraints: 70860 2009.22/2015.79 c #Conflicts: 491000 | #Constraints: 71860 2009.22/2015.79 c #Conflicts: 492000 | #Constraints: 72860 2009.22/2015.79 c #Conflicts: 493000 | #Constraints: 73860 2009.22/2015.79 c #Conflicts: 494000 | #Constraints: 74860 2009.22/2015.79 c #Conflicts: 495000 | #Constraints: 75860 2009.22/2015.79 c #Conflicts: 496000 | #Constraints: 76860 2009.22/2015.79 c #Conflicts: 497000 | #Constraints: 77861 2009.22/2015.79 c #Conflicts: 498000 | #Constraints: 78861 2009.22/2015.79 c #Conflicts: 499000 | #Constraints: 79861 2009.22/2015.79 c #Conflicts: 500000 | #Constraints: 80861 2009.22/2015.79 c #Conflicts: 501000 | #Constraints: 81861 2009.22/2015.79 c #Conflicts: 502000 | #Constraints: 82861 2009.22/2015.79 c #Conflicts: 503000 | #Constraints: 83861 2009.22/2015.79 c #Conflicts: 504000 | #Constraints: 84861 2009.22/2015.79 c INPROCESSING 2009.22/2015.79 c GARBAGE COLLECT 2009.22/2015.79 c rational objective 193 2227.42/2234.70 c #Conflicts: 505000 | #Constraints: 63789 2227.42/2234.70 c #Conflicts: 506000 | #Constraints: 64789 2227.42/2234.70 c #Conflicts: 507000 | #Constraints: 65789 2227.42/2234.70 c #Conflicts: 508000 | #Constraints: 66789 2227.42/2234.70 c #Conflicts: 509000 | #Constraints: 67789 2227.42/2234.70 c #Conflicts: 510000 | #Constraints: 68789 2227.42/2234.70 c #Conflicts: 511000 | #Constraints: 69789 2227.42/2234.70 c #Conflicts: 512000 | #Constraints: 70789 2227.42/2234.70 c #Conflicts: 513000 | #Constraints: 71789 2227.42/2234.70 c #Conflicts: 514000 | #Constraints: 72789 2227.42/2234.70 c #Conflicts: 515000 | #Constraints: 73789 2227.42/2234.70 c #Conflicts: 516000 | #Constraints: 74789 2227.42/2234.70 c #Conflicts: 517000 | #Constraints: 75789 2227.42/2234.70 c #Conflicts: 518000 | #Constraints: 76789 2227.42/2234.70 c #Conflicts: 519000 | #Constraints: 77789 2227.42/2234.70 c #Conflicts: 520000 | #Constraints: 78789 2227.42/2234.70 c #Conflicts: 521000 | #Constraints: 79790 2227.42/2234.70 c #Conflicts: 522000 | #Constraints: 80790 2227.42/2234.70 c #Conflicts: 523000 | #Constraints: 81790 2227.42/2234.70 c #Conflicts: 524000 | #Constraints: 82790 2227.42/2234.70 c #Conflicts: 525000 | #Constraints: 83790 2227.42/2234.70 c #Conflicts: 526000 | #Constraints: 84790 2227.42/2234.70 c #Conflicts: 527000 | #Constraints: 85790 2227.42/2234.70 c #Conflicts: 528000 | #Constraints: 86790 2227.42/2234.70 c #Conflicts: 529000 | #Constraints: 87790 2227.42/2234.70 c #Conflicts: 530000 | #Constraints: 88790 2227.42/2234.70 c #Conflicts: 531000 | #Constraints: 89790 2227.42/2234.70 c #Conflicts: 532000 | #Constraints: 90790 2227.42/2234.70 c #Conflicts: 533000 | #Constraints: 91790 2227.42/2234.70 c #Conflicts: 534000 | #Constraints: 92790 2227.42/2234.70 c #Conflicts: 535000 | #Constraints: 93790 2227.42/2234.70 c #Conflicts: 536000 | #Constraints: 94790 2227.42/2234.70 c #Conflicts: 537000 | #Constraints: 95790 2227.42/2234.70 c #Conflicts: 538000 | #Constraints: 96790 2227.42/2234.70 c #Conflicts: 539000 | #Constraints: 97790 2227.42/2234.70 c #Conflicts: 540000 | #Constraints: 98790 2227.42/2234.70 c #Conflicts: 541000 | #Constraints: 99790 2227.42/2234.70 c #Conflicts: 542000 | #Constraints: 100790 2227.42/2234.70 c #Conflicts: 543000 | #Constraints: 101791 2227.42/2234.70 c #Conflicts: 544000 | #Constraints: 102791 2227.42/2234.70 c #Conflicts: 545000 | #Constraints: 103791 2227.42/2234.70 c #Conflicts: 546000 | #Constraints: 104791 2227.42/2234.70 c #Conflicts: 547000 | #Constraints: 105791 2227.42/2234.70 c #Conflicts: 548000 | #Constraints: 106791 2227.42/2234.70 c #Conflicts: 549000 | #Constraints: 107791 2227.42/2234.70 c #Conflicts: 550000 | #Constraints: 108791 2227.42/2234.70 c #Conflicts: 551000 | #Constraints: 109791 2227.42/2234.70 c #Conflicts: 552000 | #Constraints: 110791 2227.42/2234.70 c INPROCESSING 2227.42/2234.70 c GARBAGE COLLECT 2227.42/2234.70 c rational objective 193 2318.02/2325.52 c #Conflicts: 553000 | #Constraints: 69193 2318.02/2325.52 c #Conflicts: 554000 | #Constraints: 70193 2318.02/2325.52 c #Conflicts: 555000 | #Constraints: 71193 2318.02/2325.52 c #Conflicts: 556000 | #Constraints: 72194 2318.02/2325.52 c #Conflicts: 557000 | #Constraints: 73194 2318.02/2325.52 c #Conflicts: 558000 | #Constraints: 74196 2318.02/2325.52 c #Conflicts: 559000 | #Constraints: 75196 2318.02/2325.52 c #Conflicts: 560000 | #Constraints: 76196 2318.02/2325.52 c #Conflicts: 561000 | #Constraints: 77197 2318.02/2325.52 c #Conflicts: 562000 | #Constraints: 78197 2318.02/2325.52 c #Conflicts: 563000 | #Constraints: 79197 2318.02/2325.52 c #Conflicts: 564000 | #Constraints: 80197 2318.02/2325.52 c #Conflicts: 565000 | #Constraints: 81197 2318.02/2325.52 c #Conflicts: 566000 | #Constraints: 82197 2318.02/2325.52 c #Conflicts: 567000 | #Constraints: 83197 2318.02/2325.52 c #Conflicts: 568000 | #Constraints: 84197 2318.02/2325.52 c #Conflicts: 569000 | #Constraints: 85197 2318.02/2325.52 c #Conflicts: 570000 | #Constraints: 86197 2318.02/2325.52 c #Conflicts: 571000 | #Constraints: 87197 2318.02/2325.52 c #Conflicts: 572000 | #Constraints: 88197 2318.02/2325.52 c #Conflicts: 573000 | #Constraints: 89197 2318.02/2325.52 c INPROCESSING 2318.02/2325.52 c GARBAGE COLLECT 2318.02/2325.52 c rational objective 193 2713.72/2722.53 c #Conflicts: 574000 | #Constraints: 67671 2713.72/2722.53 c #Conflicts: 575000 | #Constraints: 68671 2713.72/2722.53 c #Conflicts: 576000 | #Constraints: 69671 2713.72/2722.53 c #Conflicts: 577000 | #Constraints: 70671 2713.72/2722.53 c #Conflicts: 578000 | #Constraints: 71671 2713.72/2722.53 c #Conflicts: 579000 | #Constraints: 72671 2713.72/2722.53 c #Conflicts: 580000 | #Constraints: 73671 2713.72/2722.53 c #Conflicts: 581000 | #Constraints: 74671 2713.72/2722.53 c #Conflicts: 582000 | #Constraints: 75671 2713.72/2722.53 c #Conflicts: 583000 | #Constraints: 76671 2713.72/2722.53 c #Conflicts: 584000 | #Constraints: 77671 2713.72/2722.53 c #Conflicts: 585000 | #Constraints: 78671 2713.72/2722.53 c #Conflicts: 586000 | #Constraints: 79671 2713.72/2722.53 c #Conflicts: 587000 | #Constraints: 80671 2713.72/2722.53 c #Conflicts: 588000 | #Constraints: 81671 2713.72/2722.53 c #Conflicts: 589000 | #Constraints: 82671 2713.72/2722.53 c #Conflicts: 590000 | #Constraints: 83671 2713.72/2722.53 c #Conflicts: 591000 | #Constraints: 84671 2713.72/2722.53 c #Conflicts: 592000 | #Constraints: 85671 2713.72/2722.53 c #Conflicts: 593000 | #Constraints: 86671 2713.72/2722.53 c #Conflicts: 594000 | #Constraints: 87671 2713.72/2722.53 c #Conflicts: 595000 | #Constraints: 88672 2713.72/2722.53 c #Conflicts: 596000 | #Constraints: 89672 2713.72/2722.53 c #Conflicts: 597000 | #Constraints: 90672 2713.72/2722.53 c #Conflicts: 598000 | #Constraints: 91672 2713.72/2722.53 c #Conflicts: 599000 | #Constraints: 92672 2713.72/2722.53 c #Conflicts: 600000 | #Constraints: 93672 2713.72/2722.53 c #Conflicts: 601000 | #Constraints: 94672 2713.72/2722.53 c #Conflicts: 602000 | #Constraints: 95672 2713.72/2722.53 c #Conflicts: 603000 | #Constraints: 96672 2713.72/2722.53 c #Conflicts: 604000 | #Constraints: 97672 2713.72/2722.53 c #Conflicts: 605000 | #Constraints: 98672 2713.72/2722.53 c #Conflicts: 606000 | #Constraints: 99672 2713.72/2722.53 c #Conflicts: 607000 | #Constraints: 100672 2713.72/2722.53 c #Conflicts: 608000 | #Constraints: 101672 2713.72/2722.53 c #Conflicts: 609000 | #Constraints: 102672 2713.72/2722.53 c #Conflicts: 610000 | #Constraints: 103672 2713.72/2722.53 c #Conflicts: 611000 | #Constraints: 104672 2713.72/2722.53 c #Conflicts: 612000 | #Constraints: 105672 2713.72/2722.53 c #Conflicts: 613000 | #Constraints: 106672 2713.72/2722.53 c #Conflicts: 614000 | #Constraints: 107672 2713.72/2722.53 c #Conflicts: 615000 | #Constraints: 108672 2713.72/2722.53 c #Conflicts: 616000 | #Constraints: 109672 2713.72/2722.53 c #Conflicts: 617000 | #Constraints: 110672 2713.72/2722.53 c #Conflicts: 618000 | #Constraints: 111672 2713.72/2722.53 c #Conflicts: 619000 | #Constraints: 112673 2713.72/2722.53 c #Conflicts: 620000 | #Constraints: 113673 2713.72/2722.53 c #Conflicts: 621000 | #Constraints: 114673 2713.72/2722.53 c #Conflicts: 622000 | #Constraints: 115673 2713.72/2722.53 c #Conflicts: 623000 | #Constraints: 116673 2713.72/2722.53 c #Conflicts: 624000 | #Constraints: 117673 2713.72/2722.53 c INPROCESSING 2713.72/2722.53 c GARBAGE COLLECT 2713.72/2722.53 c #Conflicts: 625000 | #Constraints: 72631 2713.72/2722.53 c #Conflicts: 626000 | #Constraints: 73631 2713.72/2722.53 c #Conflicts: 627000 | #Constraints: 74631 2713.72/2722.53 c #Conflicts: 628000 | #Constraints: 75631 2713.72/2722.53 c #Conflicts: 629000 | #Constraints: 76631 2713.72/2722.53 c #Conflicts: 630000 | #Constraints: 77631 2713.72/2722.53 c #Conflicts: 631000 | #Constraints: 78631 2713.72/2722.53 c #Conflicts: 632000 | #Constraints: 79631 2713.72/2722.53 c #Conflicts: 633000 | #Constraints: 80631 2713.72/2722.53 c #Conflicts: 634000 | #Constraints: 81631 2713.72/2722.53 c #Conflicts: 635000 | #Constraints: 82631 2713.72/2722.53 c #Conflicts: 636000 | #Constraints: 83631 2713.72/2722.53 c #Conflicts: 637000 | #Constraints: 84631 2713.72/2722.53 c #Conflicts: 638000 | #Constraints: 85631 2713.72/2722.53 c #Conflicts: 639000 | #Constraints: 86631 2713.72/2722.53 c #Conflicts: 640000 | #Constraints: 87631 2713.72/2722.53 c #Conflicts: 641000 | #Constraints: 88631 2713.72/2722.53 c #Conflicts: 642000 | #Constraints: 89631 2713.72/2722.53 c #Conflicts: 643000 | #Constraints: 90631 2713.72/2722.53 c #Conflicts: 644000 | #Constraints: 91631 2713.72/2722.53 c #Conflicts: 645000 | #Constraints: 92631 2713.72/2722.53 c #Conflicts: 646000 | #Constraints: 93631 2713.72/2722.53 c INPROCESSING 2713.72/2722.53 c GARBAGE COLLECT 2713.72/2722.53 c #Conflicts: 647000 | #Constraints: 71075 2713.72/2722.53 c #Conflicts: 648000 | #Constraints: 72075 2713.72/2722.53 c #Conflicts: 649000 | #Constraints: 73075 2713.72/2722.53 c #Conflicts: 650000 | #Constraints: 74075 2713.72/2722.53 c #Conflicts: 651000 | #Constraints: 75075 2866.44/2875.86 c #Conflicts: 652000 | #Constraints: 76075 2866.44/2875.86 c #Conflicts: 653000 | #Constraints: 77076 2866.44/2875.86 c #Conflicts: 654000 | #Constraints: 78076 2866.44/2875.86 c #Conflicts: 655000 | #Constraints: 79076 2866.44/2875.86 c #Conflicts: 656000 | #Constraints: 80076 2866.44/2875.86 c #Conflicts: 657000 | #Constraints: 81076 2866.44/2875.86 c #Conflicts: 658000 | #Constraints: 82076 2866.44/2875.86 c #Conflicts: 659000 | #Constraints: 83076 2866.44/2875.86 c #Conflicts: 660000 | #Constraints: 84076 2866.44/2875.86 c #Conflicts: 661000 | #Constraints: 85076 2866.44/2875.86 c #Conflicts: 662000 | #Constraints: 86076 2866.44/2875.86 c #Conflicts: 663000 | #Constraints: 87076 2866.44/2875.86 c #Conflicts: 664000 | #Constraints: 88076 2866.44/2875.86 c #Conflicts: 665000 | #Constraints: 89077 2866.44/2875.86 c #Conflicts: 666000 | #Constraints: 90077 2866.44/2875.86 c #Conflicts: 667000 | #Constraints: 91077 2866.44/2875.86 c #Conflicts: 668000 | #Constraints: 92077 2866.44/2875.86 c #Conflicts: 669000 | #Constraints: 93077 2866.44/2875.86 c #Conflicts: 670000 | #Constraints: 94077 2866.44/2875.86 c #Conflicts: 671000 | #Constraints: 95077 2866.44/2875.86 c #Conflicts: 672000 | #Constraints: 96077 2866.44/2875.86 c #Conflicts: 673000 | #Constraints: 97077 2866.44/2875.86 c #Conflicts: 674000 | #Constraints: 98077 2866.44/2875.86 c #Conflicts: 675000 | #Constraints: 99077 2866.44/2875.86 c #Conflicts: 676000 | #Constraints: 100077 2866.44/2875.86 c #Conflicts: 677000 | #Constraints: 101077 2866.44/2875.86 c #Conflicts: 678000 | #Constraints: 102077 2866.44/2875.86 c #Conflicts: 679000 | #Constraints: 103077 2866.44/2875.86 c #Conflicts: 680000 | #Constraints: 104077 2866.44/2875.86 c #Conflicts: 681000 | #Constraints: 105077 2866.44/2875.86 c #Conflicts: 682000 | #Constraints: 106077 2866.44/2875.86 c #Conflicts: 683000 | #Constraints: 107077 2866.44/2875.86 c #Conflicts: 684000 | #Constraints: 108077 2866.44/2875.86 c #Conflicts: 685000 | #Constraints: 109077 2866.44/2875.86 c #Conflicts: 686000 | #Constraints: 110077 2866.44/2875.86 c #Conflicts: 687000 | #Constraints: 111077 2866.44/2875.86 c #Conflicts: 688000 | #Constraints: 112077 2866.44/2875.86 c #Conflicts: 689000 | #Constraints: 113077 2866.44/2875.86 c #Conflicts: 690000 | #Constraints: 114077 2866.44/2875.86 c #Conflicts: 691000 | #Constraints: 115077 2866.44/2875.86 c #Conflicts: 692000 | #Constraints: 116077 2866.44/2875.86 c #Conflicts: 693000 | #Constraints: 117077 2866.44/2875.86 c #Conflicts: 694000 | #Constraints: 118077 2866.44/2875.86 c #Conflicts: 695000 | #Constraints: 119077 2866.44/2875.86 c #Conflicts: 696000 | #Constraints: 120077 2866.44/2875.86 c #Conflicts: 697000 | #Constraints: 121077 2866.44/2875.86 c #Conflicts: 698000 | #Constraints: 122077 2866.44/2875.86 c #Conflicts: 699000 | #Constraints: 123077 2866.44/2875.86 c #Conflicts: 700000 | #Constraints: 124077 2866.44/2875.86 c INPROCESSING 2866.44/2875.86 c GARBAGE COLLECT 2866.44/2875.86 c rational objective 193 2917.36/2927.00 c #Conflicts: 701000 | #Constraints: 75426 2917.36/2927.00 c #Conflicts: 702000 | #Constraints: 76426 2917.36/2927.00 c #Conflicts: 703000 | #Constraints: 77426 2917.36/2927.00 c #Conflicts: 704000 | #Constraints: 78427 2917.36/2927.00 c #Conflicts: 705000 | #Constraints: 79427 2917.36/2927.00 c #Conflicts: 706000 | #Constraints: 80427 2917.36/2927.00 c #Conflicts: 707000 | #Constraints: 81427 2917.36/2927.00 c #Conflicts: 708000 | #Constraints: 82427 2917.36/2927.00 c #Conflicts: 709000 | #Constraints: 83427 2917.36/2927.00 c #Conflicts: 710000 | #Constraints: 84427 2917.36/2927.00 c #Conflicts: 711000 | #Constraints: 85427 2917.36/2927.00 c #Conflicts: 712000 | #Constraints: 86427 2917.36/2927.00 c #Conflicts: 713000 | #Constraints: 87427 2917.36/2927.00 c #Conflicts: 714000 | #Constraints: 88427 2917.36/2927.00 c #Conflicts: 715000 | #Constraints: 89427 2917.36/2927.00 c #Conflicts: 716000 | #Constraints: 90427 2917.36/2927.00 c #Conflicts: 717000 | #Constraints: 91427 2917.36/2927.00 c #Conflicts: 718000 | #Constraints: 92427 2917.36/2927.00 c #Conflicts: 719000 | #Constraints: 93427 2917.36/2927.00 c #Conflicts: 720000 | #Constraints: 94427 2917.36/2927.00 c #Conflicts: 721000 | #Constraints: 95427 2917.36/2927.00 c #Conflicts: 722000 | #Constraints: 96427 2917.36/2927.00 c #Conflicts: 723000 | #Constraints: 97427 2917.36/2927.00 c #Conflicts: 724000 | #Constraints: 98427 2917.36/2927.00 c INPROCESSING 2917.36/2927.00 c GARBAGE COLLECT 2917.36/2927.00 c rational objective 193 3177.06/3187.63 c #Conflicts: 725000 | #Constraints: 74563 3177.06/3187.63 c #Conflicts: 726000 | #Constraints: 75564 3177.06/3187.63 c #Conflicts: 727000 | #Constraints: 76564 3177.06/3187.63 c #Conflicts: 728000 | #Constraints: 77564 3177.06/3187.63 c #Conflicts: 729000 | #Constraints: 78565 3177.06/3187.63 c #Conflicts: 730000 | #Constraints: 79565 3177.06/3187.63 c #Conflicts: 731000 | #Constraints: 80565 3177.06/3187.63 c #Conflicts: 732000 | #Constraints: 81565 3177.06/3187.63 c #Conflicts: 733000 | #Constraints: 82565 3177.06/3187.63 c #Conflicts: 734000 | #Constraints: 83565 3177.06/3187.63 c #Conflicts: 735000 | #Constraints: 84565 3177.06/3187.63 c #Conflicts: 736000 | #Constraints: 85566 3177.06/3187.63 c #Conflicts: 737000 | #Constraints: 86566 3177.06/3187.63 c #Conflicts: 738000 | #Constraints: 87566 3177.06/3187.63 c #Conflicts: 739000 | #Constraints: 88566 3177.06/3187.63 c #Conflicts: 740000 | #Constraints: 89566 3177.06/3187.63 c #Conflicts: 741000 | #Constraints: 90566 3177.06/3187.63 c #Conflicts: 742000 | #Constraints: 91566 3177.06/3187.63 c #Conflicts: 743000 | #Constraints: 92566 3177.06/3187.63 c #Conflicts: 744000 | #Constraints: 93566 3177.06/3187.63 c #Conflicts: 745000 | #Constraints: 94566 3177.06/3187.63 c #Conflicts: 746000 | #Constraints: 95566 3177.06/3187.63 c #Conflicts: 747000 | #Constraints: 96566 3177.06/3187.63 c #Conflicts: 748000 | #Constraints: 97566 3177.06/3187.63 c #Conflicts: 749000 | #Constraints: 98566 3177.06/3187.63 c #Conflicts: 750000 | #Constraints: 99566 3177.06/3187.63 c #Conflicts: 751000 | #Constraints: 100566 3177.06/3187.63 c #Conflicts: 752000 | #Constraints: 101566 3177.06/3187.63 c #Conflicts: 753000 | #Constraints: 102566 3177.06/3187.63 c #Conflicts: 754000 | #Constraints: 103566 3177.06/3187.63 c #Conflicts: 755000 | #Constraints: 104566 3177.06/3187.63 c #Conflicts: 756000 | #Constraints: 105566 3177.06/3187.63 c #Conflicts: 757000 | #Constraints: 106566 3177.06/3187.63 c #Conflicts: 758000 | #Constraints: 107566 3177.06/3187.63 c #Conflicts: 759000 | #Constraints: 108566 3177.06/3187.63 c #Conflicts: 760000 | #Constraints: 109566 3177.06/3187.63 c #Conflicts: 761000 | #Constraints: 110566 3177.06/3187.63 c #Conflicts: 762000 | #Constraints: 111566 3177.06/3187.63 c #Conflicts: 763000 | #Constraints: 112566 3177.06/3187.63 c #Conflicts: 764000 | #Constraints: 113566 3177.06/3187.63 c #Conflicts: 765000 | #Constraints: 114566 3177.06/3187.63 c #Conflicts: 766000 | #Constraints: 115566 3177.06/3187.63 c #Conflicts: 767000 | #Constraints: 116566 3177.06/3187.63 c #Conflicts: 768000 | #Constraints: 117566 3177.06/3187.63 c #Conflicts: 769000 | #Constraints: 118566 3177.06/3187.63 c #Conflicts: 770000 | #Constraints: 119566 3177.06/3187.63 c #Conflicts: 771000 | #Constraints: 120567 3177.06/3187.63 c #Conflicts: 772000 | #Constraints: 121567 3177.06/3187.63 c #Conflicts: 773000 | #Constraints: 122567 3177.06/3187.63 c #Conflicts: 774000 | #Constraints: 123567 3177.06/3187.63 c #Conflicts: 775000 | #Constraints: 124567 3177.06/3187.63 c #Conflicts: 776000 | #Constraints: 125567 3177.06/3187.63 c #Conflicts: 777000 | #Constraints: 126567 3177.06/3187.63 c #Conflicts: 778000 | #Constraints: 127567 3177.06/3187.63 c #Conflicts: 779000 | #Constraints: 128568 3177.06/3187.63 c #Conflicts: 780000 | #Constraints: 129568 3177.06/3187.63 c #Conflicts: 781000 | #Constraints: 130568 3177.06/3187.63 c INPROCESSING 3177.06/3187.63 c GARBAGE COLLECT 3177.06/3187.63 c rational objective 193 3418.32/3429.76 c #Conflicts: 782000 | #Constraints: 79088 3418.32/3429.76 c #Conflicts: 783000 | #Constraints: 80088 3418.32/3429.76 c #Conflicts: 784000 | #Constraints: 81088 3418.32/3429.76 c #Conflicts: 785000 | #Constraints: 82088 3418.32/3429.76 c #Conflicts: 786000 | #Constraints: 83088 3418.32/3429.76 c #Conflicts: 787000 | #Constraints: 84088 3418.32/3429.76 c #Conflicts: 788000 | #Constraints: 85088 3418.32/3429.76 c #Conflicts: 789000 | #Constraints: 86088 3418.32/3429.76 c #Conflicts: 790000 | #Constraints: 87088 3418.32/3429.76 c #Conflicts: 791000 | #Constraints: 88088 3418.32/3429.76 c #Conflicts: 792000 | #Constraints: 89088 3418.32/3429.76 c #Conflicts: 793000 | #Constraints: 90088 3418.32/3429.76 c #Conflicts: 794000 | #Constraints: 91088 3418.32/3429.76 c #Conflicts: 795000 | #Constraints: 92088 3418.32/3429.76 c #Conflicts: 796000 | #Constraints: 93088 3418.32/3429.76 c #Conflicts: 797000 | #Constraints: 94088 3418.32/3429.76 c #Conflicts: 798000 | #Constraints: 95089 3418.32/3429.76 c #Conflicts: 799000 | #Constraints: 96089 3418.32/3429.76 c #Conflicts: 800000 | #Constraints: 97089 3418.32/3429.76 c #Conflicts: 801000 | #Constraints: 98089 3418.32/3429.76 c #Conflicts: 802000 | #Constraints: 99089 3418.32/3429.76 c #Conflicts: 803000 | #Constraints: 100089 3418.32/3429.76 c #Conflicts: 804000 | #Constraints: 101089 3418.32/3429.76 c #Conflicts: 805000 | #Constraints: 102089 3418.32/3429.76 c #Conflicts: 806000 | #Constraints: 103089 3418.32/3429.76 c INPROCESSING 3418.32/3429.76 c GARBAGE COLLECT 3418.32/3429.76 c rational objective 193 3600.04/3612.00 c #Conflicts: 807000 | #Constraints: 77973 3600.04/3612.00 c #Conflicts: 808000 | #Constraints: 78973 3600.04/3612.00 c #Conflicts: 809000 | #Constraints: 79973 3600.04/3612.00 c #Conflicts: 810000 | #Constraints: 80973 3600.04/3612.00 c #Conflicts: 811000 | #Constraints: 81973 3600.04/3612.00 c #Conflicts: 812000 | #Constraints: 82973 3600.04/3612.00 c #Conflicts: 813000 | #Constraints: 83973 3600.04/3612.00 c #Conflicts: 814000 | #Constraints: 84973 3600.04/3612.00 c #Conflicts: 815000 | #Constraints: 85973 3600.04/3612.00 c #Conflicts: 816000 | #Constraints: 86973 3600.04/3612.00 c #Conflicts: 817000 | #Constraints: 87973 3600.04/3612.00 c #Conflicts: 818000 | #Constraints: 88973 3600.04/3612.00 c #Conflicts: 819000 | #Constraints: 89973 3600.04/3612.00 c #Conflicts: 820000 | #Constraints: 90973 3600.04/3612.00 c #Conflicts: 821000 | #Constraints: 91973 3600.04/3612.00 c #Conflicts: 822000 | #Constraints: 92973 3600.04/3612.00 c #Conflicts: 823000 | #Constraints: 93973 3600.04/3612.00 c #Conflicts: 824000 | #Constraints: 94973 3600.04/3612.00 c #Conflicts: 825000 | #Constraints: 95973 3600.04/3612.00 c #Conflicts: 826000 | #Constraints: 96973 3600.04/3612.00 c #Conflicts: 827000 | #Constraints: 97973 3600.04/3612.00 c #Conflicts: 828000 | #Constraints: 98973 3600.04/3612.00 c #Conflicts: 829000 | #Constraints: 99973 3600.04/3612.00 c #Conflicts: 830000 | #Constraints: 100973 3600.04/3612.00 c #Conflicts: 831000 | #Constraints: 101973 3600.04/3612.00 c #Conflicts: 832000 | #Constraints: 102973 3600.04/3612.00 c #Conflicts: 833000 | #Constraints: 103974 3600.04/3612.00 c #Conflicts: 834000 | #Constraints: 104974 3600.04/3612.00 c #Conflicts: 835000 | #Constraints: 105974 3600.04/3612.00 c #Conflicts: 836000 | #Constraints: 106974 3600.04/3612.00 c #Conflicts: 837000 | #Constraints: 107974 3600.04/3612.00 c #Conflicts: 838000 | #Constraints: 108974 3600.04/3612.00 c #Conflicts: 839000 | #Constraints: 109974 3600.04/3612.00 c #Conflicts: 840000 | #Constraints: 110974 3600.04/3612.00 c #Conflicts: 841000 | #Constraints: 111974 3600.04/3612.00 c #Conflicts: 842000 | #Constraints: 112974 3600.04/3612.00 c #Conflicts: 843000 | #Constraints: 113974 3600.04/3612.00 c #Conflicts: 844000 | #Constraints: 114974 3600.04/3612.00 c #Conflicts: 845000 | #Constraints: 115975 3600.04/3612.00 c #Conflicts: 846000 | #Constraints: 116975 3600.04/3612.00 c #Conflicts: 847000 | #Constraints: 117975 3600.04/3612.00 c #Conflicts: 848000 | #Constraints: 118975 3600.04/3612.00 c #Conflicts: 849000 | #Constraints: 119975 3600.04/3612.00 c #Conflicts: 850000 | #Constraints: 120975 3600.04/3612.00 c #Conflicts: 851000 | #Constraints: 121975 3600.04/3612.00 c #Conflicts: 852000 | #Constraints: 122975 3600.04/3612.00 c #Conflicts: 853000 | #Constraints: 123975 3600.04/3612.00 c #Conflicts: 854000 | #Constraints: 124975 3600.04/3612.00 c #Conflicts: 855000 | #Constraints: 125975 3600.04/3612.00 c #Conflicts: 856000 | #Constraints: 126975 3600.04/3612.00 c #Conflicts: 857000 | #Constraints: 127975 3600.04/3612.00 c #Conflicts: 858000 | #Constraints: 128975 3600.04/3612.00 c #Conflicts: 859000 | #Constraints: 129975 3600.04/3612.00 c #Conflicts: 860000 | #Constraints: 130975 3600.04/3612.00 c #Conflicts: 861000 | #Constraints: 131975 3600.04/3612.00 c Program interrupted by user. 3600.04/3612.02 c cpu time 3556.83 s 3600.04/3612.02 c deterministic time 190657288268 1.91e+11 3600.04/3612.02 c optimization time 179.243 s 3600.04/3612.02 c total solve time 3377.49 s 3600.04/3612.02 c core-guided solve time 0 s 3600.04/3612.02 c propagation time 1712.05 s 3600.04/3612.02 c conflict analysis time 447.502 s 3600.04/3612.02 c propagations 735272999 3600.04/3612.02 c resolve steps 37300102 3600.04/3612.02 c decisions 22515433 3600.04/3612.02 c conflicts 861451 3600.04/3612.02 c restarts 1850 3600.04/3612.02 c inprocessing phases 37 3600.04/3612.02 c input clauses 23162 3600.04/3612.02 c input cardinalities 193 3600.04/3612.02 c input general constraints 0 3600.04/3612.02 c input average constraint length 6.44 3600.04/3612.02 c input average constraint degree 1.97 3600.04/3612.02 c learned clauses 546729 3600.04/3612.02 c learned cardinalities 43163 3600.04/3612.02 c learned general constraints 271611 3600.04/3612.02 c learned average constraint length 994.27 3600.04/3612.02 c learned average constraint degree 196258134.37 3600.04/3612.02 c watched constraints 191535 3600.04/3612.02 c counting constraints 80076 3600.04/3612.02 c gcd simplifications 2228 3600.04/3612.02 c detected cardinalities 7632 3600.04/3612.02 c weakened non-implied lits 178230190 3600.04/3612.02 c weakened non-implying lits 185302 3600.04/3612.02 c original variables 22967 3600.04/3612.02 c clausal propagations 350268352 3600.04/3612.02 c cardinality propagations 259853710 3600.04/3612.02 c watched propagations 30184977 3600.04/3612.02 c counting propagations 86087386 3600.04/3612.02 c watch lookups 10524148447 3600.04/3612.02 c watch backjump lookups 8448637288 3600.04/3612.02 c watch checks 114031989258 3600.04/3612.02 c propagation checks 53180235772 3600.04/3612.02 c constraint additions 2954149815 3600.04/3612.02 c trail pops 758630929 3600.04/3612.02 c formula constraints 23355 3600.04/3612.02 c learned constraints 861397 3600.04/3612.02 c bound constraints 0 3600.04/3612.02 c core-guided constraints 0 3600.04/3612.02 c encountered formula constraints 25252122 3600.04/3612.02 c encountered learned constraints 12908344 3600.04/3612.02 c encountered bound constraints 0 3600.04/3612.02 c encountered core-guided constraints 0 3600.04/3612.02 c LP total time 2203.24 s 3600.04/3612.02 c LP solve time 2199.64 s 3600.04/3612.02 c LP constraints added 26109 3600.04/3612.02 c LP constraints removed 2475 3600.04/3612.02 c LP pivots internal 877492 3600.04/3612.02 c LP pivots root 830834 3600.04/3612.02 c LP calls 111 3600.04/3612.02 c LP optimalities 49 3600.04/3612.02 c LP no pivot count 0 3600.04/3612.02 c LP infeasibilities 53 3600.04/3612.02 c LP valid Farkas constraints 53 3600.04/3612.02 c LP learned Farkas constraints 53 3600.04/3612.02 c LP basis resets 1 3600.04/3612.02 c LP cycling count 0 3600.04/3612.02 c LP singular count 1 3600.04/3612.02 c LP no primal count 0 3600.04/3612.02 c LP no farkas count 0 3600.04/3612.02 c LP other issue count 0 3600.04/3612.02 c LP Gomory cuts 0 3600.04/3612.02 c LP learned cuts 2754 3600.04/3612.02 c LP deleted cuts 2475 3600.04/3612.02 c LP encountered Gomory constraints 0 3600.04/3612.02 c LP encountered Farkas constraints 708 3600.04/3612.02 c LP encountered learned Farkas constraints 326 3600.04/3612.02 c CG auxiliary variables introduced 0 3600.04/3612.02 c CG solutions found 0 3600.04/3612.02 c CG cores constructed 0 3600.04/3612.02 c CG core cardinality constraints returned 0 3600.04/3612.02 c CG unit cores 0 3600.04/3612.02 c CG single cores 0 3600.04/3612.02 c CG blocks removed during cardinality reduction 0 3600.04/3612.02 c CG first core best 0 3600.04/3612.02 c CG decision core best 0 3600.04/3612.02 c CG core reduction tie 0 3600.04/3612.02 c CG core degree average 0.00 3600.04/3612.02 c CG core slack average 0.00 3600.04/3612.02 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 (56586 MiB free)
memory of node 1: 64510 MiB (31995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460683-1722069485/watcher-4460683-1722069485 -o /tmp/evaluation-result-4460683-1722069485/solver-4460683-1722069485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460683-1722069485 --lp-cut-gomory=0 HOME/instance-4460683-1722069485.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=311514, runsolver pid=311511
[startup+0.100086 s]*
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=90693808/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=48988 memory=20356 CPUtime=0.09 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 4861 0 0 0 8 1 0 0 20 0 1 0 43478752 50163712 5089 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 12247 5089 1661 992 0 4105 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48988 KiB
Current children cumulated memory: 20356 KiB
[startup+0.205805 s]*
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=90644956/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=75212 memory=42140 CPUtime=0.2 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 10508 0 0 0 17 3 0 0 20 0 1 0 43478752 77017088 10535 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 18803 10535 1709 992 0 10661 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75212 KiB
Current children cumulated memory: 42140 KiB
[startup+0.305737 s]*
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=90642456/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=76008 memory=43724 CPUtime=0.3 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 10865 0 0 0 27 3 0 0 20 0 1 0 43478752 77832192 10931 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 19002 10931 1709 992 0 10860 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76008 KiB
Current children cumulated memory: 43724 KiB
[startup+0.700178 s]
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=90640628/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=78596 memory=45572 CPUtime=0.68 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 11358 0 0 0 65 3 0 0 20 0 1 0 43478752 80482304 11393 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 19649 11393 1709 992 0 11507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78596 KiB
Current children cumulated memory: 45572 KiB
[startup+1.50021 s]
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=90339200/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=79276 memory=46892 CPUtime=1.49 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 11689 0 0 0 145 4 0 0 20 0 1 0 43478752 81178624 11723 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 19819 11723 1709 992 0 11677 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 46892 KiB
[startup+3.1056 s]
/proc/loadavg: 4.42 4.20 4.12 5/264 311515
/proc/meminfo: memFree=89475848/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=79276 memory=48644 CPUtime=3.08 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 12073 0 0 0 289 19 0 0 20 0 1 0 43478752 81178624 12161 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 19819 12161 1755 992 0 11677 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 48644 KiB
[startup+6.30018 s]
/proc/loadavg: 4.39 4.19 4.12 5/264 311517
/proc/meminfo: memFree=88614040/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=83684 memory=52856 CPUtime=6.27 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 13100 0 0 0 605 22 0 0 20 0 1 0 43478752 85692416 13214 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 20921 13214 1755 992 0 12779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 52856 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.19 4.12 5/264 311517
/proc/meminfo: memFree=87430604/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=85196 memory=55224 CPUtime=12.64 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 13711 0 0 0 1240 24 0 0 20 0 1 0 43478752 87240704 13806 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 21299 13806 1755 992 0 13157 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85196 KiB
Current children cumulated memory: 55224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.20 4.12 5/263 311520
/proc/meminfo: memFree=85478348/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=90384 memory=58920 CPUtime=25.4 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 14603 0 0 0 2479 61 0 0 20 0 1 0 43478752 92553216 14730 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 22596 14730 1833 992 0 14454 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 90384 KiB
Current children cumulated memory: 58920 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.18 4.11 5/261 311523
/proc/meminfo: memFree=84384712/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=152944 memory=101656 CPUtime=50.93 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 20101 0 0 0 5001 92 0 0 20 0 1 0 43478752 156614656 25414 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 38236 25414 1865 992 0 30094 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 152944 KiB
Current children cumulated memory: 101656 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/261 311531
/proc/meminfo: memFree=82848364/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=159228 memory=122404 CPUtime=101.97 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 22174 0 0 0 9996 201 0 0 20 0 1 0 43478752 163049472 30601 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 39807 30601 1865 992 0 31665 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 159228 KiB
Current children cumulated memory: 122404 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/261 311561
/proc/meminfo: memFree=110352260/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=176264 memory=139704 CPUtime=161.77 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 26524 0 0 0 15869 308 0 0 20 0 1 0 43478752 180494336 34926 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 44066 34926 1865 992 0 35924 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 176264 KiB
Current children cumulated memory: 139704 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/263 311603
/proc/meminfo: memFree=118325692/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=179084 memory=142596 CPUtime=221.59 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 27286 0 0 0 21788 371 0 0 20 0 1 0 43478752 183382016 35649 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 44771 35649 1865 992 0 36629 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 179084 KiB
Current children cumulated memory: 142596 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/261 311613
/proc/meminfo: memFree=117949636/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=215376 memory=166288 CPUtime=281.4 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 29458 0 0 0 27593 547 0 0 20 0 1 0 43478752 220545024 41572 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 53844 41572 1865 992 0 45702 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 166288 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/260 311624
/proc/meminfo: memFree=117666228/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=221132 memory=172272 CPUtime=341.2 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 30949 0 0 0 33551 569 0 0 20 0 1 0 43478752 226439168 43068 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 55283 43068 1865 992 0 47141 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 221132 KiB
Current children cumulated memory: 172272 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/259 311635
/proc/meminfo: memFree=117251488/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=223592 memory=174728 CPUtime=401.01 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 31625 0 0 0 39459 642 0 0 20 0 1 0 43478752 228958208 43682 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 55898 43682 1865 992 0 47756 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 223592 KiB
Current children cumulated memory: 174728 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.22 4.13 5/258 311646
/proc/meminfo: memFree=116747880/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=286140 memory=214236 CPUtime=460.83 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 34916 0 0 0 45323 760 0 0 20 0 1 0 43478752 293007360 53559 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 71535 53559 1865 992 0 63393 0
################
# More data... #
################
Current children cumulated memory: 805984 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/259 313135
/proc/meminfo: memFree=107329176/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=875140 memory=806728 CPUtime=2853 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 79721 0 0 0 281720 3580 0 0 20 0 1 0 43478752 896143360 201682 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 218785 201682 1939 992 0 210643 0
Current children cumulated CPU time: 2853 s
Current children cumulated vsize: 875140 KiB
Current children cumulated memory: 806728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 313146
/proc/meminfo: memFree=107075696/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=876692 memory=808280 CPUtime=2912.78 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 80389 0 0 0 287622 3656 0 0 20 0 1 0 43478752 897732608 202070 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 219173 202070 1939 992 0 211031 0
Current children cumulated CPU time: 2912.78 s
Current children cumulated vsize: 876692 KiB
Current children cumulated memory: 808280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.41 4.20 4.12 5/260 313157
/proc/meminfo: memFree=106747072/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=877072 memory=808468 CPUtime=2972.55 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 80697 0 0 0 293515 3740 0 0 20 0 1 0 43478752 898121728 202117 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 219268 202117 1939 992 0 211126 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 877072 KiB
Current children cumulated memory: 808468 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/256 313363
/proc/meminfo: memFree=106534224/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=879152 memory=811024 CPUtime=3032.32 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 81486 0 0 0 299398 3834 0 0 20 0 1 0 43478752 900251648 202756 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 219788 202756 1939 992 0 211646 0
Current children cumulated CPU time: 3032.32 s
Current children cumulated vsize: 879152 KiB
Current children cumulated memory: 811024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/261 313439
/proc/meminfo: memFree=106605240/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=887532 memory=818688 CPUtime=3092.08 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 83621 0 0 0 305300 3908 0 0 20 0 1 0 43478752 908832768 204672 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 221883 204672 1939 992 0 213741 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 887532 KiB
Current children cumulated memory: 818688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 313509
/proc/meminfo: memFree=106374776/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891192 memory=823044 CPUtime=3151.86 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 84845 0 0 0 311256 3930 0 0 20 0 1 0 43478752 912580608 205761 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222798 205761 1939 992 0 214656 0
Current children cumulated CPU time: 3151.86 s
Current children cumulated vsize: 891192 KiB
Current children cumulated memory: 823044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/262 313521
/proc/meminfo: memFree=106168972/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823328 CPUtime=3211.63 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 85081 0 0 0 317182 3981 0 0 20 0 1 0 43478752 912752640 205832 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205832 1939 992 0 214698 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/262 313531
/proc/meminfo: memFree=105848384/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823588 CPUtime=3271.42 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 85241 0 0 0 323083 4059 0 0 20 0 1 0 43478752 912752640 205897 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205897 1939 992 0 214698 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/261 313543
/proc/meminfo: memFree=105688532/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823852 CPUtime=3331.21 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 85338 0 0 0 329045 4076 0 0 20 0 1 0 43478752 912752640 205963 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205963 1939 992 0 214698 0
Current children cumulated CPU time: 3331.21 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 313553
/proc/meminfo: memFree=105519736/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823860 CPUtime=3391.01 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 85441 0 0 0 335010 4091 0 0 20 0 1 0 43478752 912752640 205965 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205965 1939 992 0 214698 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 313564
/proc/meminfo: memFree=105279756/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823896 CPUtime=3450.82 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 85738 0 0 0 340921 4161 0 0 20 0 1 0 43478752 912752640 205974 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205974 1939 992 0 214698 0
Current children cumulated CPU time: 3450.82 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 313574
/proc/meminfo: memFree=105001252/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=891360 memory=823896 CPUtime=3510.62 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 86094 0 0 0 346839 4223 0 0 20 0 1 0 43478752 912752640 205974 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 222840 205974 1939 992 0 214698 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 313677
/proc/meminfo: memFree=110451304/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=899520 memory=831588 CPUtime=3570.42 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 88404 0 0 0 352750 4292 0 0 20 0 1 0 43478752 921108480 207897 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 224880 207897 1939 992 0 216738 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 899520 KiB
Current children cumulated memory: 831588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.12 4.12 4.09 5/258 313682
/proc/meminfo: memFree=110314116/131524600 swapFree=131054992/131071996
[pid=311514] ppid=311511 vsize=905016 memory=835116 CPUtime=3600.04 cores=0,2
/proc/311514/stat : 311514 (roundingsat) R 311511 311514 307164 0 -1 4194304 89359 0 0 0 355682 4322 0 0 20 0 1 0 43478752 926736384 208779 134679101440 4194304 8254357 140723007175632 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40275968 140723007177563 140723007177825 140723007177825 140723007184841 0
/proc/311514/statm: 226254 208779 1939 992 0 218112 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 905016 KiB
Current children cumulated memory: 835116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.03 s]
# the end of solver process 311514 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.83 s, system=43.2283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.03
CPU time (s): 3600.06
CPU user time (s): 3556.83
CPU system time (s): 43.2283
CPU usage (%): 99.6686
Max. virtual memory (cumulated for all children) (KiB): 905016
Max. memory (cumulated for all children) (KiB): 835116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.83
system time used= 43.2283
maximum resident set size= 835116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7376712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 24800
# summary of solver processes directly reported to runsolver:
# pid: 311514
# total CPU time (s): 3600.06
# total CPU user time (s): 3556.83
# total CPU system time (s): 43.2283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84431 second user time and 16.1174 second system time
The end
Begin job on nodeC035 at 2024-07-27 10:38:05 IDJOB=4460683 IDBENCH=158306 IDSOLVER=3086 FILE ID=nodeC035/4460683-1722069485 RUNJOBID= nodeC035-1722064836-307174 SLURM_JOB_ID= 8248103 Free space on /tmp= 889840 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K193.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-4460683-1722069485/watcher-4460683-1722069485 -o /tmp/evaluation-result-4460683-1722069485/solver-4460683-1722069485 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307174 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460683-1722069485 --lp-cut-gomory=0 HOME/instance-4460683-1722069485.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3 RANDOM SEED=677404825 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.006 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.54 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 : 3689.460 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 : 7006.93 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 : 3659.017 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.54 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.902 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 : 7006.93 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 : 3665.193 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.54 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 : 3689.530 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 : 7006.93 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 : 3613.846 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.54 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.959 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 : 7006.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 90716592 kB MemAvailable: 108357848 kB Buffers: 376312 kB Cached: 18066664 kB SwapCached: 296 kB Active: 2575852 kB Inactive: 37527868 kB Active(anon): 2004 kB Inactive(anon): 21712056 kB Active(file): 2573848 kB Inactive(file): 15815812 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054992 kB Dirty: 167472 kB Writeback: 16 kB AnonPages: 21659992 kB Mapped: 114908 kB Shmem: 53220 kB KReclaimable: 182488 kB Slab: 307920 kB SReclaimable: 182488 kB SUnreclaim: 125432 kB KernelStack: 4272 kB PageTables: 51848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 24767072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16992 kB HardwareCorrupted: 0 kB AnonHugePages: 9480192 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: 414420 kB DirectMap2M: 48642048 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890052 MiB End job on nodeC035 at 2024-07-27 11:38:17