| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.03 | 3613.91 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K162.opb |
| MD5SUM | 3691972eca5819945d0aaf6ae8165cd0 |
| 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 | 3001.01 |
| 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 | 19278 |
| Total number of constraints | 19604 |
| Number of constraints which are clauses | 19442 |
| Number of constraints which are cardinality constraints (but not clauses) | 162 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 162 |
| 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 | 163 |
| 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.00/0.11 c #variables 19278 #constraints 19604 107.94/108.32 c #Conflicts: 1000 | #Constraints: 20603 107.94/108.32 c #Conflicts: 2000 | #Constraints: 21603 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 3000 | #Constraints: 20836 107.94/108.32 c #Conflicts: 4000 | #Constraints: 21836 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 5000 | #Constraints: 21361 107.94/108.32 c #Conflicts: 6000 | #Constraints: 22361 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 7000 | #Constraints: 21454 107.94/108.32 c #Conflicts: 8000 | #Constraints: 22454 107.94/108.32 c #Conflicts: 9000 | #Constraints: 23454 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 10000 | #Constraints: 22201 107.94/108.32 c #Conflicts: 11000 | #Constraints: 23201 107.94/108.32 c #Conflicts: 12000 | #Constraints: 24201 107.94/108.32 c #Conflicts: 13000 | #Constraints: 25201 107.94/108.32 c #Conflicts: 14000 | #Constraints: 26201 107.94/108.32 c #Conflicts: 15000 | #Constraints: 27201 107.94/108.32 c #Conflicts: 16000 | #Constraints: 28201 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 17000 | #Constraints: 24497 107.94/108.32 c #Conflicts: 18000 | #Constraints: 25497 107.94/108.32 c #Conflicts: 19000 | #Constraints: 26497 107.94/108.32 c #Conflicts: 20000 | #Constraints: 27498 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 21000 | #Constraints: 24268 107.94/108.32 c #Conflicts: 22000 | #Constraints: 25268 107.94/108.32 c #Conflicts: 23000 | #Constraints: 26268 107.94/108.32 c #Conflicts: 24000 | #Constraints: 27268 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c #Conflicts: 25000 | #Constraints: 24444 107.94/108.32 c #Conflicts: 26000 | #Constraints: 25444 107.94/108.32 c #Conflicts: 27000 | #Constraints: 26444 107.94/108.32 c #Conflicts: 28000 | #Constraints: 27444 107.94/108.32 c #Conflicts: 29000 | #Constraints: 28444 107.94/108.32 c #Conflicts: 30000 | #Constraints: 29444 107.94/108.32 c #Conflicts: 31000 | #Constraints: 30444 107.94/108.32 c #Conflicts: 32000 | #Constraints: 31444 107.94/108.32 c #Conflicts: 33000 | #Constraints: 32444 107.94/108.32 c #Conflicts: 34000 | #Constraints: 33444 107.94/108.32 c #Conflicts: 35000 | #Constraints: 34444 107.94/108.32 c #Conflicts: 36000 | #Constraints: 35444 107.94/108.32 c INPROCESSING 107.94/108.32 c GARBAGE COLLECT 107.94/108.32 c rational objective 162 126.18/126.69 c #Conflicts: 37000 | #Constraints: 28499 126.18/126.69 c #Conflicts: 38000 | #Constraints: 29499 126.18/126.69 c #Conflicts: 39000 | #Constraints: 30499 126.18/126.69 c #Conflicts: 40000 | #Constraints: 31499 126.18/126.69 c #Conflicts: 41000 | #Constraints: 32499 126.18/126.69 c INPROCESSING 126.18/126.69 c GARBAGE COLLECT 126.18/126.69 c rational objective 162 165.85/166.50 c #Conflicts: 42000 | #Constraints: 26889 165.85/166.50 c #Conflicts: 43000 | #Constraints: 27889 165.85/166.50 c #Conflicts: 44000 | #Constraints: 28889 165.85/166.50 c #Conflicts: 45000 | #Constraints: 29889 165.85/166.50 c #Conflicts: 46000 | #Constraints: 30889 165.85/166.50 c #Conflicts: 47000 | #Constraints: 31889 165.85/166.50 c #Conflicts: 48000 | #Constraints: 32889 165.85/166.50 c #Conflicts: 49000 | #Constraints: 33889 165.85/166.50 c #Conflicts: 50000 | #Constraints: 34889 165.85/166.50 c #Conflicts: 51000 | #Constraints: 35889 165.85/166.50 c #Conflicts: 52000 | #Constraints: 36889 165.85/166.50 c #Conflicts: 53000 | #Constraints: 37889 165.85/166.50 c #Conflicts: 54000 | #Constraints: 38889 165.85/166.50 c #Conflicts: 55000 | #Constraints: 39889 165.85/166.50 c #Conflicts: 56000 | #Constraints: 40889 165.85/166.50 c INPROCESSING 165.85/166.50 c GARBAGE COLLECT 165.85/166.50 c rational objective 162 189.58/190.26 c #Conflicts: 57000 | #Constraints: 31393 189.58/190.26 c #Conflicts: 58000 | #Constraints: 32393 189.58/190.26 c #Conflicts: 59000 | #Constraints: 33393 189.58/190.26 c #Conflicts: 60000 | #Constraints: 34393 189.58/190.26 c #Conflicts: 61000 | #Constraints: 35393 189.58/190.26 c #Conflicts: 62000 | #Constraints: 36393 189.58/190.26 c INPROCESSING 189.58/190.26 c GARBAGE COLLECT 189.58/190.26 c rational objective 162 296.05/297.11 c #Conflicts: 63000 | #Constraints: 28751 296.05/297.11 c #Conflicts: 64000 | #Constraints: 29751 296.05/297.11 c #Conflicts: 65000 | #Constraints: 30751 296.05/297.11 c #Conflicts: 66000 | #Constraints: 31751 296.05/297.11 c #Conflicts: 67000 | #Constraints: 32751 296.05/297.11 c #Conflicts: 68000 | #Constraints: 33751 296.05/297.11 c #Conflicts: 69000 | #Constraints: 34751 296.05/297.11 c #Conflicts: 70000 | #Constraints: 35751 296.05/297.11 c #Conflicts: 71000 | #Constraints: 36751 296.05/297.11 c #Conflicts: 72000 | #Constraints: 37751 296.05/297.11 c #Conflicts: 73000 | #Constraints: 38751 296.05/297.11 c #Conflicts: 74000 | #Constraints: 39751 296.05/297.11 c #Conflicts: 75000 | #Constraints: 40751 296.05/297.11 c #Conflicts: 76000 | #Constraints: 41751 296.05/297.11 c #Conflicts: 77000 | #Constraints: 42751 296.05/297.11 c #Conflicts: 78000 | #Constraints: 43751 296.05/297.11 c #Conflicts: 79000 | #Constraints: 44752 296.05/297.11 c #Conflicts: 80000 | #Constraints: 45752 296.05/297.11 c INPROCESSING 296.05/297.11 c GARBAGE COLLECT 296.05/297.11 c rational objective 162 323.06/324.16 c #Conflicts: 81000 | #Constraints: 33745 323.06/324.16 c #Conflicts: 82000 | #Constraints: 34745 323.06/324.16 c #Conflicts: 83000 | #Constraints: 35745 323.06/324.16 c #Conflicts: 84000 | #Constraints: 36745 323.06/324.16 c #Conflicts: 85000 | #Constraints: 37745 323.06/324.16 c #Conflicts: 86000 | #Constraints: 38745 323.06/324.16 c #Conflicts: 87000 | #Constraints: 39745 323.06/324.16 c #Conflicts: 88000 | #Constraints: 40745 323.06/324.16 c INPROCESSING 323.06/324.16 c GARBAGE COLLECT 323.06/324.16 c rational objective 162 669.44/671.61 c #Conflicts: 89000 | #Constraints: 31198 669.44/671.61 c #Conflicts: 90000 | #Constraints: 32198 669.44/671.61 c #Conflicts: 91000 | #Constraints: 33198 669.44/671.61 c #Conflicts: 92000 | #Constraints: 34198 669.44/671.61 c #Conflicts: 93000 | #Constraints: 35198 669.44/671.61 c #Conflicts: 94000 | #Constraints: 36198 669.44/671.61 c #Conflicts: 95000 | #Constraints: 37199 669.44/671.61 c #Conflicts: 96000 | #Constraints: 38199 669.44/671.61 c #Conflicts: 97000 | #Constraints: 39199 669.44/671.61 c #Conflicts: 98000 | #Constraints: 40199 669.44/671.61 c #Conflicts: 99000 | #Constraints: 41199 669.44/671.61 c #Conflicts: 100000 | #Constraints: 42199 669.44/671.61 c #Conflicts: 101000 | #Constraints: 43199 669.44/671.61 c #Conflicts: 102000 | #Constraints: 44199 669.44/671.61 c #Conflicts: 103000 | #Constraints: 45199 669.44/671.61 c #Conflicts: 104000 | #Constraints: 46199 669.44/671.61 c #Conflicts: 105000 | #Constraints: 47199 669.44/671.61 c #Conflicts: 106000 | #Constraints: 48199 669.44/671.61 c #Conflicts: 107000 | #Constraints: 49199 669.44/671.61 c #Conflicts: 108000 | #Constraints: 50199 669.44/671.61 c #Conflicts: 109000 | #Constraints: 51199 669.44/671.61 c INPROCESSING 669.44/671.61 c GARBAGE COLLECT 669.44/671.61 c #Conflicts: 110000 | #Constraints: 36599 669.44/671.61 c #Conflicts: 111000 | #Constraints: 37599 669.44/671.61 c #Conflicts: 112000 | #Constraints: 38599 669.44/671.61 c #Conflicts: 113000 | #Constraints: 39599 669.44/671.61 c #Conflicts: 114000 | #Constraints: 40600 669.44/671.61 c #Conflicts: 115000 | #Constraints: 41600 669.44/671.61 c #Conflicts: 116000 | #Constraints: 42600 669.44/671.61 c #Conflicts: 117000 | #Constraints: 43600 669.44/671.61 c #Conflicts: 118000 | #Constraints: 44600 669.44/671.61 c INPROCESSING 669.44/671.61 c GARBAGE COLLECT 669.44/671.61 c #Conflicts: 119000 | #Constraints: 33140 669.44/671.61 c #Conflicts: 120000 | #Constraints: 34140 669.44/671.61 c #Conflicts: 121000 | #Constraints: 35140 669.44/671.61 c #Conflicts: 122000 | #Constraints: 36140 669.44/671.61 c #Conflicts: 123000 | #Constraints: 37140 669.44/671.61 c #Conflicts: 124000 | #Constraints: 38140 669.44/671.61 c #Conflicts: 125000 | #Constraints: 39140 669.44/671.61 c #Conflicts: 126000 | #Constraints: 40140 669.44/671.61 c #Conflicts: 127000 | #Constraints: 41140 669.44/671.61 c #Conflicts: 128000 | #Constraints: 42141 669.44/671.61 c #Conflicts: 129000 | #Constraints: 43141 669.44/671.61 c #Conflicts: 130000 | #Constraints: 44141 669.44/671.61 c #Conflicts: 131000 | #Constraints: 45141 669.44/671.61 c #Conflicts: 132000 | #Constraints: 46141 669.44/671.61 c #Conflicts: 133000 | #Constraints: 47141 669.44/671.61 c #Conflicts: 134000 | #Constraints: 48141 669.44/671.61 c #Conflicts: 135000 | #Constraints: 49141 669.44/671.61 c #Conflicts: 136000 | #Constraints: 50141 669.44/671.61 c #Conflicts: 137000 | #Constraints: 51141 669.44/671.61 c #Conflicts: 138000 | #Constraints: 52141 669.44/671.61 c #Conflicts: 139000 | #Constraints: 53141 669.44/671.61 c #Conflicts: 140000 | #Constraints: 54141 669.44/671.61 c #Conflicts: 141000 | #Constraints: 55142 669.44/671.61 c #Conflicts: 142000 | #Constraints: 56142 669.44/671.61 c INPROCESSING 669.44/671.61 c GARBAGE COLLECT 669.44/671.61 c rational objective 162 698.54/700.89 c #Conflicts: 143000 | #Constraints: 39047 698.54/700.89 c #Conflicts: 144000 | #Constraints: 40047 698.54/700.89 c #Conflicts: 145000 | #Constraints: 41047 698.54/700.89 c #Conflicts: 146000 | #Constraints: 42047 698.54/700.89 c #Conflicts: 147000 | #Constraints: 43047 698.54/700.89 c #Conflicts: 148000 | #Constraints: 44047 698.54/700.89 c #Conflicts: 149000 | #Constraints: 45047 698.54/700.89 c #Conflicts: 150000 | #Constraints: 46047 698.54/700.89 c #Conflicts: 151000 | #Constraints: 47047 698.54/700.89 c #Conflicts: 152000 | #Constraints: 48047 698.54/700.89 c #Conflicts: 153000 | #Constraints: 49047 698.54/700.89 c INPROCESSING 698.54/700.89 c GARBAGE COLLECT 698.54/700.89 c rational objective 162 792.44/795.07 c #Conflicts: 154000 | #Constraints: 36120 792.44/795.07 c #Conflicts: 155000 | #Constraints: 37120 792.44/795.07 c #Conflicts: 156000 | #Constraints: 38120 792.44/795.07 c #Conflicts: 157000 | #Constraints: 39120 792.44/795.07 c #Conflicts: 158000 | #Constraints: 40120 792.44/795.07 c #Conflicts: 159000 | #Constraints: 41121 792.44/795.07 c #Conflicts: 160000 | #Constraints: 42121 792.44/795.07 c #Conflicts: 161000 | #Constraints: 43121 792.44/795.07 c #Conflicts: 162000 | #Constraints: 44121 792.44/795.07 c #Conflicts: 163000 | #Constraints: 45121 792.44/795.07 c #Conflicts: 164000 | #Constraints: 46121 792.44/795.07 c #Conflicts: 165000 | #Constraints: 47121 792.44/795.07 c #Conflicts: 166000 | #Constraints: 48121 792.44/795.07 c #Conflicts: 167000 | #Constraints: 49121 792.44/795.07 c #Conflicts: 168000 | #Constraints: 50121 792.44/795.07 c #Conflicts: 169000 | #Constraints: 51121 792.44/795.07 c #Conflicts: 170000 | #Constraints: 52121 792.44/795.07 c #Conflicts: 171000 | #Constraints: 53121 792.44/795.07 c #Conflicts: 172000 | #Constraints: 54121 792.44/795.07 c #Conflicts: 173000 | #Constraints: 55121 792.44/795.07 c #Conflicts: 174000 | #Constraints: 56121 792.44/795.07 c #Conflicts: 175000 | #Constraints: 57121 792.44/795.07 c #Conflicts: 176000 | #Constraints: 58121 792.44/795.07 c #Conflicts: 177000 | #Constraints: 59121 792.44/795.07 c #Conflicts: 178000 | #Constraints: 60121 792.44/795.07 c #Conflicts: 179000 | #Constraints: 61121 792.44/795.07 c #Conflicts: 180000 | #Constraints: 62121 792.44/795.07 c INPROCESSING 792.44/795.07 c GARBAGE COLLECT 792.44/795.07 c rational objective 162 815.06/817.72 c #Conflicts: 181000 | #Constraints: 42349 815.06/817.72 c #Conflicts: 182000 | #Constraints: 43349 815.06/817.72 c #Conflicts: 183000 | #Constraints: 44349 815.06/817.72 c #Conflicts: 184000 | #Constraints: 45349 815.06/817.72 c #Conflicts: 185000 | #Constraints: 46350 815.06/817.72 c #Conflicts: 186000 | #Constraints: 47350 815.06/817.72 c #Conflicts: 187000 | #Constraints: 48350 815.06/817.72 c #Conflicts: 188000 | #Constraints: 49350 815.06/817.72 c #Conflicts: 189000 | #Constraints: 50350 815.06/817.72 c #Conflicts: 190000 | #Constraints: 51350 815.06/817.72 c #Conflicts: 191000 | #Constraints: 52350 815.06/817.72 c INPROCESSING 815.06/817.72 c GARBAGE COLLECT 815.06/817.72 c rational objective 162 916.93/919.90 c #Conflicts: 192000 | #Constraints: 37800 916.93/919.90 c #Conflicts: 193000 | #Constraints: 38800 916.93/919.90 c #Conflicts: 194000 | #Constraints: 39800 916.93/919.90 c #Conflicts: 195000 | #Constraints: 40800 916.93/919.90 c #Conflicts: 196000 | #Constraints: 41800 916.93/919.90 c #Conflicts: 197000 | #Constraints: 42800 916.93/919.90 c #Conflicts: 198000 | #Constraints: 43800 916.93/919.90 c #Conflicts: 199000 | #Constraints: 44801 916.93/919.90 c #Conflicts: 200000 | #Constraints: 45801 916.93/919.90 c #Conflicts: 201000 | #Constraints: 46801 916.93/919.90 c #Conflicts: 202000 | #Constraints: 47801 916.93/919.90 c #Conflicts: 203000 | #Constraints: 48802 916.93/919.90 c #Conflicts: 204000 | #Constraints: 49804 916.93/919.90 c #Conflicts: 205000 | #Constraints: 50805 916.93/919.90 c #Conflicts: 206000 | #Constraints: 51806 916.93/919.90 c #Conflicts: 207000 | #Constraints: 52806 916.93/919.90 c #Conflicts: 208000 | #Constraints: 53806 916.93/919.90 c #Conflicts: 209000 | #Constraints: 54806 916.93/919.90 c #Conflicts: 210000 | #Constraints: 55806 916.93/919.90 c #Conflicts: 211000 | #Constraints: 56806 916.93/919.90 c #Conflicts: 212000 | #Constraints: 57806 916.93/919.90 c #Conflicts: 213000 | #Constraints: 58806 916.93/919.90 c #Conflicts: 214000 | #Constraints: 59806 916.93/919.90 c #Conflicts: 215000 | #Constraints: 60806 916.93/919.90 c #Conflicts: 216000 | #Constraints: 61806 916.93/919.90 c #Conflicts: 217000 | #Constraints: 62806 916.93/919.90 c #Conflicts: 218000 | #Constraints: 63806 916.93/919.90 c #Conflicts: 219000 | #Constraints: 64806 916.93/919.90 c #Conflicts: 220000 | #Constraints: 65806 916.93/919.90 c #Conflicts: 221000 | #Constraints: 66806 916.93/919.90 c #Conflicts: 222000 | #Constraints: 67806 916.93/919.90 c INPROCESSING 916.93/919.90 c GARBAGE COLLECT 916.93/919.90 c rational objective 162 947.13/950.21 c #Conflicts: 223000 | #Constraints: 45078 947.13/950.21 c #Conflicts: 224000 | #Constraints: 46078 947.13/950.21 c #Conflicts: 225000 | #Constraints: 47078 947.13/950.21 c #Conflicts: 226000 | #Constraints: 48078 947.13/950.21 c #Conflicts: 227000 | #Constraints: 49079 947.13/950.21 c #Conflicts: 228000 | #Constraints: 50079 947.13/950.21 c #Conflicts: 229000 | #Constraints: 51079 947.13/950.21 c #Conflicts: 230000 | #Constraints: 52079 947.13/950.21 c #Conflicts: 231000 | #Constraints: 53079 947.13/950.21 c #Conflicts: 232000 | #Constraints: 54079 947.13/950.21 c #Conflicts: 233000 | #Constraints: 55079 947.13/950.21 c #Conflicts: 234000 | #Constraints: 56080 947.13/950.21 c #Conflicts: 235000 | #Constraints: 57080 947.13/950.21 c INPROCESSING 947.13/950.21 c GARBAGE COLLECT 947.13/950.21 c rational objective 162 1045.83/1049.23 c #Conflicts: 236000 | #Constraints: 40037 1045.83/1049.23 c #Conflicts: 237000 | #Constraints: 41037 1045.83/1049.23 c #Conflicts: 238000 | #Constraints: 42037 1045.83/1049.23 c #Conflicts: 239000 | #Constraints: 43037 1045.83/1049.23 c #Conflicts: 240000 | #Constraints: 44037 1045.83/1049.23 c #Conflicts: 241000 | #Constraints: 45037 1045.83/1049.23 c #Conflicts: 242000 | #Constraints: 46037 1045.83/1049.23 c #Conflicts: 243000 | #Constraints: 47037 1045.83/1049.23 c #Conflicts: 244000 | #Constraints: 48037 1045.83/1049.23 c #Conflicts: 245000 | #Constraints: 49037 1045.83/1049.23 c #Conflicts: 246000 | #Constraints: 50037 1045.83/1049.23 c #Conflicts: 247000 | #Constraints: 51037 1045.83/1049.23 c #Conflicts: 248000 | #Constraints: 52037 1045.83/1049.23 c #Conflicts: 249000 | #Constraints: 53038 1045.83/1049.23 c #Conflicts: 250000 | #Constraints: 54038 1045.83/1049.23 c #Conflicts: 251000 | #Constraints: 55038 1045.83/1049.23 c #Conflicts: 252000 | #Constraints: 56039 1045.83/1049.23 c #Conflicts: 253000 | #Constraints: 57039 1045.83/1049.23 c #Conflicts: 254000 | #Constraints: 58039 1045.83/1049.23 c #Conflicts: 255000 | #Constraints: 59039 1045.83/1049.23 c #Conflicts: 256000 | #Constraints: 60039 1045.83/1049.23 c #Conflicts: 257000 | #Constraints: 61040 1045.83/1049.23 c #Conflicts: 258000 | #Constraints: 62040 1045.83/1049.23 c #Conflicts: 259000 | #Constraints: 63040 1045.83/1049.23 c #Conflicts: 260000 | #Constraints: 64040 1045.83/1049.23 c #Conflicts: 261000 | #Constraints: 65040 1045.83/1049.23 c #Conflicts: 262000 | #Constraints: 66040 1045.83/1049.23 c #Conflicts: 263000 | #Constraints: 67040 1045.83/1049.23 c #Conflicts: 264000 | #Constraints: 68040 1045.83/1049.23 c #Conflicts: 265000 | #Constraints: 69040 1045.83/1049.23 c #Conflicts: 266000 | #Constraints: 70040 1045.83/1049.23 c #Conflicts: 267000 | #Constraints: 71040 1045.83/1049.23 c #Conflicts: 268000 | #Constraints: 72040 1045.83/1049.23 c INPROCESSING 1045.83/1049.23 c GARBAGE COLLECT 1045.83/1049.23 c rational objective 162 1185.97/1189.88 c #Conflicts: 269000 | #Constraints: 47138 1185.97/1189.88 c #Conflicts: 270000 | #Constraints: 48138 1185.97/1189.88 c #Conflicts: 271000 | #Constraints: 49138 1185.97/1189.88 c #Conflicts: 272000 | #Constraints: 50138 1185.97/1189.88 c #Conflicts: 273000 | #Constraints: 51138 1185.97/1189.88 c #Conflicts: 274000 | #Constraints: 52139 1185.97/1189.88 c #Conflicts: 275000 | #Constraints: 53139 1185.97/1189.88 c #Conflicts: 276000 | #Constraints: 54139 1185.97/1189.88 c #Conflicts: 277000 | #Constraints: 55139 1185.97/1189.88 c #Conflicts: 278000 | #Constraints: 56139 1185.97/1189.88 c #Conflicts: 279000 | #Constraints: 57139 1185.97/1189.88 c #Conflicts: 280000 | #Constraints: 58139 1185.97/1189.88 c #Conflicts: 281000 | #Constraints: 59139 1185.97/1189.88 c #Conflicts: 282000 | #Constraints: 60139 1185.97/1189.88 c INPROCESSING 1185.97/1189.88 c GARBAGE COLLECT 1185.97/1189.88 c rational objective 162 1325.38/1329.75 c #Conflicts: 283000 | #Constraints: 42312 1325.38/1329.75 c #Conflicts: 284000 | #Constraints: 43312 1325.38/1329.75 c #Conflicts: 285000 | #Constraints: 44312 1325.38/1329.75 c #Conflicts: 286000 | #Constraints: 45312 1325.38/1329.75 c #Conflicts: 287000 | #Constraints: 46312 1325.38/1329.75 c #Conflicts: 288000 | #Constraints: 47312 1325.38/1329.75 c #Conflicts: 289000 | #Constraints: 48312 1325.38/1329.75 c #Conflicts: 290000 | #Constraints: 49312 1325.38/1329.75 c #Conflicts: 291000 | #Constraints: 50312 1325.38/1329.75 c #Conflicts: 292000 | #Constraints: 51312 1325.38/1329.75 c #Conflicts: 293000 | #Constraints: 52313 1325.38/1329.75 c #Conflicts: 294000 | #Constraints: 53313 1325.38/1329.75 c #Conflicts: 295000 | #Constraints: 54314 1325.38/1329.75 c #Conflicts: 296000 | #Constraints: 55314 1325.38/1329.75 c #Conflicts: 297000 | #Constraints: 56314 1325.38/1329.75 c #Conflicts: 298000 | #Constraints: 57315 1325.38/1329.75 c #Conflicts: 299000 | #Constraints: 58315 1325.38/1329.75 c #Conflicts: 300000 | #Constraints: 59315 1325.38/1329.75 c #Conflicts: 301000 | #Constraints: 60316 1325.38/1329.75 c #Conflicts: 302000 | #Constraints: 61316 1325.38/1329.75 c #Conflicts: 303000 | #Constraints: 62316 1325.38/1329.75 c #Conflicts: 304000 | #Constraints: 63316 1325.38/1329.75 c #Conflicts: 305000 | #Constraints: 64317 1325.38/1329.75 c #Conflicts: 306000 | #Constraints: 65317 1325.38/1329.75 c #Conflicts: 307000 | #Constraints: 66317 1325.38/1329.75 c #Conflicts: 308000 | #Constraints: 67317 1325.38/1329.75 c #Conflicts: 309000 | #Constraints: 68317 1325.38/1329.75 c #Conflicts: 310000 | #Constraints: 69317 1325.38/1329.75 c #Conflicts: 311000 | #Constraints: 70317 1325.38/1329.75 c #Conflicts: 312000 | #Constraints: 71317 1325.38/1329.75 c #Conflicts: 313000 | #Constraints: 72317 1325.38/1329.75 c #Conflicts: 314000 | #Constraints: 73317 1325.38/1329.75 c #Conflicts: 315000 | #Constraints: 74317 1325.38/1329.75 c #Conflicts: 316000 | #Constraints: 75317 1325.38/1329.75 c #Conflicts: 317000 | #Constraints: 76317 1325.38/1329.75 c #Conflicts: 318000 | #Constraints: 77318 1325.38/1329.75 c #Conflicts: 319000 | #Constraints: 78318 1325.38/1329.75 c INPROCESSING 1325.38/1329.75 c GARBAGE COLLECT 1325.38/1329.75 c rational objective 162 1421.25/1425.93 c #Conflicts: 320000 | #Constraints: 49815 1421.25/1425.93 c #Conflicts: 321000 | #Constraints: 50815 1421.25/1425.93 c #Conflicts: 322000 | #Constraints: 51816 1421.25/1425.93 c #Conflicts: 323000 | #Constraints: 52817 1421.25/1425.93 c #Conflicts: 324000 | #Constraints: 53817 1421.25/1425.93 c #Conflicts: 325000 | #Constraints: 54817 1421.25/1425.93 c #Conflicts: 326000 | #Constraints: 55817 1421.25/1425.93 c #Conflicts: 327000 | #Constraints: 56817 1421.25/1425.93 c #Conflicts: 328000 | #Constraints: 57817 1421.25/1425.93 c #Conflicts: 329000 | #Constraints: 58818 1421.25/1425.93 c #Conflicts: 330000 | #Constraints: 59818 1421.25/1425.93 c #Conflicts: 331000 | #Constraints: 60818 1421.25/1425.93 c #Conflicts: 332000 | #Constraints: 61818 1421.25/1425.93 c #Conflicts: 333000 | #Constraints: 62818 1421.25/1425.93 c #Conflicts: 334000 | #Constraints: 63818 1421.25/1425.93 c #Conflicts: 335000 | #Constraints: 64818 1421.25/1425.93 c INPROCESSING 1421.25/1425.93 c GARBAGE COLLECT 1421.25/1425.93 c rational objective 162 1583.20/1588.40 c #Conflicts: 336000 | #Constraints: 45572 1583.20/1588.40 c #Conflicts: 337000 | #Constraints: 46572 1583.20/1588.40 c #Conflicts: 338000 | #Constraints: 47572 1583.20/1588.40 c #Conflicts: 339000 | #Constraints: 48572 1583.20/1588.40 c #Conflicts: 340000 | #Constraints: 49572 1583.20/1588.40 c #Conflicts: 341000 | #Constraints: 50572 1583.20/1588.40 c #Conflicts: 342000 | #Constraints: 51572 1583.20/1588.40 c #Conflicts: 343000 | #Constraints: 52572 1583.20/1588.40 c #Conflicts: 344000 | #Constraints: 53572 1583.20/1588.40 c #Conflicts: 345000 | #Constraints: 54572 1583.20/1588.40 c #Conflicts: 346000 | #Constraints: 55572 1583.20/1588.40 c #Conflicts: 347000 | #Constraints: 56572 1583.20/1588.40 c #Conflicts: 348000 | #Constraints: 57572 1583.20/1588.40 c #Conflicts: 349000 | #Constraints: 58572 1583.20/1588.40 c #Conflicts: 350000 | #Constraints: 59573 1583.20/1588.40 c #Conflicts: 351000 | #Constraints: 60573 1583.20/1588.40 c #Conflicts: 352000 | #Constraints: 61573 1583.20/1588.40 c #Conflicts: 353000 | #Constraints: 62573 1583.20/1588.40 c #Conflicts: 354000 | #Constraints: 63573 1583.20/1588.40 c #Conflicts: 355000 | #Constraints: 64573 1583.20/1588.40 c #Conflicts: 356000 | #Constraints: 65573 1583.20/1588.40 c #Conflicts: 357000 | #Constraints: 66573 1583.20/1588.40 c #Conflicts: 358000 | #Constraints: 67573 1583.20/1588.40 c #Conflicts: 359000 | #Constraints: 68573 1583.20/1588.40 c #Conflicts: 360000 | #Constraints: 69573 1583.20/1588.40 c #Conflicts: 361000 | #Constraints: 70573 1583.20/1588.40 c #Conflicts: 362000 | #Constraints: 71573 1583.20/1588.40 c #Conflicts: 363000 | #Constraints: 72574 1583.20/1588.40 c #Conflicts: 364000 | #Constraints: 73574 1583.20/1588.40 c #Conflicts: 365000 | #Constraints: 74574 1583.20/1588.40 c #Conflicts: 366000 | #Constraints: 75574 1583.20/1588.40 c #Conflicts: 367000 | #Constraints: 76574 1583.20/1588.40 c #Conflicts: 368000 | #Constraints: 77574 1583.20/1588.40 c #Conflicts: 369000 | #Constraints: 78574 1583.20/1588.40 c #Conflicts: 370000 | #Constraints: 79574 1583.20/1588.40 c #Conflicts: 371000 | #Constraints: 80574 1583.20/1588.40 c #Conflicts: 372000 | #Constraints: 81574 1583.20/1588.40 c #Conflicts: 373000 | #Constraints: 82574 1583.20/1588.40 c #Conflicts: 374000 | #Constraints: 83575 1583.20/1588.40 c INPROCESSING 1583.20/1588.40 c GARBAGE COLLECT 1583.20/1588.40 c rational objective 162 1633.13/1638.57 c #Conflicts: 375000 | #Constraints: 53201 1633.13/1638.57 c #Conflicts: 376000 | #Constraints: 54201 1633.13/1638.57 c #Conflicts: 377000 | #Constraints: 55201 1633.13/1638.57 c #Conflicts: 378000 | #Constraints: 56201 1633.13/1638.57 c #Conflicts: 379000 | #Constraints: 57201 1633.13/1638.57 c #Conflicts: 380000 | #Constraints: 58201 1633.13/1638.57 c #Conflicts: 381000 | #Constraints: 59201 1633.13/1638.57 c #Conflicts: 382000 | #Constraints: 60201 1633.13/1638.57 c #Conflicts: 383000 | #Constraints: 61201 1633.13/1638.57 c #Conflicts: 384000 | #Constraints: 62201 1633.13/1638.57 c #Conflicts: 385000 | #Constraints: 63201 1633.13/1638.57 c #Conflicts: 386000 | #Constraints: 64201 1633.13/1638.57 c #Conflicts: 387000 | #Constraints: 65202 1633.13/1638.57 c #Conflicts: 388000 | #Constraints: 66202 1633.13/1638.57 c #Conflicts: 389000 | #Constraints: 67202 1633.13/1638.57 c #Conflicts: 390000 | #Constraints: 68202 1633.13/1638.57 c #Conflicts: 391000 | #Constraints: 69202 1633.13/1638.57 c INPROCESSING 1633.13/1638.57 c GARBAGE COLLECT 1633.13/1638.57 c rational objective 162 1777.70/1783.67 c #Conflicts: 392000 | #Constraints: 48109 1777.70/1783.67 c #Conflicts: 393000 | #Constraints: 49109 1777.70/1783.67 c #Conflicts: 394000 | #Constraints: 50109 1777.70/1783.67 c #Conflicts: 395000 | #Constraints: 51109 1777.70/1783.67 c #Conflicts: 396000 | #Constraints: 52109 1777.70/1783.67 c #Conflicts: 397000 | #Constraints: 53109 1777.70/1783.67 c #Conflicts: 398000 | #Constraints: 54109 1777.70/1783.67 c #Conflicts: 399000 | #Constraints: 55109 1777.70/1783.67 c #Conflicts: 400000 | #Constraints: 56109 1777.70/1783.67 c #Conflicts: 401000 | #Constraints: 57109 1777.70/1783.67 c #Conflicts: 402000 | #Constraints: 58109 1777.70/1783.67 c #Conflicts: 403000 | #Constraints: 59109 1777.70/1783.67 c #Conflicts: 404000 | #Constraints: 60109 1777.70/1783.67 c #Conflicts: 405000 | #Constraints: 61109 1777.70/1783.67 c #Conflicts: 406000 | #Constraints: 62110 1777.70/1783.67 c #Conflicts: 407000 | #Constraints: 63110 1777.70/1783.67 c #Conflicts: 408000 | #Constraints: 64110 1777.70/1783.67 c #Conflicts: 409000 | #Constraints: 65110 1777.70/1783.67 c #Conflicts: 410000 | #Constraints: 66110 1777.70/1783.67 c #Conflicts: 411000 | #Constraints: 67110 1777.70/1783.67 c #Conflicts: 412000 | #Constraints: 68110 1777.70/1783.67 c #Conflicts: 413000 | #Constraints: 69110 1777.70/1783.67 c #Conflicts: 414000 | #Constraints: 70110 1777.70/1783.67 c #Conflicts: 415000 | #Constraints: 71110 1777.70/1783.67 c #Conflicts: 416000 | #Constraints: 72110 1777.70/1783.67 c #Conflicts: 417000 | #Constraints: 73110 1777.70/1783.67 c #Conflicts: 418000 | #Constraints: 74110 1777.70/1783.67 c #Conflicts: 419000 | #Constraints: 75110 1777.70/1783.67 c #Conflicts: 420000 | #Constraints: 76110 1777.70/1783.67 c #Conflicts: 421000 | #Constraints: 77111 1777.70/1783.67 c #Conflicts: 422000 | #Constraints: 78111 1777.70/1783.67 c #Conflicts: 423000 | #Constraints: 79111 1777.70/1783.67 c #Conflicts: 424000 | #Constraints: 80111 1777.70/1783.67 c #Conflicts: 425000 | #Constraints: 81111 1777.70/1783.67 c #Conflicts: 426000 | #Constraints: 82111 1777.70/1783.67 c #Conflicts: 427000 | #Constraints: 83111 1777.70/1783.67 c #Conflicts: 428000 | #Constraints: 84111 1777.70/1783.67 c #Conflicts: 429000 | #Constraints: 85111 1777.70/1783.67 c #Conflicts: 430000 | #Constraints: 86111 1777.70/1783.67 c #Conflicts: 431000 | #Constraints: 87111 1777.70/1783.67 c #Conflicts: 432000 | #Constraints: 88111 1777.70/1783.67 c #Conflicts: 433000 | #Constraints: 89112 1777.70/1783.67 c #Conflicts: 434000 | #Constraints: 90112 1777.70/1783.67 c INPROCESSING 1777.70/1783.67 c GARBAGE COLLECT 1777.70/1783.67 c rational objective 162 1818.57/1824.67 c #Conflicts: 435000 | #Constraints: 56434 1818.57/1824.67 c #Conflicts: 436000 | #Constraints: 57434 1818.57/1824.67 c #Conflicts: 437000 | #Constraints: 58434 1818.57/1824.67 c #Conflicts: 438000 | #Constraints: 59434 1818.57/1824.67 c #Conflicts: 439000 | #Constraints: 60434 1818.57/1824.67 c #Conflicts: 440000 | #Constraints: 61434 1818.57/1824.67 c #Conflicts: 441000 | #Constraints: 62434 1818.57/1824.67 c #Conflicts: 442000 | #Constraints: 63434 1818.57/1824.67 c #Conflicts: 443000 | #Constraints: 64434 1818.57/1824.67 c #Conflicts: 444000 | #Constraints: 65434 1818.57/1824.67 c #Conflicts: 445000 | #Constraints: 66434 1818.57/1824.67 c #Conflicts: 446000 | #Constraints: 67434 1818.57/1824.67 c #Conflicts: 447000 | #Constraints: 68434 1818.57/1824.67 c #Conflicts: 448000 | #Constraints: 69434 1818.57/1824.67 c #Conflicts: 449000 | #Constraints: 70434 1818.57/1824.67 c #Conflicts: 450000 | #Constraints: 71434 1818.57/1824.67 c #Conflicts: 451000 | #Constraints: 72434 1818.57/1824.67 c #Conflicts: 452000 | #Constraints: 73434 1818.57/1824.67 c INPROCESSING 1818.57/1824.67 c GARBAGE COLLECT 1818.57/1824.67 c rational objective 162 2038.32/2045.19 c #Conflicts: 453000 | #Constraints: 50262 2038.32/2045.19 c #Conflicts: 454000 | #Constraints: 51262 2038.32/2045.19 c #Conflicts: 455000 | #Constraints: 52262 2038.32/2045.19 c #Conflicts: 456000 | #Constraints: 53262 2038.32/2045.19 c #Conflicts: 457000 | #Constraints: 54262 2038.32/2045.19 c #Conflicts: 458000 | #Constraints: 55262 2038.32/2045.19 c #Conflicts: 459000 | #Constraints: 56263 2038.32/2045.19 c #Conflicts: 460000 | #Constraints: 57263 2038.32/2045.19 c #Conflicts: 461000 | #Constraints: 58263 2038.32/2045.19 c #Conflicts: 462000 | #Constraints: 59263 2038.32/2045.19 c #Conflicts: 463000 | #Constraints: 60263 2038.32/2045.19 c #Conflicts: 464000 | #Constraints: 61263 2038.32/2045.19 c #Conflicts: 465000 | #Constraints: 62263 2038.32/2045.19 c #Conflicts: 466000 | #Constraints: 63263 2038.32/2045.19 c #Conflicts: 467000 | #Constraints: 64263 2038.32/2045.19 c #Conflicts: 468000 | #Constraints: 65263 2038.32/2045.19 c #Conflicts: 469000 | #Constraints: 66264 2038.32/2045.19 c #Conflicts: 470000 | #Constraints: 67264 2038.32/2045.19 c #Conflicts: 471000 | #Constraints: 68264 2038.32/2045.19 c #Conflicts: 472000 | #Constraints: 69264 2038.32/2045.19 c #Conflicts: 473000 | #Constraints: 70264 2038.32/2045.19 c #Conflicts: 474000 | #Constraints: 71264 2038.32/2045.19 c #Conflicts: 475000 | #Constraints: 72264 2038.32/2045.19 c #Conflicts: 476000 | #Constraints: 73264 2038.32/2045.19 c #Conflicts: 477000 | #Constraints: 74265 2038.32/2045.19 c #Conflicts: 478000 | #Constraints: 75265 2038.32/2045.19 c #Conflicts: 479000 | #Constraints: 76265 2038.32/2045.19 c #Conflicts: 480000 | #Constraints: 77265 2038.32/2045.19 c #Conflicts: 481000 | #Constraints: 78265 2038.32/2045.19 c #Conflicts: 482000 | #Constraints: 79265 2038.32/2045.19 c #Conflicts: 483000 | #Constraints: 80265 2038.32/2045.19 c #Conflicts: 484000 | #Constraints: 81265 2038.32/2045.19 c #Conflicts: 485000 | #Constraints: 82266 2038.32/2045.19 c #Conflicts: 486000 | #Constraints: 83267 2038.32/2045.19 c #Conflicts: 487000 | #Constraints: 84267 2038.32/2045.19 c #Conflicts: 488000 | #Constraints: 85267 2038.32/2045.19 c #Conflicts: 489000 | #Constraints: 86267 2038.32/2045.19 c #Conflicts: 490000 | #Constraints: 87268 2038.32/2045.19 c #Conflicts: 491000 | #Constraints: 88270 2038.32/2045.19 c #Conflicts: 492000 | #Constraints: 89271 2038.32/2045.19 c #Conflicts: 493000 | #Constraints: 90274 2038.32/2045.19 c #Conflicts: 494000 | #Constraints: 91276 2038.32/2045.19 c #Conflicts: 495000 | #Constraints: 92276 2038.32/2045.19 c #Conflicts: 496000 | #Constraints: 93276 2038.32/2045.19 c #Conflicts: 497000 | #Constraints: 94276 2038.32/2045.19 c #Conflicts: 498000 | #Constraints: 95276 2038.32/2045.19 c INPROCESSING 2038.32/2045.19 c GARBAGE COLLECT 2038.32/2045.19 c rational objective 162 2435.00/2443.29 c #Conflicts: 499000 | #Constraints: 59269 2435.00/2443.29 c #Conflicts: 500000 | #Constraints: 60269 2435.00/2443.29 c #Conflicts: 501000 | #Constraints: 61270 2435.00/2443.29 c #Conflicts: 502000 | #Constraints: 62270 2435.00/2443.29 c #Conflicts: 503000 | #Constraints: 63270 2435.00/2443.29 c #Conflicts: 504000 | #Constraints: 64270 2435.00/2443.29 c #Conflicts: 505000 | #Constraints: 65270 2435.00/2443.29 c #Conflicts: 506000 | #Constraints: 66271 2435.00/2443.29 c #Conflicts: 507000 | #Constraints: 67271 2435.00/2443.29 c #Conflicts: 508000 | #Constraints: 68272 2435.00/2443.29 c #Conflicts: 509000 | #Constraints: 69273 2435.00/2443.29 c #Conflicts: 510000 | #Constraints: 70273 2435.00/2443.29 c #Conflicts: 511000 | #Constraints: 71273 2435.00/2443.29 c #Conflicts: 512000 | #Constraints: 72274 2435.00/2443.29 c #Conflicts: 513000 | #Constraints: 73274 2435.00/2443.29 c #Conflicts: 514000 | #Constraints: 74274 2435.00/2443.29 c #Conflicts: 515000 | #Constraints: 75274 2435.00/2443.29 c #Conflicts: 516000 | #Constraints: 76274 2435.00/2443.29 c #Conflicts: 517000 | #Constraints: 77274 2435.00/2443.29 c INPROCESSING 2435.00/2443.29 c GARBAGE COLLECT 2435.00/2443.29 c #Conflicts: 518000 | #Constraints: 51423 2435.00/2443.29 c #Conflicts: 519000 | #Constraints: 52423 2435.00/2443.29 c #Conflicts: 520000 | #Constraints: 53423 2435.00/2443.29 c #Conflicts: 521000 | #Constraints: 54423 2435.00/2443.29 c #Conflicts: 522000 | #Constraints: 55423 2435.00/2443.29 c #Conflicts: 523000 | #Constraints: 56423 2435.00/2443.29 c #Conflicts: 524000 | #Constraints: 57424 2435.00/2443.29 c #Conflicts: 525000 | #Constraints: 58424 2435.00/2443.29 c #Conflicts: 526000 | #Constraints: 59424 2435.00/2443.29 c #Conflicts: 527000 | #Constraints: 60424 2435.00/2443.29 c #Conflicts: 528000 | #Constraints: 61424 2435.00/2443.29 c #Conflicts: 529000 | #Constraints: 62424 2435.00/2443.29 c #Conflicts: 530000 | #Constraints: 63424 2435.00/2443.29 c #Conflicts: 531000 | #Constraints: 64424 2435.00/2443.29 c #Conflicts: 532000 | #Constraints: 65424 2435.00/2443.29 c #Conflicts: 533000 | #Constraints: 66424 2435.00/2443.29 c #Conflicts: 534000 | #Constraints: 67424 2435.00/2443.29 c #Conflicts: 535000 | #Constraints: 68424 2435.00/2443.29 c #Conflicts: 536000 | #Constraints: 69424 2435.00/2443.29 c #Conflicts: 537000 | #Constraints: 70424 2435.00/2443.29 c #Conflicts: 538000 | #Constraints: 71424 2435.00/2443.29 c #Conflicts: 539000 | #Constraints: 72424 2435.00/2443.29 c #Conflicts: 540000 | #Constraints: 73424 2435.00/2443.29 c #Conflicts: 541000 | #Constraints: 74424 2435.00/2443.29 c #Conflicts: 542000 | #Constraints: 75424 2435.00/2443.29 c #Conflicts: 543000 | #Constraints: 76424 2435.00/2443.29 c #Conflicts: 544000 | #Constraints: 77424 2435.00/2443.29 c #Conflicts: 545000 | #Constraints: 78424 2435.00/2443.29 c #Conflicts: 546000 | #Constraints: 79425 2435.00/2443.29 c #Conflicts: 547000 | #Constraints: 80425 2435.00/2443.29 c #Conflicts: 548000 | #Constraints: 81425 2435.00/2443.29 c #Conflicts: 549000 | #Constraints: 82425 2435.00/2443.29 c #Conflicts: 550000 | #Constraints: 83425 2435.00/2443.29 c #Conflicts: 551000 | #Constraints: 84425 2435.00/2443.29 c #Conflicts: 552000 | #Constraints: 85425 2435.00/2443.29 c #Conflicts: 553000 | #Constraints: 86425 2435.00/2443.29 c #Conflicts: 554000 | #Constraints: 87425 2435.00/2443.29 c #Conflicts: 555000 | #Constraints: 88425 2435.00/2443.29 c #Conflicts: 556000 | #Constraints: 89425 2435.00/2443.29 c #Conflicts: 557000 | #Constraints: 90425 2435.00/2443.29 c #Conflicts: 558000 | #Constraints: 91425 2435.00/2443.29 c #Conflicts: 559000 | #Constraints: 92425 2435.00/2443.29 c #Conflicts: 560000 | #Constraints: 93426 2435.00/2443.29 c #Conflicts: 561000 | #Constraints: 94426 2435.00/2443.29 c #Conflicts: 562000 | #Constraints: 95426 2435.00/2443.29 c #Conflicts: 563000 | #Constraints: 96426 2435.00/2443.29 c #Conflicts: 564000 | #Constraints: 97426 2435.00/2443.29 c #Conflicts: 565000 | #Constraints: 98426 2435.00/2443.29 c #Conflicts: 566000 | #Constraints: 99426 2435.00/2443.29 c INPROCESSING 2435.00/2443.29 c GARBAGE COLLECT 2435.00/2443.29 c rational objective 162 2581.45/2590.15 c #Conflicts: 567000 | #Constraints: 61237 2581.45/2590.15 c #Conflicts: 568000 | #Constraints: 62237 2581.45/2590.15 c #Conflicts: 569000 | #Constraints: 63237 2581.45/2590.15 c #Conflicts: 570000 | #Constraints: 64237 2581.45/2590.15 c #Conflicts: 571000 | #Constraints: 65237 2581.45/2590.15 c #Conflicts: 572000 | #Constraints: 66237 2581.45/2590.15 c #Conflicts: 573000 | #Constraints: 67237 2581.45/2590.15 c #Conflicts: 574000 | #Constraints: 68237 2581.45/2590.15 c #Conflicts: 575000 | #Constraints: 69238 2581.45/2590.15 c #Conflicts: 576000 | #Constraints: 70238 2581.45/2590.15 c #Conflicts: 577000 | #Constraints: 71238 2581.45/2590.15 c #Conflicts: 578000 | #Constraints: 72238 2581.45/2590.15 c #Conflicts: 579000 | #Constraints: 73238 2581.45/2590.15 c #Conflicts: 580000 | #Constraints: 74238 2581.45/2590.15 c #Conflicts: 581000 | #Constraints: 75238 2581.45/2590.15 c #Conflicts: 582000 | #Constraints: 76238 2581.45/2590.15 c #Conflicts: 583000 | #Constraints: 77238 2581.45/2590.15 c #Conflicts: 584000 | #Constraints: 78238 2581.45/2590.15 c #Conflicts: 585000 | #Constraints: 79238 2581.45/2590.15 c #Conflicts: 586000 | #Constraints: 80238 2581.45/2590.15 c #Conflicts: 587000 | #Constraints: 81238 2581.45/2590.15 c INPROCESSING 2581.45/2590.15 c GARBAGE COLLECT 2581.45/2590.15 c rational objective 162 2755.79/2765.04 c #Conflicts: 588000 | #Constraints: 54559 2755.79/2765.04 c #Conflicts: 589000 | #Constraints: 55559 2755.79/2765.04 c #Conflicts: 590000 | #Constraints: 56559 2755.79/2765.04 c #Conflicts: 591000 | #Constraints: 57560 2755.79/2765.04 c #Conflicts: 592000 | #Constraints: 58561 2755.79/2765.04 c #Conflicts: 593000 | #Constraints: 59561 2755.79/2765.04 c #Conflicts: 594000 | #Constraints: 60561 2755.79/2765.04 c #Conflicts: 595000 | #Constraints: 61562 2755.79/2765.04 c #Conflicts: 596000 | #Constraints: 62562 2755.79/2765.04 c #Conflicts: 597000 | #Constraints: 63562 2755.79/2765.04 c #Conflicts: 598000 | #Constraints: 64562 2755.79/2765.04 c #Conflicts: 599000 | #Constraints: 65563 2755.79/2765.04 c #Conflicts: 600000 | #Constraints: 66563 2755.79/2765.04 c #Conflicts: 601000 | #Constraints: 67563 2755.79/2765.04 c #Conflicts: 602000 | #Constraints: 68563 2755.79/2765.04 c #Conflicts: 603000 | #Constraints: 69563 2755.79/2765.04 c #Conflicts: 604000 | #Constraints: 70563 2755.79/2765.04 c #Conflicts: 605000 | #Constraints: 71563 2755.79/2765.04 c #Conflicts: 606000 | #Constraints: 72564 2755.79/2765.04 c #Conflicts: 607000 | #Constraints: 73564 2755.79/2765.04 c #Conflicts: 608000 | #Constraints: 74564 2755.79/2765.04 c #Conflicts: 609000 | #Constraints: 75564 2755.79/2765.04 c #Conflicts: 610000 | #Constraints: 76564 2755.79/2765.04 c #Conflicts: 611000 | #Constraints: 77564 2755.79/2765.04 c #Conflicts: 612000 | #Constraints: 78564 2755.79/2765.04 c #Conflicts: 613000 | #Constraints: 79564 2755.79/2765.04 c #Conflicts: 614000 | #Constraints: 80564 2755.79/2765.04 c #Conflicts: 615000 | #Constraints: 81565 2755.79/2765.04 c #Conflicts: 616000 | #Constraints: 82565 2755.79/2765.04 c #Conflicts: 617000 | #Constraints: 83565 2755.79/2765.04 c #Conflicts: 618000 | #Constraints: 84565 2755.79/2765.04 c #Conflicts: 619000 | #Constraints: 85566 2755.79/2765.04 c #Conflicts: 620000 | #Constraints: 86566 2755.79/2765.04 c #Conflicts: 621000 | #Constraints: 87566 2755.79/2765.04 c #Conflicts: 622000 | #Constraints: 88566 2755.79/2765.04 c #Conflicts: 623000 | #Constraints: 89566 2755.79/2765.04 c #Conflicts: 624000 | #Constraints: 90566 2755.79/2765.04 c #Conflicts: 625000 | #Constraints: 91566 2755.79/2765.04 c #Conflicts: 626000 | #Constraints: 92566 2755.79/2765.04 c #Conflicts: 627000 | #Constraints: 93566 2755.79/2765.04 c #Conflicts: 628000 | #Constraints: 94566 2755.79/2765.04 c #Conflicts: 629000 | #Constraints: 95566 2755.79/2765.04 c #Conflicts: 630000 | #Constraints: 96566 2755.79/2765.04 c #Conflicts: 631000 | #Constraints: 97566 2755.79/2765.04 c #Conflicts: 632000 | #Constraints: 98566 2755.79/2765.04 c #Conflicts: 633000 | #Constraints: 99566 2755.79/2765.04 c #Conflicts: 634000 | #Constraints: 100567 2755.79/2765.04 c #Conflicts: 635000 | #Constraints: 101567 2755.79/2765.04 c #Conflicts: 636000 | #Constraints: 102567 2755.79/2765.04 c #Conflicts: 637000 | #Constraints: 103567 2755.79/2765.04 c #Conflicts: 638000 | #Constraints: 104567 2755.79/2765.04 c #Conflicts: 639000 | #Constraints: 105567 2755.79/2765.04 c INPROCESSING 2755.79/2765.04 c GARBAGE COLLECT 2755.79/2765.04 c rational objective 162 2935.31/2945.15 c #Conflicts: 640000 | #Constraints: 64546 2935.31/2945.15 c #Conflicts: 641000 | #Constraints: 65546 2935.31/2945.15 c #Conflicts: 642000 | #Constraints: 66546 2935.31/2945.15 c #Conflicts: 643000 | #Constraints: 67546 2935.31/2945.15 c #Conflicts: 644000 | #Constraints: 68546 2935.31/2945.15 c #Conflicts: 645000 | #Constraints: 69546 2935.31/2945.15 c #Conflicts: 646000 | #Constraints: 70546 2935.31/2945.15 c #Conflicts: 647000 | #Constraints: 71546 2935.31/2945.15 c #Conflicts: 648000 | #Constraints: 72546 2935.31/2945.15 c #Conflicts: 649000 | #Constraints: 73546 2935.31/2945.15 c #Conflicts: 650000 | #Constraints: 74546 2935.31/2945.15 c #Conflicts: 651000 | #Constraints: 75546 2935.31/2945.15 c #Conflicts: 652000 | #Constraints: 76546 2935.31/2945.15 c #Conflicts: 653000 | #Constraints: 77546 2935.31/2945.15 c #Conflicts: 654000 | #Constraints: 78547 2935.31/2945.15 c #Conflicts: 655000 | #Constraints: 79547 2935.31/2945.15 c #Conflicts: 656000 | #Constraints: 80547 2935.31/2945.15 c #Conflicts: 657000 | #Constraints: 81547 2935.31/2945.15 c #Conflicts: 658000 | #Constraints: 82547 2935.31/2945.15 c #Conflicts: 659000 | #Constraints: 83547 2935.31/2945.15 c #Conflicts: 660000 | #Constraints: 84547 2935.31/2945.15 c #Conflicts: 661000 | #Constraints: 85547 2935.31/2945.15 c INPROCESSING 2935.31/2945.15 c GARBAGE COLLECT 2935.31/2945.15 c rational objective 162 3151.01/3161.50 c #Conflicts: 662000 | #Constraints: 57018 3151.01/3161.50 c #Conflicts: 663000 | #Constraints: 58018 3151.01/3161.50 c #Conflicts: 664000 | #Constraints: 59018 3151.01/3161.50 c #Conflicts: 665000 | #Constraints: 60018 3151.01/3161.50 c #Conflicts: 666000 | #Constraints: 61018 3151.01/3161.50 c #Conflicts: 667000 | #Constraints: 62018 3151.01/3161.50 c #Conflicts: 668000 | #Constraints: 63018 3151.01/3161.50 c #Conflicts: 669000 | #Constraints: 64018 3151.01/3161.50 c #Conflicts: 670000 | #Constraints: 65018 3151.01/3161.50 c #Conflicts: 671000 | #Constraints: 66018 3151.01/3161.50 c #Conflicts: 672000 | #Constraints: 67018 3151.01/3161.50 c #Conflicts: 673000 | #Constraints: 68018 3151.01/3161.50 c #Conflicts: 674000 | #Constraints: 69018 3151.01/3161.50 c #Conflicts: 675000 | #Constraints: 70018 3151.01/3161.50 c #Conflicts: 676000 | #Constraints: 71018 3151.01/3161.50 c #Conflicts: 677000 | #Constraints: 72018 3151.01/3161.50 c #Conflicts: 678000 | #Constraints: 73018 3151.01/3161.50 c #Conflicts: 679000 | #Constraints: 74019 3151.01/3161.50 c #Conflicts: 680000 | #Constraints: 75019 3151.01/3161.50 c #Conflicts: 681000 | #Constraints: 76019 3151.01/3161.50 c #Conflicts: 682000 | #Constraints: 77019 3151.01/3161.50 c #Conflicts: 683000 | #Constraints: 78019 3151.01/3161.50 c #Conflicts: 684000 | #Constraints: 79019 3151.01/3161.50 c #Conflicts: 685000 | #Constraints: 80019 3151.01/3161.50 c #Conflicts: 686000 | #Constraints: 81019 3151.01/3161.50 c #Conflicts: 687000 | #Constraints: 82020 3151.01/3161.50 c #Conflicts: 688000 | #Constraints: 83020 3151.01/3161.50 c #Conflicts: 689000 | #Constraints: 84020 3151.01/3161.50 c #Conflicts: 690000 | #Constraints: 85020 3151.01/3161.50 c #Conflicts: 691000 | #Constraints: 86020 3151.01/3161.50 c #Conflicts: 692000 | #Constraints: 87020 3151.01/3161.50 c #Conflicts: 693000 | #Constraints: 88020 3151.01/3161.50 c #Conflicts: 694000 | #Constraints: 89020 3151.01/3161.50 c #Conflicts: 695000 | #Constraints: 90020 3151.01/3161.50 c #Conflicts: 696000 | #Constraints: 91020 3151.01/3161.50 c #Conflicts: 697000 | #Constraints: 92020 3151.01/3161.50 c #Conflicts: 698000 | #Constraints: 93020 3151.01/3161.50 c #Conflicts: 699000 | #Constraints: 94020 3151.01/3161.50 c #Conflicts: 700000 | #Constraints: 95020 3151.01/3161.50 c #Conflicts: 701000 | #Constraints: 96020 3151.01/3161.50 c #Conflicts: 702000 | #Constraints: 97020 3151.01/3161.50 c #Conflicts: 703000 | #Constraints: 98020 3151.01/3161.50 c #Conflicts: 704000 | #Constraints: 99020 3151.01/3161.50 c #Conflicts: 705000 | #Constraints: 100020 3151.01/3161.50 c #Conflicts: 706000 | #Constraints: 101020 3151.01/3161.50 c #Conflicts: 707000 | #Constraints: 102021 3151.01/3161.50 c #Conflicts: 708000 | #Constraints: 103021 3151.01/3161.50 c #Conflicts: 709000 | #Constraints: 104021 3151.01/3161.50 c #Conflicts: 710000 | #Constraints: 105021 3151.01/3161.50 c #Conflicts: 711000 | #Constraints: 106021 3151.01/3161.50 c #Conflicts: 712000 | #Constraints: 107021 3151.01/3161.50 c #Conflicts: 713000 | #Constraints: 108021 3151.01/3161.50 c #Conflicts: 714000 | #Constraints: 109021 3151.01/3161.50 c #Conflicts: 715000 | #Constraints: 110021 3151.01/3161.50 c #Conflicts: 716000 | #Constraints: 111021 3151.01/3161.50 c INPROCESSING 3151.01/3161.50 c GARBAGE COLLECT 3151.01/3161.50 c #Conflicts: 717000 | #Constraints: 67207 3151.01/3161.50 c #Conflicts: 718000 | #Constraints: 68207 3151.01/3161.50 c #Conflicts: 719000 | #Constraints: 69207 3151.01/3161.50 c #Conflicts: 720000 | #Constraints: 70207 3151.01/3161.50 c #Conflicts: 721000 | #Constraints: 71207 3151.01/3161.50 c #Conflicts: 722000 | #Constraints: 72207 3151.01/3161.50 c #Conflicts: 723000 | #Constraints: 73207 3151.01/3161.50 c #Conflicts: 724000 | #Constraints: 74207 3151.01/3161.50 c #Conflicts: 725000 | #Constraints: 75207 3151.01/3161.50 c #Conflicts: 726000 | #Constraints: 76207 3151.01/3161.50 c #Conflicts: 727000 | #Constraints: 77207 3151.01/3161.50 c #Conflicts: 728000 | #Constraints: 78207 3151.01/3161.50 c #Conflicts: 729000 | #Constraints: 79207 3151.01/3161.50 c #Conflicts: 730000 | #Constraints: 80207 3151.01/3161.50 c #Conflicts: 731000 | #Constraints: 81207 3151.01/3161.50 c #Conflicts: 732000 | #Constraints: 82207 3151.01/3161.50 c #Conflicts: 733000 | #Constraints: 83207 3151.01/3161.50 c #Conflicts: 734000 | #Constraints: 84207 3151.01/3161.50 c #Conflicts: 735000 | #Constraints: 85207 3151.01/3161.50 c #Conflicts: 736000 | #Constraints: 86207 3151.01/3161.50 c #Conflicts: 737000 | #Constraints: 87207 3151.01/3161.50 c #Conflicts: 738000 | #Constraints: 88207 3151.01/3161.50 c #Conflicts: 739000 | #Constraints: 89207 3151.01/3161.50 c #Conflicts: 740000 | #Constraints: 90207 3331.96/3343.03 c INPROCESSING 3331.96/3343.03 c GARBAGE COLLECT 3331.96/3343.03 c #Conflicts: 741000 | #Constraints: 59627 3331.96/3343.03 c #Conflicts: 742000 | #Constraints: 60627 3331.96/3343.03 c #Conflicts: 743000 | #Constraints: 61627 3331.96/3343.03 c #Conflicts: 744000 | #Constraints: 62627 3331.96/3343.03 c #Conflicts: 745000 | #Constraints: 63627 3331.96/3343.03 c #Conflicts: 746000 | #Constraints: 64627 3331.96/3343.03 c #Conflicts: 747000 | #Constraints: 65627 3331.96/3343.03 c #Conflicts: 748000 | #Constraints: 66628 3331.96/3343.03 c #Conflicts: 749000 | #Constraints: 67628 3331.96/3343.03 c #Conflicts: 750000 | #Constraints: 68628 3331.96/3343.03 c #Conflicts: 751000 | #Constraints: 69628 3331.96/3343.03 c #Conflicts: 752000 | #Constraints: 70628 3331.96/3343.03 c #Conflicts: 753000 | #Constraints: 71628 3331.96/3343.03 c #Conflicts: 754000 | #Constraints: 72628 3331.96/3343.03 c #Conflicts: 755000 | #Constraints: 73628 3331.96/3343.03 c #Conflicts: 756000 | #Constraints: 74628 3331.96/3343.03 c #Conflicts: 757000 | #Constraints: 75628 3331.96/3343.03 c #Conflicts: 758000 | #Constraints: 76628 3331.96/3343.03 c #Conflicts: 759000 | #Constraints: 77628 3331.96/3343.03 c #Conflicts: 760000 | #Constraints: 78628 3331.96/3343.03 c #Conflicts: 761000 | #Constraints: 79628 3331.96/3343.03 c #Conflicts: 762000 | #Constraints: 80628 3331.96/3343.03 c #Conflicts: 763000 | #Constraints: 81628 3331.96/3343.03 c #Conflicts: 764000 | #Constraints: 82628 3331.96/3343.03 c #Conflicts: 765000 | #Constraints: 83628 3331.96/3343.03 c #Conflicts: 766000 | #Constraints: 84628 3331.96/3343.03 c #Conflicts: 767000 | #Constraints: 85628 3331.96/3343.03 c #Conflicts: 768000 | #Constraints: 86628 3331.96/3343.03 c #Conflicts: 769000 | #Constraints: 87629 3331.96/3343.03 c #Conflicts: 770000 | #Constraints: 88629 3331.96/3343.03 c #Conflicts: 771000 | #Constraints: 89629 3331.96/3343.03 c #Conflicts: 772000 | #Constraints: 90629 3331.96/3343.03 c #Conflicts: 773000 | #Constraints: 91629 3331.96/3343.03 c #Conflicts: 774000 | #Constraints: 92629 3331.96/3343.03 c #Conflicts: 775000 | #Constraints: 93629 3331.96/3343.03 c #Conflicts: 776000 | #Constraints: 94629 3331.96/3343.03 c #Conflicts: 777000 | #Constraints: 95629 3331.96/3343.03 c #Conflicts: 778000 | #Constraints: 96629 3331.96/3343.03 c #Conflicts: 779000 | #Constraints: 97629 3331.96/3343.03 c #Conflicts: 780000 | #Constraints: 98629 3331.96/3343.03 c #Conflicts: 781000 | #Constraints: 99629 3331.96/3343.03 c #Conflicts: 782000 | #Constraints: 100629 3331.96/3343.03 c #Conflicts: 783000 | #Constraints: 101629 3331.96/3343.03 c #Conflicts: 784000 | #Constraints: 102629 3331.96/3343.03 c #Conflicts: 785000 | #Constraints: 103629 3331.96/3343.03 c #Conflicts: 786000 | #Constraints: 104629 3331.96/3343.03 c #Conflicts: 787000 | #Constraints: 105629 3331.96/3343.03 c #Conflicts: 788000 | #Constraints: 106629 3331.96/3343.03 c #Conflicts: 789000 | #Constraints: 107629 3331.96/3343.03 c #Conflicts: 790000 | #Constraints: 108629 3331.96/3343.03 c #Conflicts: 791000 | #Constraints: 109629 3331.96/3343.03 c #Conflicts: 792000 | #Constraints: 110629 3331.96/3343.03 c #Conflicts: 793000 | #Constraints: 111629 3331.96/3343.03 c #Conflicts: 794000 | #Constraints: 112629 3331.96/3343.03 c #Conflicts: 795000 | #Constraints: 113629 3331.96/3343.03 c #Conflicts: 796000 | #Constraints: 114629 3331.96/3343.03 c #Conflicts: 797000 | #Constraints: 115629 3331.96/3343.03 c #Conflicts: 798000 | #Constraints: 116629 3331.96/3343.03 c INPROCESSING 3331.96/3343.03 c GARBAGE COLLECT 3331.96/3343.03 c rational objective 162 3401.23/3412.51 c #Conflicts: 799000 | #Constraints: 70380 3401.23/3412.51 c #Conflicts: 800000 | #Constraints: 71380 3401.23/3412.51 c #Conflicts: 801000 | #Constraints: 72380 3401.23/3412.51 c #Conflicts: 802000 | #Constraints: 73380 3401.23/3412.51 c #Conflicts: 803000 | #Constraints: 74380 3401.23/3412.51 c #Conflicts: 804000 | #Constraints: 75380 3401.23/3412.51 c #Conflicts: 805000 | #Constraints: 76381 3401.23/3412.51 c #Conflicts: 806000 | #Constraints: 77381 3401.23/3412.51 c #Conflicts: 807000 | #Constraints: 78381 3401.23/3412.51 c #Conflicts: 808000 | #Constraints: 79381 3401.23/3412.51 c #Conflicts: 809000 | #Constraints: 80381 3401.23/3412.51 c #Conflicts: 810000 | #Constraints: 81381 3401.23/3412.51 c #Conflicts: 811000 | #Constraints: 82381 3401.23/3412.51 c #Conflicts: 812000 | #Constraints: 83381 3401.23/3412.51 c #Conflicts: 813000 | #Constraints: 84381 3401.23/3412.51 c #Conflicts: 814000 | #Constraints: 85381 3401.23/3412.51 c #Conflicts: 815000 | #Constraints: 86381 3401.23/3412.51 c #Conflicts: 816000 | #Constraints: 87381 3401.23/3412.51 c #Conflicts: 817000 | #Constraints: 88381 3401.23/3412.51 c #Conflicts: 818000 | #Constraints: 89381 3401.23/3412.51 c #Conflicts: 819000 | #Constraints: 90381 3401.23/3412.51 c #Conflicts: 820000 | #Constraints: 91381 3401.23/3412.51 c #Conflicts: 821000 | #Constraints: 92381 3401.23/3412.51 c #Conflicts: 822000 | #Constraints: 93381 3401.23/3412.51 c INPROCESSING 3401.23/3412.51 c GARBAGE COLLECT 3401.23/3412.51 c rational objective 162
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62775 MiB free)
memory of node 1: 64510 MiB (61182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455634-1721464424/watcher-4455634-1721464424 -o /tmp/evaluation-result-4455634-1721464424/solver-4455634-1721464424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455634-1721464424.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=1047809, runsolver pid=1047806
[startup+0.100097 s]*
/proc/loadavg: 4.16 4.23 4.21 6/248 1047810
/proc/meminfo: memFree=126918020/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=64940 memory=34028 CPUtime=0.1 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 7538 0 0 0 8 2 0 0 20 0 1 0 198599335 66498560 8507 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 16235 8507 1580 922 0 8187 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64940 KiB
Current children cumulated memory: 34028 KiB
[startup+0.213333 s]*
/proc/loadavg: 4.16 4.23 4.21 5/248 1047810
/proc/meminfo: memFree=126902808/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=69844 memory=36016 CPUtime=0.22 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 8570 0 0 0 19 3 0 0 20 0 1 0 198599335 71520256 9004 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 17461 9004 1676 922 0 9413 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 69844 KiB
Current children cumulated memory: 36016 KiB
[startup+0.313143 s]*
/proc/loadavg: 4.16 4.23 4.21 5/248 1047810
/proc/meminfo: memFree=126899312/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=71424 memory=38392 CPUtime=0.31 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 9180 0 0 0 28 3 0 0 20 0 1 0 198599335 73138176 9598 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 17856 9598 1676 922 0 9808 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71424 KiB
Current children cumulated memory: 38392 KiB
[startup+0.700317 s]
/proc/loadavg: 4.16 4.23 4.21 5/248 1047810
/proc/meminfo: memFree=126897252/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=73120 memory=40504 CPUtime=0.69 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 9680 0 0 0 66 3 0 0 20 0 1 0 198599335 74874880 10126 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 18280 10126 1676 922 0 10232 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73120 KiB
Current children cumulated memory: 40504 KiB
[startup+1.5003 s]
/proc/loadavg: 4.16 4.23 4.21 5/248 1047810
/proc/meminfo: memFree=126895872/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=73396 memory=41152 CPUtime=1.49 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 9838 0 0 0 143 6 0 0 20 0 1 0 198599335 75157504 10288 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 18349 10288 1708 922 0 10301 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 41152 KiB
[startup+3.11286 s]
/proc/loadavg: 4.16 4.23 4.21 5/248 1047810
/proc/meminfo: memFree=126887484/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=79168 memory=47392 CPUtime=3.09 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 10853 0 0 0 294 15 0 0 20 0 1 0 198599335 81068032 11848 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 19792 11848 1724 922 0 11744 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79168 KiB
Current children cumulated memory: 47392 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.23 4.21 5/248 1047812
/proc/meminfo: memFree=126883356/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=81424 memory=49272 CPUtime=6.26 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 11252 0 0 0 608 18 0 0 20 0 1 0 198599335 83378176 12318 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 20356 12318 1724 922 0 12308 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 49272 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.22 4.21 5/248 1047812
/proc/meminfo: memFree=126880388/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=81424 memory=52520 CPUtime=12.64 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 11484 0 0 0 1226 38 0 0 20 0 1 0 198599335 83378176 13130 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 20356 13130 1785 922 0 12308 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 81424 KiB
Current children cumulated memory: 52520 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.21 4.21 5/247 1047816
/proc/meminfo: memFree=126876848/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=88708 memory=62048 CPUtime=25.39 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 12852 0 0 0 2494 45 0 0 20 0 1 0 198599335 90836992 15512 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 22177 15512 1801 922 0 14129 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 88708 KiB
Current children cumulated memory: 62048 KiB
[startup+51.1129 s]
/proc/loadavg: 4.12 4.21 4.20 5/247 1047819
/proc/meminfo: memFree=126856204/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=105816 memory=76564 CPUtime=50.93 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 15513 0 0 0 4997 96 0 0 20 0 1 0 198599335 108355584 19141 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 26454 19141 1801 922 0 18406 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 105816 KiB
Current children cumulated memory: 76564 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.20 5/247 1047828
/proc/meminfo: memFree=126841148/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=125828 memory=90968 CPUtime=101.95 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 18182 0 0 0 10008 187 0 0 20 0 1 0 198599335 128847872 22742 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 31457 22742 1801 922 0 23409 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 125828 KiB
Current children cumulated memory: 90968 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/245 1047839
/proc/meminfo: memFree=126747464/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=218620 memory=182820 CPUtime=161.77 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 38210 0 0 0 15913 264 0 0 20 0 1 0 198599335 223866880 45705 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 54655 45705 1817 922 0 46607 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 218620 KiB
Current children cumulated memory: 182820 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/243 1047850
/proc/meminfo: memFree=126723712/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=220608 memory=190432 CPUtime=221.58 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 38610 0 0 0 21823 335 0 0 20 0 1 0 198599335 225902592 47608 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 55152 47608 1817 922 0 47104 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 220608 KiB
Current children cumulated memory: 190432 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/242 1047860
/proc/meminfo: memFree=126708980/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=253764 memory=200956 CPUtime=281.38 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 39736 0 0 0 27745 393 0 0 20 0 1 0 198599335 259854336 50239 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 63441 50239 1817 922 0 55393 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 253764 KiB
Current children cumulated memory: 200956 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/241 1047870
/proc/meminfo: memFree=126692912/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=266768 memory=213720 CPUtime=341.19 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 42974 0 0 0 33678 441 0 0 20 0 1 0 198599335 273170432 53430 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 66692 53430 1817 922 0 58644 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 266768 KiB
Current children cumulated memory: 213720 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/241 1047880
/proc/meminfo: memFree=126482240/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=550864 memory=422144 CPUtime=401 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 49609 0 0 0 39640 460 0 0 20 0 1 0 198599335 564084736 105536 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 137716 105536 1817 922 0 129668 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 550864 KiB
Current children cumulated memory: 422144 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/245 1047897
/proc/meminfo: memFree=126287732/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=783948 memory=618252 CPUtime=460.81 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 54701 0 0 0 45608 473 0 0 20 0 1 0 198599335 802762752 154563 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 195987 154563 1817 922 0 187939 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.20 4.23 4.16 5/244 1049169
/proc/meminfo: memFree=126429124/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1363316 memory=1316784 CPUtime=3091.99 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 132287 0 0 0 306469 2730 0 0 20 0 1 0 198599335 1396035584 329196 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 340829 329196 1817 922 0 332781 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 1363316 KiB
Current children cumulated memory: 1316784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.22 4.16 5/243 1049562
/proc/meminfo: memFree=126418104/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1363316 memory=1316784 CPUtime=3151.8 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 132712 0 0 0 312406 2774 0 0 20 0 1 0 198599335 1396035584 329196 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 340829 329196 1817 922 0 332781 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 1363316 KiB
Current children cumulated memory: 1316784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/243 1049573
/proc/meminfo: memFree=126403604/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1363316 memory=1316784 CPUtime=3211.62 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 133110 0 0 0 318299 2863 0 0 20 0 1 0 198599335 1396035584 329196 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 340829 329196 1817 922 0 332781 0
Current children cumulated CPU time: 3211.62 s
Current children cumulated vsize: 1363316 KiB
Current children cumulated memory: 1316784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/243 1049583
/proc/meminfo: memFree=126399144/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1363316 memory=1316784 CPUtime=3271.43 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 133440 0 0 0 324230 2913 0 0 20 0 1 0 198599335 1396035584 329196 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 340829 329196 1817 922 0 332781 0
Current children cumulated CPU time: 3271.43 s
Current children cumulated vsize: 1363316 KiB
Current children cumulated memory: 1316784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/244 1049762
/proc/meminfo: memFree=126398620/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1363316 memory=1316784 CPUtime=3331.25 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 134102 0 0 0 330167 2958 0 0 20 0 1 0 198599335 1396035584 329196 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 340829 329196 1817 922 0 332781 0
Current children cumulated CPU time: 3331.25 s
Current children cumulated vsize: 1363316 KiB
Current children cumulated memory: 1316784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/243 1049772
/proc/meminfo: memFree=126380512/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1381920 memory=1334712 CPUtime=3391.06 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 138962 0 0 0 336078 3028 0 0 20 0 1 0 198599335 1415086080 333678 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 345480 333678 1817 922 0 337432 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 1381920 KiB
Current children cumulated memory: 1334712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/246 1049842
/proc/meminfo: memFree=126385316/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372244 memory=1324776 CPUtime=3450.87 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 140076 0 0 0 342008 3079 0 0 20 0 1 0 198599335 1405177856 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343061 331194 1817 922 0 335013 0
Current children cumulated CPU time: 3450.87 s
Current children cumulated vsize: 1372244 KiB
Current children cumulated memory: 1324776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/246 1049852
/proc/meminfo: memFree=126384544/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372244 memory=1324776 CPUtime=3510.69 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 140480 0 0 0 347924 3145 0 0 20 0 1 0 198599335 1405177856 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343061 331194 1817 922 0 335013 0
Current children cumulated CPU time: 3510.69 s
Current children cumulated vsize: 1372244 KiB
Current children cumulated memory: 1324776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/246 1049862
/proc/meminfo: memFree=126383764/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372244 memory=1324776 CPUtime=3570.51 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141103 0 0 0 353847 3204 0 0 20 0 1 0 198599335 1405177856 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343061 331194 1817 922 0 335013 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 1372244 KiB
Current children cumulated memory: 1324776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.27 4.18 4.16 5/245 1049868
/proc/meminfo: memFree=126383496/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372376 memory=1324776 CPUtime=3600.01 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141305 0 0 0 356779 3222 0 0 20 0 1 0 198599335 1405313024 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343094 331194 1817 922 0 335046 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1372376 KiB
Current children cumulated memory: 1324776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.91 s]
# the end of solver process 1047809 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3569.79 s, system=32.2364 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.27 4.18 4.16 5/245 1049868
/proc/meminfo: memFree=126383500/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372376 memory=1324776 CPUtime=3600.92 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141319 0 0 0 356869 3223 0 0 20 0 1 0 198599335 1405313024 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343094 331194 1817 922 0 335046 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 1372376 KiB
Current children cumulated memory: 1324776 KiB
[startup+3613.6 s]
/proc/loadavg: 4.27 4.18 4.16 5/245 1049868
/proc/meminfo: memFree=126383428/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372376 memory=1324776 CPUtime=3601.71 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141321 0 0 0 356948 3223 0 0 20 0 1 0 198599335 1405313024 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343094 331194 1817 922 0 335046 0
Current children cumulated CPU time: 3601.71 s
Current children cumulated vsize: 1372376 KiB
Current children cumulated memory: 1324776 KiB
[startup+3613.8 s]
/proc/loadavg: 4.27 4.18 4.16 5/245 1049868
/proc/meminfo: memFree=126383428/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372376 memory=1324776 CPUtime=3601.91 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141322 0 0 0 356968 3223 0 0 20 0 1 0 198599335 1405313024 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343094 331194 1817 922 0 335046 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 1372376 KiB
Current children cumulated memory: 1324776 KiB
[startup+3613.9 s]
/proc/loadavg: 4.27 4.18 4.16 5/245 1049868
/proc/meminfo: memFree=126383428/131655788 swapFree=131071996/131071996
[pid=1047809] ppid=1047806 vsize=1372376 memory=1324776 CPUtime=3602.01 cores=0,2
/proc/1047809/stat : 1047809 (roundingsat) R 1047806 1047809 1043533 0 -1 4194304 141323 0 0 0 356978 3223 0 0 20 0 1 0 198599335 1405313024 331194 134679101440 4194304 7968373 140722856185280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 40534016 140722856190908 140722856191072 140722856191072 140722856198089 0
/proc/1047809/statm: 343094 331194 1817 922 0 335046 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 1372376 KiB
Current children cumulated memory: 1324776 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.91
CPU time (s): 3602.03
CPU user time (s): 3569.79
CPU system time (s): 32.2364
CPU usage (%): 99.6713
Max. virtual memory (cumulated for all children) (KiB): 1383096
Max. memory (cumulated for all children) (KiB): 1336084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.79
system time used= 32.2364
maximum resident set size= 1336084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92
involuntary context switches= 24711
# summary of solver processes directly reported to runsolver:
# pid: 1047809
# total CPU time (s): 3602.03
# total CPU user time (s): 3569.79
# total CPU system time (s): 32.2364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5396 second user time and 34.0963 second system time
The end
Begin job on nodeC012 at 2024-07-20 10:33:56 IDJOB=4455634 IDBENCH=158293 IDSOLVER=3084 FILE ID=nodeC012/4455634-1721464424 RUNJOBID= nodeC012-1721458232-1043543 SLURM_JOB_ID= 7545700 Free space on /tmp= 723688 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455634-1721464424/watcher-4455634-1721464424 -o /tmp/evaluation-result-4455634-1721464424/solver-4455634-1721464424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721458232-1043543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455634-1721464424.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0 RANDOM SEED=1916946327 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3093.088 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3642.551 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.327 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.427 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.955 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3559.304 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.522 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.334 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126933132 kB MemAvailable: 128517408 kB Buffers: 554892 kB Cached: 1872556 kB SwapCached: 0 kB Active: 1198160 kB Inactive: 2964152 kB Active(anon): 1440 kB Inactive(anon): 1779004 kB Active(file): 1196720 kB Inactive(file): 1185148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6596 kB Writeback: 152 kB AnonPages: 1731512 kB Mapped: 116564 kB Shmem: 45896 kB KReclaimable: 84876 kB Slab: 188064 kB SReclaimable: 84876 kB SUnreclaim: 103188 kB KernelStack: 4016 kB PageTables: 12876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2355292 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62176 kB HardwareCorrupted: 0 kB AnonHugePages: 1544192 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: 312136 kB DirectMap2M: 33146880 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723752 MiB End job on nodeC012 at 2024-07-20 11:34:10