| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.1 | 3612.67 |
| 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 104.84/105.22 c #Conflicts: 1000 | #Constraints: 24354 104.84/105.22 c #Conflicts: 2000 | #Constraints: 25354 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c #Conflicts: 3000 | #Constraints: 24681 104.84/105.22 c #Conflicts: 4000 | #Constraints: 25681 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c #Conflicts: 5000 | #Constraints: 25218 104.84/105.22 c #Conflicts: 6000 | #Constraints: 26218 104.84/105.22 c #Conflicts: 7000 | #Constraints: 27219 104.84/105.22 c #Conflicts: 8000 | #Constraints: 28219 104.84/105.22 c #Conflicts: 9000 | #Constraints: 29219 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c #Conflicts: 10000 | #Constraints: 27033 104.84/105.22 c #Conflicts: 11000 | #Constraints: 28033 104.84/105.22 c #Conflicts: 12000 | #Constraints: 29033 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c #Conflicts: 13000 | #Constraints: 26732 104.84/105.22 c #Conflicts: 14000 | #Constraints: 27732 104.84/105.22 c #Conflicts: 15000 | #Constraints: 28732 104.84/105.22 c #Conflicts: 16000 | #Constraints: 29732 104.84/105.22 c #Conflicts: 17000 | #Constraints: 30732 104.84/105.22 c #Conflicts: 18000 | #Constraints: 31732 104.84/105.22 c #Conflicts: 19000 | #Constraints: 32732 104.84/105.22 c #Conflicts: 20000 | #Constraints: 33732 104.84/105.22 c #Conflicts: 21000 | #Constraints: 34732 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c #Conflicts: 22000 | #Constraints: 30109 104.84/105.22 c #Conflicts: 23000 | #Constraints: 31109 104.84/105.22 c #Conflicts: 24000 | #Constraints: 32109 104.84/105.22 c #Conflicts: 25000 | #Constraints: 33109 104.84/105.22 c INPROCESSING 104.84/105.22 c GARBAGE COLLECT 104.84/105.22 c rational objective 193 118.50/118.92 c #Conflicts: 26000 | #Constraints: 29207 118.50/118.92 c #Conflicts: 27000 | #Constraints: 30207 118.50/118.92 c #Conflicts: 28000 | #Constraints: 31207 118.50/118.92 c #Conflicts: 29000 | #Constraints: 32207 118.50/118.92 c #Conflicts: 30000 | #Constraints: 33207 118.50/118.92 c #Conflicts: 31000 | #Constraints: 34207 118.50/118.92 c #Conflicts: 32000 | #Constraints: 35207 118.50/118.92 c #Conflicts: 33000 | #Constraints: 36207 118.50/118.92 c #Conflicts: 34000 | #Constraints: 37207 118.50/118.92 c #Conflicts: 35000 | #Constraints: 38207 118.50/118.92 c #Conflicts: 36000 | #Constraints: 39207 118.50/118.92 c #Conflicts: 37000 | #Constraints: 40207 118.50/118.92 c INPROCESSING 118.50/118.92 c GARBAGE COLLECT 118.50/118.92 c rational objective 193 254.26/255.13 c #Conflicts: 38000 | #Constraints: 32926 254.26/255.13 c #Conflicts: 39000 | #Constraints: 33926 254.26/255.13 c #Conflicts: 40000 | #Constraints: 34926 254.26/255.13 c #Conflicts: 41000 | #Constraints: 35926 254.26/255.13 c #Conflicts: 42000 | #Constraints: 36926 254.26/255.13 c #Conflicts: 43000 | #Constraints: 37926 254.26/255.13 c INPROCESSING 254.26/255.13 c GARBAGE COLLECT 254.26/255.13 c #Conflicts: 44000 | #Constraints: 32581 254.26/255.13 c #Conflicts: 45000 | #Constraints: 33581 254.26/255.13 c #Conflicts: 46000 | #Constraints: 34581 254.26/255.13 c #Conflicts: 47000 | #Constraints: 35581 254.26/255.13 c #Conflicts: 48000 | #Constraints: 36581 254.26/255.13 c #Conflicts: 49000 | #Constraints: 37581 254.26/255.13 c #Conflicts: 50000 | #Constraints: 38581 254.26/255.13 c #Conflicts: 51000 | #Constraints: 39581 254.26/255.13 c #Conflicts: 52000 | #Constraints: 40581 254.26/255.13 c #Conflicts: 53000 | #Constraints: 41581 254.26/255.13 c #Conflicts: 54000 | #Constraints: 42581 254.26/255.13 c #Conflicts: 55000 | #Constraints: 43581 254.26/255.13 c #Conflicts: 56000 | #Constraints: 44581 254.26/255.13 c #Conflicts: 57000 | #Constraints: 45581 254.26/255.13 c INPROCESSING 254.26/255.13 c GARBAGE COLLECT 254.26/255.13 c #Conflicts: 58000 | #Constraints: 35518 254.26/255.13 c #Conflicts: 59000 | #Constraints: 36518 254.26/255.13 c #Conflicts: 60000 | #Constraints: 37518 254.26/255.13 c #Conflicts: 61000 | #Constraints: 38518 254.26/255.13 c #Conflicts: 62000 | #Constraints: 39518 254.26/255.13 c #Conflicts: 63000 | #Constraints: 40518 254.26/255.13 c #Conflicts: 64000 | #Constraints: 41518 254.26/255.13 c #Conflicts: 65000 | #Constraints: 42518 254.26/255.13 c INPROCESSING 254.26/255.13 c GARBAGE COLLECT 254.26/255.13 c rational objective 193 392.49/393.83 c #Conflicts: 66000 | #Constraints: 36295 392.49/393.83 c #Conflicts: 67000 | #Constraints: 37295 392.49/393.83 c #Conflicts: 68000 | #Constraints: 38295 392.49/393.83 c #Conflicts: 69000 | #Constraints: 39296 392.49/393.83 c #Conflicts: 70000 | #Constraints: 40296 392.49/393.83 c #Conflicts: 71000 | #Constraints: 41296 392.49/393.83 c #Conflicts: 72000 | #Constraints: 42296 392.49/393.83 c #Conflicts: 73000 | #Constraints: 43296 392.49/393.83 c #Conflicts: 74000 | #Constraints: 44296 392.49/393.83 c #Conflicts: 75000 | #Constraints: 45296 392.49/393.83 c #Conflicts: 76000 | #Constraints: 46296 392.49/393.83 c #Conflicts: 77000 | #Constraints: 47297 392.49/393.83 c #Conflicts: 78000 | #Constraints: 48297 392.49/393.83 c #Conflicts: 79000 | #Constraints: 49297 392.49/393.83 c #Conflicts: 80000 | #Constraints: 50297 392.49/393.83 c #Conflicts: 81000 | #Constraints: 51297 392.49/393.83 c #Conflicts: 82000 | #Constraints: 52297 392.49/393.83 c INPROCESSING 392.49/393.83 c GARBAGE COLLECT 392.49/393.83 c rational objective 193 528.36/530.15 c #Conflicts: 83000 | #Constraints: 39067 528.36/530.15 c #Conflicts: 84000 | #Constraints: 40067 528.36/530.15 c #Conflicts: 85000 | #Constraints: 41067 528.36/530.15 c #Conflicts: 86000 | #Constraints: 42067 528.36/530.15 c #Conflicts: 87000 | #Constraints: 43067 528.36/530.15 c #Conflicts: 88000 | #Constraints: 44067 528.36/530.15 c #Conflicts: 89000 | #Constraints: 45067 528.36/530.15 c #Conflicts: 90000 | #Constraints: 46068 528.36/530.15 c #Conflicts: 91000 | #Constraints: 47068 528.36/530.15 c INPROCESSING 528.36/530.15 c GARBAGE COLLECT 528.36/530.15 c #Conflicts: 92000 | #Constraints: 38818 528.36/530.15 c #Conflicts: 93000 | #Constraints: 39818 528.36/530.15 c #Conflicts: 94000 | #Constraints: 40818 528.36/530.15 c #Conflicts: 95000 | #Constraints: 41818 528.36/530.15 c #Conflicts: 96000 | #Constraints: 42818 528.36/530.15 c #Conflicts: 97000 | #Constraints: 43818 528.36/530.15 c #Conflicts: 98000 | #Constraints: 44818 528.36/530.15 c #Conflicts: 99000 | #Constraints: 45818 528.36/530.15 c #Conflicts: 100000 | #Constraints: 46818 528.36/530.15 c #Conflicts: 101000 | #Constraints: 47818 528.36/530.15 c #Conflicts: 102000 | #Constraints: 48818 528.36/530.15 c #Conflicts: 103000 | #Constraints: 49818 528.36/530.15 c #Conflicts: 104000 | #Constraints: 50818 528.36/530.15 c #Conflicts: 105000 | #Constraints: 51818 528.36/530.15 c #Conflicts: 106000 | #Constraints: 52819 528.36/530.15 c #Conflicts: 107000 | #Constraints: 53819 528.36/530.15 c #Conflicts: 108000 | #Constraints: 54819 528.36/530.15 c #Conflicts: 109000 | #Constraints: 55819 528.36/530.15 c #Conflicts: 110000 | #Constraints: 56819 528.36/530.15 c #Conflicts: 111000 | #Constraints: 57819 528.36/530.15 c INPROCESSING 528.36/530.15 c GARBAGE COLLECT 528.36/530.15 c #Conflicts: 112000 | #Constraints: 41835 528.36/530.15 c #Conflicts: 113000 | #Constraints: 42835 528.36/530.15 c #Conflicts: 114000 | #Constraints: 43835 528.36/530.15 c #Conflicts: 115000 | #Constraints: 44835 528.36/530.15 c #Conflicts: 116000 | #Constraints: 45835 528.36/530.15 c #Conflicts: 117000 | #Constraints: 46835 528.36/530.15 c #Conflicts: 118000 | #Constraints: 47836 528.36/530.15 c #Conflicts: 119000 | #Constraints: 48836 528.36/530.15 c #Conflicts: 120000 | #Constraints: 49836 528.36/530.15 c #Conflicts: 121000 | #Constraints: 50836 528.36/530.15 c INPROCESSING 528.36/530.15 c GARBAGE COLLECT 528.36/530.15 c rational objective 193 620.25/622.36 c #Conflicts: 122000 | #Constraints: 41031 620.25/622.36 c #Conflicts: 123000 | #Constraints: 42031 620.25/622.36 c #Conflicts: 124000 | #Constraints: 43031 620.25/622.36 c #Conflicts: 125000 | #Constraints: 44031 620.25/622.36 c #Conflicts: 126000 | #Constraints: 45031 620.25/622.36 c #Conflicts: 127000 | #Constraints: 46031 620.25/622.36 c #Conflicts: 128000 | #Constraints: 47031 620.25/622.36 c #Conflicts: 129000 | #Constraints: 48031 620.25/622.36 c #Conflicts: 130000 | #Constraints: 49031 620.25/622.36 c #Conflicts: 131000 | #Constraints: 50031 620.25/622.36 c #Conflicts: 132000 | #Constraints: 51032 620.25/622.36 c #Conflicts: 133000 | #Constraints: 52032 620.25/622.36 c #Conflicts: 134000 | #Constraints: 53032 620.25/622.36 c #Conflicts: 135000 | #Constraints: 54032 620.25/622.36 c #Conflicts: 136000 | #Constraints: 55033 620.25/622.36 c #Conflicts: 137000 | #Constraints: 56033 620.25/622.36 c #Conflicts: 138000 | #Constraints: 57033 620.25/622.36 c #Conflicts: 139000 | #Constraints: 58033 620.25/622.36 c #Conflicts: 140000 | #Constraints: 59033 620.25/622.36 c #Conflicts: 141000 | #Constraints: 60033 620.25/622.37 c #Conflicts: 142000 | #Constraints: 61033 620.25/622.37 c #Conflicts: 143000 | #Constraints: 62033 620.25/622.37 c #Conflicts: 144000 | #Constraints: 63033 620.25/622.37 c #Conflicts: 145000 | #Constraints: 64033 620.25/622.37 c INPROCESSING 620.25/622.37 c GARBAGE COLLECT 620.25/622.37 c rational objective 193 704.27/706.62 c #Conflicts: 146000 | #Constraints: 45100 704.27/706.62 c #Conflicts: 147000 | #Constraints: 46100 704.27/706.62 c #Conflicts: 148000 | #Constraints: 47100 704.27/706.62 c #Conflicts: 149000 | #Constraints: 48100 704.27/706.62 c #Conflicts: 150000 | #Constraints: 49100 704.27/706.62 c #Conflicts: 151000 | #Constraints: 50100 704.27/706.62 c #Conflicts: 152000 | #Constraints: 51100 704.27/706.62 c #Conflicts: 153000 | #Constraints: 52100 704.27/706.62 c #Conflicts: 154000 | #Constraints: 53100 704.27/706.62 c #Conflicts: 155000 | #Constraints: 54100 704.27/706.62 c #Conflicts: 156000 | #Constraints: 55100 704.27/706.62 c INPROCESSING 704.27/706.62 c GARBAGE COLLECT 704.27/706.62 c #Conflicts: 157000 | #Constraints: 43863 704.27/706.62 c #Conflicts: 158000 | #Constraints: 44863 704.27/706.62 c #Conflicts: 159000 | #Constraints: 45863 704.27/706.62 c #Conflicts: 160000 | #Constraints: 46863 704.27/706.62 c #Conflicts: 161000 | #Constraints: 47863 704.27/706.62 c #Conflicts: 162000 | #Constraints: 48864 704.27/706.62 c #Conflicts: 163000 | #Constraints: 49864 704.27/706.62 c #Conflicts: 164000 | #Constraints: 50864 704.27/706.62 c #Conflicts: 165000 | #Constraints: 51865 704.27/706.62 c #Conflicts: 166000 | #Constraints: 52865 704.27/706.62 c #Conflicts: 167000 | #Constraints: 53865 704.27/706.62 c #Conflicts: 168000 | #Constraints: 54865 704.27/706.62 c #Conflicts: 169000 | #Constraints: 55865 704.27/706.62 c #Conflicts: 170000 | #Constraints: 56865 704.27/706.62 c #Conflicts: 171000 | #Constraints: 57865 704.27/706.62 c #Conflicts: 172000 | #Constraints: 58865 704.27/706.62 c #Conflicts: 173000 | #Constraints: 59865 704.27/706.62 c #Conflicts: 174000 | #Constraints: 60865 704.27/706.62 c #Conflicts: 175000 | #Constraints: 61865 704.27/706.62 c #Conflicts: 176000 | #Constraints: 62865 704.27/706.62 c #Conflicts: 177000 | #Constraints: 63865 704.27/706.62 c #Conflicts: 178000 | #Constraints: 64865 704.27/706.62 c #Conflicts: 179000 | #Constraints: 65865 704.27/706.62 c #Conflicts: 180000 | #Constraints: 66865 704.27/706.62 c #Conflicts: 181000 | #Constraints: 67865 704.27/706.62 c #Conflicts: 182000 | #Constraints: 68865 704.27/706.62 c #Conflicts: 183000 | #Constraints: 69865 704.27/706.62 c INPROCESSING 704.27/706.62 c GARBAGE COLLECT 704.27/706.62 c rational objective 193 816.50/819.29 c #Conflicts: 184000 | #Constraints: 48020 816.50/819.29 c #Conflicts: 185000 | #Constraints: 49020 816.50/819.29 c #Conflicts: 186000 | #Constraints: 50020 816.50/819.29 c #Conflicts: 187000 | #Constraints: 51020 816.50/819.29 c #Conflicts: 188000 | #Constraints: 52020 816.50/819.29 c #Conflicts: 189000 | #Constraints: 53020 816.50/819.29 c #Conflicts: 190000 | #Constraints: 54020 816.50/819.29 c #Conflicts: 191000 | #Constraints: 55021 816.50/819.29 c #Conflicts: 192000 | #Constraints: 56021 816.50/819.29 c #Conflicts: 193000 | #Constraints: 57021 816.50/819.29 c #Conflicts: 194000 | #Constraints: 58021 816.50/819.29 c #Conflicts: 195000 | #Constraints: 59021 816.50/819.29 c #Conflicts: 196000 | #Constraints: 60021 816.50/819.29 c INPROCESSING 816.50/819.29 c GARBAGE COLLECT 816.50/819.29 c rational objective 193 1056.09/1059.80 c #Conflicts: 197000 | #Constraints: 47718 1056.09/1059.80 c #Conflicts: 198000 | #Constraints: 48718 1056.09/1059.80 c #Conflicts: 199000 | #Constraints: 49718 1056.09/1059.80 c #Conflicts: 200000 | #Constraints: 50718 1056.09/1059.80 c #Conflicts: 201000 | #Constraints: 51718 1056.09/1059.80 c #Conflicts: 202000 | #Constraints: 52719 1056.09/1059.80 c #Conflicts: 203000 | #Constraints: 53719 1056.09/1059.80 c #Conflicts: 204000 | #Constraints: 54719 1056.09/1059.80 c #Conflicts: 205000 | #Constraints: 55719 1056.09/1059.80 c #Conflicts: 206000 | #Constraints: 56719 1056.09/1059.80 c #Conflicts: 207000 | #Constraints: 57719 1056.09/1059.80 c #Conflicts: 208000 | #Constraints: 58719 1056.09/1059.80 c #Conflicts: 209000 | #Constraints: 59719 1056.09/1059.80 c #Conflicts: 210000 | #Constraints: 60719 1056.09/1059.80 c #Conflicts: 211000 | #Constraints: 61719 1056.09/1059.80 c #Conflicts: 212000 | #Constraints: 62719 1056.09/1059.80 c #Conflicts: 213000 | #Constraints: 63719 1056.09/1059.80 c #Conflicts: 214000 | #Constraints: 64719 1056.09/1059.80 c #Conflicts: 215000 | #Constraints: 65719 1056.09/1059.80 c #Conflicts: 216000 | #Constraints: 66719 1056.09/1059.80 c #Conflicts: 217000 | #Constraints: 67719 1056.09/1059.80 c #Conflicts: 218000 | #Constraints: 68719 1056.09/1059.80 c #Conflicts: 219000 | #Constraints: 69719 1056.09/1059.80 c #Conflicts: 220000 | #Constraints: 70720 1056.09/1059.80 c #Conflicts: 221000 | #Constraints: 71720 1056.09/1059.80 c #Conflicts: 222000 | #Constraints: 72720 1056.09/1059.80 c #Conflicts: 223000 | #Constraints: 73720 1056.09/1059.80 c #Conflicts: 224000 | #Constraints: 74720 1056.09/1059.80 c #Conflicts: 225000 | #Constraints: 75720 1056.09/1059.80 c #Conflicts: 226000 | #Constraints: 76720 1056.09/1059.80 c INPROCESSING 1056.09/1059.80 c GARBAGE COLLECT 1056.09/1059.80 c #Conflicts: 227000 | #Constraints: 48357 1056.09/1059.80 c #Conflicts: 228000 | #Constraints: 49357 1056.09/1059.80 c #Conflicts: 229000 | #Constraints: 50357 1056.09/1059.80 c #Conflicts: 230000 | #Constraints: 51357 1056.09/1059.80 c #Conflicts: 231000 | #Constraints: 52357 1056.09/1059.80 c #Conflicts: 232000 | #Constraints: 53358 1056.09/1059.80 c #Conflicts: 233000 | #Constraints: 54358 1056.09/1059.80 c #Conflicts: 234000 | #Constraints: 55358 1056.09/1059.80 c #Conflicts: 235000 | #Constraints: 56358 1056.09/1059.80 c #Conflicts: 236000 | #Constraints: 57358 1056.09/1059.80 c #Conflicts: 237000 | #Constraints: 58358 1056.09/1059.80 c #Conflicts: 238000 | #Constraints: 59358 1056.09/1059.80 c #Conflicts: 239000 | #Constraints: 60358 1056.09/1059.80 c #Conflicts: 240000 | #Constraints: 61358 1056.09/1059.80 c #Conflicts: 241000 | #Constraints: 62358 1056.09/1059.80 c #Conflicts: 242000 | #Constraints: 63358 1056.09/1059.80 c #Conflicts: 243000 | #Constraints: 64358 1056.09/1059.80 c #Conflicts: 244000 | #Constraints: 65358 1056.09/1059.80 c #Conflicts: 245000 | #Constraints: 66358 1056.09/1059.80 c #Conflicts: 246000 | #Constraints: 67358 1056.09/1059.80 c #Conflicts: 247000 | #Constraints: 68359 1056.09/1059.80 c #Conflicts: 248000 | #Constraints: 69359 1056.09/1059.80 c #Conflicts: 249000 | #Constraints: 70359 1056.09/1059.80 c #Conflicts: 250000 | #Constraints: 71359 1056.09/1059.80 c #Conflicts: 251000 | #Constraints: 72359 1056.09/1059.80 c #Conflicts: 252000 | #Constraints: 73359 1056.09/1059.80 c #Conflicts: 253000 | #Constraints: 74359 1056.09/1059.80 c #Conflicts: 254000 | #Constraints: 75359 1056.09/1059.80 c #Conflicts: 255000 | #Constraints: 76359 1056.09/1059.80 c #Conflicts: 256000 | #Constraints: 77359 1056.09/1059.80 c #Conflicts: 257000 | #Constraints: 78359 1056.09/1059.80 c #Conflicts: 258000 | #Constraints: 79359 1056.09/1059.80 c INPROCESSING 1056.09/1059.80 c GARBAGE COLLECT 1056.09/1059.80 c rational objective 193 1083.40/1087.15 c #Conflicts: 259000 | #Constraints: 53126 1083.40/1087.15 c #Conflicts: 260000 | #Constraints: 54126 1083.40/1087.15 c #Conflicts: 261000 | #Constraints: 55127 1083.40/1087.15 c #Conflicts: 262000 | #Constraints: 56127 1083.40/1087.15 c #Conflicts: 263000 | #Constraints: 57127 1083.40/1087.15 c #Conflicts: 264000 | #Constraints: 58127 1083.40/1087.15 c #Conflicts: 265000 | #Constraints: 59127 1083.40/1087.15 c #Conflicts: 266000 | #Constraints: 60127 1083.40/1087.15 c #Conflicts: 267000 | #Constraints: 61127 1083.40/1087.15 c #Conflicts: 268000 | #Constraints: 62127 1083.40/1087.15 c #Conflicts: 269000 | #Constraints: 63127 1083.40/1087.15 c #Conflicts: 270000 | #Constraints: 64127 1083.40/1087.15 c #Conflicts: 271000 | #Constraints: 65127 1083.40/1087.15 c #Conflicts: 272000 | #Constraints: 66127 1083.40/1087.15 c #Conflicts: 273000 | #Constraints: 67127 1083.40/1087.15 c INPROCESSING 1083.40/1087.15 c GARBAGE COLLECT 1083.40/1087.15 c rational objective 193 1179.36/1183.47 c #Conflicts: 274000 | #Constraints: 52150 1179.36/1183.47 c #Conflicts: 275000 | #Constraints: 53150 1179.36/1183.47 c #Conflicts: 276000 | #Constraints: 54150 1179.36/1183.47 c #Conflicts: 277000 | #Constraints: 55150 1179.36/1183.47 c #Conflicts: 278000 | #Constraints: 56151 1179.36/1183.47 c #Conflicts: 279000 | #Constraints: 57151 1179.36/1183.47 c #Conflicts: 280000 | #Constraints: 58151 1179.36/1183.47 c #Conflicts: 281000 | #Constraints: 59151 1179.36/1183.47 c #Conflicts: 282000 | #Constraints: 60151 1179.36/1183.47 c #Conflicts: 283000 | #Constraints: 61151 1179.36/1183.47 c #Conflicts: 284000 | #Constraints: 62151 1179.36/1183.47 c #Conflicts: 285000 | #Constraints: 63152 1179.36/1183.47 c #Conflicts: 286000 | #Constraints: 64152 1179.36/1183.47 c #Conflicts: 287000 | #Constraints: 65152 1179.36/1183.47 c #Conflicts: 288000 | #Constraints: 66152 1179.36/1183.47 c #Conflicts: 289000 | #Constraints: 67152 1179.36/1183.47 c #Conflicts: 290000 | #Constraints: 68152 1179.36/1183.47 c #Conflicts: 291000 | #Constraints: 69152 1179.36/1183.47 c #Conflicts: 292000 | #Constraints: 70152 1179.36/1183.47 c #Conflicts: 293000 | #Constraints: 71152 1179.36/1183.47 c #Conflicts: 294000 | #Constraints: 72152 1179.36/1183.47 c #Conflicts: 295000 | #Constraints: 73152 1179.36/1183.47 c #Conflicts: 296000 | #Constraints: 74152 1179.36/1183.47 c #Conflicts: 297000 | #Constraints: 75152 1179.36/1183.47 c #Conflicts: 298000 | #Constraints: 76152 1179.36/1183.47 c #Conflicts: 299000 | #Constraints: 77152 1179.36/1183.47 c #Conflicts: 300000 | #Constraints: 78152 1179.36/1183.47 c #Conflicts: 301000 | #Constraints: 79152 1179.36/1183.47 c #Conflicts: 302000 | #Constraints: 80152 1179.36/1183.47 c #Conflicts: 303000 | #Constraints: 81152 1179.36/1183.47 c #Conflicts: 304000 | #Constraints: 82152 1179.36/1183.47 c #Conflicts: 305000 | #Constraints: 83152 1179.36/1183.47 c #Conflicts: 306000 | #Constraints: 84152 1179.36/1183.47 c #Conflicts: 307000 | #Constraints: 85152 1179.36/1183.47 c #Conflicts: 308000 | #Constraints: 86152 1179.36/1183.47 c INPROCESSING 1179.36/1183.47 c GARBAGE COLLECT 1179.36/1183.47 c rational objective 193 1216.53/1220.78 c #Conflicts: 309000 | #Constraints: 56499 1216.53/1220.78 c #Conflicts: 310000 | #Constraints: 57499 1216.53/1220.78 c #Conflicts: 311000 | #Constraints: 58499 1216.53/1220.78 c #Conflicts: 312000 | #Constraints: 59499 1216.53/1220.78 c #Conflicts: 313000 | #Constraints: 60499 1216.53/1220.78 c #Conflicts: 314000 | #Constraints: 61500 1216.53/1220.78 c #Conflicts: 315000 | #Constraints: 62500 1216.53/1220.78 c #Conflicts: 316000 | #Constraints: 63500 1216.53/1220.78 c #Conflicts: 317000 | #Constraints: 64500 1216.53/1220.78 c #Conflicts: 318000 | #Constraints: 65500 1216.53/1220.78 c #Conflicts: 319000 | #Constraints: 66501 1216.53/1220.78 c #Conflicts: 320000 | #Constraints: 67501 1216.53/1220.78 c #Conflicts: 321000 | #Constraints: 68501 1216.53/1220.78 c #Conflicts: 322000 | #Constraints: 69501 1216.53/1220.78 c #Conflicts: 323000 | #Constraints: 70501 1216.53/1220.78 c #Conflicts: 324000 | #Constraints: 71501 1216.53/1220.78 c INPROCESSING 1216.53/1220.78 c GARBAGE COLLECT 1216.53/1220.78 c rational objective 193 1364.47/1369.25 c #Conflicts: 325000 | #Constraints: 55407 1364.47/1369.25 c #Conflicts: 326000 | #Constraints: 56407 1364.47/1369.25 c #Conflicts: 327000 | #Constraints: 57407 1364.47/1369.25 c #Conflicts: 328000 | #Constraints: 58407 1364.47/1369.25 c #Conflicts: 329000 | #Constraints: 59407 1364.47/1369.25 c #Conflicts: 330000 | #Constraints: 60407 1364.47/1369.25 c #Conflicts: 331000 | #Constraints: 61407 1364.47/1369.25 c #Conflicts: 332000 | #Constraints: 62407 1364.47/1369.25 c #Conflicts: 333000 | #Constraints: 63407 1364.47/1369.25 c #Conflicts: 334000 | #Constraints: 64407 1364.47/1369.25 c #Conflicts: 335000 | #Constraints: 65407 1364.47/1369.25 c #Conflicts: 336000 | #Constraints: 66407 1364.47/1369.25 c #Conflicts: 337000 | #Constraints: 67407 1364.47/1369.25 c #Conflicts: 338000 | #Constraints: 68407 1364.47/1369.25 c #Conflicts: 339000 | #Constraints: 69407 1364.47/1369.25 c #Conflicts: 340000 | #Constraints: 70407 1364.47/1369.25 c #Conflicts: 341000 | #Constraints: 71407 1364.47/1369.25 c #Conflicts: 342000 | #Constraints: 72407 1364.47/1369.25 c #Conflicts: 343000 | #Constraints: 73407 1364.47/1369.25 c #Conflicts: 344000 | #Constraints: 74407 1364.47/1369.25 c #Conflicts: 345000 | #Constraints: 75407 1364.47/1369.25 c #Conflicts: 346000 | #Constraints: 76407 1364.47/1369.25 c #Conflicts: 347000 | #Constraints: 77407 1364.47/1369.25 c #Conflicts: 348000 | #Constraints: 78407 1364.47/1369.25 c #Conflicts: 349000 | #Constraints: 79408 1364.47/1369.25 c #Conflicts: 350000 | #Constraints: 80408 1364.47/1369.25 c #Conflicts: 351000 | #Constraints: 81408 1364.47/1369.25 c #Conflicts: 352000 | #Constraints: 82408 1364.47/1369.25 c #Conflicts: 353000 | #Constraints: 83408 1364.47/1369.25 c #Conflicts: 354000 | #Constraints: 84408 1364.47/1369.25 c #Conflicts: 355000 | #Constraints: 85408 1364.47/1369.25 c #Conflicts: 356000 | #Constraints: 86408 1364.47/1369.25 c #Conflicts: 357000 | #Constraints: 87408 1364.47/1369.25 c #Conflicts: 358000 | #Constraints: 88409 1364.47/1369.25 c #Conflicts: 359000 | #Constraints: 89409 1364.47/1369.25 c #Conflicts: 360000 | #Constraints: 90409 1364.47/1369.25 c #Conflicts: 361000 | #Constraints: 91409 1364.47/1369.25 c #Conflicts: 362000 | #Constraints: 92409 1364.47/1369.25 c INPROCESSING 1364.47/1369.25 c GARBAGE COLLECT 1364.47/1369.25 c rational objective 193 1754.46/1760.61 c #Conflicts: 363000 | #Constraints: 59599 1754.46/1760.61 c #Conflicts: 364000 | #Constraints: 60599 1754.46/1760.61 c #Conflicts: 365000 | #Constraints: 61599 1754.46/1760.61 c #Conflicts: 366000 | #Constraints: 62599 1754.46/1760.61 c #Conflicts: 367000 | #Constraints: 63599 1754.46/1760.61 c #Conflicts: 368000 | #Constraints: 64599 1754.46/1760.61 c #Conflicts: 369000 | #Constraints: 65599 1754.46/1760.61 c #Conflicts: 370000 | #Constraints: 66599 1754.46/1760.61 c #Conflicts: 371000 | #Constraints: 67600 1754.46/1760.61 c #Conflicts: 372000 | #Constraints: 68600 1754.46/1760.61 c #Conflicts: 373000 | #Constraints: 69600 1754.46/1760.61 c #Conflicts: 374000 | #Constraints: 70600 1754.46/1760.61 c #Conflicts: 375000 | #Constraints: 71600 1754.46/1760.61 c #Conflicts: 376000 | #Constraints: 72600 1754.46/1760.61 c #Conflicts: 377000 | #Constraints: 73600 1754.46/1760.61 c #Conflicts: 378000 | #Constraints: 74600 1754.46/1760.61 c #Conflicts: 379000 | #Constraints: 75600 1754.46/1760.61 c #Conflicts: 380000 | #Constraints: 76600 1754.46/1760.61 c INPROCESSING 1754.46/1760.61 c GARBAGE COLLECT 1754.46/1760.61 c #Conflicts: 381000 | #Constraints: 59104 1754.46/1760.61 c #Conflicts: 382000 | #Constraints: 60104 1754.46/1760.61 c #Conflicts: 383000 | #Constraints: 61104 1754.46/1760.61 c #Conflicts: 384000 | #Constraints: 62104 1754.46/1760.61 c #Conflicts: 385000 | #Constraints: 63104 1754.46/1760.61 c #Conflicts: 386000 | #Constraints: 64104 1754.46/1760.61 c #Conflicts: 387000 | #Constraints: 65104 1754.46/1760.61 c #Conflicts: 388000 | #Constraints: 66104 1754.46/1760.61 c #Conflicts: 389000 | #Constraints: 67104 1754.46/1760.61 c #Conflicts: 390000 | #Constraints: 68104 1754.46/1760.61 c #Conflicts: 391000 | #Constraints: 69104 1754.46/1760.61 c #Conflicts: 392000 | #Constraints: 70104 1754.46/1760.61 c #Conflicts: 393000 | #Constraints: 71104 1754.46/1760.61 c #Conflicts: 394000 | #Constraints: 72104 1754.46/1760.61 c #Conflicts: 395000 | #Constraints: 73104 1754.46/1760.61 c #Conflicts: 396000 | #Constraints: 74104 1754.46/1760.61 c #Conflicts: 397000 | #Constraints: 75104 1754.46/1760.61 c #Conflicts: 398000 | #Constraints: 76104 1754.46/1760.61 c #Conflicts: 399000 | #Constraints: 77104 1754.46/1760.61 c #Conflicts: 400000 | #Constraints: 78104 1754.46/1760.61 c #Conflicts: 401000 | #Constraints: 79104 1754.46/1760.61 c #Conflicts: 402000 | #Constraints: 80104 1754.46/1760.61 c #Conflicts: 403000 | #Constraints: 81104 1754.46/1760.61 c #Conflicts: 404000 | #Constraints: 82104 1754.46/1760.61 c #Conflicts: 405000 | #Constraints: 83104 1754.46/1760.61 c #Conflicts: 406000 | #Constraints: 84104 1754.46/1760.61 c #Conflicts: 407000 | #Constraints: 85104 1754.46/1760.61 c #Conflicts: 408000 | #Constraints: 86104 1754.46/1760.61 c #Conflicts: 409000 | #Constraints: 87104 1754.46/1760.61 c #Conflicts: 410000 | #Constraints: 88105 1754.46/1760.61 c #Conflicts: 411000 | #Constraints: 89105 1754.46/1760.61 c #Conflicts: 412000 | #Constraints: 90105 1754.46/1760.61 c #Conflicts: 413000 | #Constraints: 91105 1754.46/1760.61 c #Conflicts: 414000 | #Constraints: 92105 1754.46/1760.61 c #Conflicts: 415000 | #Constraints: 93105 1754.46/1760.61 c #Conflicts: 416000 | #Constraints: 94105 1754.46/1760.61 c #Conflicts: 417000 | #Constraints: 95105 1754.46/1760.61 c #Conflicts: 418000 | #Constraints: 96106 1754.46/1760.61 c #Conflicts: 419000 | #Constraints: 97106 1754.46/1760.61 c #Conflicts: 420000 | #Constraints: 98106 1754.46/1760.61 c #Conflicts: 421000 | #Constraints: 99106 1754.46/1760.61 c INPROCESSING 1754.46/1760.61 c GARBAGE COLLECT 1754.46/1760.61 c rational objective 193 1790.54/1796.86 c #Conflicts: 422000 | #Constraints: 62869 1790.54/1796.86 c #Conflicts: 423000 | #Constraints: 63869 1790.54/1796.86 c #Conflicts: 424000 | #Constraints: 64869 1790.54/1796.86 c #Conflicts: 425000 | #Constraints: 65869 1790.54/1796.86 c #Conflicts: 426000 | #Constraints: 66869 1790.54/1796.86 c #Conflicts: 427000 | #Constraints: 67869 1790.54/1796.86 c #Conflicts: 428000 | #Constraints: 68869 1790.54/1796.86 c #Conflicts: 429000 | #Constraints: 69869 1790.54/1796.86 c #Conflicts: 430000 | #Constraints: 70869 1790.54/1796.86 c #Conflicts: 431000 | #Constraints: 71870 1790.54/1796.86 c #Conflicts: 432000 | #Constraints: 72870 1790.54/1796.86 c #Conflicts: 433000 | #Constraints: 73870 1790.54/1796.86 c #Conflicts: 434000 | #Constraints: 74870 1790.54/1796.86 c #Conflicts: 435000 | #Constraints: 75870 1790.54/1796.86 c #Conflicts: 436000 | #Constraints: 76870 1790.54/1796.86 c #Conflicts: 437000 | #Constraints: 77870 1790.54/1796.86 c #Conflicts: 438000 | #Constraints: 78870 1790.54/1796.86 c #Conflicts: 439000 | #Constraints: 79870 1790.54/1796.86 c #Conflicts: 440000 | #Constraints: 80870 1790.54/1796.86 c INPROCESSING 1790.54/1796.86 c GARBAGE COLLECT 1790.54/1796.86 c rational objective 193 1999.99/2007.10 c #Conflicts: 441000 | #Constraints: 62431 1999.99/2007.10 c #Conflicts: 442000 | #Constraints: 63431 1999.99/2007.10 c #Conflicts: 443000 | #Constraints: 64431 1999.99/2007.10 c #Conflicts: 444000 | #Constraints: 65431 1999.99/2007.10 c #Conflicts: 445000 | #Constraints: 66431 1999.99/2007.10 c #Conflicts: 446000 | #Constraints: 67431 1999.99/2007.10 c #Conflicts: 447000 | #Constraints: 68431 1999.99/2007.10 c #Conflicts: 448000 | #Constraints: 69431 1999.99/2007.10 c #Conflicts: 449000 | #Constraints: 70431 1999.99/2007.10 c #Conflicts: 450000 | #Constraints: 71431 1999.99/2007.10 c #Conflicts: 451000 | #Constraints: 72432 1999.99/2007.10 c #Conflicts: 452000 | #Constraints: 73432 1999.99/2007.10 c #Conflicts: 453000 | #Constraints: 74432 1999.99/2007.10 c #Conflicts: 454000 | #Constraints: 75433 1999.99/2007.10 c #Conflicts: 455000 | #Constraints: 76433 1999.99/2007.10 c #Conflicts: 456000 | #Constraints: 77433 1999.99/2007.10 c #Conflicts: 457000 | #Constraints: 78433 1999.99/2007.10 c #Conflicts: 458000 | #Constraints: 79433 1999.99/2007.10 c #Conflicts: 459000 | #Constraints: 80433 1999.99/2007.10 c #Conflicts: 460000 | #Constraints: 81433 1999.99/2007.10 c #Conflicts: 461000 | #Constraints: 82433 1999.99/2007.10 c #Conflicts: 462000 | #Constraints: 83433 1999.99/2007.10 c #Conflicts: 463000 | #Constraints: 84433 1999.99/2007.10 c #Conflicts: 464000 | #Constraints: 85433 1999.99/2007.10 c #Conflicts: 465000 | #Constraints: 86433 1999.99/2007.10 c #Conflicts: 466000 | #Constraints: 87433 1999.99/2007.10 c #Conflicts: 467000 | #Constraints: 88433 1999.99/2007.10 c #Conflicts: 468000 | #Constraints: 89433 1999.99/2007.10 c #Conflicts: 469000 | #Constraints: 90433 1999.99/2007.10 c #Conflicts: 470000 | #Constraints: 91433 1999.99/2007.10 c #Conflicts: 471000 | #Constraints: 92433 1999.99/2007.10 c #Conflicts: 472000 | #Constraints: 93433 1999.99/2007.10 c #Conflicts: 473000 | #Constraints: 94433 1999.99/2007.10 c #Conflicts: 474000 | #Constraints: 95433 1999.99/2007.10 c #Conflicts: 475000 | #Constraints: 96433 1999.99/2007.10 c #Conflicts: 476000 | #Constraints: 97433 1999.99/2007.10 c #Conflicts: 477000 | #Constraints: 98433 1999.99/2007.10 c #Conflicts: 478000 | #Constraints: 99433 1999.99/2007.10 c #Conflicts: 479000 | #Constraints: 100433 1999.99/2007.10 c #Conflicts: 480000 | #Constraints: 101433 1999.99/2007.10 c #Conflicts: 481000 | #Constraints: 102434 1999.99/2007.10 c #Conflicts: 482000 | #Constraints: 103434 1999.99/2007.10 c #Conflicts: 483000 | #Constraints: 104435 1999.99/2007.10 c #Conflicts: 484000 | #Constraints: 105436 1999.99/2007.10 c INPROCESSING 1999.99/2007.10 c GARBAGE COLLECT 1999.99/2007.10 c rational objective 193 2054.29/2061.55 c #Conflicts: 485000 | #Constraints: 65860 2054.29/2061.55 c #Conflicts: 486000 | #Constraints: 66860 2054.29/2061.55 c #Conflicts: 487000 | #Constraints: 67860 2054.29/2061.55 c #Conflicts: 488000 | #Constraints: 68860 2054.29/2061.55 c #Conflicts: 489000 | #Constraints: 69860 2054.29/2061.55 c #Conflicts: 490000 | #Constraints: 70860 2054.29/2061.55 c #Conflicts: 491000 | #Constraints: 71860 2054.29/2061.55 c #Conflicts: 492000 | #Constraints: 72860 2054.29/2061.55 c #Conflicts: 493000 | #Constraints: 73860 2054.29/2061.55 c #Conflicts: 494000 | #Constraints: 74860 2054.29/2061.55 c #Conflicts: 495000 | #Constraints: 75860 2054.29/2061.55 c #Conflicts: 496000 | #Constraints: 76860 2054.29/2061.55 c #Conflicts: 497000 | #Constraints: 77861 2054.29/2061.55 c #Conflicts: 498000 | #Constraints: 78861 2054.29/2061.55 c #Conflicts: 499000 | #Constraints: 79861 2054.29/2061.55 c #Conflicts: 500000 | #Constraints: 80861 2054.29/2061.55 c #Conflicts: 501000 | #Constraints: 81861 2054.29/2061.55 c #Conflicts: 502000 | #Constraints: 82861 2054.29/2061.55 c #Conflicts: 503000 | #Constraints: 83861 2054.29/2061.55 c #Conflicts: 504000 | #Constraints: 84861 2054.29/2061.55 c INPROCESSING 2054.29/2061.55 c GARBAGE COLLECT 2054.29/2061.55 c rational objective 193 2272.19/2280.20 c #Conflicts: 505000 | #Constraints: 63789 2272.19/2280.20 c #Conflicts: 506000 | #Constraints: 64789 2272.19/2280.20 c #Conflicts: 507000 | #Constraints: 65789 2272.19/2280.20 c #Conflicts: 508000 | #Constraints: 66789 2272.19/2280.20 c #Conflicts: 509000 | #Constraints: 67789 2272.19/2280.20 c #Conflicts: 510000 | #Constraints: 68789 2272.19/2280.20 c #Conflicts: 511000 | #Constraints: 69789 2272.19/2280.20 c #Conflicts: 512000 | #Constraints: 70789 2272.19/2280.20 c #Conflicts: 513000 | #Constraints: 71789 2272.19/2280.20 c #Conflicts: 514000 | #Constraints: 72789 2272.19/2280.20 c #Conflicts: 515000 | #Constraints: 73789 2272.19/2280.20 c #Conflicts: 516000 | #Constraints: 74789 2272.19/2280.20 c #Conflicts: 517000 | #Constraints: 75789 2272.19/2280.20 c #Conflicts: 518000 | #Constraints: 76789 2272.19/2280.20 c #Conflicts: 519000 | #Constraints: 77789 2272.19/2280.20 c #Conflicts: 520000 | #Constraints: 78789 2272.19/2280.20 c #Conflicts: 521000 | #Constraints: 79790 2272.19/2280.20 c #Conflicts: 522000 | #Constraints: 80790 2272.19/2280.20 c #Conflicts: 523000 | #Constraints: 81790 2272.19/2280.20 c #Conflicts: 524000 | #Constraints: 82790 2272.19/2280.20 c #Conflicts: 525000 | #Constraints: 83790 2272.19/2280.20 c #Conflicts: 526000 | #Constraints: 84790 2272.19/2280.20 c #Conflicts: 527000 | #Constraints: 85790 2272.19/2280.20 c #Conflicts: 528000 | #Constraints: 86790 2272.19/2280.20 c #Conflicts: 529000 | #Constraints: 87790 2272.19/2280.20 c #Conflicts: 530000 | #Constraints: 88790 2272.19/2280.20 c #Conflicts: 531000 | #Constraints: 89790 2272.19/2280.20 c #Conflicts: 532000 | #Constraints: 90790 2272.19/2280.20 c #Conflicts: 533000 | #Constraints: 91790 2272.19/2280.20 c #Conflicts: 534000 | #Constraints: 92790 2272.19/2280.20 c #Conflicts: 535000 | #Constraints: 93790 2272.19/2280.20 c #Conflicts: 536000 | #Constraints: 94790 2272.19/2280.20 c #Conflicts: 537000 | #Constraints: 95790 2272.19/2280.20 c #Conflicts: 538000 | #Constraints: 96790 2272.19/2280.20 c #Conflicts: 539000 | #Constraints: 97790 2272.19/2280.20 c #Conflicts: 540000 | #Constraints: 98790 2272.19/2280.20 c #Conflicts: 541000 | #Constraints: 99790 2272.19/2280.20 c #Conflicts: 542000 | #Constraints: 100790 2272.19/2280.20 c #Conflicts: 543000 | #Constraints: 101791 2272.19/2280.20 c #Conflicts: 544000 | #Constraints: 102791 2272.19/2280.20 c #Conflicts: 545000 | #Constraints: 103791 2272.19/2280.20 c #Conflicts: 546000 | #Constraints: 104791 2272.19/2280.20 c #Conflicts: 547000 | #Constraints: 105791 2272.19/2280.20 c #Conflicts: 548000 | #Constraints: 106791 2272.19/2280.20 c #Conflicts: 549000 | #Constraints: 107791 2272.19/2280.20 c #Conflicts: 550000 | #Constraints: 108791 2272.19/2280.20 c #Conflicts: 551000 | #Constraints: 109791 2272.19/2280.20 c #Conflicts: 552000 | #Constraints: 110791 2272.19/2280.20 c INPROCESSING 2272.19/2280.20 c GARBAGE COLLECT 2272.19/2280.20 c rational objective 193 2363.96/2372.34 c #Conflicts: 553000 | #Constraints: 69193 2363.96/2372.34 c #Conflicts: 554000 | #Constraints: 70193 2363.96/2372.34 c #Conflicts: 555000 | #Constraints: 71193 2363.96/2372.34 c #Conflicts: 556000 | #Constraints: 72194 2363.96/2372.34 c #Conflicts: 557000 | #Constraints: 73194 2363.96/2372.34 c #Conflicts: 558000 | #Constraints: 74196 2363.96/2372.34 c #Conflicts: 559000 | #Constraints: 75196 2363.96/2372.34 c #Conflicts: 560000 | #Constraints: 76196 2363.96/2372.34 c #Conflicts: 561000 | #Constraints: 77197 2363.96/2372.34 c #Conflicts: 562000 | #Constraints: 78197 2363.96/2372.34 c #Conflicts: 563000 | #Constraints: 79197 2363.96/2372.34 c #Conflicts: 564000 | #Constraints: 80197 2363.96/2372.34 c #Conflicts: 565000 | #Constraints: 81197 2363.96/2372.34 c #Conflicts: 566000 | #Constraints: 82197 2363.96/2372.34 c #Conflicts: 567000 | #Constraints: 83197 2363.96/2372.34 c #Conflicts: 568000 | #Constraints: 84197 2363.96/2372.34 c #Conflicts: 569000 | #Constraints: 85197 2363.96/2372.34 c #Conflicts: 570000 | #Constraints: 86197 2363.96/2372.34 c #Conflicts: 571000 | #Constraints: 87197 2363.96/2372.34 c #Conflicts: 572000 | #Constraints: 88197 2363.96/2372.34 c #Conflicts: 573000 | #Constraints: 89197 2363.96/2372.34 c INPROCESSING 2363.96/2372.34 c GARBAGE COLLECT 2363.96/2372.34 c rational objective 193 2765.11/2774.96 c #Conflicts: 574000 | #Constraints: 67671 2765.11/2774.96 c #Conflicts: 575000 | #Constraints: 68671 2765.11/2774.96 c #Conflicts: 576000 | #Constraints: 69671 2765.11/2774.96 c #Conflicts: 577000 | #Constraints: 70671 2765.11/2774.96 c #Conflicts: 578000 | #Constraints: 71671 2765.11/2774.96 c #Conflicts: 579000 | #Constraints: 72671 2765.11/2774.96 c #Conflicts: 580000 | #Constraints: 73671 2765.11/2774.96 c #Conflicts: 581000 | #Constraints: 74671 2765.11/2774.96 c #Conflicts: 582000 | #Constraints: 75671 2765.11/2774.96 c #Conflicts: 583000 | #Constraints: 76671 2765.11/2774.96 c #Conflicts: 584000 | #Constraints: 77671 2765.11/2774.96 c #Conflicts: 585000 | #Constraints: 78671 2765.11/2774.96 c #Conflicts: 586000 | #Constraints: 79671 2765.11/2774.96 c #Conflicts: 587000 | #Constraints: 80671 2765.11/2774.96 c #Conflicts: 588000 | #Constraints: 81671 2765.11/2774.96 c #Conflicts: 589000 | #Constraints: 82671 2765.11/2774.96 c #Conflicts: 590000 | #Constraints: 83671 2765.11/2774.96 c #Conflicts: 591000 | #Constraints: 84671 2765.11/2774.96 c #Conflicts: 592000 | #Constraints: 85671 2765.11/2774.96 c #Conflicts: 593000 | #Constraints: 86671 2765.11/2774.96 c #Conflicts: 594000 | #Constraints: 87671 2765.11/2774.96 c #Conflicts: 595000 | #Constraints: 88672 2765.11/2774.96 c #Conflicts: 596000 | #Constraints: 89672 2765.11/2774.96 c #Conflicts: 597000 | #Constraints: 90672 2765.11/2774.96 c #Conflicts: 598000 | #Constraints: 91672 2765.11/2774.96 c #Conflicts: 599000 | #Constraints: 92672 2765.11/2774.96 c #Conflicts: 600000 | #Constraints: 93672 2765.11/2774.96 c #Conflicts: 601000 | #Constraints: 94672 2765.11/2774.96 c #Conflicts: 602000 | #Constraints: 95672 2765.11/2774.96 c #Conflicts: 603000 | #Constraints: 96672 2765.11/2774.96 c #Conflicts: 604000 | #Constraints: 97672 2765.11/2774.96 c #Conflicts: 605000 | #Constraints: 98672 2765.11/2774.96 c #Conflicts: 606000 | #Constraints: 99672 2765.11/2774.96 c #Conflicts: 607000 | #Constraints: 100672 2765.11/2774.96 c #Conflicts: 608000 | #Constraints: 101672 2765.11/2774.96 c #Conflicts: 609000 | #Constraints: 102672 2765.11/2774.96 c #Conflicts: 610000 | #Constraints: 103672 2765.11/2774.96 c #Conflicts: 611000 | #Constraints: 104672 2765.11/2774.96 c #Conflicts: 612000 | #Constraints: 105672 2765.11/2774.96 c #Conflicts: 613000 | #Constraints: 106672 2765.11/2774.96 c #Conflicts: 614000 | #Constraints: 107672 2765.11/2774.96 c #Conflicts: 615000 | #Constraints: 108672 2765.11/2774.96 c #Conflicts: 616000 | #Constraints: 109672 2765.11/2774.96 c #Conflicts: 617000 | #Constraints: 110672 2765.11/2774.96 c #Conflicts: 618000 | #Constraints: 111672 2765.11/2774.96 c #Conflicts: 619000 | #Constraints: 112673 2765.11/2774.96 c #Conflicts: 620000 | #Constraints: 113673 2765.11/2774.96 c #Conflicts: 621000 | #Constraints: 114673 2765.11/2774.96 c #Conflicts: 622000 | #Constraints: 115673 2765.11/2774.96 c #Conflicts: 623000 | #Constraints: 116673 2765.11/2774.96 c #Conflicts: 624000 | #Constraints: 117673 2765.11/2774.96 c INPROCESSING 2765.11/2774.96 c GARBAGE COLLECT 2765.11/2774.96 c #Conflicts: 625000 | #Constraints: 72631 2765.11/2774.96 c #Conflicts: 626000 | #Constraints: 73631 2765.11/2774.96 c #Conflicts: 627000 | #Constraints: 74631 2765.11/2774.96 c #Conflicts: 628000 | #Constraints: 75631 2765.11/2774.96 c #Conflicts: 629000 | #Constraints: 76631 2765.11/2774.96 c #Conflicts: 630000 | #Constraints: 77631 2765.11/2774.96 c #Conflicts: 631000 | #Constraints: 78631 2765.11/2774.96 c #Conflicts: 632000 | #Constraints: 79631 2765.11/2774.96 c #Conflicts: 633000 | #Constraints: 80631 2765.11/2774.96 c #Conflicts: 634000 | #Constraints: 81631 2765.11/2774.96 c #Conflicts: 635000 | #Constraints: 82631 2765.11/2774.96 c #Conflicts: 636000 | #Constraints: 83631 2765.11/2774.96 c #Conflicts: 637000 | #Constraints: 84631 2765.11/2774.96 c #Conflicts: 638000 | #Constraints: 85631 2765.11/2774.96 c #Conflicts: 639000 | #Constraints: 86631 2765.11/2774.96 c #Conflicts: 640000 | #Constraints: 87631 2765.11/2774.96 c #Conflicts: 641000 | #Constraints: 88631 2765.11/2774.96 c #Conflicts: 642000 | #Constraints: 89631 2765.11/2774.96 c #Conflicts: 643000 | #Constraints: 90631 2765.11/2774.96 c #Conflicts: 644000 | #Constraints: 91631 2765.11/2774.96 c #Conflicts: 645000 | #Constraints: 92631 2765.11/2774.96 c #Conflicts: 646000 | #Constraints: 93631 2765.11/2774.96 c INPROCESSING 2765.11/2774.96 c GARBAGE COLLECT 2765.11/2774.96 c #Conflicts: 647000 | #Constraints: 71075 2765.11/2774.96 c #Conflicts: 648000 | #Constraints: 72075 2765.11/2774.96 c #Conflicts: 649000 | #Constraints: 73075 2765.11/2774.96 c #Conflicts: 650000 | #Constraints: 74075 2765.11/2774.96 c #Conflicts: 651000 | #Constraints: 75075 2918.17/2928.57 c #Conflicts: 652000 | #Constraints: 76075 2918.17/2928.57 c #Conflicts: 653000 | #Constraints: 77076 2918.17/2928.57 c #Conflicts: 654000 | #Constraints: 78076 2918.17/2928.57 c #Conflicts: 655000 | #Constraints: 79076 2918.17/2928.57 c #Conflicts: 656000 | #Constraints: 80076 2918.17/2928.57 c #Conflicts: 657000 | #Constraints: 81076 2918.17/2928.57 c #Conflicts: 658000 | #Constraints: 82076 2918.17/2928.57 c #Conflicts: 659000 | #Constraints: 83076 2918.17/2928.57 c #Conflicts: 660000 | #Constraints: 84076 2918.17/2928.57 c #Conflicts: 661000 | #Constraints: 85076 2918.17/2928.57 c #Conflicts: 662000 | #Constraints: 86076 2918.17/2928.57 c #Conflicts: 663000 | #Constraints: 87076 2918.17/2928.57 c #Conflicts: 664000 | #Constraints: 88076 2918.17/2928.57 c #Conflicts: 665000 | #Constraints: 89077 2918.17/2928.57 c #Conflicts: 666000 | #Constraints: 90077 2918.17/2928.57 c #Conflicts: 667000 | #Constraints: 91077 2918.17/2928.57 c #Conflicts: 668000 | #Constraints: 92077 2918.17/2928.57 c #Conflicts: 669000 | #Constraints: 93077 2918.17/2928.57 c #Conflicts: 670000 | #Constraints: 94077 2918.17/2928.57 c #Conflicts: 671000 | #Constraints: 95077 2918.17/2928.57 c #Conflicts: 672000 | #Constraints: 96077 2918.17/2928.57 c #Conflicts: 673000 | #Constraints: 97077 2918.17/2928.57 c #Conflicts: 674000 | #Constraints: 98077 2918.17/2928.57 c #Conflicts: 675000 | #Constraints: 99077 2918.17/2928.57 c #Conflicts: 676000 | #Constraints: 100077 2918.17/2928.57 c #Conflicts: 677000 | #Constraints: 101077 2918.17/2928.57 c #Conflicts: 678000 | #Constraints: 102077 2918.17/2928.57 c #Conflicts: 679000 | #Constraints: 103077 2918.17/2928.57 c #Conflicts: 680000 | #Constraints: 104077 2918.17/2928.57 c #Conflicts: 681000 | #Constraints: 105077 2918.17/2928.57 c #Conflicts: 682000 | #Constraints: 106077 2918.17/2928.57 c #Conflicts: 683000 | #Constraints: 107077 2918.17/2928.57 c #Conflicts: 684000 | #Constraints: 108077 2918.17/2928.57 c #Conflicts: 685000 | #Constraints: 109077 2918.17/2928.57 c #Conflicts: 686000 | #Constraints: 110077 2918.17/2928.57 c #Conflicts: 687000 | #Constraints: 111077 2918.17/2928.57 c #Conflicts: 688000 | #Constraints: 112077 2918.17/2928.57 c #Conflicts: 689000 | #Constraints: 113077 2918.17/2928.57 c #Conflicts: 690000 | #Constraints: 114077 2918.17/2928.57 c #Conflicts: 691000 | #Constraints: 115077 2918.17/2928.57 c #Conflicts: 692000 | #Constraints: 116077 2918.17/2928.57 c #Conflicts: 693000 | #Constraints: 117077 2918.17/2928.57 c #Conflicts: 694000 | #Constraints: 118077 2918.17/2928.57 c #Conflicts: 695000 | #Constraints: 119077 2918.17/2928.57 c #Conflicts: 696000 | #Constraints: 120077 2918.17/2928.57 c #Conflicts: 697000 | #Constraints: 121077 2918.17/2928.57 c #Conflicts: 698000 | #Constraints: 122077 2918.17/2928.57 c #Conflicts: 699000 | #Constraints: 123077 2918.17/2928.57 c #Conflicts: 700000 | #Constraints: 124077 2918.17/2928.57 c INPROCESSING 2918.17/2928.57 c GARBAGE COLLECT 2918.17/2928.57 c rational objective 193 2967.89/2978.47 c #Conflicts: 701000 | #Constraints: 75426 2967.89/2978.47 c #Conflicts: 702000 | #Constraints: 76426 2967.89/2978.47 c #Conflicts: 703000 | #Constraints: 77426 2967.89/2978.47 c #Conflicts: 704000 | #Constraints: 78427 2967.89/2978.47 c #Conflicts: 705000 | #Constraints: 79427 2967.89/2978.47 c #Conflicts: 706000 | #Constraints: 80427 2967.89/2978.47 c #Conflicts: 707000 | #Constraints: 81427 2967.89/2978.47 c #Conflicts: 708000 | #Constraints: 82427 2967.89/2978.47 c #Conflicts: 709000 | #Constraints: 83427 2967.89/2978.47 c #Conflicts: 710000 | #Constraints: 84427 2967.89/2978.47 c #Conflicts: 711000 | #Constraints: 85427 2967.89/2978.47 c #Conflicts: 712000 | #Constraints: 86427 2967.89/2978.47 c #Conflicts: 713000 | #Constraints: 87427 2967.89/2978.47 c #Conflicts: 714000 | #Constraints: 88427 2967.89/2978.47 c #Conflicts: 715000 | #Constraints: 89427 2967.89/2978.47 c #Conflicts: 716000 | #Constraints: 90427 2967.89/2978.47 c #Conflicts: 717000 | #Constraints: 91427 2967.89/2978.47 c #Conflicts: 718000 | #Constraints: 92427 2967.89/2978.47 c #Conflicts: 719000 | #Constraints: 93427 2967.89/2978.47 c #Conflicts: 720000 | #Constraints: 94427 2967.89/2978.47 c #Conflicts: 721000 | #Constraints: 95427 2967.89/2978.47 c #Conflicts: 722000 | #Constraints: 96427 2967.89/2978.47 c #Conflicts: 723000 | #Constraints: 97427 2967.89/2978.47 c #Conflicts: 724000 | #Constraints: 98427 2967.89/2978.47 c INPROCESSING 2967.89/2978.47 c GARBAGE COLLECT 2967.89/2978.47 c rational objective 193 3216.95/3228.34 c #Conflicts: 725000 | #Constraints: 74563 3216.95/3228.34 c #Conflicts: 726000 | #Constraints: 75564 3216.95/3228.34 c #Conflicts: 727000 | #Constraints: 76564 3216.95/3228.34 c #Conflicts: 728000 | #Constraints: 77564 3216.95/3228.34 c #Conflicts: 729000 | #Constraints: 78565 3216.95/3228.34 c #Conflicts: 730000 | #Constraints: 79565 3216.95/3228.34 c #Conflicts: 731000 | #Constraints: 80565 3216.95/3228.34 c #Conflicts: 732000 | #Constraints: 81565 3216.95/3228.34 c #Conflicts: 733000 | #Constraints: 82565 3216.95/3228.34 c #Conflicts: 734000 | #Constraints: 83565 3216.95/3228.34 c #Conflicts: 735000 | #Constraints: 84565 3216.95/3228.34 c #Conflicts: 736000 | #Constraints: 85566 3216.95/3228.34 c #Conflicts: 737000 | #Constraints: 86566 3216.95/3228.34 c #Conflicts: 738000 | #Constraints: 87566 3216.95/3228.34 c #Conflicts: 739000 | #Constraints: 88566 3216.95/3228.34 c #Conflicts: 740000 | #Constraints: 89566 3216.95/3228.34 c #Conflicts: 741000 | #Constraints: 90566 3216.95/3228.34 c #Conflicts: 742000 | #Constraints: 91566 3216.95/3228.34 c #Conflicts: 743000 | #Constraints: 92566 3216.95/3228.34 c #Conflicts: 744000 | #Constraints: 93566 3216.95/3228.34 c #Conflicts: 745000 | #Constraints: 94566 3216.95/3228.34 c #Conflicts: 746000 | #Constraints: 95566 3216.95/3228.34 c #Conflicts: 747000 | #Constraints: 96566 3216.95/3228.34 c #Conflicts: 748000 | #Constraints: 97566 3216.95/3228.34 c #Conflicts: 749000 | #Constraints: 98566 3216.95/3228.34 c #Conflicts: 750000 | #Constraints: 99566 3216.95/3228.34 c #Conflicts: 751000 | #Constraints: 100566 3216.95/3228.34 c #Conflicts: 752000 | #Constraints: 101566 3216.95/3228.34 c #Conflicts: 753000 | #Constraints: 102566 3216.95/3228.34 c #Conflicts: 754000 | #Constraints: 103566 3216.95/3228.34 c #Conflicts: 755000 | #Constraints: 104566 3216.95/3228.34 c #Conflicts: 756000 | #Constraints: 105566 3216.95/3228.34 c #Conflicts: 757000 | #Constraints: 106566 3216.95/3228.34 c #Conflicts: 758000 | #Constraints: 107566 3216.95/3228.34 c #Conflicts: 759000 | #Constraints: 108566 3216.95/3228.34 c #Conflicts: 760000 | #Constraints: 109566 3216.95/3228.34 c #Conflicts: 761000 | #Constraints: 110566 3216.95/3228.34 c #Conflicts: 762000 | #Constraints: 111566 3216.95/3228.34 c #Conflicts: 763000 | #Constraints: 112566 3216.95/3228.34 c #Conflicts: 764000 | #Constraints: 113566 3216.95/3228.34 c #Conflicts: 765000 | #Constraints: 114566 3216.95/3228.34 c #Conflicts: 766000 | #Constraints: 115566 3216.95/3228.34 c #Conflicts: 767000 | #Constraints: 116566 3216.95/3228.34 c #Conflicts: 768000 | #Constraints: 117566 3216.95/3228.34 c #Conflicts: 769000 | #Constraints: 118566 3216.95/3228.34 c #Conflicts: 770000 | #Constraints: 119566 3216.95/3228.34 c #Conflicts: 771000 | #Constraints: 120567 3216.95/3228.34 c #Conflicts: 772000 | #Constraints: 121567 3216.95/3228.34 c #Conflicts: 773000 | #Constraints: 122567 3216.95/3228.34 c #Conflicts: 774000 | #Constraints: 123567 3216.95/3228.34 c #Conflicts: 775000 | #Constraints: 124567 3216.95/3228.34 c #Conflicts: 776000 | #Constraints: 125567 3216.95/3228.34 c #Conflicts: 777000 | #Constraints: 126567 3216.95/3228.34 c #Conflicts: 778000 | #Constraints: 127567 3216.95/3228.34 c #Conflicts: 779000 | #Constraints: 128568 3216.95/3228.34 c #Conflicts: 780000 | #Constraints: 129568 3216.95/3228.34 c #Conflicts: 781000 | #Constraints: 130568 3216.95/3228.34 c INPROCESSING 3216.95/3228.34 c GARBAGE COLLECT 3216.95/3228.34 c rational objective 193 3449.83/3461.98 c #Conflicts: 782000 | #Constraints: 79088 3449.83/3461.98 c #Conflicts: 783000 | #Constraints: 80088 3449.83/3461.98 c #Conflicts: 784000 | #Constraints: 81088 3449.83/3461.98 c #Conflicts: 785000 | #Constraints: 82088 3449.83/3461.98 c #Conflicts: 786000 | #Constraints: 83088 3449.83/3461.98 c #Conflicts: 787000 | #Constraints: 84088 3449.83/3461.98 c #Conflicts: 788000 | #Constraints: 85088 3449.83/3461.98 c #Conflicts: 789000 | #Constraints: 86088 3449.83/3461.98 c #Conflicts: 790000 | #Constraints: 87088 3449.83/3461.98 c #Conflicts: 791000 | #Constraints: 88088 3449.83/3461.98 c #Conflicts: 792000 | #Constraints: 89088 3449.83/3461.98 c #Conflicts: 793000 | #Constraints: 90088 3449.83/3461.98 c #Conflicts: 794000 | #Constraints: 91088 3449.83/3461.98 c #Conflicts: 795000 | #Constraints: 92088 3449.83/3461.98 c #Conflicts: 796000 | #Constraints: 93088 3449.83/3461.98 c #Conflicts: 797000 | #Constraints: 94088 3449.83/3461.98 c #Conflicts: 798000 | #Constraints: 95089 3449.83/3461.98 c #Conflicts: 799000 | #Constraints: 96089 3449.83/3461.98 c #Conflicts: 800000 | #Constraints: 97089 3449.83/3461.98 c #Conflicts: 801000 | #Constraints: 98089 3449.83/3461.98 c #Conflicts: 802000 | #Constraints: 99089 3449.83/3461.98 c #Conflicts: 803000 | #Constraints: 100089 3449.83/3461.98 c #Conflicts: 804000 | #Constraints: 101089 3449.83/3461.98 c #Conflicts: 805000 | #Constraints: 102089 3449.83/3461.98 c #Conflicts: 806000 | #Constraints: 103089 3449.83/3461.98 c INPROCESSING 3449.83/3461.98 c GARBAGE COLLECT 3449.83/3461.98 c rational objective 193 3600.07/3612.60 c #Conflicts: 807000 | #Constraints: 77973 3600.07/3612.60 c #Conflicts: 808000 | #Constraints: 78973 3600.07/3612.60 c #Conflicts: 809000 | #Constraints: 79973 3600.07/3612.60 c #Conflicts: 810000 | #Constraints: 80973 3600.07/3612.60 c #Conflicts: 811000 | #Constraints: 81973 3600.07/3612.60 c #Conflicts: 812000 | #Constraints: 82973 3600.07/3612.60 c #Conflicts: 813000 | #Constraints: 83973 3600.07/3612.60 c #Conflicts: 814000 | #Constraints: 84973 3600.07/3612.60 c #Conflicts: 815000 | #Constraints: 85973 3600.07/3612.60 c #Conflicts: 816000 | #Constraints: 86973 3600.07/3612.60 c #Conflicts: 817000 | #Constraints: 87973 3600.07/3612.60 c #Conflicts: 818000 | #Constraints: 88973 3600.07/3612.60 c #Conflicts: 819000 | #Constraints: 89973 3600.07/3612.60 c #Conflicts: 820000 | #Constraints: 90973 3600.07/3612.60 c #Conflicts: 821000 | #Constraints: 91973 3600.07/3612.60 c #Conflicts: 822000 | #Constraints: 92973 3600.07/3612.60 c #Conflicts: 823000 | #Constraints: 93973 3600.07/3612.60 c #Conflicts: 824000 | #Constraints: 94973 3600.07/3612.60 c #Conflicts: 825000 | #Constraints: 95973 3600.07/3612.60 c #Conflicts: 826000 | #Constraints: 96973 3600.07/3612.60 c #Conflicts: 827000 | #Constraints: 97973 3600.07/3612.60 c #Conflicts: 828000 | #Constraints: 98973 3600.07/3612.60 c #Conflicts: 829000 | #Constraints: 99973 3600.07/3612.60 c #Conflicts: 830000 | #Constraints: 100973 3600.07/3612.60 c #Conflicts: 831000 | #Constraints: 101973 3600.07/3612.60 c #Conflicts: 832000 | #Constraints: 102973 3600.07/3612.60 c #Conflicts: 833000 | #Constraints: 103974 3600.07/3612.60 c #Conflicts: 834000 | #Constraints: 104974 3600.07/3612.60 c #Conflicts: 835000 | #Constraints: 105974 3600.07/3612.60 c #Conflicts: 836000 | #Constraints: 106974 3600.07/3612.60 c #Conflicts: 837000 | #Constraints: 107974 3600.07/3612.60 c #Conflicts: 838000 | #Constraints: 108974 3600.07/3612.60 c #Conflicts: 839000 | #Constraints: 109974 3600.07/3612.60 c #Conflicts: 840000 | #Constraints: 110974 3600.07/3612.60 c #Conflicts: 841000 | #Constraints: 111974 3600.07/3612.60 c #Conflicts: 842000 | #Constraints: 112974 3600.07/3612.60 c #Conflicts: 843000 | #Constraints: 113974 3600.07/3612.60 c #Conflicts: 844000 | #Constraints: 114974 3600.07/3612.60 c #Conflicts: 845000 | #Constraints: 115975 3600.07/3612.60 c #Conflicts: 846000 | #Constraints: 116975 3600.07/3612.60 c #Conflicts: 847000 | #Constraints: 117975 3600.07/3612.60 c #Conflicts: 848000 | #Constraints: 118975 3600.07/3612.60 c #Conflicts: 849000 | #Constraints: 119975 3600.07/3612.60 c #Conflicts: 850000 | #Constraints: 120975 3600.07/3612.60 c #Conflicts: 851000 | #Constraints: 121975 3600.07/3612.60 c #Conflicts: 852000 | #Constraints: 122975 3600.07/3612.60 c #Conflicts: 853000 | #Constraints: 123975 3600.07/3612.60 c #Conflicts: 854000 | #Constraints: 124975 3600.07/3612.60 c #Conflicts: 855000 | #Constraints: 125975 3600.07/3612.60 c #Conflicts: 856000 | #Constraints: 126975 3600.07/3612.60 c #Conflicts: 857000 | #Constraints: 127975 3600.07/3612.60 c Program interrupted by user. 3600.07/3612.66 c cpu time 3556.24 s 3600.07/3612.66 c deterministic time 188437392309 1.88e+11 3600.07/3612.66 c optimization time 148.039 s 3600.07/3612.66 c total solve time 3408.11 s 3600.07/3612.66 c core-guided solve time 0 s 3600.07/3612.66 c propagation time 1705.71 s 3600.07/3612.66 c conflict analysis time 453.55 s 3600.07/3612.66 c propagations 731791423 3600.07/3612.66 c resolve steps 37142430 3600.07/3612.66 c decisions 22411395 3600.07/3612.66 c conflicts 857665 3600.07/3612.66 c restarts 1837 3600.07/3612.66 c inprocessing phases 37 3600.07/3612.66 c input clauses 23162 3600.07/3612.66 c input cardinalities 193 3600.07/3612.66 c input general constraints 0 3600.07/3612.66 c input average constraint length 6.44 3600.07/3612.66 c input average constraint degree 1.97 3600.07/3612.66 c learned clauses 544136 3600.07/3612.66 c learned cardinalities 43063 3600.07/3612.66 c learned general constraints 270518 3600.07/3612.66 c learned average constraint length 995.12 3600.07/3612.66 c learned average constraint degree 197124305.08 3600.07/3612.66 c watched constraints 190724 3600.07/3612.66 c counting constraints 79794 3600.07/3612.66 c gcd simplifications 2220 3600.07/3612.66 c detected cardinalities 7613 3600.07/3612.66 c weakened non-implied lits 177386608 3600.07/3612.66 c weakened non-implying lits 184985 3600.07/3612.66 c original variables 22967 3600.07/3612.66 c clausal propagations 348775057 3600.07/3612.66 c cardinality propagations 258535822 3600.07/3612.66 c watched propagations 30058813 3600.07/3612.66 c counting propagations 85567358 3600.07/3612.66 c watch lookups 10408754739 3600.07/3612.66 c watch backjump lookups 8363855467 3600.07/3612.66 c watch checks 112382123584 3600.07/3612.66 c propagation checks 52829108794 3600.07/3612.66 c constraint additions 2942614996 3600.07/3612.66 c trail pops 755039992 3600.07/3612.66 c formula constraints 23355 3600.07/3612.66 c learned constraints 857611 3600.07/3612.66 c bound constraints 0 3600.07/3612.66 c core-guided constraints 0 3600.07/3612.66 c encountered formula constraints 25160396 3600.07/3612.66 c encountered learned constraints 12838612 3600.07/3612.66 c encountered bound constraints 0 3600.07/3612.66 c encountered core-guided constraints 0 3600.07/3612.66 c LP total time 2189.44 s 3600.07/3612.66 c LP solve time 2185.86 s 3600.07/3612.66 c LP constraints added 26109 3600.07/3612.66 c LP constraints removed 2475 3600.07/3612.66 c LP pivots internal 861084 3600.07/3612.66 c LP pivots root 830834 3600.07/3612.66 c LP calls 110 3600.07/3612.66 c LP optimalities 48 3600.07/3612.66 c LP no pivot count 0 3600.07/3612.66 c LP infeasibilities 53 3600.07/3612.66 c LP valid Farkas constraints 53 3600.07/3612.66 c LP learned Farkas constraints 53 3600.07/3612.66 c LP basis resets 1 3600.07/3612.66 c LP cycling count 0 3600.07/3612.66 c LP singular count 1 3600.07/3612.66 c LP no primal count 0 3600.07/3612.66 c LP no farkas count 0 3600.07/3612.66 c LP other issue count 0 3600.07/3612.66 c LP Gomory cuts 0 3600.07/3612.66 c LP learned cuts 2754 3600.07/3612.66 c LP deleted cuts 2475 3600.07/3612.66 c LP encountered Gomory constraints 0 3600.07/3612.66 c LP encountered Farkas constraints 708 3600.07/3612.66 c LP encountered learned Farkas constraints 326 3600.07/3612.66 c CG auxiliary variables introduced 0 3600.07/3612.66 c CG solutions found 0 3600.07/3612.66 c CG cores constructed 0 3600.07/3612.66 c CG core cardinality constraints returned 0 3600.07/3612.66 c CG unit cores 0 3600.07/3612.66 c CG single cores 0 3600.07/3612.66 c CG blocks removed during cardinality reduction 0 3600.07/3612.66 c CG first core best 0 3600.07/3612.66 c CG decision core best 0 3600.07/3612.66 c CG core reduction tie 0 3600.07/3612.66 c CG core degree average 0.00 3600.07/3612.66 c CG core slack average 0.00 3600.07/3612.66 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (996 MiB free)
memory of node 1: 64473 MiB (27094 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463073-1722345247/watcher-4463073-1722345247 -o /tmp/evaluation-result-4463073-1722345247/solver-4463073-1722345247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6839 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463073-1722345247 --lp-cut-gomory=0 HOME/instance-4463073-1722345247.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=9412, runsolver pid=9409
[startup+0.100089 s]*
/proc/loadavg: 4.23 4.22 4.14 5/264 9413
/proc/meminfo: memFree=28742560/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=48692 memory=19940 CPUtime=0.09 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 4771 0 0 0 8 1 0 0 20 0 1 0 1123702 49860608 4985 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 12173 4985 1663 992 0 4031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48692 KiB
Current children cumulated memory: 19940 KiB
[startup+0.205757 s]*
/proc/loadavg: 4.23 4.22 4.14 5/264 9413
/proc/meminfo: memFree=28714336/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=75212 memory=41988 CPUtime=0.2 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 10981 0 0 0 17 3 0 0 20 0 1 0 1123702 77017088 10497 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 18803 10497 1711 992 0 10661 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75212 KiB
Current children cumulated memory: 41988 KiB
[startup+0.305671 s]*
/proc/loadavg: 4.21 4.22 4.14 5/264 9413
/proc/meminfo: memFree=28705124/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=76008 memory=43572 CPUtime=0.3 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 11338 0 0 0 27 3 0 0 20 0 1 0 1123702 77832192 10893 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 19002 10893 1711 992 0 10860 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76008 KiB
Current children cumulated memory: 43572 KiB
[startup+0.700233 s]
/proc/loadavg: 4.21 4.22 4.14 5/264 9413
/proc/meminfo: memFree=28678744/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=78596 memory=45420 CPUtime=0.69 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 11831 0 0 0 65 4 0 0 20 0 1 0 1123702 80482304 11355 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 19649 11355 1711 992 0 11507 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78596 KiB
Current children cumulated memory: 45420 KiB
[startup+1.50022 s]
/proc/loadavg: 4.21 4.22 4.14 5/264 9413
/proc/meminfo: memFree=28651748/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=79276 memory=46740 CPUtime=1.49 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 12162 0 0 0 145 4 0 0 20 0 1 0 1123702 81178624 11685 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 19819 11685 1711 992 0 11677 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 46740 KiB
[startup+3.1057 s]
/proc/loadavg: 4.21 4.22 4.14 5/264 9414
/proc/meminfo: memFree=28561820/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=79276 memory=48756 CPUtime=3.08 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 12606 0 0 0 291 17 0 0 20 0 1 0 1123702 81178624 12189 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 19819 12189 1757 992 0 11677 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 48756 KiB
[startup+6.30021 s]
/proc/loadavg: 4.19 4.22 4.14 5/264 9414
/proc/meminfo: memFree=28397776/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=83684 memory=52712 CPUtime=6.27 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 13621 0 0 0 608 19 0 0 20 0 1 0 1123702 85692416 13178 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 20921 13178 1757 992 0 12779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 52712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.21 4.14 5/264 9416
/proc/meminfo: memFree=28042096/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=85196 memory=55088 CPUtime=12.64 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 14221 0 0 0 1242 22 0 0 20 0 1 0 1123702 87240704 13772 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 21299 13772 1757 992 0 13157 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85196 KiB
Current children cumulated memory: 55088 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.22 4.15 5/264 9417
/proc/meminfo: memFree=27271164/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=90384 memory=58824 CPUtime=25.4 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 15109 0 0 0 2483 57 0 0 20 0 1 0 1123702 92553216 14706 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 22596 14706 1808 992 0 14454 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 90384 KiB
Current children cumulated memory: 58824 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.20 4.14 5/264 9422
/proc/meminfo: memFree=25097000/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=152944 memory=101600 CPUtime=50.92 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 26482 0 0 0 4998 94 0 0 20 0 1 0 1123702 156614656 25400 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 38236 25400 1840 992 0 30094 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 152944 KiB
Current children cumulated memory: 101600 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/264 9431
/proc/meminfo: memFree=21937680/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=159228 memory=114056 CPUtime=101.95 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 43947 0 0 0 9991 204 0 0 20 0 1 0 1123702 163049472 28514 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 39807 28514 1840 992 0 31665 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 159228 KiB
Current children cumulated memory: 114056 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.21 4.15 5/264 9444
/proc/meminfo: memFree=18290780/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=175980 memory=130976 CPUtime=161.76 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 64361 0 0 0 15862 314 0 0 20 0 1 0 1123702 180203520 32744 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 43995 32744 1840 992 0 35853 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 175980 KiB
Current children cumulated memory: 130976 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.21 4.15 5/264 9457
/proc/meminfo: memFree=15534424/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=179084 memory=134484 CPUtime=221.55 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 79307 0 0 0 21776 379 0 0 20 0 1 0 1123702 183382016 33621 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 44771 33621 1840 992 0 36629 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 179084 KiB
Current children cumulated memory: 134484 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.22 4.16 5/263 9468
/proc/meminfo: memFree=11835996/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=183648 memory=144012 CPUtime=281.37 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 99769 0 0 0 27600 537 0 0 20 0 1 0 1123702 188055552 36003 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 45912 36003 1840 992 0 37770 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 183648 KiB
Current children cumulated memory: 144012 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.19 4.15 5/262 9478
/proc/meminfo: memFree=8870060/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=220168 memory=163124 CPUtime=341.16 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 104312 0 0 0 33536 580 0 0 20 0 1 0 1123702 225452032 40781 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 55042 40781 1840 992 0 46900 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 220168 KiB
Current children cumulated memory: 163124 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/265 9493
/proc/meminfo: memFree=5310916/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=223592 memory=167504 CPUtime=400.97 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 126833 0 0 0 39467 630 0 0 20 0 1 0 1123702 228958208 41876 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 55898 41876 1840 992 0 47756 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 223592 KiB
Current children cumulated memory: 167504 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/264 9504
/proc/meminfo: memFree=522844/131524600 swapFree=131071996/131071996
[pid=9412] ppid=9409 vsize=283620 memory=204484 CPUtime=460.77 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 156681 0 0 0 45316 761 0 0 20 0 1 0 1123702 290426880 51121 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 70905 51121 1840 992 0 62763 0
################
# More data... #
################
Current children cumulated memory: 796684 KiB
[startup+2862.3 s]
/proc/loadavg: 4.38 4.31 4.22 5/259 11254
/proc/meminfo: memFree=96019444/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=874400 memory=799060 CPUtime=2852.19 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 281398 0 0 0 281623 3596 0 0 20 0 1 0 1123702 895385600 199765 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 218600 199765 1917 992 0 210458 0
Current children cumulated CPU time: 2852.19 s
Current children cumulated vsize: 874400 KiB
Current children cumulated memory: 799060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.27 4.20 5/264 11284
/proc/meminfo: memFree=123508128/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=875140 memory=800024 CPUtime=2911.98 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 281692 0 0 0 287512 3686 0 0 20 0 1 0 1123702 896143360 200006 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 218785 200006 1917 992 0 210643 0
Current children cumulated CPU time: 2911.98 s
Current children cumulated vsize: 875140 KiB
Current children cumulated memory: 800024 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.23 4.19 5/263 11294
/proc/meminfo: memFree=123230888/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=876692 memory=802072 CPUtime=2971.78 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 282714 0 0 0 293402 3776 0 0 20 0 1 0 1123702 897732608 200518 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 219173 200518 1917 992 0 211031 0
Current children cumulated CPU time: 2971.78 s
Current children cumulated vsize: 876692 KiB
Current children cumulated memory: 802072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.22 4.19 5/261 11306
/proc/meminfo: memFree=122942936/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=877072 memory=802500 CPUtime=3031.57 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 282980 0 0 0 299298 3859 0 0 20 0 1 0 1123702 898121728 200625 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 219268 200625 1917 992 0 211126 0
Current children cumulated CPU time: 3031.57 s
Current children cumulated vsize: 877072 KiB
Current children cumulated memory: 802500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.17 4.17 5/261 11316
/proc/meminfo: memFree=122648832/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=879152 memory=805116 CPUtime=3091.37 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 283963 0 0 0 305196 3941 0 0 20 0 1 0 1123702 900251648 201279 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 219788 201279 1917 992 0 211646 0
Current children cumulated CPU time: 3091.37 s
Current children cumulated vsize: 879152 KiB
Current children cumulated memory: 805116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/259 11326
/proc/meminfo: memFree=122381692/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=890268 memory=815508 CPUtime=3151.16 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 286819 0 0 0 311109 4007 0 0 20 0 1 0 1123702 911634432 203877 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222567 203877 1917 992 0 214425 0
Current children cumulated CPU time: 3151.16 s
Current children cumulated vsize: 890268 KiB
Current children cumulated memory: 815508 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/258 11340
/proc/meminfo: memFree=122192852/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891192 memory=817088 CPUtime=3210.97 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 287249 0 0 0 317072 4025 0 0 20 0 1 0 1123702 912580608 204272 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222798 204272 1917 992 0 214656 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 891192 KiB
Current children cumulated memory: 817088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/259 11351
/proc/meminfo: memFree=121940520/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891360 memory=817164 CPUtime=3270.8 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 287370 0 0 0 322977 4103 0 0 20 0 1 0 1123702 912752640 204291 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222840 204291 1917 992 0 214698 0
Current children cumulated CPU time: 3270.8 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 817164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/260 11362
/proc/meminfo: memFree=121747072/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891360 memory=817172 CPUtime=3330.6 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 287621 0 0 0 328905 4155 0 0 20 0 1 0 1123702 912752640 204293 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222840 204293 1917 992 0 214698 0
Current children cumulated CPU time: 3330.6 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 817172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/263 11377
/proc/meminfo: memFree=121571108/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891360 memory=823340 CPUtime=3390.42 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 287684 0 0 0 334870 4172 0 0 20 0 1 0 1123702 912752640 205835 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222840 205835 1917 992 0 214698 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/263 11389
/proc/meminfo: memFree=121442940/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891360 memory=823384 CPUtime=3450.23 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 287884 0 0 0 340832 4191 0 0 20 0 1 0 1123702 912752640 205846 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222840 205846 1917 992 0 214698 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/263 11400
/proc/meminfo: memFree=121187044/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=891360 memory=823384 CPUtime=3510.04 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 288152 0 0 0 346714 4290 0 0 20 0 1 0 1123702 912752640 205846 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 222840 205846 1917 992 0 214698 0
Current children cumulated CPU time: 3510.04 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/262 11410
/proc/meminfo: memFree=120868452/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=893564 memory=825532 CPUtime=3569.86 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 289134 0 0 0 352647 4339 0 0 20 0 1 0 1123702 915009536 206383 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 223391 206383 1917 992 0 215249 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 893564 KiB
Current children cumulated memory: 825532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.37 4.18 4.17 5/261 11417
/proc/meminfo: memFree=120743500/131524600 swapFree=131071728/131071996
[pid=9412] ppid=9409 vsize=899376 memory=831020 CPUtime=3600.07 cores=0,2
/proc/9412/stat : 9412 (roundingsat) R 9409 9412 6828 0 -1 4194304 290637 0 0 0 355624 4383 0 0 20 0 1 0 1123702 920961024 207755 134679101440 4194304 8255733 140727891016144 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37826560 140727891018590 140727891018852 140727891018852 140727891025865 0
/proc/9412/statm: 224844 207755 1917 992 0 216702 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 899376 KiB
Current children cumulated memory: 831020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.67 s]
# the end of solver process 9412 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.25 s, system=43.8448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.67
CPU time (s): 3600.1
CPU user time (s): 3556.25
CPU system time (s): 43.8448
CPU usage (%): 99.652
Max. virtual memory (cumulated for all children) (KiB): 899376
Max. memory (cumulated for all children) (KiB): 831020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.25
system time used= 43.8448
maximum resident set size= 831020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7349776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 492
involuntary context switches= 25403
# summary of solver processes directly reported to runsolver:
# pid: 9412
# total CPU time (s): 3600.1
# total CPU user time (s): 3556.25
# total CPU system time (s): 43.8448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78688 second user time and 17.5421 second system time
The end
Begin job on nodeC024 at 2024-07-30 15:14:07 IDJOB=4463073 IDBENCH=158306 IDSOLVER=3089 FILE ID=nodeC024/4463073-1722345247 RUNJOBID= nodeC024-1722340763-6839 SLURM_JOB_ID= 8248997 Free space on /tmp= 890004 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-4463073-1722345247/watcher-4463073-1722345247 -o /tmp/evaluation-result-4463073-1722345247/solver-4463073-1722345247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6839 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463073-1722345247 --lp-cut-gomory=0 HOME/instance-4463073-1722345247.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3 RANDOM SEED=1429832398 nodeC024.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 : 3640.686 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.90 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 : 3681.156 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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 : 3652.002 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.268 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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 : 3667.797 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.90 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 : 3681.138 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 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 : 3605.361 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 28767780 kB MemAvailable: 114858412 kB Buffers: 45108 kB Cached: 86778732 kB SwapCached: 0 kB Active: 221400 kB Inactive: 101798888 kB Active(anon): 1552 kB Inactive(anon): 15216404 kB Active(file): 219848 kB Inactive(file): 86582484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 881084 kB Writeback: 0 kB AnonPages: 15194788 kB Mapped: 97640 kB Shmem: 21336 kB KReclaimable: 256248 kB Slab: 364816 kB SReclaimable: 256248 kB SUnreclaim: 108568 kB KernelStack: 4240 kB PageTables: 39508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 17442576 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 7284736 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890056 MiB End job on nodeC024 at 2024-07-30 16:14:20