| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.06 | 3610.92 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb |
| MD5SUM | 1aa29222329f307e3e004dcb472df849 |
| 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 | 2164.15 |
| 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 | 18683 |
| Total number of constraints | 18999 |
| Number of constraints which are clauses | 18842 |
| Number of constraints which are cardinality constraints (but not clauses) | 157 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 157 |
| 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 | 158 |
| 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.08 c #variables 18683 #constraints 18999 254.02/254.80 c #Conflicts: 1000 | #Constraints: 19998 254.02/254.80 c #Conflicts: 2000 | #Constraints: 20998 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 3000 | #Constraints: 20239 254.02/254.80 c #Conflicts: 4000 | #Constraints: 21239 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 5000 | #Constraints: 20745 254.02/254.80 c #Conflicts: 6000 | #Constraints: 21745 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 7000 | #Constraints: 20816 254.02/254.80 c #Conflicts: 8000 | #Constraints: 21816 254.02/254.80 c #Conflicts: 9000 | #Constraints: 22816 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 10000 | #Constraints: 21582 254.02/254.80 c #Conflicts: 11000 | #Constraints: 22582 254.02/254.80 c #Conflicts: 12000 | #Constraints: 23582 254.02/254.80 c #Conflicts: 13000 | #Constraints: 24582 254.02/254.80 c #Conflicts: 14000 | #Constraints: 25582 254.02/254.80 c #Conflicts: 15000 | #Constraints: 26582 254.02/254.80 c #Conflicts: 16000 | #Constraints: 27582 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 17000 | #Constraints: 23900 254.02/254.80 c #Conflicts: 18000 | #Constraints: 24900 254.02/254.80 c #Conflicts: 19000 | #Constraints: 25900 254.02/254.80 c #Conflicts: 20000 | #Constraints: 26900 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 21000 | #Constraints: 23659 254.02/254.80 c #Conflicts: 22000 | #Constraints: 24660 254.02/254.80 c #Conflicts: 23000 | #Constraints: 25660 254.02/254.80 c #Conflicts: 24000 | #Constraints: 26660 254.02/254.80 c #Conflicts: 25000 | #Constraints: 27660 254.02/254.80 c #Conflicts: 26000 | #Constraints: 28660 254.02/254.80 c #Conflicts: 27000 | #Constraints: 29660 254.02/254.80 c #Conflicts: 28000 | #Constraints: 30660 254.02/254.80 c #Conflicts: 29000 | #Constraints: 31660 254.02/254.80 c #Conflicts: 30000 | #Constraints: 32660 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 31000 | #Constraints: 26275 254.02/254.80 c #Conflicts: 32000 | #Constraints: 27275 254.02/254.80 c #Conflicts: 33000 | #Constraints: 28275 254.02/254.80 c #Conflicts: 34000 | #Constraints: 29275 254.02/254.80 c #Conflicts: 35000 | #Constraints: 30275 254.02/254.80 c #Conflicts: 36000 | #Constraints: 31275 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 37000 | #Constraints: 26166 254.02/254.80 c #Conflicts: 38000 | #Constraints: 27166 254.02/254.80 c #Conflicts: 39000 | #Constraints: 28166 254.02/254.80 c #Conflicts: 40000 | #Constraints: 29167 254.02/254.80 c #Conflicts: 41000 | #Constraints: 30167 254.02/254.80 c #Conflicts: 42000 | #Constraints: 31167 254.02/254.80 c #Conflicts: 43000 | #Constraints: 32167 254.02/254.80 c #Conflicts: 44000 | #Constraints: 33167 254.02/254.80 c #Conflicts: 45000 | #Constraints: 34167 254.02/254.80 c #Conflicts: 46000 | #Constraints: 35167 254.02/254.80 c #Conflicts: 47000 | #Constraints: 36167 254.02/254.80 c #Conflicts: 48000 | #Constraints: 37167 254.02/254.80 c #Conflicts: 49000 | #Constraints: 38167 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 50000 | #Constraints: 29475 254.02/254.80 c #Conflicts: 51000 | #Constraints: 30475 254.02/254.80 c #Conflicts: 52000 | #Constraints: 31475 254.02/254.80 c #Conflicts: 53000 | #Constraints: 32475 254.02/254.80 c #Conflicts: 54000 | #Constraints: 33475 254.02/254.80 c #Conflicts: 55000 | #Constraints: 34475 254.02/254.80 c #Conflicts: 56000 | #Constraints: 35475 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c #Conflicts: 57000 | #Constraints: 28288 254.02/254.80 c #Conflicts: 58000 | #Constraints: 29288 254.02/254.80 c #Conflicts: 59000 | #Constraints: 30288 254.02/254.80 c #Conflicts: 60000 | #Constraints: 31288 254.02/254.80 c #Conflicts: 61000 | #Constraints: 32288 254.02/254.80 c #Conflicts: 62000 | #Constraints: 33288 254.02/254.80 c INPROCESSING 254.02/254.80 c GARBAGE COLLECT 254.02/254.80 c rational objective 157 454.72/456.18 c #Conflicts: 63000 | #Constraints: 27662 454.72/456.18 c #Conflicts: 64000 | #Constraints: 28663 454.72/456.18 c #Conflicts: 65000 | #Constraints: 29663 454.72/456.18 c #Conflicts: 66000 | #Constraints: 30663 454.72/456.18 c #Conflicts: 67000 | #Constraints: 31663 454.72/456.18 c #Conflicts: 68000 | #Constraints: 32663 454.72/456.18 c #Conflicts: 69000 | #Constraints: 33663 454.72/456.18 c #Conflicts: 70000 | #Constraints: 34663 454.72/456.18 c #Conflicts: 71000 | #Constraints: 35663 454.72/456.18 c #Conflicts: 72000 | #Constraints: 36663 454.72/456.18 c #Conflicts: 73000 | #Constraints: 37663 454.72/456.18 c #Conflicts: 74000 | #Constraints: 38663 454.72/456.18 c #Conflicts: 75000 | #Constraints: 39663 454.72/456.18 c #Conflicts: 76000 | #Constraints: 40663 454.72/456.18 c #Conflicts: 77000 | #Constraints: 41663 454.72/456.18 c #Conflicts: 78000 | #Constraints: 42664 454.72/456.18 c #Conflicts: 79000 | #Constraints: 43664 454.72/456.18 c #Conflicts: 80000 | #Constraints: 44664 454.72/456.18 c INPROCESSING 454.72/456.18 c GARBAGE COLLECT 454.72/456.18 c rational objective 157 663.83/665.84 c #Conflicts: 81000 | #Constraints: 32794 663.83/665.84 c #Conflicts: 82000 | #Constraints: 33794 663.83/665.84 c #Conflicts: 83000 | #Constraints: 34794 663.83/665.84 c #Conflicts: 84000 | #Constraints: 35794 663.83/665.84 c #Conflicts: 85000 | #Constraints: 36794 663.83/665.84 c #Conflicts: 86000 | #Constraints: 37794 663.83/665.84 c #Conflicts: 87000 | #Constraints: 38794 663.83/665.84 c #Conflicts: 88000 | #Constraints: 39794 663.83/665.84 c INPROCESSING 663.83/665.84 c GARBAGE COLLECT 663.83/665.84 c #Conflicts: 89000 | #Constraints: 30404 663.83/665.84 c #Conflicts: 90000 | #Constraints: 31404 663.83/665.84 c #Conflicts: 91000 | #Constraints: 32404 663.83/665.84 c #Conflicts: 92000 | #Constraints: 33404 663.83/665.84 c #Conflicts: 93000 | #Constraints: 34404 663.83/665.84 c #Conflicts: 94000 | #Constraints: 35404 663.83/665.84 c #Conflicts: 95000 | #Constraints: 36404 663.83/665.84 c #Conflicts: 96000 | #Constraints: 37405 663.83/665.84 c #Conflicts: 97000 | #Constraints: 38405 663.83/665.84 c #Conflicts: 98000 | #Constraints: 39405 663.83/665.84 c #Conflicts: 99000 | #Constraints: 40405 663.83/665.84 c #Conflicts: 100000 | #Constraints: 41405 663.83/665.84 c #Conflicts: 101000 | #Constraints: 42405 663.83/665.84 c #Conflicts: 102000 | #Constraints: 43405 663.83/665.84 c #Conflicts: 103000 | #Constraints: 44405 663.83/665.84 c #Conflicts: 104000 | #Constraints: 45405 663.83/665.84 c #Conflicts: 105000 | #Constraints: 46405 663.83/665.84 c #Conflicts: 106000 | #Constraints: 47405 663.83/665.84 c #Conflicts: 107000 | #Constraints: 48405 663.83/665.84 c #Conflicts: 108000 | #Constraints: 49405 663.83/665.84 c #Conflicts: 109000 | #Constraints: 50405 663.83/665.84 c INPROCESSING 663.83/665.84 c GARBAGE COLLECT 663.83/665.84 c #Conflicts: 110000 | #Constraints: 35852 663.83/665.84 c #Conflicts: 111000 | #Constraints: 36852 663.83/665.84 c #Conflicts: 112000 | #Constraints: 37852 663.83/665.84 c #Conflicts: 113000 | #Constraints: 38852 663.83/665.84 c #Conflicts: 114000 | #Constraints: 39852 663.83/665.84 c #Conflicts: 115000 | #Constraints: 40852 663.83/665.84 c #Conflicts: 116000 | #Constraints: 41852 663.83/665.84 c #Conflicts: 117000 | #Constraints: 42853 663.83/665.84 c #Conflicts: 118000 | #Constraints: 43853 663.83/665.84 c INPROCESSING 663.83/665.84 c GARBAGE COLLECT 663.83/665.84 c #Conflicts: 119000 | #Constraints: 32538 663.83/665.84 c #Conflicts: 120000 | #Constraints: 33538 663.83/665.84 c #Conflicts: 121000 | #Constraints: 34538 663.83/665.84 c #Conflicts: 122000 | #Constraints: 35538 663.83/665.84 c #Conflicts: 123000 | #Constraints: 36538 663.83/665.84 c #Conflicts: 124000 | #Constraints: 37538 663.83/665.84 c #Conflicts: 125000 | #Constraints: 38538 663.83/665.84 c #Conflicts: 126000 | #Constraints: 39538 663.83/665.84 c #Conflicts: 127000 | #Constraints: 40538 663.83/665.84 c #Conflicts: 128000 | #Constraints: 41538 663.83/665.84 c #Conflicts: 129000 | #Constraints: 42538 663.83/665.84 c #Conflicts: 130000 | #Constraints: 43538 663.83/665.84 c #Conflicts: 131000 | #Constraints: 44538 663.83/665.84 c #Conflicts: 132000 | #Constraints: 45538 663.83/665.84 c #Conflicts: 133000 | #Constraints: 46538 663.83/665.84 c #Conflicts: 134000 | #Constraints: 47538 663.83/665.84 c #Conflicts: 135000 | #Constraints: 48538 663.83/665.84 c #Conflicts: 136000 | #Constraints: 49538 663.83/665.84 c #Conflicts: 137000 | #Constraints: 50538 663.83/665.84 c #Conflicts: 138000 | #Constraints: 51539 663.83/665.84 c #Conflicts: 139000 | #Constraints: 52539 663.83/665.84 c #Conflicts: 140000 | #Constraints: 53539 663.83/665.84 c #Conflicts: 141000 | #Constraints: 54539 663.83/665.84 c #Conflicts: 142000 | #Constraints: 55539 663.83/665.84 c INPROCESSING 663.83/665.84 c GARBAGE COLLECT 663.83/665.84 c rational objective 157 983.80/986.71 c #Conflicts: 143000 | #Constraints: 38483 983.80/986.71 c #Conflicts: 144000 | #Constraints: 39483 983.80/986.71 c #Conflicts: 145000 | #Constraints: 40483 983.80/986.71 c #Conflicts: 146000 | #Constraints: 41483 983.80/986.71 c #Conflicts: 147000 | #Constraints: 42483 983.80/986.71 c #Conflicts: 148000 | #Constraints: 43483 983.80/986.71 c #Conflicts: 149000 | #Constraints: 44483 983.80/986.71 c #Conflicts: 150000 | #Constraints: 45483 983.80/986.71 c #Conflicts: 151000 | #Constraints: 46483 983.80/986.71 c #Conflicts: 152000 | #Constraints: 47483 983.80/986.71 c #Conflicts: 153000 | #Constraints: 48483 983.80/986.71 c INPROCESSING 983.80/986.71 c GARBAGE COLLECT 983.80/986.71 c #Conflicts: 154000 | #Constraints: 35162 983.80/986.71 c #Conflicts: 155000 | #Constraints: 36163 983.80/986.71 c #Conflicts: 156000 | #Constraints: 37163 983.80/986.71 c #Conflicts: 157000 | #Constraints: 38163 983.80/986.71 c #Conflicts: 158000 | #Constraints: 39163 983.80/986.71 c #Conflicts: 159000 | #Constraints: 40163 983.80/986.71 c #Conflicts: 160000 | #Constraints: 41163 983.80/986.71 c #Conflicts: 161000 | #Constraints: 42163 983.80/986.71 c #Conflicts: 162000 | #Constraints: 43163 983.80/986.71 c #Conflicts: 163000 | #Constraints: 44163 983.80/986.71 c #Conflicts: 164000 | #Constraints: 45163 983.80/986.71 c #Conflicts: 165000 | #Constraints: 46163 983.80/986.71 c #Conflicts: 166000 | #Constraints: 47163 983.80/986.71 c #Conflicts: 167000 | #Constraints: 48163 983.80/986.71 c #Conflicts: 168000 | #Constraints: 49163 983.80/986.71 c #Conflicts: 169000 | #Constraints: 50163 983.80/986.71 c #Conflicts: 170000 | #Constraints: 51163 983.80/986.71 c #Conflicts: 171000 | #Constraints: 52163 983.80/986.71 c #Conflicts: 172000 | #Constraints: 53163 983.80/986.71 c #Conflicts: 173000 | #Constraints: 54163 983.80/986.71 c #Conflicts: 174000 | #Constraints: 55163 983.80/986.71 c #Conflicts: 175000 | #Constraints: 56163 983.80/986.71 c #Conflicts: 176000 | #Constraints: 57164 983.80/986.71 c #Conflicts: 177000 | #Constraints: 58164 983.80/986.71 c #Conflicts: 178000 | #Constraints: 59164 983.80/986.71 c #Conflicts: 179000 | #Constraints: 60164 983.80/986.71 c #Conflicts: 180000 | #Constraints: 61164 983.80/986.71 c INPROCESSING 983.80/986.71 c GARBAGE COLLECT 983.80/986.71 c #Conflicts: 181000 | #Constraints: 41441 983.80/986.71 c #Conflicts: 182000 | #Constraints: 42441 983.80/986.71 c #Conflicts: 183000 | #Constraints: 43441 983.80/986.71 c #Conflicts: 184000 | #Constraints: 44441 983.80/986.71 c #Conflicts: 185000 | #Constraints: 45441 983.80/986.71 c #Conflicts: 186000 | #Constraints: 46441 983.80/986.71 c #Conflicts: 187000 | #Constraints: 47441 983.80/986.71 c #Conflicts: 188000 | #Constraints: 48441 983.80/986.71 c #Conflicts: 189000 | #Constraints: 49441 983.80/986.71 c #Conflicts: 190000 | #Constraints: 50441 983.80/986.71 c #Conflicts: 191000 | #Constraints: 51441 983.80/986.71 c INPROCESSING 983.80/986.71 c GARBAGE COLLECT 983.80/986.71 c #Conflicts: 192000 | #Constraints: 36224 983.80/986.71 c #Conflicts: 193000 | #Constraints: 37224 983.80/986.71 c #Conflicts: 194000 | #Constraints: 38224 983.80/986.71 c #Conflicts: 195000 | #Constraints: 39224 983.80/986.71 c #Conflicts: 196000 | #Constraints: 40224 983.80/986.71 c #Conflicts: 197000 | #Constraints: 41224 983.80/986.71 c #Conflicts: 198000 | #Constraints: 42224 983.80/986.71 c #Conflicts: 199000 | #Constraints: 43224 983.80/986.71 c #Conflicts: 200000 | #Constraints: 44225 983.80/986.71 c #Conflicts: 201000 | #Constraints: 45225 983.80/986.71 c #Conflicts: 202000 | #Constraints: 46225 983.80/986.71 c #Conflicts: 203000 | #Constraints: 47225 983.80/986.71 c #Conflicts: 204000 | #Constraints: 48225 983.80/986.71 c #Conflicts: 205000 | #Constraints: 49225 983.80/986.71 c #Conflicts: 206000 | #Constraints: 50225 983.80/986.71 c #Conflicts: 207000 | #Constraints: 51225 983.80/986.71 c #Conflicts: 208000 | #Constraints: 52225 983.80/986.71 c #Conflicts: 209000 | #Constraints: 53225 983.80/986.71 c #Conflicts: 210000 | #Constraints: 54225 983.80/986.71 c #Conflicts: 211000 | #Constraints: 55225 983.80/986.71 c #Conflicts: 212000 | #Constraints: 56225 983.80/986.71 c #Conflicts: 213000 | #Constraints: 57225 983.80/986.71 c #Conflicts: 214000 | #Constraints: 58225 983.80/986.71 c #Conflicts: 215000 | #Constraints: 59225 983.80/986.71 c #Conflicts: 216000 | #Constraints: 60225 983.80/986.71 c #Conflicts: 217000 | #Constraints: 61225 983.80/986.71 c #Conflicts: 218000 | #Constraints: 62225 983.80/986.71 c #Conflicts: 219000 | #Constraints: 63225 1031.97/1035.06 c #Conflicts: 220000 | #Constraints: 64225 1031.97/1035.06 c #Conflicts: 221000 | #Constraints: 65225 1031.97/1035.06 c #Conflicts: 222000 | #Constraints: 66225 1031.97/1035.06 c INPROCESSING 1031.97/1035.06 c GARBAGE COLLECT 1031.97/1035.06 c #Conflicts: 223000 | #Constraints: 43971 1031.97/1035.06 c #Conflicts: 224000 | #Constraints: 44971 1031.97/1035.06 c #Conflicts: 225000 | #Constraints: 45971 1031.97/1035.06 c #Conflicts: 226000 | #Constraints: 46971 1031.97/1035.06 c #Conflicts: 227000 | #Constraints: 47971 1031.97/1035.06 c #Conflicts: 228000 | #Constraints: 48971 1031.97/1035.06 c #Conflicts: 229000 | #Constraints: 49971 1031.97/1035.06 c #Conflicts: 230000 | #Constraints: 50971 1031.97/1035.06 c #Conflicts: 231000 | #Constraints: 51971 1031.97/1035.06 c #Conflicts: 232000 | #Constraints: 52971 1031.97/1035.06 c #Conflicts: 233000 | #Constraints: 53971 1031.97/1035.06 c #Conflicts: 234000 | #Constraints: 54971 1031.97/1035.06 c #Conflicts: 235000 | #Constraints: 55971 1031.97/1035.06 c INPROCESSING 1031.97/1035.06 c GARBAGE COLLECT 1031.97/1035.06 c rational objective 157 1086.49/1089.72 c #Conflicts: 236000 | #Constraints: 38845 1086.49/1089.72 c #Conflicts: 237000 | #Constraints: 39846 1086.49/1089.72 c #Conflicts: 238000 | #Constraints: 40847 1086.49/1089.72 c #Conflicts: 239000 | #Constraints: 41847 1086.49/1089.72 c #Conflicts: 240000 | #Constraints: 42847 1086.49/1089.72 c #Conflicts: 241000 | #Constraints: 43847 1086.49/1089.72 c #Conflicts: 242000 | #Constraints: 44847 1086.49/1089.72 c #Conflicts: 243000 | #Constraints: 45847 1086.49/1089.72 c #Conflicts: 244000 | #Constraints: 46847 1086.49/1089.72 c #Conflicts: 245000 | #Constraints: 47847 1086.49/1089.72 c #Conflicts: 246000 | #Constraints: 48847 1086.49/1089.72 c #Conflicts: 247000 | #Constraints: 49847 1086.49/1089.72 c #Conflicts: 248000 | #Constraints: 50847 1086.49/1089.72 c INPROCESSING 1086.49/1089.72 c GARBAGE COLLECT 1086.49/1089.72 c rational objective 157 1334.97/1338.93 c #Conflicts: 249000 | #Constraints: 38449 1334.97/1338.93 c #Conflicts: 250000 | #Constraints: 39449 1334.97/1338.93 c #Conflicts: 251000 | #Constraints: 40449 1334.97/1338.93 c #Conflicts: 252000 | #Constraints: 41449 1334.97/1338.93 c #Conflicts: 253000 | #Constraints: 42449 1334.97/1338.93 c #Conflicts: 254000 | #Constraints: 43449 1334.97/1338.93 c #Conflicts: 255000 | #Constraints: 44449 1334.97/1338.93 c #Conflicts: 256000 | #Constraints: 45449 1334.97/1338.93 c #Conflicts: 257000 | #Constraints: 46449 1334.97/1338.93 c #Conflicts: 258000 | #Constraints: 47449 1334.97/1338.93 c #Conflicts: 259000 | #Constraints: 48449 1334.97/1338.93 c #Conflicts: 260000 | #Constraints: 49449 1334.97/1338.93 c #Conflicts: 261000 | #Constraints: 50449 1334.97/1338.93 c #Conflicts: 262000 | #Constraints: 51449 1334.97/1338.93 c #Conflicts: 263000 | #Constraints: 52449 1334.97/1338.93 c #Conflicts: 264000 | #Constraints: 53449 1334.97/1338.93 c #Conflicts: 265000 | #Constraints: 54449 1334.97/1338.93 c #Conflicts: 266000 | #Constraints: 55449 1334.97/1338.93 c #Conflicts: 267000 | #Constraints: 56449 1334.97/1338.93 c #Conflicts: 268000 | #Constraints: 57449 1334.97/1338.93 c #Conflicts: 269000 | #Constraints: 58449 1334.97/1338.93 c #Conflicts: 270000 | #Constraints: 59449 1334.97/1338.93 c #Conflicts: 271000 | #Constraints: 60449 1334.97/1338.93 c #Conflicts: 272000 | #Constraints: 61449 1334.97/1338.93 c #Conflicts: 273000 | #Constraints: 62449 1334.97/1338.93 c #Conflicts: 274000 | #Constraints: 63449 1334.97/1338.93 c #Conflicts: 275000 | #Constraints: 64449 1334.97/1338.93 c #Conflicts: 276000 | #Constraints: 65449 1334.97/1338.93 c #Conflicts: 277000 | #Constraints: 66450 1334.97/1338.93 c #Conflicts: 278000 | #Constraints: 67450 1334.97/1338.93 c #Conflicts: 279000 | #Constraints: 68450 1334.97/1338.93 c #Conflicts: 280000 | #Constraints: 69450 1334.97/1338.93 c #Conflicts: 281000 | #Constraints: 70450 1334.97/1338.93 c #Conflicts: 282000 | #Constraints: 71450 1334.97/1338.93 c INPROCESSING 1334.97/1338.93 c GARBAGE COLLECT 1334.97/1338.93 c rational objective 157 1798.73/1804.12 c #Conflicts: 283000 | #Constraints: 46424 1798.73/1804.12 c #Conflicts: 284000 | #Constraints: 47424 1798.73/1804.12 c #Conflicts: 285000 | #Constraints: 48424 1798.73/1804.12 c #Conflicts: 286000 | #Constraints: 49424 1798.73/1804.12 c #Conflicts: 287000 | #Constraints: 50424 1798.73/1804.12 c #Conflicts: 288000 | #Constraints: 51424 1798.73/1804.12 c #Conflicts: 289000 | #Constraints: 52424 1798.73/1804.12 c #Conflicts: 290000 | #Constraints: 53424 1798.73/1804.12 c #Conflicts: 291000 | #Constraints: 54424 1798.73/1804.12 c #Conflicts: 292000 | #Constraints: 55424 1798.73/1804.12 c #Conflicts: 293000 | #Constraints: 56424 1798.73/1804.12 c #Conflicts: 294000 | #Constraints: 57424 1798.73/1804.12 c #Conflicts: 295000 | #Constraints: 58424 1798.73/1804.12 c #Conflicts: 296000 | #Constraints: 59425 1798.73/1804.12 c #Conflicts: 297000 | #Constraints: 60425 1798.73/1804.12 c INPROCESSING 1798.73/1804.12 c GARBAGE COLLECT 1798.73/1804.12 c #Conflicts: 298000 | #Constraints: 41322 1798.73/1804.12 c #Conflicts: 299000 | #Constraints: 42322 1798.73/1804.12 c #Conflicts: 300000 | #Constraints: 43322 1798.73/1804.12 c #Conflicts: 301000 | #Constraints: 44322 1798.73/1804.12 c #Conflicts: 302000 | #Constraints: 45322 1798.73/1804.12 c #Conflicts: 303000 | #Constraints: 46322 1798.73/1804.12 c #Conflicts: 304000 | #Constraints: 47322 1798.73/1804.12 c #Conflicts: 305000 | #Constraints: 48322 1798.73/1804.12 c #Conflicts: 306000 | #Constraints: 49322 1798.73/1804.12 c #Conflicts: 307000 | #Constraints: 50322 1798.73/1804.12 c #Conflicts: 308000 | #Constraints: 51322 1798.73/1804.12 c #Conflicts: 309000 | #Constraints: 52322 1798.73/1804.12 c #Conflicts: 310000 | #Constraints: 53322 1798.73/1804.12 c #Conflicts: 311000 | #Constraints: 54322 1798.73/1804.12 c #Conflicts: 312000 | #Constraints: 55322 1798.73/1804.12 c #Conflicts: 313000 | #Constraints: 56322 1798.73/1804.12 c #Conflicts: 314000 | #Constraints: 57322 1798.73/1804.12 c #Conflicts: 315000 | #Constraints: 58322 1798.73/1804.12 c #Conflicts: 316000 | #Constraints: 59323 1798.73/1804.12 c #Conflicts: 317000 | #Constraints: 60323 1798.73/1804.12 c #Conflicts: 318000 | #Constraints: 61323 1798.73/1804.12 c #Conflicts: 319000 | #Constraints: 62323 1798.73/1804.12 c #Conflicts: 320000 | #Constraints: 63323 1798.73/1804.12 c #Conflicts: 321000 | #Constraints: 64323 1798.73/1804.12 c #Conflicts: 322000 | #Constraints: 65323 1798.73/1804.12 c #Conflicts: 323000 | #Constraints: 66323 1798.73/1804.12 c #Conflicts: 324000 | #Constraints: 67323 1798.73/1804.12 c #Conflicts: 325000 | #Constraints: 68323 1798.73/1804.12 c #Conflicts: 326000 | #Constraints: 69323 1798.73/1804.12 c #Conflicts: 327000 | #Constraints: 70323 1798.73/1804.12 c #Conflicts: 328000 | #Constraints: 71323 1798.73/1804.12 c #Conflicts: 329000 | #Constraints: 72323 1798.73/1804.12 c #Conflicts: 330000 | #Constraints: 73323 1798.73/1804.12 c #Conflicts: 331000 | #Constraints: 74323 1798.73/1804.12 c #Conflicts: 332000 | #Constraints: 75324 1798.73/1804.12 c #Conflicts: 333000 | #Constraints: 76324 1798.73/1804.12 c #Conflicts: 334000 | #Constraints: 77324 1798.73/1804.12 c #Conflicts: 335000 | #Constraints: 78324 1798.73/1804.12 c INPROCESSING 1798.73/1804.12 c GARBAGE COLLECT 1798.73/1804.12 c #Conflicts: 336000 | #Constraints: 50400 1798.73/1804.12 c #Conflicts: 337000 | #Constraints: 51400 1798.73/1804.12 c #Conflicts: 338000 | #Constraints: 52400 1798.73/1804.12 c #Conflicts: 339000 | #Constraints: 53400 1798.73/1804.12 c #Conflicts: 340000 | #Constraints: 54400 1798.73/1804.12 c #Conflicts: 341000 | #Constraints: 55400 1798.73/1804.12 c #Conflicts: 342000 | #Constraints: 56401 1798.73/1804.12 c #Conflicts: 343000 | #Constraints: 57401 1798.73/1804.12 c #Conflicts: 344000 | #Constraints: 58401 1798.73/1804.12 c #Conflicts: 345000 | #Constraints: 59401 1798.73/1804.12 c #Conflicts: 346000 | #Constraints: 60401 1798.73/1804.12 c #Conflicts: 347000 | #Constraints: 61401 1798.73/1804.12 c #Conflicts: 348000 | #Constraints: 62402 1798.73/1804.12 c #Conflicts: 349000 | #Constraints: 63403 1798.73/1804.12 c #Conflicts: 350000 | #Constraints: 64403 1798.73/1804.12 c #Conflicts: 351000 | #Constraints: 65403 1798.73/1804.12 c INPROCESSING 1798.73/1804.12 c GARBAGE COLLECT 1798.73/1804.12 c #Conflicts: 352000 | #Constraints: 44213 1798.73/1804.12 c #Conflicts: 353000 | #Constraints: 45214 1798.73/1804.12 c #Conflicts: 354000 | #Constraints: 46214 1798.73/1804.12 c #Conflicts: 355000 | #Constraints: 47214 1798.73/1804.12 c #Conflicts: 356000 | #Constraints: 48214 1798.73/1804.12 c #Conflicts: 357000 | #Constraints: 49214 1798.73/1804.12 c #Conflicts: 358000 | #Constraints: 50215 1798.73/1804.12 c #Conflicts: 359000 | #Constraints: 51216 2070.77/2076.96 c #Conflicts: 360000 | #Constraints: 52216 2070.77/2076.96 c #Conflicts: 361000 | #Constraints: 53216 2070.77/2076.96 c #Conflicts: 362000 | #Constraints: 54216 2070.77/2076.96 c #Conflicts: 363000 | #Constraints: 55217 2070.77/2076.96 c #Conflicts: 364000 | #Constraints: 56218 2070.77/2076.96 c #Conflicts: 365000 | #Constraints: 57218 2070.77/2076.96 c #Conflicts: 366000 | #Constraints: 58218 2070.77/2076.96 c #Conflicts: 367000 | #Constraints: 59218 2070.77/2076.96 c #Conflicts: 368000 | #Constraints: 60218 2070.77/2076.96 c #Conflicts: 369000 | #Constraints: 61218 2070.77/2076.96 c #Conflicts: 370000 | #Constraints: 62218 2070.77/2076.96 c #Conflicts: 371000 | #Constraints: 63218 2070.77/2076.96 c #Conflicts: 372000 | #Constraints: 64218 2070.77/2076.96 c #Conflicts: 373000 | #Constraints: 65218 2070.77/2076.96 c #Conflicts: 374000 | #Constraints: 66218 2070.77/2076.96 c #Conflicts: 375000 | #Constraints: 67218 2070.77/2076.96 c #Conflicts: 376000 | #Constraints: 68218 2070.77/2076.96 c #Conflicts: 377000 | #Constraints: 69218 2070.77/2076.96 c #Conflicts: 378000 | #Constraints: 70218 2070.77/2076.96 c #Conflicts: 379000 | #Constraints: 71220 2070.77/2076.97 c #Conflicts: 380000 | #Constraints: 72220 2070.77/2076.97 c #Conflicts: 381000 | #Constraints: 73220 2070.77/2076.97 c #Conflicts: 382000 | #Constraints: 74220 2070.77/2076.97 c #Conflicts: 383000 | #Constraints: 75220 2070.77/2076.97 c #Conflicts: 384000 | #Constraints: 76220 2070.77/2076.97 c #Conflicts: 385000 | #Constraints: 77220 2070.77/2076.97 c #Conflicts: 386000 | #Constraints: 78220 2070.77/2076.97 c #Conflicts: 387000 | #Constraints: 79220 2070.77/2076.97 c #Conflicts: 388000 | #Constraints: 80220 2070.77/2076.97 c #Conflicts: 389000 | #Constraints: 81220 2070.77/2076.97 c #Conflicts: 390000 | #Constraints: 82220 2070.77/2076.97 c #Conflicts: 391000 | #Constraints: 83220 2070.77/2076.97 c INPROCESSING 2070.77/2076.97 c GARBAGE COLLECT 2070.77/2076.97 c #Conflicts: 392000 | #Constraints: 52651 2070.77/2076.97 c #Conflicts: 393000 | #Constraints: 53652 2070.77/2076.97 c #Conflicts: 394000 | #Constraints: 54652 2070.77/2076.97 c #Conflicts: 395000 | #Constraints: 55652 2070.77/2076.97 c #Conflicts: 396000 | #Constraints: 56652 2070.77/2076.97 c #Conflicts: 397000 | #Constraints: 57652 2070.77/2076.97 c #Conflicts: 398000 | #Constraints: 58652 2070.77/2076.97 c #Conflicts: 399000 | #Constraints: 59652 2070.77/2076.97 c #Conflicts: 400000 | #Constraints: 60653 2070.77/2076.97 c #Conflicts: 401000 | #Constraints: 61654 2070.77/2076.97 c #Conflicts: 402000 | #Constraints: 62654 2070.77/2076.97 c #Conflicts: 403000 | #Constraints: 63654 2070.77/2076.97 c #Conflicts: 404000 | #Constraints: 64654 2070.77/2076.97 c #Conflicts: 405000 | #Constraints: 65654 2070.77/2076.97 c #Conflicts: 406000 | #Constraints: 66654 2070.77/2076.97 c #Conflicts: 407000 | #Constraints: 67654 2070.77/2076.97 c #Conflicts: 408000 | #Constraints: 68654 2070.77/2076.97 c INPROCESSING 2070.77/2076.97 c GARBAGE COLLECT 2070.77/2076.97 c #Conflicts: 409000 | #Constraints: 46241 2070.77/2076.97 c #Conflicts: 410000 | #Constraints: 47241 2070.77/2076.97 c #Conflicts: 411000 | #Constraints: 48241 2070.77/2076.97 c #Conflicts: 412000 | #Constraints: 49241 2070.77/2076.97 c #Conflicts: 413000 | #Constraints: 50241 2070.77/2076.97 c #Conflicts: 414000 | #Constraints: 51241 2070.77/2076.97 c #Conflicts: 415000 | #Constraints: 52241 2070.77/2076.97 c #Conflicts: 416000 | #Constraints: 53241 2070.77/2076.97 c #Conflicts: 417000 | #Constraints: 54241 2070.77/2076.97 c #Conflicts: 418000 | #Constraints: 55241 2070.77/2076.97 c #Conflicts: 419000 | #Constraints: 56241 2070.77/2076.97 c #Conflicts: 420000 | #Constraints: 57241 2070.77/2076.97 c #Conflicts: 421000 | #Constraints: 58241 2070.77/2076.97 c #Conflicts: 422000 | #Constraints: 59241 2070.77/2076.97 c #Conflicts: 423000 | #Constraints: 60241 2070.77/2076.97 c #Conflicts: 424000 | #Constraints: 61241 2070.77/2076.97 c #Conflicts: 425000 | #Constraints: 62241 2070.77/2076.97 c #Conflicts: 426000 | #Constraints: 63241 2070.77/2076.97 c #Conflicts: 427000 | #Constraints: 64241 2070.77/2076.97 c #Conflicts: 428000 | #Constraints: 65241 2070.77/2076.97 c #Conflicts: 429000 | #Constraints: 66241 2070.77/2076.97 c #Conflicts: 430000 | #Constraints: 67241 2070.77/2076.97 c #Conflicts: 431000 | #Constraints: 68241 2070.77/2076.97 c #Conflicts: 432000 | #Constraints: 69241 2070.77/2076.97 c #Conflicts: 433000 | #Constraints: 70241 2070.77/2076.97 c #Conflicts: 434000 | #Constraints: 71241 2070.77/2076.97 c #Conflicts: 435000 | #Constraints: 72241 2070.77/2076.97 c #Conflicts: 436000 | #Constraints: 73241 2070.77/2076.97 c #Conflicts: 437000 | #Constraints: 74241 2808.35/2816.84 c #Conflicts: 438000 | #Constraints: 75241 2808.35/2816.84 c #Conflicts: 439000 | #Constraints: 76241 2808.35/2816.84 c #Conflicts: 440000 | #Constraints: 77241 2808.35/2816.84 c #Conflicts: 441000 | #Constraints: 78241 2808.35/2816.84 c #Conflicts: 442000 | #Constraints: 79241 2808.35/2816.84 c #Conflicts: 443000 | #Constraints: 80241 2808.35/2816.84 c #Conflicts: 444000 | #Constraints: 81241 2808.35/2816.84 c #Conflicts: 445000 | #Constraints: 82241 2808.35/2816.84 c #Conflicts: 446000 | #Constraints: 83241 2808.35/2816.84 c #Conflicts: 447000 | #Constraints: 84241 2808.35/2816.84 c #Conflicts: 448000 | #Constraints: 85241 2808.35/2816.84 c #Conflicts: 449000 | #Constraints: 86241 2808.35/2816.84 c #Conflicts: 450000 | #Constraints: 87241 2808.35/2816.84 c #Conflicts: 451000 | #Constraints: 88241 2808.35/2816.84 c #Conflicts: 452000 | #Constraints: 89241 2808.35/2816.84 c INPROCESSING 2808.35/2816.84 c GARBAGE COLLECT 2808.35/2816.84 c #Conflicts: 453000 | #Constraints: 55466 2808.35/2816.84 c #Conflicts: 454000 | #Constraints: 56466 2808.35/2816.84 c #Conflicts: 455000 | #Constraints: 57466 2808.35/2816.84 c #Conflicts: 456000 | #Constraints: 58466 2808.35/2816.84 c #Conflicts: 457000 | #Constraints: 59466 2808.35/2816.84 c #Conflicts: 458000 | #Constraints: 60466 2808.35/2816.84 c #Conflicts: 459000 | #Constraints: 61466 2808.35/2816.84 c #Conflicts: 460000 | #Constraints: 62466 2808.35/2816.84 c #Conflicts: 461000 | #Constraints: 63466 2808.35/2816.84 c #Conflicts: 462000 | #Constraints: 64466 2808.35/2816.84 c #Conflicts: 463000 | #Constraints: 65466 2808.35/2816.84 c #Conflicts: 464000 | #Constraints: 66466 2808.35/2816.84 c #Conflicts: 465000 | #Constraints: 67466 2808.35/2816.84 c #Conflicts: 466000 | #Constraints: 68466 2808.35/2816.84 c #Conflicts: 467000 | #Constraints: 69466 2808.35/2816.84 c #Conflicts: 468000 | #Constraints: 70466 2808.35/2816.84 c #Conflicts: 469000 | #Constraints: 71466 2808.35/2816.84 c #Conflicts: 470000 | #Constraints: 72466 2808.35/2816.84 c #Conflicts: 471000 | #Constraints: 73466 2808.35/2816.84 c INPROCESSING 2808.35/2816.84 c GARBAGE COLLECT 2808.35/2816.84 c #Conflicts: 472000 | #Constraints: 49010 2808.35/2816.84 c #Conflicts: 473000 | #Constraints: 50010 2808.35/2816.84 c #Conflicts: 474000 | #Constraints: 51010 2808.35/2816.84 c #Conflicts: 475000 | #Constraints: 52010 2808.35/2816.84 c #Conflicts: 476000 | #Constraints: 53010 2808.35/2816.84 c #Conflicts: 477000 | #Constraints: 54010 2808.35/2816.84 c #Conflicts: 478000 | #Constraints: 55010 2808.35/2816.84 c #Conflicts: 479000 | #Constraints: 56010 2808.35/2816.84 c #Conflicts: 480000 | #Constraints: 57010 2808.35/2816.84 c #Conflicts: 481000 | #Constraints: 58010 2808.35/2816.84 c #Conflicts: 482000 | #Constraints: 59010 2808.35/2816.84 c #Conflicts: 483000 | #Constraints: 60010 2808.35/2816.84 c #Conflicts: 484000 | #Constraints: 61010 2808.35/2816.84 c #Conflicts: 485000 | #Constraints: 62010 2808.35/2816.84 c #Conflicts: 486000 | #Constraints: 63010 2808.35/2816.84 c #Conflicts: 487000 | #Constraints: 64010 2808.35/2816.84 c #Conflicts: 488000 | #Constraints: 65011 2808.35/2816.84 c #Conflicts: 489000 | #Constraints: 66011 2808.35/2816.84 c #Conflicts: 490000 | #Constraints: 67011 2808.35/2816.84 c #Conflicts: 491000 | #Constraints: 68011 2808.35/2816.84 c #Conflicts: 492000 | #Constraints: 69011 2808.35/2816.84 c #Conflicts: 493000 | #Constraints: 70011 2808.35/2816.84 c #Conflicts: 494000 | #Constraints: 71011 2808.35/2816.84 c #Conflicts: 495000 | #Constraints: 72011 2808.35/2816.84 c #Conflicts: 496000 | #Constraints: 73011 2808.35/2816.84 c #Conflicts: 497000 | #Constraints: 74011 2808.35/2816.84 c #Conflicts: 498000 | #Constraints: 75011 2808.35/2816.84 c #Conflicts: 499000 | #Constraints: 76011 2808.35/2816.84 c #Conflicts: 500000 | #Constraints: 77011 2808.35/2816.84 c #Conflicts: 501000 | #Constraints: 78011 2808.35/2816.84 c #Conflicts: 502000 | #Constraints: 79011 2808.35/2816.84 c #Conflicts: 503000 | #Constraints: 80011 2808.35/2816.84 c #Conflicts: 504000 | #Constraints: 81011 2808.35/2816.84 c #Conflicts: 505000 | #Constraints: 82011 2808.35/2816.84 c #Conflicts: 506000 | #Constraints: 83011 2808.35/2816.84 c #Conflicts: 507000 | #Constraints: 84011 2808.35/2816.84 c #Conflicts: 508000 | #Constraints: 85012 2808.35/2816.84 c #Conflicts: 509000 | #Constraints: 86013 2808.35/2816.84 c #Conflicts: 510000 | #Constraints: 87014 2808.35/2816.84 c #Conflicts: 511000 | #Constraints: 88015 2808.35/2816.84 c #Conflicts: 512000 | #Constraints: 89015 2808.35/2816.84 c #Conflicts: 513000 | #Constraints: 90016 2808.35/2816.84 c #Conflicts: 514000 | #Constraints: 91017 3077.48/3086.87 c #Conflicts: 515000 | #Constraints: 92017 3077.48/3086.87 c #Conflicts: 516000 | #Constraints: 93017 3077.48/3086.87 c #Conflicts: 517000 | #Constraints: 94017 3077.48/3086.87 c INPROCESSING 3077.48/3086.87 c GARBAGE COLLECT 3077.48/3086.87 c #Conflicts: 518000 | #Constraints: 57896 3077.48/3086.87 c #Conflicts: 519000 | #Constraints: 58896 3077.48/3086.87 c #Conflicts: 520000 | #Constraints: 59896 3077.48/3086.87 c #Conflicts: 521000 | #Constraints: 60896 3077.48/3086.87 c #Conflicts: 522000 | #Constraints: 61896 3077.48/3086.87 c #Conflicts: 523000 | #Constraints: 62896 3077.48/3086.87 c #Conflicts: 524000 | #Constraints: 63896 3077.48/3086.87 c #Conflicts: 525000 | #Constraints: 64896 3077.48/3086.87 c #Conflicts: 526000 | #Constraints: 65896 3077.48/3086.87 c #Conflicts: 527000 | #Constraints: 66896 3077.48/3086.87 c #Conflicts: 528000 | #Constraints: 67896 3077.48/3086.87 c #Conflicts: 529000 | #Constraints: 68896 3077.48/3086.87 c #Conflicts: 530000 | #Constraints: 69896 3077.48/3086.87 c #Conflicts: 531000 | #Constraints: 70896 3077.48/3086.87 c #Conflicts: 532000 | #Constraints: 71896 3077.48/3086.87 c #Conflicts: 533000 | #Constraints: 72896 3077.48/3086.87 c #Conflicts: 534000 | #Constraints: 73896 3077.48/3086.87 c #Conflicts: 535000 | #Constraints: 74896 3077.48/3086.87 c #Conflicts: 536000 | #Constraints: 75896 3077.48/3086.87 c #Conflicts: 537000 | #Constraints: 76896 3077.48/3086.87 c INPROCESSING 3077.48/3086.87 c GARBAGE COLLECT 3077.48/3086.87 c #Conflicts: 538000 | #Constraints: 50148 3077.48/3086.87 c #Conflicts: 539000 | #Constraints: 51148 3077.48/3086.87 c #Conflicts: 540000 | #Constraints: 52148 3077.48/3086.87 c #Conflicts: 541000 | #Constraints: 53148 3077.48/3086.87 c #Conflicts: 542000 | #Constraints: 54148 3077.48/3086.87 c #Conflicts: 543000 | #Constraints: 55148 3077.48/3086.87 c #Conflicts: 544000 | #Constraints: 56148 3077.48/3086.87 c #Conflicts: 545000 | #Constraints: 57149 3077.48/3086.87 c #Conflicts: 546000 | #Constraints: 58149 3077.48/3086.87 c #Conflicts: 547000 | #Constraints: 59149 3077.48/3086.87 c #Conflicts: 548000 | #Constraints: 60149 3077.48/3086.87 c #Conflicts: 549000 | #Constraints: 61149 3077.48/3086.87 c #Conflicts: 550000 | #Constraints: 62149 3077.48/3086.87 c #Conflicts: 551000 | #Constraints: 63149 3077.48/3086.87 c #Conflicts: 552000 | #Constraints: 64149 3077.48/3086.87 c #Conflicts: 553000 | #Constraints: 65149 3077.48/3086.87 c #Conflicts: 554000 | #Constraints: 66149 3077.48/3086.87 c #Conflicts: 555000 | #Constraints: 67149 3077.48/3086.87 c #Conflicts: 556000 | #Constraints: 68149 3077.48/3086.87 c #Conflicts: 557000 | #Constraints: 69149 3077.48/3086.87 c #Conflicts: 558000 | #Constraints: 70149 3077.48/3086.87 c #Conflicts: 559000 | #Constraints: 71149 3077.48/3086.87 c #Conflicts: 560000 | #Constraints: 72150 3077.48/3086.87 c #Conflicts: 561000 | #Constraints: 73150 3077.48/3086.87 c #Conflicts: 562000 | #Constraints: 74151 3077.48/3086.87 c #Conflicts: 563000 | #Constraints: 75151 3077.48/3086.87 c #Conflicts: 564000 | #Constraints: 76151 3077.48/3086.87 c #Conflicts: 565000 | #Constraints: 77151 3077.48/3086.87 c #Conflicts: 566000 | #Constraints: 78151 3077.48/3086.87 c #Conflicts: 567000 | #Constraints: 79151 3077.48/3086.87 c #Conflicts: 568000 | #Constraints: 80151 3077.48/3086.87 c #Conflicts: 569000 | #Constraints: 81151 3077.48/3086.87 c #Conflicts: 570000 | #Constraints: 82151 3077.48/3086.87 c #Conflicts: 571000 | #Constraints: 83151 3077.48/3086.87 c #Conflicts: 572000 | #Constraints: 84151 3077.48/3086.87 c #Conflicts: 573000 | #Constraints: 85151 3077.48/3086.87 c #Conflicts: 574000 | #Constraints: 86151 3077.48/3086.87 c #Conflicts: 575000 | #Constraints: 87151 3077.48/3086.87 c #Conflicts: 576000 | #Constraints: 88151 3077.48/3086.87 c #Conflicts: 577000 | #Constraints: 89151 3077.48/3086.87 c #Conflicts: 578000 | #Constraints: 90151 3077.48/3086.87 c #Conflicts: 579000 | #Constraints: 91151 3077.48/3086.87 c #Conflicts: 580000 | #Constraints: 92151 3077.48/3086.87 c #Conflicts: 581000 | #Constraints: 93151 3077.48/3086.87 c #Conflicts: 582000 | #Constraints: 94151 3077.48/3086.87 c #Conflicts: 583000 | #Constraints: 95151 3077.48/3086.87 c #Conflicts: 584000 | #Constraints: 96151 3077.48/3086.87 c #Conflicts: 585000 | #Constraints: 97151 3077.48/3086.87 c #Conflicts: 586000 | #Constraints: 98151 3077.48/3086.87 c #Conflicts: 587000 | #Constraints: 99151 3077.48/3086.87 c INPROCESSING 3077.48/3086.87 c GARBAGE COLLECT 3077.48/3086.87 c #Conflicts: 588000 | #Constraints: 60725 3077.48/3086.87 c #Conflicts: 589000 | #Constraints: 61725 3077.48/3086.87 c #Conflicts: 590000 | #Constraints: 62725 3077.48/3086.87 c #Conflicts: 591000 | #Constraints: 63725 3296.49/3306.54 c #Conflicts: 592000 | #Constraints: 64725 3296.49/3306.54 c #Conflicts: 593000 | #Constraints: 65725 3296.49/3306.54 c #Conflicts: 594000 | #Constraints: 66725 3296.49/3306.54 c #Conflicts: 595000 | #Constraints: 67725 3296.49/3306.54 c #Conflicts: 596000 | #Constraints: 68725 3296.49/3306.54 c #Conflicts: 597000 | #Constraints: 69725 3296.49/3306.54 c #Conflicts: 598000 | #Constraints: 70725 3296.49/3306.54 c #Conflicts: 599000 | #Constraints: 71725 3296.49/3306.54 c #Conflicts: 600000 | #Constraints: 72725 3296.49/3306.54 c #Conflicts: 601000 | #Constraints: 73725 3296.49/3306.54 c #Conflicts: 602000 | #Constraints: 74726 3296.49/3306.54 c #Conflicts: 603000 | #Constraints: 75726 3296.49/3306.54 c #Conflicts: 604000 | #Constraints: 76726 3296.49/3306.54 c #Conflicts: 605000 | #Constraints: 77726 3296.49/3306.54 c #Conflicts: 606000 | #Constraints: 78726 3296.49/3306.54 c #Conflicts: 607000 | #Constraints: 79726 3296.49/3306.54 c #Conflicts: 608000 | #Constraints: 80726 3296.49/3306.54 c INPROCESSING 3296.49/3306.54 c GARBAGE COLLECT 3296.49/3306.54 c #Conflicts: 609000 | #Constraints: 52957 3296.49/3306.54 c #Conflicts: 610000 | #Constraints: 53957 3296.49/3306.54 c #Conflicts: 611000 | #Constraints: 54957 3296.49/3306.54 c #Conflicts: 612000 | #Constraints: 55957 3296.49/3306.54 c #Conflicts: 613000 | #Constraints: 56957 3296.49/3306.54 c #Conflicts: 614000 | #Constraints: 57957 3296.49/3306.54 c #Conflicts: 615000 | #Constraints: 58957 3296.49/3306.54 c #Conflicts: 616000 | #Constraints: 59958 3296.49/3306.54 c #Conflicts: 617000 | #Constraints: 60958 3296.49/3306.54 c #Conflicts: 618000 | #Constraints: 61958 3296.49/3306.54 c #Conflicts: 619000 | #Constraints: 62958 3296.49/3306.54 c #Conflicts: 620000 | #Constraints: 63958 3296.49/3306.54 c #Conflicts: 621000 | #Constraints: 64958 3296.49/3306.54 c #Conflicts: 622000 | #Constraints: 65958 3296.49/3306.54 c #Conflicts: 623000 | #Constraints: 66958 3296.49/3306.54 c #Conflicts: 624000 | #Constraints: 67958 3296.49/3306.54 c #Conflicts: 625000 | #Constraints: 68958 3296.49/3306.54 c #Conflicts: 626000 | #Constraints: 69958 3296.49/3306.54 c #Conflicts: 627000 | #Constraints: 70958 3296.49/3306.54 c #Conflicts: 628000 | #Constraints: 71958 3296.49/3306.54 c #Conflicts: 629000 | #Constraints: 72959 3296.49/3306.54 c #Conflicts: 630000 | #Constraints: 73959 3296.49/3306.54 c #Conflicts: 631000 | #Constraints: 74959 3296.49/3306.54 c #Conflicts: 632000 | #Constraints: 75959 3296.49/3306.54 c #Conflicts: 633000 | #Constraints: 76959 3296.49/3306.54 c #Conflicts: 634000 | #Constraints: 77959 3296.49/3306.54 c #Conflicts: 635000 | #Constraints: 78959 3296.49/3306.54 c #Conflicts: 636000 | #Constraints: 79959 3296.49/3306.54 c #Conflicts: 637000 | #Constraints: 80959 3296.49/3306.54 c #Conflicts: 638000 | #Constraints: 81959 3296.49/3306.54 c #Conflicts: 639000 | #Constraints: 82959 3296.49/3306.54 c #Conflicts: 640000 | #Constraints: 83959 3296.49/3306.54 c #Conflicts: 641000 | #Constraints: 84959 3296.49/3306.54 c #Conflicts: 642000 | #Constraints: 85959 3296.49/3306.54 c #Conflicts: 643000 | #Constraints: 86959 3296.49/3306.54 c #Conflicts: 644000 | #Constraints: 87960 3296.49/3306.54 c #Conflicts: 645000 | #Constraints: 88960 3296.49/3306.54 c #Conflicts: 646000 | #Constraints: 89960 3296.49/3306.54 c #Conflicts: 647000 | #Constraints: 90960 3296.49/3306.54 c #Conflicts: 648000 | #Constraints: 91960 3296.49/3306.54 c #Conflicts: 649000 | #Constraints: 92960 3296.49/3306.54 c #Conflicts: 650000 | #Constraints: 93960 3296.49/3306.54 c #Conflicts: 651000 | #Constraints: 94960 3296.49/3306.54 c #Conflicts: 652000 | #Constraints: 95960 3296.49/3306.54 c #Conflicts: 653000 | #Constraints: 96960 3296.49/3306.54 c #Conflicts: 654000 | #Constraints: 97960 3296.49/3306.54 c #Conflicts: 655000 | #Constraints: 98960 3296.49/3306.54 c #Conflicts: 656000 | #Constraints: 99960 3296.49/3306.54 c #Conflicts: 657000 | #Constraints: 100961 3296.49/3306.54 c #Conflicts: 658000 | #Constraints: 101961 3296.49/3306.54 c #Conflicts: 659000 | #Constraints: 102961 3296.49/3306.54 c #Conflicts: 660000 | #Constraints: 103961 3296.49/3306.54 c #Conflicts: 661000 | #Constraints: 104961 3296.49/3306.54 c INPROCESSING 3296.49/3306.54 c GARBAGE COLLECT 3296.49/3306.54 c #Conflicts: 662000 | #Constraints: 63108 3296.49/3306.54 c #Conflicts: 663000 | #Constraints: 64108 3296.49/3306.54 c #Conflicts: 664000 | #Constraints: 65108 3296.49/3306.54 c #Conflicts: 665000 | #Constraints: 66108 3296.49/3306.54 c #Conflicts: 666000 | #Constraints: 67108 3296.49/3306.54 c #Conflicts: 667000 | #Constraints: 68108 3296.49/3306.54 c #Conflicts: 668000 | #Constraints: 69108 3296.49/3306.54 c #Conflicts: 669000 | #Constraints: 70108 3548.17/3558.96 c #Conflicts: 670000 | #Constraints: 71108 3548.17/3558.96 c #Conflicts: 671000 | #Constraints: 72109 3548.17/3558.96 c #Conflicts: 672000 | #Constraints: 73109 3548.17/3558.96 c #Conflicts: 673000 | #Constraints: 74109 3548.17/3558.96 c #Conflicts: 674000 | #Constraints: 75109 3548.17/3558.96 c #Conflicts: 675000 | #Constraints: 76109 3548.17/3558.96 c #Conflicts: 676000 | #Constraints: 77109 3548.17/3558.96 c #Conflicts: 677000 | #Constraints: 78109 3548.17/3558.96 c #Conflicts: 678000 | #Constraints: 79109 3548.17/3558.96 c #Conflicts: 679000 | #Constraints: 80109 3548.17/3558.96 c #Conflicts: 680000 | #Constraints: 81109 3548.17/3558.96 c #Conflicts: 681000 | #Constraints: 82109 3548.17/3558.96 c #Conflicts: 682000 | #Constraints: 83109 3548.17/3558.96 c #Conflicts: 683000 | #Constraints: 84109 3548.17/3558.96 c #Conflicts: 684000 | #Constraints: 85109 3548.17/3558.96 c INPROCESSING 3548.17/3558.96 c GARBAGE COLLECT 3548.17/3558.96 c #Conflicts: 685000 | #Constraints: 56239 3548.17/3558.96 c #Conflicts: 686000 | #Constraints: 57239 3548.17/3558.96 c #Conflicts: 687000 | #Constraints: 58240 3548.17/3558.96 c #Conflicts: 688000 | #Constraints: 59240 3548.17/3558.96 c #Conflicts: 689000 | #Constraints: 60240 3548.17/3558.96 c #Conflicts: 690000 | #Constraints: 61240 3548.17/3558.96 c #Conflicts: 691000 | #Constraints: 62240 3548.17/3558.96 c #Conflicts: 692000 | #Constraints: 63240 3548.17/3558.96 c #Conflicts: 693000 | #Constraints: 64240 3548.17/3558.96 c #Conflicts: 694000 | #Constraints: 65240 3548.17/3558.96 c #Conflicts: 695000 | #Constraints: 66240 3548.17/3558.96 c #Conflicts: 696000 | #Constraints: 67240 3548.17/3558.96 c #Conflicts: 697000 | #Constraints: 68240 3548.17/3558.96 c #Conflicts: 698000 | #Constraints: 69240 3548.17/3558.96 c #Conflicts: 699000 | #Constraints: 70240 3548.17/3558.96 c #Conflicts: 700000 | #Constraints: 71240 3548.17/3558.96 c #Conflicts: 701000 | #Constraints: 72240 3548.17/3558.96 c #Conflicts: 702000 | #Constraints: 73240 3548.17/3558.96 c #Conflicts: 703000 | #Constraints: 74240 3548.17/3558.96 c #Conflicts: 704000 | #Constraints: 75240 3548.17/3558.96 c #Conflicts: 705000 | #Constraints: 76240 3548.17/3558.96 c #Conflicts: 706000 | #Constraints: 77240 3548.17/3558.96 c #Conflicts: 707000 | #Constraints: 78240 3548.17/3558.96 c #Conflicts: 708000 | #Constraints: 79240 3548.17/3558.96 c #Conflicts: 709000 | #Constraints: 80240 3548.17/3558.96 c #Conflicts: 710000 | #Constraints: 81240 3548.17/3558.96 c #Conflicts: 711000 | #Constraints: 82240 3548.17/3558.96 c #Conflicts: 712000 | #Constraints: 83240 3548.17/3558.96 c #Conflicts: 713000 | #Constraints: 84240 3548.17/3558.96 c #Conflicts: 714000 | #Constraints: 85240 3548.17/3558.96 c #Conflicts: 715000 | #Constraints: 86241 3548.17/3558.96 c #Conflicts: 716000 | #Constraints: 87241 3548.17/3558.96 c #Conflicts: 717000 | #Constraints: 88241 3548.17/3558.96 c #Conflicts: 718000 | #Constraints: 89241 3548.17/3558.96 c #Conflicts: 719000 | #Constraints: 90241 3548.17/3558.96 c #Conflicts: 720000 | #Constraints: 91241 3548.17/3558.96 c #Conflicts: 721000 | #Constraints: 92241 3548.17/3558.96 c #Conflicts: 722000 | #Constraints: 93241 3548.17/3558.96 c #Conflicts: 723000 | #Constraints: 94241 3548.17/3558.96 c #Conflicts: 724000 | #Constraints: 95241 3548.17/3558.96 c #Conflicts: 725000 | #Constraints: 96241 3548.17/3558.96 c #Conflicts: 726000 | #Constraints: 97241 3548.17/3558.96 c #Conflicts: 727000 | #Constraints: 98241 3548.17/3558.96 c #Conflicts: 728000 | #Constraints: 99241 3548.17/3558.96 c #Conflicts: 729000 | #Constraints: 100241 3548.17/3558.96 c #Conflicts: 730000 | #Constraints: 101241 3548.17/3558.96 c #Conflicts: 731000 | #Constraints: 102241 3548.17/3558.96 c #Conflicts: 732000 | #Constraints: 103241 3548.17/3558.96 c #Conflicts: 733000 | #Constraints: 104241 3548.17/3558.96 c #Conflicts: 734000 | #Constraints: 105241 3548.17/3558.96 c #Conflicts: 735000 | #Constraints: 106241 3548.17/3558.96 c #Conflicts: 736000 | #Constraints: 107241 3548.17/3558.96 c #Conflicts: 737000 | #Constraints: 108241 3548.17/3558.96 c #Conflicts: 738000 | #Constraints: 109242 3548.17/3558.96 c #Conflicts: 739000 | #Constraints: 110242 3548.17/3558.96 c #Conflicts: 740000 | #Constraints: 111242 3548.17/3558.96 c INPROCESSING 3548.17/3558.96 c GARBAGE COLLECT 3548.17/3558.96 c rational objective 157 3600.03/3610.90 c #Conflicts: 741000 | #Constraints: 66849 3600.03/3610.90 c #Conflicts: 742000 | #Constraints: 67849 3600.03/3610.90 c #Conflicts: 743000 | #Constraints: 68849 3600.03/3610.90 c #Conflicts: 744000 | #Constraints: 69849 3600.03/3610.90 c #Conflicts: 745000 | #Constraints: 70849 3600.03/3610.90 c #Conflicts: 746000 | #Constraints: 71849 3600.03/3610.90 c #Conflicts: 747000 | #Constraints: 72849 3600.03/3610.90 c #Conflicts: 748000 | #Constraints: 73849 3600.03/3610.90 c #Conflicts: 749000 | #Constraints: 74849 3600.03/3610.90 c #Conflicts: 750000 | #Constraints: 75849 3600.03/3610.90 c #Conflicts: 751000 | #Constraints: 76849 3600.03/3610.90 c #Conflicts: 752000 | #Constraints: 77849 3600.03/3610.90 c #Conflicts: 753000 | #Constraints: 78849 3600.03/3610.90 c #Conflicts: 754000 | #Constraints: 79849 3600.03/3610.90 c #Conflicts: 755000 | #Constraints: 80849 3600.03/3610.90 c #Conflicts: 756000 | #Constraints: 81849 3600.03/3610.90 c #Conflicts: 757000 | #Constraints: 82849 3600.03/3610.90 c #Conflicts: 758000 | #Constraints: 83849 3600.03/3610.90 c #Conflicts: 759000 | #Constraints: 84849 3600.03/3610.90 c #Conflicts: 760000 | #Constraints: 85849 3600.03/3610.90 c #Conflicts: 761000 | #Constraints: 86849 3600.03/3610.90 c Program interrupted by user. 3600.03/3610.90 c cpu time 3571.06 s 3600.03/3610.90 c deterministic time 161270750646 1.61e+11 3600.03/3610.90 c optimization time 48.5593 s 3600.03/3610.90 c total solve time 3522.44 s 3600.03/3610.90 c core-guided solve time 0 s 3600.03/3610.90 c propagation time 1701.68 s 3600.03/3610.90 c conflict analysis time 456.676 s 3600.03/3610.90 c propagations 574367470 3600.03/3610.90 c resolve steps 35044178 3600.03/3610.90 c decisions 13661244 3600.03/3610.90 c conflicts 761698 3600.03/3610.90 c restarts 1596 3600.03/3610.90 c inprocessing phases 37 3600.03/3610.90 c input clauses 18842 3600.03/3610.90 c input cardinalities 157 3600.03/3610.90 c input general constraints 0 3600.03/3610.90 c input average constraint length 6.43 3600.03/3610.90 c input average constraint degree 1.97 3600.03/3610.90 c learned clauses 485438 3600.03/3610.90 c learned cardinalities 34171 3600.03/3610.90 c learned general constraints 242148 3600.03/3610.90 c learned average constraint length 1074.74 3600.03/3610.90 c learned average constraint degree 437401033.23 3600.03/3610.90 c watched constraints 180914 3600.03/3610.90 c counting constraints 61234 3600.03/3610.90 c gcd simplifications 2691 3600.03/3610.90 c detected cardinalities 4510 3600.03/3610.90 c weakened non-implied lits 167408042 3600.03/3610.90 c weakened non-implying lits 222693 3600.03/3610.90 c original variables 18683 3600.03/3610.90 c clausal propagations 258685388 3600.03/3610.90 c cardinality propagations 202001409 3600.03/3610.90 c watched propagations 32640038 3600.03/3610.90 c counting propagations 73632696 3600.03/3610.90 c watch lookups 9485687433 3600.03/3610.90 c watch backjump lookups 7728045068 3600.03/3610.90 c watch checks 105015624465 3600.03/3610.90 c propagation checks 35054662920 3600.03/3610.90 c constraint additions 2808449309 3600.03/3610.90 c trail pops 588773046 3600.03/3610.90 c formula constraints 18999 3600.03/3610.90 c learned constraints 761662 3600.03/3610.90 c bound constraints 0 3600.03/3610.90 c core-guided constraints 0 3600.03/3610.90 c encountered formula constraints 24564738 3600.03/3610.90 c encountered learned constraints 11240088 3600.03/3610.90 c encountered bound constraints 0 3600.03/3610.90 c encountered core-guided constraints 0 3600.03/3610.90 c LP total time 2322.87 s 3600.03/3610.90 c LP solve time 2301.43 s 3600.03/3610.90 c LP constraints added 20198 3600.03/3610.90 c LP constraints removed 896 3600.03/3610.90 c LP pivots internal 770802 3600.03/3610.90 c LP pivots root 708888 3600.03/3610.90 c LP calls 76 3600.03/3610.90 c LP optimalities 13 3600.03/3610.90 c LP no pivot count 0 3600.03/3610.90 c LP infeasibilities 53 3600.03/3610.90 c LP valid Farkas constraints 52 3600.03/3610.90 c LP learned Farkas constraints 36 3600.03/3610.90 c LP basis resets 2 3600.03/3610.90 c LP cycling count 1 3600.03/3610.90 c LP singular count 0 3600.03/3610.90 c LP no primal count 0 3600.03/3610.90 c LP no farkas count 1 3600.03/3610.90 c LP other issue count 0 3600.03/3610.90 c LP Gomory cuts 7 3600.03/3610.90 c LP learned cuts 1192 3600.03/3610.90 c LP deleted cuts 896 3600.03/3610.90 c LP encountered Gomory constraints 0 3600.03/3610.90 c LP encountered Farkas constraints 799 3600.03/3610.90 c LP encountered learned Farkas constraints 215 3600.03/3610.90 c CG auxiliary variables introduced 0 3600.03/3610.90 c CG solutions found 0 3600.03/3610.90 c CG cores constructed 0 3600.03/3610.90 c CG core cardinality constraints returned 0 3600.03/3610.90 c CG unit cores 0 3600.03/3610.90 c CG single cores 0 3600.03/3610.90 c CG blocks removed during cardinality reduction 0 3600.03/3610.90 c CG first core best 0 3600.03/3610.90 c CG decision core best 0 3600.03/3610.90 c CG core reduction tie 0 3600.03/3610.90 c CG core degree average 0.00 3600.03/3610.90 c CG core slack average 0.00 3600.03/3610.90 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61025 MiB free)
memory of node 1: 64510 MiB (61888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455633-1721464316/watcher-4455633-1721464316 -o /tmp/evaluation-result-4455633-1721464316/solver-4455633-1721464316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065998 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455633-1721464316.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1070658, runsolver pid=1070655
[startup+0.100454 s]*
/proc/loadavg: 4.48 4.25 4.16 5/257 1070659
/proc/meminfo: memFree=125837488/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=61204 memory=31728 CPUtime=0.09 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 7985 0 0 0 7 2 0 0 20 0 1 0 198595799 62672896 7932 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 15301 7932 1581 922 0 7253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61204 KiB
Current children cumulated memory: 31728 KiB
[startup+0.205981 s]*
/proc/loadavg: 4.48 4.25 4.16 5/257 1070659
/proc/meminfo: memFree=125832660/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=69760 memory=37272 CPUtime=0.2 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 9341 0 0 0 17 3 0 0 20 0 1 0 198595799 71434240 9318 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 17440 9318 1677 922 0 9392 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69760 KiB
Current children cumulated memory: 37272 KiB
[startup+0.305983 s]*
/proc/loadavg: 4.48 4.25 4.16 5/257 1070659
/proc/meminfo: memFree=125830840/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=71396 memory=38592 CPUtime=0.3 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 9699 0 0 0 27 3 0 0 20 0 1 0 198595799 73109504 9648 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 17849 9648 1677 922 0 9801 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71396 KiB
Current children cumulated memory: 38592 KiB
[startup+0.700228 s]
/proc/loadavg: 4.48 4.25 4.16 5/257 1070659
/proc/meminfo: memFree=125830644/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=71648 memory=39384 CPUtime=0.69 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 9877 0 0 0 66 3 0 0 20 0 1 0 198595799 73367552 9846 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 17912 9846 1677 922 0 9864 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71648 KiB
Current children cumulated memory: 39384 KiB
[startup+1.5002 s]
/proc/loadavg: 4.48 4.25 4.16 5/257 1070659
/proc/meminfo: memFree=125829048/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=72392 memory=40440 CPUtime=1.48 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 10122 0 0 0 138 10 0 0 20 0 1 0 198595799 74129408 10110 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 18098 10110 1677 922 0 10050 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72392 KiB
Current children cumulated memory: 40440 KiB
[startup+3.10598 s]
/proc/loadavg: 4.48 4.25 4.16 5/259 1070693
/proc/meminfo: memFree=125818156/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=74720 memory=43780 CPUtime=3.09 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 10927 0 0 0 291 18 0 0 20 0 1 0 198595799 76513280 10945 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 18680 10945 1724 922 0 10632 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74720 KiB
Current children cumulated memory: 43780 KiB
[startup+6.30023 s]
/proc/loadavg: 4.44 4.24 4.16 5/259 1070693
/proc/meminfo: memFree=125724904/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=77872 memory=47472 CPUtime=6.27 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 11817 0 0 0 607 20 0 0 20 0 1 0 198595799 79740928 11868 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 19468 11868 1724 922 0 11420 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77872 KiB
Current children cumulated memory: 47472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.24 4.16 5/259 1070693
/proc/meminfo: memFree=125689608/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=81404 memory=49772 CPUtime=12.66 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 12385 0 0 0 1228 38 0 0 20 0 1 0 198595799 83357696 12443 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 20351 12443 1786 922 0 12303 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 81404 KiB
Current children cumulated memory: 49772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.23 4.16 5/259 1070696
/proc/meminfo: memFree=125662648/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=82944 memory=51616 CPUtime=25.42 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 12844 0 0 0 2495 47 0 0 20 0 1 0 198595799 84934656 12904 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 20736 12904 1786 922 0 12688 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 82944 KiB
Current children cumulated memory: 51616 KiB
[startup+51.1059 s]
/proc/loadavg: 4.27 4.22 4.16 5/259 1070699
/proc/meminfo: memFree=125395192/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=102548 memory=71276 CPUtime=50.97 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 16202 0 0 0 5007 90 0 0 20 0 1 0 198595799 105009152 17819 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 25637 17819 1802 922 0 17589 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 102548 KiB
Current children cumulated memory: 71276 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.20 4.16 5/258 1070707
/proc/meminfo: memFree=125206916/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=145440 memory=99128 CPUtime=101.99 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 20107 0 0 0 10026 173 0 0 20 0 1 0 198595799 148930560 24782 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 36360 24782 1802 922 0 28312 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 145440 KiB
Current children cumulated memory: 99128 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/258 1070719
/proc/meminfo: memFree=125120460/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=151052 memory=105464 CPUtime=161.8 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 21692 0 0 0 15963 217 0 0 20 0 1 0 198595799 154677248 26366 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 37763 26366 1802 922 0 29715 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 151052 KiB
Current children cumulated memory: 105464 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/255 1070729
/proc/meminfo: memFree=124965656/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=269668 memory=211656 CPUtime=221.62 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 31886 0 0 0 21854 308 0 0 20 0 1 0 198595799 276140032 52914 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 67417 52914 1802 922 0 59369 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 269668 KiB
Current children cumulated memory: 211656 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/254 1070739
/proc/meminfo: memFree=124851124/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=326864 memory=269736 CPUtime=281.44 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 46451 0 0 0 27795 349 0 0 20 0 1 0 198595799 334708736 67434 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 81716 67434 1802 922 0 73668 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 326864 KiB
Current children cumulated memory: 269736 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/254 1070750
/proc/meminfo: memFree=124822480/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=329464 memory=272012 CPUtime=341.27 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 47011 0 0 0 33704 423 0 0 20 0 1 0 198595799 337371136 68003 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 82366 68003 1802 922 0 74318 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 329464 KiB
Current children cumulated memory: 272012 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/254 1070760
/proc/meminfo: memFree=124431200/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=330980 memory=273860 CPUtime=401.08 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 47505 0 0 0 39666 442 0 0 20 0 1 0 198595799 338923520 68465 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 82745 68465 1802 922 0 74697 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 330980 KiB
Current children cumulated memory: 273860 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/254 1070770
/proc/meminfo: memFree=124448488/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=331756 memory=274916 CPUtime=460.89 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 47775 0 0 0 45619 470 0 0 20 0 1 0 198595799 339718144 68729 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 82939 68729 1802 922 0 74891 0
################
# More data... #
################
Current children cumulated memory: 931188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1071789
/proc/meminfo: memFree=123185236/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1264064 memory=931396 CPUtime=2913.51 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 92560 0 0 0 289131 2220 0 0 20 0 1 0 198595799 1294401536 232849 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 316016 232849 1939 922 0 307968 0
Current children cumulated CPU time: 2913.51 s
Current children cumulated vsize: 1264064 KiB
Current children cumulated memory: 931396 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1071800
/proc/meminfo: memFree=123178496/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1268536 memory=936036 CPUtime=2973.32 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 93903 0 0 0 295042 2290 0 0 20 0 1 0 198595799 1298980864 234009 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 317134 234009 1939 922 0 309086 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 1268536 KiB
Current children cumulated memory: 936036 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1071810
/proc/meminfo: memFree=123170272/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1276992 memory=943512 CPUtime=3033.12 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 95855 0 0 0 300974 2338 0 0 20 0 1 0 198595799 1307639808 235878 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 319248 235878 1939 922 0 311200 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 1276992 KiB
Current children cumulated memory: 943512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/257 1071820
/proc/meminfo: memFree=123161704/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1283408 memory=949668 CPUtime=3092.93 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 97627 0 0 0 306890 2403 0 0 20 0 1 0 198595799 1314209792 237417 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 320852 237417 1939 922 0 312804 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 1283408 KiB
Current children cumulated memory: 949668 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/258 1071834
/proc/meminfo: memFree=123157796/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1284172 memory=950616 CPUtime=3152.75 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 97969 0 0 0 312812 2463 0 0 20 0 1 0 198595799 1314992128 237654 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 321043 237654 1939 922 0 312995 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 1284172 KiB
Current children cumulated memory: 950616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 1072229
/proc/meminfo: memFree=123155104/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1284556 memory=951116 CPUtime=3212.56 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 98251 0 0 0 318717 2539 0 0 20 0 1 0 198595799 1315385344 237779 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 321139 237779 1939 922 0 313091 0
Current children cumulated CPU time: 3212.56 s
Current children cumulated vsize: 1284556 KiB
Current children cumulated memory: 951116 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 1072240
/proc/meminfo: memFree=123151156/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1288068 memory=954060 CPUtime=3272.37 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 99167 0 0 0 324646 2591 0 0 20 0 1 0 198595799 1318981632 238515 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 322017 238515 1939 922 0 313969 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 1288068 KiB
Current children cumulated memory: 954060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 1072251
/proc/meminfo: memFree=123149332/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1290172 memory=956660 CPUtime=3332.19 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 99957 0 0 0 330552 2667 0 0 20 0 1 0 198595799 1321136128 239165 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 322543 239165 1939 922 0 314495 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 1290172 KiB
Current children cumulated memory: 956660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/260 1072431
/proc/meminfo: memFree=123145556/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1294124 memory=959932 CPUtime=3392.03 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 100979 0 0 0 336465 2738 0 0 20 0 1 0 198595799 1325182976 239983 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 323531 239983 1939 922 0 315483 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 1294124 KiB
Current children cumulated memory: 959932 KiB
[startup+3462.3 s]
/proc/loadavg: 3.64 4.00 4.05 4/252 1072472
/proc/meminfo: memFree=125320412/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1296816 memory=963744 CPUtime=3451.85 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 102075 0 0 0 342406 2779 0 0 20 0 1 0 198595799 1327939584 240936 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 324204 240936 1939 922 0 316156 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 1296816 KiB
Current children cumulated memory: 963744 KiB
[startup+3522.3 s]
/proc/loadavg: 3.27 3.83 3.99 4/251 1072540
/proc/meminfo: memFree=125308456/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1303848 memory=969440 CPUtime=3511.68 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 103694 0 0 0 348358 2810 0 0 20 0 1 0 198595799 1335140352 242360 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 325962 242360 1939 922 0 317914 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 1303848 KiB
Current children cumulated memory: 969440 KiB
[startup+3582.3 s]
/proc/loadavg: 3.20 3.71 3.94 4/252 1072552
/proc/meminfo: memFree=125295000/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1310452 memory=976724 CPUtime=3571.51 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 105183 0 0 0 354278 2873 0 0 20 0 1 0 198595799 1341902848 244181 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 327613 244181 1939 922 0 319565 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 1310452 KiB
Current children cumulated memory: 976724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 2.90 3.59 3.89 3/245 1072588
/proc/meminfo: memFree=126182468/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1310452 memory=976836 CPUtime=3600.03 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 105277 0 0 0 357106 2897 0 0 20 0 1 0 198595799 1341902848 244209 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 327613 244209 1939 922 0 319565 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1310452 KiB
Current children cumulated memory: 976836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 1070658 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.07 s, system=28.9941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 2.90 3.59 3.89 3/245 1072588
/proc/meminfo: memFree=126182468/131524600 swapFree=131071996/131071996
[pid=1070658] ppid=1070655 vsize=1310452 memory=976836 CPUtime=3600.03 cores=1,3
/proc/1070658/stat : 1070658 (roundingsat) R 1070655 1070658 1065986 0 -1 4194304 105277 0 0 0 357106 2897 0 0 20 0 1 0 198595799 1341902848 244209 134679101440 4194304 7968373 140732218650560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 32382976 140732218655676 140732218655840 140732218655840 140732218662857 0
/proc/1070658/statm: 327613 244209 1939 922 0 319565 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1310452 KiB
Current children cumulated memory: 976836 KiB
Child status: 0
Real time (s): 3610.92
CPU time (s): 3600.06
CPU user time (s): 3571.07
CPU system time (s): 28.9941
CPU usage (%): 99.6992
Max. virtual memory (cumulated for all children) (KiB): 1310452
Max. memory (cumulated for all children) (KiB): 976836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.07
system time used= 28.9941
maximum resident set size= 976900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105294
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= 64
involuntary context switches= 3884
# summary of solver processes directly reported to runsolver:
# pid: 1070658
# total CPU time (s): 3600.06
# total CPU user time (s): 3571.07
# total CPU system time (s): 28.9941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26976 second user time and 18.753 second system time
The end
Begin job on nodeC022 at 2024-07-20 10:32:09 IDJOB=4455633 IDBENCH=158283 IDSOLVER=3084 FILE ID=nodeC022/4455633-1721464316 RUNJOBID= nodeC022-1721456922-1065998 SLURM_JOB_ID= 7545694 Free space on /tmp= 889924 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.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-4455633-1721464316/watcher-4455633-1721464316 -o /tmp/evaluation-result-4455633-1721464316/solver-4455633-1721464316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065998 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455633-1721464316.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849 RANDOM SEED=103187364 nodeC022.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 : 3662.435 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.66 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 : 3666.212 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3600.138 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.66 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 : 3657.581 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3662.510 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.66 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 : 3665.345 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3600.022 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.66 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.077 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125863976 kB MemAvailable: 128673268 kB Buffers: 549716 kB Cached: 3083136 kB SwapCached: 0 kB Active: 1407980 kB Inactive: 3591304 kB Active(anon): 1564 kB Inactive(anon): 1410772 kB Active(file): 1406416 kB Inactive(file): 2180532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13512 kB Writeback: 0 kB AnonPages: 1365564 kB Mapped: 114464 kB Shmem: 45912 kB KReclaimable: 123980 kB Slab: 240840 kB SReclaimable: 123980 kB SUnreclaim: 116860 kB KernelStack: 4092 kB PageTables: 12184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1820688 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71968 kB HardwareCorrupted: 0 kB AnonHugePages: 780288 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: 260820 kB DirectMap2M: 28872704 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890072 MiB End job on nodeC022 at 2024-07-20 11:32:20