| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.05 | 3610.81 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K172.opb |
| MD5SUM | 44b1adf4a7e5c26b78f2dbc134a2606f |
| 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 | 605.744 |
| 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 | 20468 |
| Total number of constraints | 20814 |
| Number of constraints which are clauses | 20642 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 172 |
| 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 | 173 |
| 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.09 c #variables 20468 #constraints 20814 80.30/80.52 c #Conflicts: 1000 | #Constraints: 21813 80.30/80.52 c #Conflicts: 2000 | #Constraints: 22813 80.30/80.52 c INPROCESSING 80.30/80.52 c GARBAGE COLLECT 80.30/80.52 c #Conflicts: 3000 | #Constraints: 22158 80.30/80.52 c #Conflicts: 4000 | #Constraints: 23158 80.30/80.52 c INPROCESSING 80.30/80.52 c GARBAGE COLLECT 80.30/80.52 c #Conflicts: 5000 | #Constraints: 22597 80.30/80.52 c #Conflicts: 6000 | #Constraints: 23597 80.30/80.52 c INPROCESSING 80.30/80.52 c GARBAGE COLLECT 80.30/80.52 c #Conflicts: 7000 | #Constraints: 22682 80.30/80.52 c #Conflicts: 8000 | #Constraints: 23682 80.30/80.52 c #Conflicts: 9000 | #Constraints: 24682 80.30/80.52 c INPROCESSING 80.30/80.52 c GARBAGE COLLECT 80.30/80.52 c rational objective 172 412.45/413.43 c #Conflicts: 10000 | #Constraints: 23488 412.45/413.43 c #Conflicts: 11000 | #Constraints: 24488 412.45/413.43 c #Conflicts: 12000 | #Constraints: 25488 412.45/413.43 c #Conflicts: 13000 | #Constraints: 26488 412.45/413.43 c #Conflicts: 14000 | #Constraints: 27488 412.45/413.43 c #Conflicts: 15000 | #Constraints: 28488 412.45/413.43 c #Conflicts: 16000 | #Constraints: 29488 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 17000 | #Constraints: 25756 412.45/413.43 c #Conflicts: 18000 | #Constraints: 26756 412.45/413.43 c #Conflicts: 19000 | #Constraints: 27756 412.45/413.43 c #Conflicts: 20000 | #Constraints: 28756 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 21000 | #Constraints: 25469 412.45/413.43 c #Conflicts: 22000 | #Constraints: 26469 412.45/413.43 c #Conflicts: 23000 | #Constraints: 27470 412.45/413.43 c #Conflicts: 24000 | #Constraints: 28470 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 25000 | #Constraints: 25855 412.45/413.43 c #Conflicts: 26000 | #Constraints: 26855 412.45/413.43 c #Conflicts: 27000 | #Constraints: 27855 412.45/413.43 c #Conflicts: 28000 | #Constraints: 28855 412.45/413.43 c #Conflicts: 29000 | #Constraints: 29855 412.45/413.43 c #Conflicts: 30000 | #Constraints: 30855 412.45/413.43 c #Conflicts: 31000 | #Constraints: 31855 412.45/413.43 c #Conflicts: 32000 | #Constraints: 32855 412.45/413.43 c #Conflicts: 33000 | #Constraints: 33855 412.45/413.43 c #Conflicts: 34000 | #Constraints: 34855 412.45/413.43 c #Conflicts: 35000 | #Constraints: 35855 412.45/413.43 c #Conflicts: 36000 | #Constraints: 36855 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 37000 | #Constraints: 29874 412.45/413.43 c #Conflicts: 38000 | #Constraints: 30875 412.45/413.43 c #Conflicts: 39000 | #Constraints: 31875 412.45/413.43 c #Conflicts: 40000 | #Constraints: 32875 412.45/413.43 c #Conflicts: 41000 | #Constraints: 33875 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 42000 | #Constraints: 28262 412.45/413.43 c #Conflicts: 43000 | #Constraints: 29262 412.45/413.43 c #Conflicts: 44000 | #Constraints: 30262 412.45/413.43 c #Conflicts: 45000 | #Constraints: 31262 412.45/413.43 c #Conflicts: 46000 | #Constraints: 32262 412.45/413.43 c #Conflicts: 47000 | #Constraints: 33262 412.45/413.43 c #Conflicts: 48000 | #Constraints: 34262 412.45/413.43 c #Conflicts: 49000 | #Constraints: 35262 412.45/413.43 c #Conflicts: 50000 | #Constraints: 36262 412.45/413.43 c #Conflicts: 51000 | #Constraints: 37262 412.45/413.43 c #Conflicts: 52000 | #Constraints: 38262 412.45/413.43 c #Conflicts: 53000 | #Constraints: 39262 412.45/413.43 c #Conflicts: 54000 | #Constraints: 40262 412.45/413.43 c #Conflicts: 55000 | #Constraints: 41262 412.45/413.43 c #Conflicts: 56000 | #Constraints: 42262 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 57000 | #Constraints: 32725 412.45/413.43 c #Conflicts: 58000 | #Constraints: 33725 412.45/413.43 c #Conflicts: 59000 | #Constraints: 34725 412.45/413.43 c #Conflicts: 60000 | #Constraints: 35725 412.45/413.43 c #Conflicts: 61000 | #Constraints: 36725 412.45/413.43 c #Conflicts: 62000 | #Constraints: 37725 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c #Conflicts: 63000 | #Constraints: 30417 412.45/413.43 c #Conflicts: 64000 | #Constraints: 31417 412.45/413.43 c #Conflicts: 65000 | #Constraints: 32417 412.45/413.43 c #Conflicts: 66000 | #Constraints: 33417 412.45/413.43 c #Conflicts: 67000 | #Constraints: 34417 412.45/413.43 c #Conflicts: 68000 | #Constraints: 35417 412.45/413.43 c #Conflicts: 69000 | #Constraints: 36417 412.45/413.43 c #Conflicts: 70000 | #Constraints: 37417 412.45/413.43 c #Conflicts: 71000 | #Constraints: 38417 412.45/413.43 c #Conflicts: 72000 | #Constraints: 39417 412.45/413.43 c #Conflicts: 73000 | #Constraints: 40417 412.45/413.43 c #Conflicts: 74000 | #Constraints: 41417 412.45/413.43 c #Conflicts: 75000 | #Constraints: 42417 412.45/413.43 c #Conflicts: 76000 | #Constraints: 43417 412.45/413.43 c #Conflicts: 77000 | #Constraints: 44418 412.45/413.43 c #Conflicts: 78000 | #Constraints: 45418 412.45/413.43 c #Conflicts: 79000 | #Constraints: 46418 412.45/413.43 c #Conflicts: 80000 | #Constraints: 47418 412.45/413.43 c INPROCESSING 412.45/413.43 c GARBAGE COLLECT 412.45/413.43 c rational objective 172 606.20/607.64 c #Conflicts: 81000 | #Constraints: 35067 606.20/607.64 c #Conflicts: 82000 | #Constraints: 36067 606.20/607.64 c #Conflicts: 83000 | #Constraints: 37067 606.20/607.64 c #Conflicts: 84000 | #Constraints: 38067 606.20/607.64 c #Conflicts: 85000 | #Constraints: 39067 606.20/607.64 c #Conflicts: 86000 | #Constraints: 40067 606.20/607.64 c #Conflicts: 87000 | #Constraints: 41067 606.20/607.64 c #Conflicts: 88000 | #Constraints: 42067 606.20/607.64 c INPROCESSING 606.20/607.64 c GARBAGE COLLECT 606.20/607.64 c #Conflicts: 89000 | #Constraints: 33309 606.20/607.64 c #Conflicts: 90000 | #Constraints: 34309 606.20/607.64 c #Conflicts: 91000 | #Constraints: 35309 606.20/607.64 c #Conflicts: 92000 | #Constraints: 36309 606.20/607.64 c #Conflicts: 93000 | #Constraints: 37310 606.20/607.64 c #Conflicts: 94000 | #Constraints: 38310 606.20/607.64 c #Conflicts: 95000 | #Constraints: 39310 606.20/607.64 c #Conflicts: 96000 | #Constraints: 40310 606.20/607.64 c #Conflicts: 97000 | #Constraints: 41310 606.20/607.64 c #Conflicts: 98000 | #Constraints: 42310 606.20/607.64 c #Conflicts: 99000 | #Constraints: 43310 606.20/607.64 c #Conflicts: 100000 | #Constraints: 44310 606.20/607.64 c #Conflicts: 101000 | #Constraints: 45310 606.20/607.64 c #Conflicts: 102000 | #Constraints: 46310 606.20/607.64 c #Conflicts: 103000 | #Constraints: 47310 606.20/607.64 c #Conflicts: 104000 | #Constraints: 48310 606.20/607.64 c #Conflicts: 105000 | #Constraints: 49310 606.20/607.64 c #Conflicts: 106000 | #Constraints: 50310 606.20/607.64 c #Conflicts: 107000 | #Constraints: 51310 606.20/607.64 c #Conflicts: 108000 | #Constraints: 52310 606.20/607.64 c #Conflicts: 109000 | #Constraints: 53310 606.20/607.64 c INPROCESSING 606.20/607.64 c GARBAGE COLLECT 606.20/607.64 c #Conflicts: 110000 | #Constraints: 38294 606.20/607.64 c #Conflicts: 111000 | #Constraints: 39294 606.20/607.64 c #Conflicts: 112000 | #Constraints: 40294 606.20/607.64 c #Conflicts: 113000 | #Constraints: 41294 606.20/607.64 c #Conflicts: 114000 | #Constraints: 42294 606.20/607.64 c #Conflicts: 115000 | #Constraints: 43294 606.20/607.64 c #Conflicts: 116000 | #Constraints: 44294 606.20/607.64 c #Conflicts: 117000 | #Constraints: 45294 606.20/607.64 c #Conflicts: 118000 | #Constraints: 46294 606.20/607.64 c INPROCESSING 606.20/607.64 c GARBAGE COLLECT 606.20/607.64 c #Conflicts: 119000 | #Constraints: 35475 606.20/607.64 c #Conflicts: 120000 | #Constraints: 36475 606.20/607.64 c #Conflicts: 121000 | #Constraints: 37475 606.20/607.64 c #Conflicts: 122000 | #Constraints: 38475 606.20/607.64 c #Conflicts: 123000 | #Constraints: 39475 606.20/607.64 c #Conflicts: 124000 | #Constraints: 40475 606.20/607.64 c #Conflicts: 125000 | #Constraints: 41475 606.20/607.64 c #Conflicts: 126000 | #Constraints: 42475 606.20/607.64 c #Conflicts: 127000 | #Constraints: 43476 606.20/607.64 c #Conflicts: 128000 | #Constraints: 44476 606.20/607.64 c #Conflicts: 129000 | #Constraints: 45476 606.20/607.64 c #Conflicts: 130000 | #Constraints: 46476 606.20/607.64 c #Conflicts: 131000 | #Constraints: 47476 606.20/607.64 c #Conflicts: 132000 | #Constraints: 48476 606.20/607.64 c #Conflicts: 133000 | #Constraints: 49476 606.20/607.64 c #Conflicts: 134000 | #Constraints: 50476 606.20/607.64 c #Conflicts: 135000 | #Constraints: 51476 606.20/607.64 c #Conflicts: 136000 | #Constraints: 52476 606.20/607.64 c #Conflicts: 137000 | #Constraints: 53476 606.20/607.64 c #Conflicts: 138000 | #Constraints: 54476 606.20/607.64 c #Conflicts: 139000 | #Constraints: 55476 606.20/607.64 c #Conflicts: 140000 | #Constraints: 56476 606.20/607.64 c #Conflicts: 141000 | #Constraints: 57477 606.20/607.64 c #Conflicts: 142000 | #Constraints: 58477 606.20/607.64 c INPROCESSING 606.20/607.64 c GARBAGE COLLECT 606.20/607.64 c rational objective 172 644.29/645.87 c #Conflicts: 143000 | #Constraints: 40833 644.29/645.87 c #Conflicts: 144000 | #Constraints: 41833 644.29/645.87 c #Conflicts: 145000 | #Constraints: 42833 644.29/645.87 c #Conflicts: 146000 | #Constraints: 43833 644.29/645.87 c #Conflicts: 147000 | #Constraints: 44833 644.29/645.87 c #Conflicts: 148000 | #Constraints: 45833 644.29/645.87 c #Conflicts: 149000 | #Constraints: 46833 644.29/645.87 c #Conflicts: 150000 | #Constraints: 47833 644.29/645.87 c #Conflicts: 151000 | #Constraints: 48833 644.29/645.87 c #Conflicts: 152000 | #Constraints: 49833 644.29/645.87 c #Conflicts: 153000 | #Constraints: 50833 644.29/645.87 c INPROCESSING 644.29/645.87 c GARBAGE COLLECT 644.29/645.87 c rational objective 172 724.68/726.40 c #Conflicts: 154000 | #Constraints: 38634 724.68/726.40 c #Conflicts: 155000 | #Constraints: 39634 724.68/726.40 c #Conflicts: 156000 | #Constraints: 40634 724.68/726.40 c #Conflicts: 157000 | #Constraints: 41635 724.68/726.40 c #Conflicts: 158000 | #Constraints: 42635 724.68/726.40 c #Conflicts: 159000 | #Constraints: 43635 724.68/726.40 c #Conflicts: 160000 | #Constraints: 44635 724.68/726.40 c #Conflicts: 161000 | #Constraints: 45635 724.68/726.40 c #Conflicts: 162000 | #Constraints: 46635 724.68/726.40 c #Conflicts: 163000 | #Constraints: 47635 724.68/726.40 c #Conflicts: 164000 | #Constraints: 48635 724.68/726.40 c #Conflicts: 165000 | #Constraints: 49635 724.68/726.40 c #Conflicts: 166000 | #Constraints: 50635 724.68/726.40 c #Conflicts: 167000 | #Constraints: 51635 724.68/726.40 c #Conflicts: 168000 | #Constraints: 52635 724.68/726.40 c #Conflicts: 169000 | #Constraints: 53635 724.68/726.40 c #Conflicts: 170000 | #Constraints: 54635 724.68/726.40 c #Conflicts: 171000 | #Constraints: 55635 724.68/726.40 c #Conflicts: 172000 | #Constraints: 56635 724.68/726.40 c #Conflicts: 173000 | #Constraints: 57635 724.68/726.40 c #Conflicts: 174000 | #Constraints: 58635 724.68/726.40 c #Conflicts: 175000 | #Constraints: 59635 724.68/726.40 c #Conflicts: 176000 | #Constraints: 60635 724.68/726.40 c #Conflicts: 177000 | #Constraints: 61635 724.68/726.40 c #Conflicts: 178000 | #Constraints: 62635 724.68/726.40 c #Conflicts: 179000 | #Constraints: 63635 724.68/726.40 c #Conflicts: 180000 | #Constraints: 64635 724.68/726.40 c INPROCESSING 724.68/726.40 c GARBAGE COLLECT 724.68/726.40 c rational objective 172 999.43/1001.99 c #Conflicts: 181000 | #Constraints: 44255 999.43/1001.99 c #Conflicts: 182000 | #Constraints: 45255 999.43/1001.99 c #Conflicts: 183000 | #Constraints: 46255 999.43/1001.99 c #Conflicts: 184000 | #Constraints: 47255 999.43/1001.99 c #Conflicts: 185000 | #Constraints: 48255 999.43/1001.99 c #Conflicts: 186000 | #Constraints: 49255 999.43/1001.99 c #Conflicts: 187000 | #Constraints: 50256 999.43/1001.99 c #Conflicts: 188000 | #Constraints: 51256 999.43/1001.99 c #Conflicts: 189000 | #Constraints: 52256 999.43/1001.99 c #Conflicts: 190000 | #Constraints: 53256 999.43/1001.99 c #Conflicts: 191000 | #Constraints: 54257 999.43/1001.99 c INPROCESSING 999.43/1001.99 c GARBAGE COLLECT 999.43/1001.99 c #Conflicts: 192000 | #Constraints: 40617 999.43/1001.99 c #Conflicts: 193000 | #Constraints: 41617 999.43/1001.99 c #Conflicts: 194000 | #Constraints: 42617 999.43/1001.99 c #Conflicts: 195000 | #Constraints: 43617 999.43/1001.99 c #Conflicts: 196000 | #Constraints: 44617 999.43/1001.99 c #Conflicts: 197000 | #Constraints: 45617 999.43/1001.99 c #Conflicts: 198000 | #Constraints: 46617 999.43/1001.99 c #Conflicts: 199000 | #Constraints: 47617 999.43/1001.99 c #Conflicts: 200000 | #Constraints: 48617 999.43/1001.99 c #Conflicts: 201000 | #Constraints: 49617 999.43/1001.99 c #Conflicts: 202000 | #Constraints: 50617 999.43/1001.99 c #Conflicts: 203000 | #Constraints: 51617 999.43/1001.99 c #Conflicts: 204000 | #Constraints: 52617 999.43/1001.99 c #Conflicts: 205000 | #Constraints: 53617 999.43/1001.99 c #Conflicts: 206000 | #Constraints: 54617 999.43/1001.99 c #Conflicts: 207000 | #Constraints: 55617 999.43/1001.99 c #Conflicts: 208000 | #Constraints: 56617 999.43/1001.99 c #Conflicts: 209000 | #Constraints: 57618 999.43/1001.99 c #Conflicts: 210000 | #Constraints: 58618 999.43/1001.99 c #Conflicts: 211000 | #Constraints: 59618 999.43/1001.99 c #Conflicts: 212000 | #Constraints: 60618 999.43/1001.99 c #Conflicts: 213000 | #Constraints: 61618 999.43/1001.99 c #Conflicts: 214000 | #Constraints: 62618 999.43/1001.99 c #Conflicts: 215000 | #Constraints: 63618 999.43/1001.99 c #Conflicts: 216000 | #Constraints: 64618 999.43/1001.99 c #Conflicts: 217000 | #Constraints: 65618 999.43/1001.99 c #Conflicts: 218000 | #Constraints: 66618 999.43/1001.99 c #Conflicts: 219000 | #Constraints: 67618 999.43/1001.99 c #Conflicts: 220000 | #Constraints: 68618 999.43/1001.99 c #Conflicts: 221000 | #Constraints: 69618 999.43/1001.99 c #Conflicts: 222000 | #Constraints: 70618 999.43/1001.99 c INPROCESSING 999.43/1001.99 c GARBAGE COLLECT 999.43/1001.99 c #Conflicts: 223000 | #Constraints: 47156 999.43/1001.99 c #Conflicts: 224000 | #Constraints: 48156 999.43/1001.99 c #Conflicts: 225000 | #Constraints: 49156 999.43/1001.99 c #Conflicts: 226000 | #Constraints: 50157 999.43/1001.99 c #Conflicts: 227000 | #Constraints: 51157 999.43/1001.99 c #Conflicts: 228000 | #Constraints: 52157 999.43/1001.99 c #Conflicts: 229000 | #Constraints: 53157 999.43/1001.99 c #Conflicts: 230000 | #Constraints: 54157 999.43/1001.99 c #Conflicts: 231000 | #Constraints: 55157 999.43/1001.99 c #Conflicts: 232000 | #Constraints: 56157 999.43/1001.99 c #Conflicts: 233000 | #Constraints: 57157 999.43/1001.99 c #Conflicts: 234000 | #Constraints: 58157 999.43/1001.99 c #Conflicts: 235000 | #Constraints: 59157 999.43/1001.99 c INPROCESSING 999.43/1001.99 c GARBAGE COLLECT 999.43/1001.99 c rational objective 172 1222.91/1226.01 c #Conflicts: 236000 | #Constraints: 42847 1222.91/1226.01 c #Conflicts: 237000 | #Constraints: 43847 1222.91/1226.01 c #Conflicts: 238000 | #Constraints: 44847 1222.91/1226.01 c #Conflicts: 239000 | #Constraints: 45847 1222.91/1226.01 c #Conflicts: 240000 | #Constraints: 46847 1222.91/1226.01 c #Conflicts: 241000 | #Constraints: 47848 1222.91/1226.01 c #Conflicts: 242000 | #Constraints: 48848 1222.91/1226.01 c #Conflicts: 243000 | #Constraints: 49848 1222.91/1226.01 c #Conflicts: 244000 | #Constraints: 50848 1222.91/1226.01 c #Conflicts: 245000 | #Constraints: 51848 1222.91/1226.01 c #Conflicts: 246000 | #Constraints: 52848 1222.91/1226.01 c #Conflicts: 247000 | #Constraints: 53848 1222.91/1226.01 c #Conflicts: 248000 | #Constraints: 54848 1222.91/1226.01 c #Conflicts: 249000 | #Constraints: 55848 1222.91/1226.01 c #Conflicts: 250000 | #Constraints: 56848 1222.91/1226.01 c #Conflicts: 251000 | #Constraints: 57848 1222.91/1226.01 c #Conflicts: 252000 | #Constraints: 58848 1222.91/1226.01 c #Conflicts: 253000 | #Constraints: 59848 1222.91/1226.01 c #Conflicts: 254000 | #Constraints: 60848 1222.91/1226.01 c #Conflicts: 255000 | #Constraints: 61848 1222.91/1226.01 c #Conflicts: 256000 | #Constraints: 62848 1222.91/1226.01 c #Conflicts: 257000 | #Constraints: 63849 1222.91/1226.01 c #Conflicts: 258000 | #Constraints: 64849 1222.91/1226.01 c #Conflicts: 259000 | #Constraints: 65849 1222.91/1226.01 c #Conflicts: 260000 | #Constraints: 66849 1222.91/1226.01 c #Conflicts: 261000 | #Constraints: 67849 1222.91/1226.01 c #Conflicts: 262000 | #Constraints: 68849 1222.91/1226.01 c #Conflicts: 263000 | #Constraints: 69849 1222.91/1226.01 c #Conflicts: 264000 | #Constraints: 70849 1222.91/1226.01 c #Conflicts: 265000 | #Constraints: 71849 1222.91/1226.01 c #Conflicts: 266000 | #Constraints: 72849 1222.91/1226.01 c #Conflicts: 267000 | #Constraints: 73849 1222.91/1226.01 c #Conflicts: 268000 | #Constraints: 74849 1222.91/1226.01 c INPROCESSING 1222.91/1226.01 c GARBAGE COLLECT 1222.91/1226.01 c rational objective 172 1429.36/1433.07 c #Conflicts: 269000 | #Constraints: 49308 1429.36/1433.07 c #Conflicts: 270000 | #Constraints: 50308 1429.36/1433.07 c #Conflicts: 271000 | #Constraints: 51308 1429.36/1433.07 c #Conflicts: 272000 | #Constraints: 52308 1429.36/1433.07 c #Conflicts: 273000 | #Constraints: 53308 1429.36/1433.07 c #Conflicts: 274000 | #Constraints: 54308 1429.36/1433.07 c #Conflicts: 275000 | #Constraints: 55308 1429.36/1433.07 c #Conflicts: 276000 | #Constraints: 56308 1429.36/1433.07 c #Conflicts: 277000 | #Constraints: 57308 1429.36/1433.07 c #Conflicts: 278000 | #Constraints: 58308 1429.36/1433.07 c #Conflicts: 279000 | #Constraints: 59308 1429.36/1433.07 c #Conflicts: 280000 | #Constraints: 60308 1429.36/1433.07 c #Conflicts: 281000 | #Constraints: 61308 1429.36/1433.07 c #Conflicts: 282000 | #Constraints: 62308 1429.36/1433.07 c INPROCESSING 1429.36/1433.07 c GARBAGE COLLECT 1429.36/1433.07 c #Conflicts: 283000 | #Constraints: 45042 1429.36/1433.07 c #Conflicts: 284000 | #Constraints: 46042 1429.36/1433.07 c #Conflicts: 285000 | #Constraints: 47043 1429.36/1433.07 c #Conflicts: 286000 | #Constraints: 48043 1429.36/1433.07 c #Conflicts: 287000 | #Constraints: 49043 1429.36/1433.07 c #Conflicts: 288000 | #Constraints: 50043 1429.36/1433.07 c #Conflicts: 289000 | #Constraints: 51043 1429.36/1433.07 c #Conflicts: 290000 | #Constraints: 52043 1429.36/1433.07 c #Conflicts: 291000 | #Constraints: 53043 1429.36/1433.07 c #Conflicts: 292000 | #Constraints: 54043 1429.36/1433.07 c #Conflicts: 293000 | #Constraints: 55043 1429.36/1433.07 c #Conflicts: 294000 | #Constraints: 56043 1429.36/1433.07 c #Conflicts: 295000 | #Constraints: 57043 1429.36/1433.07 c #Conflicts: 296000 | #Constraints: 58043 1429.36/1433.07 c #Conflicts: 297000 | #Constraints: 59043 1429.36/1433.07 c #Conflicts: 298000 | #Constraints: 60043 1429.36/1433.07 c #Conflicts: 299000 | #Constraints: 61043 1429.36/1433.07 c #Conflicts: 300000 | #Constraints: 62044 1429.36/1433.07 c #Conflicts: 301000 | #Constraints: 63044 1429.36/1433.07 c #Conflicts: 302000 | #Constraints: 64044 1429.36/1433.07 c #Conflicts: 303000 | #Constraints: 65044 1429.36/1433.07 c #Conflicts: 304000 | #Constraints: 66044 1429.36/1433.07 c #Conflicts: 305000 | #Constraints: 67044 1429.36/1433.07 c #Conflicts: 306000 | #Constraints: 68044 1429.36/1433.07 c #Conflicts: 307000 | #Constraints: 69044 1429.36/1433.07 c #Conflicts: 308000 | #Constraints: 70044 1429.36/1433.07 c #Conflicts: 309000 | #Constraints: 71044 1429.36/1433.07 c #Conflicts: 310000 | #Constraints: 72044 1429.36/1433.07 c #Conflicts: 311000 | #Constraints: 73044 1429.36/1433.07 c #Conflicts: 312000 | #Constraints: 74044 1429.36/1433.07 c #Conflicts: 313000 | #Constraints: 75044 1429.36/1433.07 c #Conflicts: 314000 | #Constraints: 76044 1429.36/1433.07 c #Conflicts: 315000 | #Constraints: 77044 1429.36/1433.07 c #Conflicts: 316000 | #Constraints: 78044 1429.36/1433.07 c #Conflicts: 317000 | #Constraints: 79045 1429.36/1433.07 c #Conflicts: 318000 | #Constraints: 80045 1429.36/1433.07 c #Conflicts: 319000 | #Constraints: 81045 1429.36/1433.07 c INPROCESSING 1429.36/1433.07 c GARBAGE COLLECT 1429.36/1433.07 c #Conflicts: 320000 | #Constraints: 52660 1429.36/1433.07 c #Conflicts: 321000 | #Constraints: 53660 1429.36/1433.07 c #Conflicts: 322000 | #Constraints: 54660 1429.36/1433.07 c #Conflicts: 323000 | #Constraints: 55660 1429.36/1433.07 c #Conflicts: 324000 | #Constraints: 56660 1429.36/1433.07 c #Conflicts: 325000 | #Constraints: 57660 1429.36/1433.07 c #Conflicts: 326000 | #Constraints: 58660 1429.36/1433.07 c #Conflicts: 327000 | #Constraints: 59660 1429.36/1433.07 c #Conflicts: 328000 | #Constraints: 60660 1429.36/1433.07 c #Conflicts: 329000 | #Constraints: 61660 1429.36/1433.07 c #Conflicts: 330000 | #Constraints: 62660 1429.36/1433.07 c #Conflicts: 331000 | #Constraints: 63660 1429.36/1433.07 c #Conflicts: 332000 | #Constraints: 64660 1429.36/1433.07 c #Conflicts: 333000 | #Constraints: 65660 1429.36/1433.07 c #Conflicts: 334000 | #Constraints: 66661 1429.36/1433.07 c #Conflicts: 335000 | #Constraints: 67661 1429.36/1433.07 c INPROCESSING 1429.36/1433.07 c GARBAGE COLLECT 1429.36/1433.07 c #Conflicts: 336000 | #Constraints: 48844 1429.36/1433.07 c #Conflicts: 337000 | #Constraints: 49844 1429.36/1433.07 c #Conflicts: 338000 | #Constraints: 50844 1429.36/1433.07 c #Conflicts: 339000 | #Constraints: 51844 1429.36/1433.07 c #Conflicts: 340000 | #Constraints: 52844 1429.36/1433.07 c #Conflicts: 341000 | #Constraints: 53844 1429.36/1433.07 c #Conflicts: 342000 | #Constraints: 54844 1429.36/1433.07 c #Conflicts: 343000 | #Constraints: 55844 1429.36/1433.07 c #Conflicts: 344000 | #Constraints: 56844 1429.36/1433.07 c #Conflicts: 345000 | #Constraints: 57844 1620.54/1624.72 c #Conflicts: 346000 | #Constraints: 58844 1620.54/1624.72 c #Conflicts: 347000 | #Constraints: 59844 1620.54/1624.72 c #Conflicts: 348000 | #Constraints: 60844 1620.54/1624.72 c #Conflicts: 349000 | #Constraints: 61844 1620.54/1624.72 c #Conflicts: 350000 | #Constraints: 62844 1620.54/1624.72 c #Conflicts: 351000 | #Constraints: 63844 1620.54/1624.72 c #Conflicts: 352000 | #Constraints: 64844 1620.54/1624.72 c #Conflicts: 353000 | #Constraints: 65844 1620.54/1624.72 c #Conflicts: 354000 | #Constraints: 66844 1620.54/1624.72 c #Conflicts: 355000 | #Constraints: 67844 1620.54/1624.72 c #Conflicts: 356000 | #Constraints: 68844 1620.54/1624.72 c #Conflicts: 357000 | #Constraints: 69844 1620.54/1624.72 c #Conflicts: 358000 | #Constraints: 70844 1620.54/1624.72 c #Conflicts: 359000 | #Constraints: 71844 1620.54/1624.72 c #Conflicts: 360000 | #Constraints: 72845 1620.54/1624.72 c #Conflicts: 361000 | #Constraints: 73845 1620.54/1624.72 c #Conflicts: 362000 | #Constraints: 74845 1620.54/1624.72 c #Conflicts: 363000 | #Constraints: 75845 1620.54/1624.72 c #Conflicts: 364000 | #Constraints: 76845 1620.54/1624.72 c #Conflicts: 365000 | #Constraints: 77845 1620.54/1624.72 c #Conflicts: 366000 | #Constraints: 78845 1620.54/1624.72 c #Conflicts: 367000 | #Constraints: 79845 1620.54/1624.72 c #Conflicts: 368000 | #Constraints: 80845 1620.54/1624.72 c #Conflicts: 369000 | #Constraints: 81845 1620.54/1624.72 c #Conflicts: 370000 | #Constraints: 82845 1620.54/1624.72 c #Conflicts: 371000 | #Constraints: 83845 1620.54/1624.72 c #Conflicts: 372000 | #Constraints: 84845 1620.54/1624.72 c #Conflicts: 373000 | #Constraints: 85846 1620.54/1624.72 c #Conflicts: 374000 | #Constraints: 86846 1620.54/1624.72 c INPROCESSING 1620.54/1624.72 c GARBAGE COLLECT 1620.54/1624.72 c rational objective 172 1812.13/1816.89 c #Conflicts: 375000 | #Constraints: 55267 1812.13/1816.89 c #Conflicts: 376000 | #Constraints: 56267 1812.13/1816.89 c #Conflicts: 377000 | #Constraints: 57267 1812.13/1816.89 c #Conflicts: 378000 | #Constraints: 58267 1812.13/1816.89 c #Conflicts: 379000 | #Constraints: 59267 1812.13/1816.89 c #Conflicts: 380000 | #Constraints: 60267 1812.13/1816.89 c #Conflicts: 381000 | #Constraints: 61267 1812.13/1816.89 c #Conflicts: 382000 | #Constraints: 62267 1812.13/1816.89 c #Conflicts: 383000 | #Constraints: 63267 1812.13/1816.89 c #Conflicts: 384000 | #Constraints: 64267 1812.13/1816.89 c #Conflicts: 385000 | #Constraints: 65267 1812.13/1816.89 c #Conflicts: 386000 | #Constraints: 66267 1812.13/1816.89 c #Conflicts: 387000 | #Constraints: 67267 1812.13/1816.89 c #Conflicts: 388000 | #Constraints: 68267 1812.13/1816.89 c #Conflicts: 389000 | #Constraints: 69267 1812.13/1816.89 c #Conflicts: 390000 | #Constraints: 70267 1812.13/1816.89 c #Conflicts: 391000 | #Constraints: 71267 1812.13/1816.89 c INPROCESSING 1812.13/1816.89 c GARBAGE COLLECT 1812.13/1816.89 c #Conflicts: 392000 | #Constraints: 51330 1812.13/1816.89 c #Conflicts: 393000 | #Constraints: 52330 1812.13/1816.89 c #Conflicts: 394000 | #Constraints: 53330 1812.13/1816.89 c #Conflicts: 395000 | #Constraints: 54330 1812.13/1816.89 c #Conflicts: 396000 | #Constraints: 55330 1812.13/1816.89 c #Conflicts: 397000 | #Constraints: 56331 1812.13/1816.89 c #Conflicts: 398000 | #Constraints: 57331 1812.13/1816.89 c #Conflicts: 399000 | #Constraints: 58331 1812.13/1816.89 c #Conflicts: 400000 | #Constraints: 59331 1812.13/1816.89 c #Conflicts: 401000 | #Constraints: 60331 1812.13/1816.89 c #Conflicts: 402000 | #Constraints: 61331 1812.13/1816.89 c #Conflicts: 403000 | #Constraints: 62331 1812.13/1816.89 c #Conflicts: 404000 | #Constraints: 63331 1812.13/1816.89 c #Conflicts: 405000 | #Constraints: 64331 1812.13/1816.89 c #Conflicts: 406000 | #Constraints: 65331 1812.13/1816.89 c #Conflicts: 407000 | #Constraints: 66331 1812.13/1816.89 c #Conflicts: 408000 | #Constraints: 67331 1812.13/1816.89 c #Conflicts: 409000 | #Constraints: 68331 1812.13/1816.89 c #Conflicts: 410000 | #Constraints: 69332 1812.13/1816.89 c #Conflicts: 411000 | #Constraints: 70332 1812.13/1816.89 c #Conflicts: 412000 | #Constraints: 71332 1812.13/1816.89 c #Conflicts: 413000 | #Constraints: 72332 1812.13/1816.89 c #Conflicts: 414000 | #Constraints: 73332 1812.13/1816.89 c #Conflicts: 415000 | #Constraints: 74332 1812.13/1816.89 c #Conflicts: 416000 | #Constraints: 75332 1812.13/1816.89 c #Conflicts: 417000 | #Constraints: 76332 1812.13/1816.89 c #Conflicts: 418000 | #Constraints: 77332 1812.13/1816.89 c #Conflicts: 419000 | #Constraints: 78332 1812.13/1816.89 c #Conflicts: 420000 | #Constraints: 79332 1812.13/1816.89 c #Conflicts: 421000 | #Constraints: 80332 1812.13/1816.89 c #Conflicts: 422000 | #Constraints: 81332 1812.13/1816.89 c #Conflicts: 423000 | #Constraints: 82332 1812.13/1816.89 c #Conflicts: 424000 | #Constraints: 83332 1812.13/1816.89 c #Conflicts: 425000 | #Constraints: 84332 1812.13/1816.89 c #Conflicts: 426000 | #Constraints: 85332 1812.13/1816.89 c #Conflicts: 427000 | #Constraints: 86332 1812.13/1816.89 c #Conflicts: 428000 | #Constraints: 87332 1812.13/1816.89 c #Conflicts: 429000 | #Constraints: 88332 1812.13/1816.89 c #Conflicts: 430000 | #Constraints: 89332 1812.13/1816.89 c #Conflicts: 431000 | #Constraints: 90332 1812.13/1816.89 c #Conflicts: 432000 | #Constraints: 91332 1812.13/1816.89 c #Conflicts: 433000 | #Constraints: 92332 1812.13/1816.89 c #Conflicts: 434000 | #Constraints: 93332 1812.13/1816.89 c INPROCESSING 1812.13/1816.89 c GARBAGE COLLECT 1812.13/1816.89 c #Conflicts: 435000 | #Constraints: 59078 1812.13/1816.89 c #Conflicts: 436000 | #Constraints: 60078 1812.13/1816.89 c #Conflicts: 437000 | #Constraints: 61079 1812.13/1816.89 c #Conflicts: 438000 | #Constraints: 62079 1812.13/1816.89 c #Conflicts: 439000 | #Constraints: 63079 1812.13/1816.89 c #Conflicts: 440000 | #Constraints: 64079 1812.13/1816.89 c #Conflicts: 441000 | #Constraints: 65079 1812.13/1816.89 c #Conflicts: 442000 | #Constraints: 66079 1812.13/1816.89 c #Conflicts: 443000 | #Constraints: 67079 1812.13/1816.89 c #Conflicts: 444000 | #Constraints: 68079 1812.13/1816.89 c #Conflicts: 445000 | #Constraints: 69079 1812.13/1816.89 c #Conflicts: 446000 | #Constraints: 70079 1812.13/1816.89 c #Conflicts: 447000 | #Constraints: 71079 1812.13/1816.89 c #Conflicts: 448000 | #Constraints: 72079 1812.13/1816.89 c #Conflicts: 449000 | #Constraints: 73079 1812.13/1816.89 c #Conflicts: 450000 | #Constraints: 74080 1812.13/1816.89 c #Conflicts: 451000 | #Constraints: 75080 1812.13/1816.89 c #Conflicts: 452000 | #Constraints: 76080 2271.43/2277.33 c INPROCESSING 2271.43/2277.33 c GARBAGE COLLECT 2271.43/2277.33 c #Conflicts: 453000 | #Constraints: 53436 2271.43/2277.33 c #Conflicts: 454000 | #Constraints: 54436 2271.43/2277.33 c #Conflicts: 455000 | #Constraints: 55436 2271.43/2277.33 c #Conflicts: 456000 | #Constraints: 56436 2271.43/2277.33 c #Conflicts: 457000 | #Constraints: 57436 2271.43/2277.33 c #Conflicts: 458000 | #Constraints: 58436 2271.43/2277.33 c #Conflicts: 459000 | #Constraints: 59436 2271.43/2277.33 c #Conflicts: 460000 | #Constraints: 60436 2271.43/2277.33 c #Conflicts: 461000 | #Constraints: 61436 2271.43/2277.33 c #Conflicts: 462000 | #Constraints: 62436 2271.43/2277.33 c #Conflicts: 463000 | #Constraints: 63437 2271.43/2277.33 c #Conflicts: 464000 | #Constraints: 64437 2271.43/2277.33 c #Conflicts: 465000 | #Constraints: 65437 2271.43/2277.33 c #Conflicts: 466000 | #Constraints: 66437 2271.43/2277.33 c #Conflicts: 467000 | #Constraints: 67437 2271.43/2277.33 c #Conflicts: 468000 | #Constraints: 68437 2271.43/2277.33 c #Conflicts: 469000 | #Constraints: 69437 2271.43/2277.33 c #Conflicts: 470000 | #Constraints: 70437 2271.43/2277.33 c #Conflicts: 471000 | #Constraints: 71437 2271.43/2277.33 c #Conflicts: 472000 | #Constraints: 72437 2271.43/2277.33 c #Conflicts: 473000 | #Constraints: 73437 2271.43/2277.33 c #Conflicts: 474000 | #Constraints: 74437 2271.43/2277.33 c #Conflicts: 475000 | #Constraints: 75437 2271.43/2277.33 c #Conflicts: 476000 | #Constraints: 76437 2271.43/2277.33 c #Conflicts: 477000 | #Constraints: 77438 2271.43/2277.33 c #Conflicts: 478000 | #Constraints: 78439 2271.43/2277.33 c #Conflicts: 479000 | #Constraints: 79439 2271.43/2277.33 c #Conflicts: 480000 | #Constraints: 80440 2271.43/2277.33 c #Conflicts: 481000 | #Constraints: 81440 2271.43/2277.33 c #Conflicts: 482000 | #Constraints: 82440 2271.43/2277.33 c #Conflicts: 483000 | #Constraints: 83440 2271.43/2277.33 c #Conflicts: 484000 | #Constraints: 84440 2271.43/2277.33 c #Conflicts: 485000 | #Constraints: 85440 2271.43/2277.33 c #Conflicts: 486000 | #Constraints: 86440 2271.43/2277.33 c #Conflicts: 487000 | #Constraints: 87440 2271.43/2277.33 c #Conflicts: 488000 | #Constraints: 88440 2271.43/2277.33 c #Conflicts: 489000 | #Constraints: 89440 2271.43/2277.33 c #Conflicts: 490000 | #Constraints: 90440 2271.43/2277.33 c #Conflicts: 491000 | #Constraints: 91440 2271.43/2277.33 c #Conflicts: 492000 | #Constraints: 92440 2271.43/2277.33 c #Conflicts: 493000 | #Constraints: 93440 2271.43/2277.33 c #Conflicts: 494000 | #Constraints: 94441 2271.43/2277.33 c #Conflicts: 495000 | #Constraints: 95441 2271.43/2277.33 c #Conflicts: 496000 | #Constraints: 96441 2271.43/2277.33 c #Conflicts: 497000 | #Constraints: 97441 2271.43/2277.33 c #Conflicts: 498000 | #Constraints: 98441 2271.43/2277.33 c INPROCESSING 2271.43/2277.33 c GARBAGE COLLECT 2271.43/2277.33 c rational objective 172 2430.82/2437.19 c #Conflicts: 499000 | #Constraints: 61214 2430.82/2437.19 c #Conflicts: 500000 | #Constraints: 62215 2430.82/2437.19 c #Conflicts: 501000 | #Constraints: 63217 2430.82/2437.19 c #Conflicts: 502000 | #Constraints: 64218 2430.82/2437.19 c #Conflicts: 503000 | #Constraints: 65220 2430.82/2437.19 c #Conflicts: 504000 | #Constraints: 66220 2430.82/2437.19 c #Conflicts: 505000 | #Constraints: 67221 2430.82/2437.19 c #Conflicts: 506000 | #Constraints: 68221 2430.82/2437.19 c #Conflicts: 507000 | #Constraints: 69221 2430.82/2437.19 c #Conflicts: 508000 | #Constraints: 70221 2430.82/2437.19 c #Conflicts: 509000 | #Constraints: 71221 2430.82/2437.19 c #Conflicts: 510000 | #Constraints: 72221 2430.82/2437.19 c #Conflicts: 511000 | #Constraints: 73221 2430.82/2437.19 c #Conflicts: 512000 | #Constraints: 74221 2430.82/2437.19 c #Conflicts: 513000 | #Constraints: 75221 2430.82/2437.19 c #Conflicts: 514000 | #Constraints: 76221 2430.82/2437.19 c #Conflicts: 515000 | #Constraints: 77221 2430.82/2437.19 c #Conflicts: 516000 | #Constraints: 78221 2430.82/2437.19 c #Conflicts: 517000 | #Constraints: 79221 2430.82/2437.19 c INPROCESSING 2430.82/2437.19 c GARBAGE COLLECT 2430.82/2437.19 c rational objective 172 2679.89/2686.86 c #Conflicts: 518000 | #Constraints: 54399 2679.89/2686.86 c #Conflicts: 519000 | #Constraints: 55400 2679.89/2686.86 c #Conflicts: 520000 | #Constraints: 56400 2679.89/2686.86 c #Conflicts: 521000 | #Constraints: 57400 2679.89/2686.86 c #Conflicts: 522000 | #Constraints: 58400 2679.89/2686.86 c #Conflicts: 523000 | #Constraints: 59400 2679.89/2686.86 c #Conflicts: 524000 | #Constraints: 60400 2679.89/2686.86 c #Conflicts: 525000 | #Constraints: 61400 2679.89/2686.86 c #Conflicts: 526000 | #Constraints: 62400 2679.89/2686.86 c #Conflicts: 527000 | #Constraints: 63400 2679.89/2686.86 c #Conflicts: 528000 | #Constraints: 64400 2679.89/2686.86 c #Conflicts: 529000 | #Constraints: 65400 2679.89/2686.86 c #Conflicts: 530000 | #Constraints: 66400 2679.89/2686.86 c #Conflicts: 531000 | #Constraints: 67400 2679.89/2686.86 c #Conflicts: 532000 | #Constraints: 68400 2679.89/2686.86 c #Conflicts: 533000 | #Constraints: 69400 2679.89/2686.86 c #Conflicts: 534000 | #Constraints: 70401 2679.89/2686.86 c #Conflicts: 535000 | #Constraints: 71401 2679.89/2686.86 c #Conflicts: 536000 | #Constraints: 72401 2679.89/2686.86 c #Conflicts: 537000 | #Constraints: 73401 2679.89/2686.86 c #Conflicts: 538000 | #Constraints: 74401 2679.89/2686.86 c #Conflicts: 539000 | #Constraints: 75401 2679.89/2686.86 c #Conflicts: 540000 | #Constraints: 76401 2679.89/2686.86 c #Conflicts: 541000 | #Constraints: 77401 2679.89/2686.86 c #Conflicts: 542000 | #Constraints: 78401 2679.89/2686.86 c #Conflicts: 543000 | #Constraints: 79401 2679.89/2686.86 c #Conflicts: 544000 | #Constraints: 80401 2679.89/2686.86 c #Conflicts: 545000 | #Constraints: 81401 2679.89/2686.86 c #Conflicts: 546000 | #Constraints: 82401 2679.89/2686.86 c #Conflicts: 547000 | #Constraints: 83401 2679.89/2686.86 c #Conflicts: 548000 | #Constraints: 84401 2679.89/2686.86 c #Conflicts: 549000 | #Constraints: 85401 2679.89/2686.86 c #Conflicts: 550000 | #Constraints: 86401 2679.89/2686.86 c #Conflicts: 551000 | #Constraints: 87401 2679.89/2686.86 c #Conflicts: 552000 | #Constraints: 88401 2679.89/2686.86 c #Conflicts: 553000 | #Constraints: 89401 2679.89/2686.86 c #Conflicts: 554000 | #Constraints: 90401 2679.89/2686.86 c #Conflicts: 555000 | #Constraints: 91401 2679.89/2686.86 c #Conflicts: 556000 | #Constraints: 92401 2679.89/2686.86 c #Conflicts: 557000 | #Constraints: 93401 2679.89/2686.86 c #Conflicts: 558000 | #Constraints: 94401 2679.89/2686.86 c #Conflicts: 559000 | #Constraints: 95401 2679.89/2686.86 c #Conflicts: 560000 | #Constraints: 96401 2679.89/2686.86 c #Conflicts: 561000 | #Constraints: 97401 2679.89/2686.86 c #Conflicts: 562000 | #Constraints: 98401 2679.89/2686.86 c #Conflicts: 563000 | #Constraints: 99401 2679.89/2686.86 c #Conflicts: 564000 | #Constraints: 100401 2679.89/2686.86 c #Conflicts: 565000 | #Constraints: 101401 2679.89/2686.86 c #Conflicts: 566000 | #Constraints: 102401 2679.89/2686.86 c INPROCESSING 2679.89/2686.86 c GARBAGE COLLECT 2679.89/2686.86 c #Conflicts: 567000 | #Constraints: 63564 2679.89/2686.86 c #Conflicts: 568000 | #Constraints: 64564 2679.89/2686.86 c #Conflicts: 569000 | #Constraints: 65564 2679.89/2686.86 c #Conflicts: 570000 | #Constraints: 66564 2679.89/2686.86 c #Conflicts: 571000 | #Constraints: 67564 2679.89/2686.86 c #Conflicts: 572000 | #Constraints: 68564 2679.89/2686.86 c #Conflicts: 573000 | #Constraints: 69564 2679.89/2686.86 c #Conflicts: 574000 | #Constraints: 70564 2679.89/2686.86 c #Conflicts: 575000 | #Constraints: 71564 2679.89/2686.86 c #Conflicts: 576000 | #Constraints: 72564 2679.89/2686.86 c #Conflicts: 577000 | #Constraints: 73564 2679.89/2686.86 c #Conflicts: 578000 | #Constraints: 74564 2679.89/2686.86 c #Conflicts: 579000 | #Constraints: 75565 2679.89/2686.86 c #Conflicts: 580000 | #Constraints: 76565 2679.89/2686.86 c #Conflicts: 581000 | #Constraints: 77565 2679.89/2686.86 c #Conflicts: 582000 | #Constraints: 78565 2679.89/2686.86 c #Conflicts: 583000 | #Constraints: 79565 2679.89/2686.86 c #Conflicts: 584000 | #Constraints: 80565 2679.89/2686.86 c #Conflicts: 585000 | #Constraints: 81565 2679.89/2686.86 c #Conflicts: 586000 | #Constraints: 82565 2679.89/2686.86 c #Conflicts: 587000 | #Constraints: 83565 2679.89/2686.86 c INPROCESSING 2679.89/2686.86 c GARBAGE COLLECT 2679.89/2686.86 c rational objective 172 2863.79/2871.18 c #Conflicts: 588000 | #Constraints: 57901 2863.79/2871.18 c #Conflicts: 589000 | #Constraints: 58901 2863.79/2871.18 c #Conflicts: 590000 | #Constraints: 59901 2863.79/2871.18 c #Conflicts: 591000 | #Constraints: 60901 2863.79/2871.18 c #Conflicts: 592000 | #Constraints: 61901 2863.79/2871.18 c #Conflicts: 593000 | #Constraints: 62901 2863.79/2871.18 c #Conflicts: 594000 | #Constraints: 63901 2863.79/2871.18 c #Conflicts: 595000 | #Constraints: 64901 2863.79/2871.18 c #Conflicts: 596000 | #Constraints: 65902 2863.79/2871.18 c #Conflicts: 597000 | #Constraints: 66902 2863.79/2871.18 c #Conflicts: 598000 | #Constraints: 67903 2863.79/2871.18 c #Conflicts: 599000 | #Constraints: 68903 2863.79/2871.18 c #Conflicts: 600000 | #Constraints: 69903 2863.79/2871.18 c #Conflicts: 601000 | #Constraints: 70903 2863.79/2871.18 c #Conflicts: 602000 | #Constraints: 71903 2863.79/2871.18 c #Conflicts: 603000 | #Constraints: 72903 2863.79/2871.18 c #Conflicts: 604000 | #Constraints: 73903 2863.79/2871.18 c #Conflicts: 605000 | #Constraints: 74903 2863.79/2871.18 c #Conflicts: 606000 | #Constraints: 75903 2863.79/2871.18 c #Conflicts: 607000 | #Constraints: 76903 2863.79/2871.18 c #Conflicts: 608000 | #Constraints: 77903 2863.79/2871.18 c #Conflicts: 609000 | #Constraints: 78903 2863.79/2871.18 c #Conflicts: 610000 | #Constraints: 79903 2863.79/2871.18 c #Conflicts: 611000 | #Constraints: 80904 2863.79/2871.18 c #Conflicts: 612000 | #Constraints: 81904 2863.79/2871.18 c #Conflicts: 613000 | #Constraints: 82904 2863.79/2871.18 c #Conflicts: 614000 | #Constraints: 83904 2863.79/2871.18 c #Conflicts: 615000 | #Constraints: 84904 2863.79/2871.18 c #Conflicts: 616000 | #Constraints: 85904 2863.79/2871.18 c #Conflicts: 617000 | #Constraints: 86904 2863.79/2871.18 c #Conflicts: 618000 | #Constraints: 87904 2863.79/2871.18 c #Conflicts: 619000 | #Constraints: 88904 2863.79/2871.18 c #Conflicts: 620000 | #Constraints: 89904 2863.79/2871.18 c #Conflicts: 621000 | #Constraints: 90904 2863.79/2871.18 c #Conflicts: 622000 | #Constraints: 91904 2863.79/2871.18 c #Conflicts: 623000 | #Constraints: 92904 2863.79/2871.18 c #Conflicts: 624000 | #Constraints: 93904 2863.79/2871.18 c #Conflicts: 625000 | #Constraints: 94904 2863.79/2871.18 c #Conflicts: 626000 | #Constraints: 95904 2863.79/2871.18 c #Conflicts: 627000 | #Constraints: 96904 2863.79/2871.18 c #Conflicts: 628000 | #Constraints: 97904 2863.79/2871.18 c #Conflicts: 629000 | #Constraints: 98904 2863.79/2871.18 c #Conflicts: 630000 | #Constraints: 99904 2863.79/2871.18 c #Conflicts: 631000 | #Constraints: 100904 2863.79/2871.18 c #Conflicts: 632000 | #Constraints: 101905 2863.79/2871.18 c #Conflicts: 633000 | #Constraints: 102905 2863.79/2871.18 c #Conflicts: 634000 | #Constraints: 103905 2863.79/2871.18 c #Conflicts: 635000 | #Constraints: 104905 2863.79/2871.18 c #Conflicts: 636000 | #Constraints: 105905 2863.79/2871.18 c #Conflicts: 637000 | #Constraints: 106905 2863.79/2871.18 c #Conflicts: 638000 | #Constraints: 107905 2863.79/2871.18 c #Conflicts: 639000 | #Constraints: 108905 2863.79/2871.18 c INPROCESSING 2863.79/2871.18 c GARBAGE COLLECT 2863.79/2871.18 c rational objective 172 2943.21/2950.77 c #Conflicts: 640000 | #Constraints: 66787 2943.21/2950.77 c #Conflicts: 641000 | #Constraints: 67787 2943.21/2950.77 c #Conflicts: 642000 | #Constraints: 68787 2943.21/2950.77 c #Conflicts: 643000 | #Constraints: 69787 2943.21/2950.77 c #Conflicts: 644000 | #Constraints: 70788 2943.21/2950.77 c #Conflicts: 645000 | #Constraints: 71788 2943.21/2950.77 c #Conflicts: 646000 | #Constraints: 72788 2943.21/2950.77 c #Conflicts: 647000 | #Constraints: 73788 2943.21/2950.77 c #Conflicts: 648000 | #Constraints: 74788 2943.21/2950.77 c #Conflicts: 649000 | #Constraints: 75788 2943.21/2950.77 c #Conflicts: 650000 | #Constraints: 76789 2943.21/2950.77 c #Conflicts: 651000 | #Constraints: 77789 2943.21/2950.77 c #Conflicts: 652000 | #Constraints: 78789 2943.21/2950.77 c #Conflicts: 653000 | #Constraints: 79789 2943.21/2950.77 c #Conflicts: 654000 | #Constraints: 80789 2943.21/2950.77 c #Conflicts: 655000 | #Constraints: 81789 2943.21/2950.77 c #Conflicts: 656000 | #Constraints: 82789 2943.21/2950.77 c #Conflicts: 657000 | #Constraints: 83789 2943.21/2950.77 c #Conflicts: 658000 | #Constraints: 84789 2943.21/2950.77 c #Conflicts: 659000 | #Constraints: 85789 2943.21/2950.77 c #Conflicts: 660000 | #Constraints: 86789 2943.21/2950.77 c #Conflicts: 661000 | #Constraints: 87789 2943.21/2950.77 c INPROCESSING 2943.21/2950.77 c GARBAGE COLLECT 2943.21/2950.77 c rational objective 172 3159.68/3167.65 c #Conflicts: 662000 | #Constraints: 60639 3159.68/3167.65 c #Conflicts: 663000 | #Constraints: 61639 3159.68/3167.65 c #Conflicts: 664000 | #Constraints: 62639 3159.68/3167.65 c #Conflicts: 665000 | #Constraints: 63639 3159.68/3167.65 c #Conflicts: 666000 | #Constraints: 64639 3159.68/3167.65 c #Conflicts: 667000 | #Constraints: 65639 3159.68/3167.65 c #Conflicts: 668000 | #Constraints: 66639 3159.68/3167.65 c #Conflicts: 669000 | #Constraints: 67639 3159.68/3167.65 c #Conflicts: 670000 | #Constraints: 68639 3159.68/3167.65 c #Conflicts: 671000 | #Constraints: 69639 3159.68/3167.65 c #Conflicts: 672000 | #Constraints: 70639 3159.68/3167.65 c #Conflicts: 673000 | #Constraints: 71639 3159.68/3167.65 c #Conflicts: 674000 | #Constraints: 72640 3159.68/3167.65 c #Conflicts: 675000 | #Constraints: 73640 3159.68/3167.65 c #Conflicts: 676000 | #Constraints: 74641 3159.68/3167.65 c #Conflicts: 677000 | #Constraints: 75641 3159.68/3167.65 c #Conflicts: 678000 | #Constraints: 76641 3159.68/3167.65 c #Conflicts: 679000 | #Constraints: 77641 3159.68/3167.65 c #Conflicts: 680000 | #Constraints: 78641 3159.68/3167.65 c #Conflicts: 681000 | #Constraints: 79641 3159.68/3167.65 c #Conflicts: 682000 | #Constraints: 80641 3159.68/3167.65 c #Conflicts: 683000 | #Constraints: 81641 3159.68/3167.65 c #Conflicts: 684000 | #Constraints: 82641 3159.68/3167.65 c #Conflicts: 685000 | #Constraints: 83641 3159.68/3167.65 c #Conflicts: 686000 | #Constraints: 84641 3159.68/3167.65 c #Conflicts: 687000 | #Constraints: 85642 3159.68/3167.65 c #Conflicts: 688000 | #Constraints: 86642 3159.68/3167.65 c #Conflicts: 689000 | #Constraints: 87642 3159.68/3167.65 c #Conflicts: 690000 | #Constraints: 88642 3159.68/3167.65 c #Conflicts: 691000 | #Constraints: 89643 3159.68/3167.65 c #Conflicts: 692000 | #Constraints: 90643 3159.68/3167.65 c #Conflicts: 693000 | #Constraints: 91643 3159.68/3167.65 c #Conflicts: 694000 | #Constraints: 92643 3159.68/3167.65 c #Conflicts: 695000 | #Constraints: 93643 3159.68/3167.65 c #Conflicts: 696000 | #Constraints: 94643 3159.68/3167.65 c #Conflicts: 697000 | #Constraints: 95643 3159.68/3167.65 c #Conflicts: 698000 | #Constraints: 96643 3159.68/3167.65 c #Conflicts: 699000 | #Constraints: 97643 3159.68/3167.65 c #Conflicts: 700000 | #Constraints: 98643 3159.68/3167.65 c #Conflicts: 701000 | #Constraints: 99643 3159.68/3167.65 c #Conflicts: 702000 | #Constraints: 100643 3159.68/3167.65 c #Conflicts: 703000 | #Constraints: 101643 3159.68/3167.65 c #Conflicts: 704000 | #Constraints: 102644 3159.68/3167.65 c #Conflicts: 705000 | #Constraints: 103644 3159.68/3167.65 c #Conflicts: 706000 | #Constraints: 104644 3159.68/3167.65 c #Conflicts: 707000 | #Constraints: 105644 3159.68/3167.65 c #Conflicts: 708000 | #Constraints: 106644 3159.68/3167.65 c #Conflicts: 709000 | #Constraints: 107644 3159.68/3167.65 c #Conflicts: 710000 | #Constraints: 108644 3159.68/3167.65 c #Conflicts: 711000 | #Constraints: 109644 3159.68/3167.65 c #Conflicts: 712000 | #Constraints: 110644 3159.68/3167.65 c #Conflicts: 713000 | #Constraints: 111644 3159.68/3167.65 c #Conflicts: 714000 | #Constraints: 112644 3159.68/3167.65 c #Conflicts: 715000 | #Constraints: 113644 3159.68/3167.65 c #Conflicts: 716000 | #Constraints: 114644 3159.68/3167.65 c INPROCESSING 3159.68/3167.65 c GARBAGE COLLECT 3159.68/3167.65 c rational objective 172 3258.49/3266.60 c #Conflicts: 717000 | #Constraints: 69644 3258.49/3266.60 c #Conflicts: 718000 | #Constraints: 70644 3258.49/3266.60 c #Conflicts: 719000 | #Constraints: 71645 3258.49/3266.60 c #Conflicts: 720000 | #Constraints: 72645 3258.49/3266.60 c #Conflicts: 721000 | #Constraints: 73645 3258.49/3266.60 c #Conflicts: 722000 | #Constraints: 74645 3258.49/3266.60 c #Conflicts: 723000 | #Constraints: 75645 3258.49/3266.60 c #Conflicts: 724000 | #Constraints: 76645 3258.49/3266.60 c #Conflicts: 725000 | #Constraints: 77645 3258.49/3266.60 c #Conflicts: 726000 | #Constraints: 78645 3258.49/3266.60 c #Conflicts: 727000 | #Constraints: 79645 3258.49/3266.60 c #Conflicts: 728000 | #Constraints: 80645 3258.49/3266.60 c #Conflicts: 729000 | #Constraints: 81645 3258.49/3266.60 c #Conflicts: 730000 | #Constraints: 82645 3258.49/3266.60 c #Conflicts: 731000 | #Constraints: 83645 3258.49/3266.60 c #Conflicts: 732000 | #Constraints: 84645 3258.49/3266.60 c #Conflicts: 733000 | #Constraints: 85645 3258.49/3266.60 c #Conflicts: 734000 | #Constraints: 86645 3258.49/3266.60 c #Conflicts: 735000 | #Constraints: 87645 3258.49/3266.60 c #Conflicts: 736000 | #Constraints: 88645 3258.49/3266.60 c #Conflicts: 737000 | #Constraints: 89645 3258.49/3266.60 c #Conflicts: 738000 | #Constraints: 90645 3258.49/3266.60 c #Conflicts: 739000 | #Constraints: 91645 3258.49/3266.60 c #Conflicts: 740000 | #Constraints: 92645 3258.49/3266.60 c INPROCESSING 3258.49/3266.60 c GARBAGE COLLECT 3258.49/3266.60 c rational objective 172 3438.15/3446.63 c #Conflicts: 741000 | #Constraints: 63716 3438.15/3446.63 c #Conflicts: 742000 | #Constraints: 64716 3438.15/3446.63 c #Conflicts: 743000 | #Constraints: 65716 3438.15/3446.63 c #Conflicts: 744000 | #Constraints: 66716 3438.15/3446.63 c #Conflicts: 745000 | #Constraints: 67716 3438.15/3446.63 c #Conflicts: 746000 | #Constraints: 68716 3438.15/3446.63 c #Conflicts: 747000 | #Constraints: 69716 3438.15/3446.63 c #Conflicts: 748000 | #Constraints: 70716 3438.15/3446.63 c #Conflicts: 749000 | #Constraints: 71716 3438.15/3446.63 c #Conflicts: 750000 | #Constraints: 72716 3438.15/3446.63 c #Conflicts: 751000 | #Constraints: 73716 3438.15/3446.63 c #Conflicts: 752000 | #Constraints: 74717 3438.15/3446.63 c #Conflicts: 753000 | #Constraints: 75717 3438.15/3446.63 c #Conflicts: 754000 | #Constraints: 76717 3438.15/3446.63 c #Conflicts: 755000 | #Constraints: 77717 3438.15/3446.63 c #Conflicts: 756000 | #Constraints: 78717 3438.15/3446.63 c #Conflicts: 757000 | #Constraints: 79717 3438.15/3446.63 c #Conflicts: 758000 | #Constraints: 80717 3438.15/3446.63 c #Conflicts: 759000 | #Constraints: 81717 3438.15/3446.63 c #Conflicts: 760000 | #Constraints: 82717 3438.15/3446.63 c #Conflicts: 761000 | #Constraints: 83717 3438.15/3446.63 c #Conflicts: 762000 | #Constraints: 84717 3438.15/3446.63 c #Conflicts: 763000 | #Constraints: 85717 3438.15/3446.63 c #Conflicts: 764000 | #Constraints: 86717 3438.15/3446.63 c #Conflicts: 765000 | #Constraints: 87717 3438.15/3446.63 c #Conflicts: 766000 | #Constraints: 88717 3438.15/3446.63 c #Conflicts: 767000 | #Constraints: 89717 3438.15/3446.63 c #Conflicts: 768000 | #Constraints: 90717 3438.15/3446.63 c #Conflicts: 769000 | #Constraints: 91717 3438.15/3446.63 c #Conflicts: 770000 | #Constraints: 92718 3438.15/3446.63 c #Conflicts: 771000 | #Constraints: 93718 3438.15/3446.63 c #Conflicts: 772000 | #Constraints: 94718 3438.15/3446.63 c #Conflicts: 773000 | #Constraints: 95718 3438.15/3446.63 c #Conflicts: 774000 | #Constraints: 96718 3438.15/3446.63 c #Conflicts: 775000 | #Constraints: 97718 3438.15/3446.63 c #Conflicts: 776000 | #Constraints: 98718 3438.15/3446.63 c #Conflicts: 777000 | #Constraints: 99718 3438.15/3446.63 c #Conflicts: 778000 | #Constraints: 100718 3438.15/3446.63 c #Conflicts: 779000 | #Constraints: 101718 3438.15/3446.63 c #Conflicts: 780000 | #Constraints: 102718 3438.15/3446.63 c #Conflicts: 781000 | #Constraints: 103718 3438.15/3446.63 c #Conflicts: 782000 | #Constraints: 104718 3438.15/3446.63 c #Conflicts: 783000 | #Constraints: 105718 3438.15/3446.63 c #Conflicts: 784000 | #Constraints: 106718 3438.15/3446.63 c #Conflicts: 785000 | #Constraints: 107718 3438.15/3446.63 c #Conflicts: 786000 | #Constraints: 108718 3438.15/3446.63 c #Conflicts: 787000 | #Constraints: 109718 3438.15/3446.63 c #Conflicts: 788000 | #Constraints: 110718 3438.15/3446.63 c #Conflicts: 789000 | #Constraints: 111718 3438.15/3446.63 c #Conflicts: 790000 | #Constraints: 112718 3438.15/3446.63 c #Conflicts: 791000 | #Constraints: 113718 3438.15/3446.63 c #Conflicts: 792000 | #Constraints: 114719 3438.15/3446.63 c #Conflicts: 793000 | #Constraints: 115719 3438.15/3446.63 c #Conflicts: 794000 | #Constraints: 116719 3438.15/3446.63 c #Conflicts: 795000 | #Constraints: 117719 3438.15/3446.63 c #Conflicts: 796000 | #Constraints: 118719 3438.15/3446.63 c #Conflicts: 797000 | #Constraints: 119719 3438.15/3446.63 c #Conflicts: 798000 | #Constraints: 120719 3438.15/3446.63 c INPROCESSING 3438.15/3446.63 c GARBAGE COLLECT 3438.15/3446.63 c rational objective 172 3589.66/3598.42 c #Conflicts: 799000 | #Constraints: 72951 3589.66/3598.42 c #Conflicts: 800000 | #Constraints: 73951 3589.66/3598.42 c #Conflicts: 801000 | #Constraints: 74951 3589.66/3598.42 c #Conflicts: 802000 | #Constraints: 75951 3589.66/3598.42 c #Conflicts: 803000 | #Constraints: 76951 3589.66/3598.42 c #Conflicts: 804000 | #Constraints: 77951 3589.66/3598.42 c #Conflicts: 805000 | #Constraints: 78952 3589.66/3598.42 c #Conflicts: 806000 | #Constraints: 79952 3589.66/3598.42 c #Conflicts: 807000 | #Constraints: 80952 3589.66/3598.42 c #Conflicts: 808000 | #Constraints: 81952 3589.66/3598.42 c #Conflicts: 809000 | #Constraints: 82952 3589.66/3598.42 c #Conflicts: 810000 | #Constraints: 83952 3589.66/3598.42 c #Conflicts: 811000 | #Constraints: 84952 3589.66/3598.42 c #Conflicts: 812000 | #Constraints: 85952 3589.66/3598.42 c #Conflicts: 813000 | #Constraints: 86952 3589.66/3598.42 c #Conflicts: 814000 | #Constraints: 87952 3589.66/3598.42 c #Conflicts: 815000 | #Constraints: 88952 3589.66/3598.42 c #Conflicts: 816000 | #Constraints: 89952 3589.66/3598.42 c #Conflicts: 817000 | #Constraints: 90952 3589.66/3598.42 c #Conflicts: 818000 | #Constraints: 91952 3589.66/3598.42 c #Conflicts: 819000 | #Constraints: 92952 3589.66/3598.42 c #Conflicts: 820000 | #Constraints: 93952 3589.66/3598.42 c #Conflicts: 821000 | #Constraints: 94952 3589.66/3598.42 c #Conflicts: 822000 | #Constraints: 95952 3589.66/3598.42 c INPROCESSING 3589.66/3598.42 c GARBAGE COLLECT 3589.66/3598.42 c rational objective 172
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59942 MiB free)
memory of node 1: 64473 MiB (62357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455636-1721464503/watcher-4455636-1721464503 -o /tmp/evaluation-result-4455636-1721464503/solver-4455636-1721464503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040617 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455636-1721464503.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1045883, runsolver pid=1045880
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125210456/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=62884 memory=32404 CPUtime=0.1 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 7954 0 0 0 8 2 0 0 20 0 1 0 198617310 64393216 8101 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 15721 8101 1584 922 0 7673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62884 KiB
Current children cumulated memory: 32404 KiB
[startup+0.205659 s]*
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125203320/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=72860 memory=38304 CPUtime=0.2 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 9398 0 0 0 18 2 0 0 20 0 1 0 198617310 74608640 9576 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 18215 9576 1680 922 0 10167 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72860 KiB
Current children cumulated memory: 38304 KiB
[startup+0.305431 s]*
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125200460/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=72860 memory=39096 CPUtime=0.3 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 9543 0 0 0 28 2 0 0 20 0 1 0 198617310 74608640 9774 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 18215 9774 1680 922 0 10167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72860 KiB
Current children cumulated memory: 39096 KiB
[startup+0.700235 s]
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125198976/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=75592 memory=41472 CPUtime=0.69 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 10162 0 0 0 66 3 0 0 20 0 1 0 198617310 77406208 10368 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 18898 10368 1680 922 0 10850 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75592 KiB
Current children cumulated memory: 41472 KiB
[startup+1.50024 s]
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125196464/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=76244 memory=44952 CPUtime=1.49 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 10519 0 0 0 145 4 0 0 20 0 1 0 198617310 78073856 11238 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 19061 11238 1710 922 0 11013 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76244 KiB
Current children cumulated memory: 44952 KiB
[startup+3.1055 s]
/proc/loadavg: 4.16 4.15 4.13 5/255 1045884
/proc/meminfo: memFree=125186308/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=78136 memory=47584 CPUtime=3.08 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 11074 0 0 0 291 17 0 0 20 0 1 0 198617310 80011264 11896 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 19534 11896 1781 922 0 11486 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78136 KiB
Current children cumulated memory: 47584 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.14 4.13 5/255 1045884
/proc/meminfo: memFree=125175020/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=78980 memory=49164 CPUtime=6.27 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 11496 0 0 0 608 19 0 0 20 0 1 0 198617310 80875520 12291 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 19745 12291 1781 922 0 11697 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78980 KiB
Current children cumulated memory: 49164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.12 5/255 1045886
/proc/meminfo: memFree=125154564/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=86008 memory=55724 CPUtime=12.66 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 12612 0 0 0 1225 41 0 0 20 0 1 0 198617310 88072192 13931 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 21502 13931 1781 922 0 13454 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86008 KiB
Current children cumulated memory: 55724 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.12 5/255 1045887
/proc/meminfo: memFree=125113240/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=88068 memory=57836 CPUtime=25.43 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 13116 0 0 0 2495 48 0 0 20 0 1 0 198617310 90181632 14459 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 22017 14459 1781 922 0 13969 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 88068 KiB
Current children cumulated memory: 57836 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 1045892
/proc/meminfo: memFree=125100656/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=90872 memory=61264 CPUtime=50.97 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 14029 0 0 0 5016 81 0 0 20 0 1 0 198617310 93052928 15316 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 22718 15316 1781 922 0 14670 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 90872 KiB
Current children cumulated memory: 61264 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/255 1045900
/proc/meminfo: memFree=124991184/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=193524 memory=156812 CPUtime=102.05 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 34800 0 0 0 10054 151 0 0 20 0 1 0 198617310 198168576 39203 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 48381 39203 1797 922 0 40333 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 193524 KiB
Current children cumulated memory: 156812 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/255 1045911
/proc/meminfo: memFree=124931740/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=256352 memory=201124 CPUtime=161.92 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 39266 0 0 0 15950 242 0 0 20 0 1 0 198617310 262504448 50281 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 64088 50281 1797 922 0 56040 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 256352 KiB
Current children cumulated memory: 201124 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/255 1045921
/proc/meminfo: memFree=124843824/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=258480 memory=204544 CPUtime=221.78 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 40087 0 0 0 21884 294 0 0 20 0 1 0 198617310 264683520 51136 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 64620 51136 1797 922 0 56572 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 258480 KiB
Current children cumulated memory: 204544 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/255 1045931
/proc/meminfo: memFree=124831244/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=264912 memory=214164 CPUtime=281.65 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 41488 0 0 0 27789 376 0 0 20 0 1 0 198617310 271269888 53541 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 66228 53541 1797 922 0 58180 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 264912 KiB
Current children cumulated memory: 214164 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/256 1045946
/proc/meminfo: memFree=124821548/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=270180 memory=219144 CPUtime=341.5 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 42770 0 0 0 33712 438 0 0 20 0 1 0 198617310 276664320 54786 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 67545 54786 1797 922 0 59497 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 270180 KiB
Current children cumulated memory: 219144 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.12 5/256 1045956
/proc/meminfo: memFree=124799280/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=270180 memory=219408 CPUtime=401.37 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 42789 0 0 0 39681 456 0 0 20 0 1 0 198617310 276664320 54852 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 67545 54852 1797 922 0 59497 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 270180 KiB
Current children cumulated memory: 219408 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/256 1045966
/proc/meminfo: memFree=124740128/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=332300 memory=270420 CPUtime=461.24 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 46362 0 0 0 45621 503 0 0 20 0 1 0 198617310 340275200 67605 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 83075 67605 1813 922 0 75027 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 3.12 3.34 3.71 4/250 1047515
/proc/meminfo: memFree=127074664/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1990304 memory=1788356 CPUtime=3034.63 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 136883 0 0 0 300589 2874 0 0 20 0 1 0 198617310 2038071296 447089 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 497576 447089 1813 922 0 489528 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 1990304 KiB
Current children cumulated memory: 1788356 KiB
[startup+3102.3 s]
/proc/loadavg: 3.04 3.27 3.67 4/250 1047525
/proc/meminfo: memFree=127073052/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1992068 memory=1789568 CPUtime=3094.5 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 137573 0 0 0 306544 2906 0 0 20 0 1 0 198617310 2039877632 447392 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 498017 447392 1813 922 0 489969 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 1992068 KiB
Current children cumulated memory: 1789568 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.25 3.63 4/250 1047536
/proc/meminfo: memFree=127070072/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1993560 memory=1791076 CPUtime=3154.39 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 138059 0 0 0 312515 2924 0 0 20 0 1 0 198617310 2041405440 447769 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 498390 447769 1813 922 0 490342 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 1993560 KiB
Current children cumulated memory: 1791076 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.22 3.60 4/251 1047716
/proc/meminfo: memFree=127062652/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1999812 memory=1797908 CPUtime=3214.28 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 140515 0 0 0 318462 2966 0 0 20 0 1 0 198617310 2047807488 449477 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 499953 449477 1813 922 0 491905 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 1999812 KiB
Current children cumulated memory: 1797908 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.19 3.56 4/251 1047727
/proc/meminfo: memFree=127068912/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1992560 memory=1790772 CPUtime=3274.16 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 140880 0 0 0 324395 3021 0 0 20 0 1 0 198617310 2040381440 447693 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 498140 447693 1813 922 0 490092 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 1992560 KiB
Current children cumulated memory: 1790772 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.17 3.53 4/252 1047797
/proc/meminfo: memFree=127068476/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1992560 memory=1790772 CPUtime=3334.05 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 141293 0 0 0 330307 3098 0 0 20 0 1 0 198617310 2040381440 447693 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 498140 447693 1813 922 0 490092 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 1992560 KiB
Current children cumulated memory: 1790772 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.15 3.50 4/252 1047807
/proc/meminfo: memFree=127066572/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1992560 memory=1790772 CPUtime=3393.93 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 141941 0 0 0 336227 3166 0 0 20 0 1 0 198617310 2040381440 447693 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 498140 447693 1813 922 0 490092 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 1992560 KiB
Current children cumulated memory: 1790772 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.15 3.48 4/252 1047817
/proc/meminfo: memFree=127053604/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1999856 memory=1797040 CPUtime=3453.82 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 144005 0 0 0 342152 3230 0 0 20 0 1 0 198617310 2047852544 449260 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 499964 449260 1813 922 0 491916 0
Current children cumulated CPU time: 3453.82 s
Current children cumulated vsize: 1999856 KiB
Current children cumulated memory: 1797040 KiB
[startup+3522.3 s]
/proc/loadavg: 3.05 3.12 3.44 4/250 1047828
/proc/meminfo: memFree=127053296/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=1999856 memory=1797144 CPUtime=3513.7 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 144566 0 0 0 348066 3304 0 0 20 0 1 0 198617310 2047852544 449286 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 499964 449286 1813 922 0 491916 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 1999856 KiB
Current children cumulated memory: 1797144 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.13 3.43 4/250 1047839
/proc/meminfo: memFree=127053820/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=2000676 memory=1798216 CPUtime=3573.59 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 145083 0 0 0 354033 3326 0 0 20 0 1 0 198617310 2048692224 449554 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 500169 449554 1813 922 0 492121 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 2000676 KiB
Current children cumulated memory: 1798216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.09 3.12 3.41 4/247 1047844
/proc/meminfo: memFree=127043644/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=2000676 memory=1798244 CPUtime=3600.04 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 145359 0 0 0 356656 3348 0 0 20 0 1 0 198617310 2048692224 449561 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 500169 449561 1813 922 0 492121 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2000676 KiB
Current children cumulated memory: 1798244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.81 s]
# the end of solver process 1045883 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3568.55 s, system=33.5001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.09 3.12 3.41 4/247 1047844
/proc/meminfo: memFree=127043616/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=2000676 memory=1798244 CPUtime=3600.83 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 145361 0 0 0 356735 3348 0 0 20 0 1 0 198617310 2048692224 449561 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 500169 449561 1813 922 0 492121 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 2000676 KiB
Current children cumulated memory: 1798244 KiB
[startup+3610.4 s]
/proc/loadavg: 3.08 3.11 3.41 4/247 1047844
/proc/meminfo: memFree=127043608/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=2000676 memory=1798244 CPUtime=3601.64 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 145361 0 0 0 356815 3349 0 0 20 0 1 0 198617310 2048692224 449561 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 500169 449561 1813 922 0 492121 0
Current children cumulated CPU time: 3601.64 s
Current children cumulated vsize: 2000676 KiB
Current children cumulated memory: 1798244 KiB
[startup+3610.8 s]
/proc/loadavg: 3.08 3.11 3.41 4/247 1047844
/proc/meminfo: memFree=127043608/131524600 swapFree=131071996/131071996
[pid=1045883] ppid=1045880 vsize=2000676 memory=1798244 CPUtime=3602.03 cores=4,6
/proc/1045883/stat : 1045883 (roundingsat) R 1045880 1045883 1040606 0 -1 4194304 145361 0 0 0 356854 3349 0 0 20 0 1 0 198617310 2048692224 449561 134679101440 4194304 7968373 140723733920320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 13266944 140723733922748 140723733922912 140723733922912 140723733929929 0
/proc/1045883/statm: 500169 449561 1813 922 0 492121 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 2000676 KiB
Current children cumulated memory: 1798244 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.81
CPU time (s): 3602.05
CPU user time (s): 3568.55
CPU system time (s): 33.5001
CPU usage (%): 99.7574
Max. virtual memory (cumulated for all children) (KiB): 2000676
Max. memory (cumulated for all children) (KiB): 1798244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.55
system time used= 33.5001
maximum resident set size= 1798244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145361
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= 104
involuntary context switches= 2493
# summary of solver processes directly reported to runsolver:
# pid: 1045883
# total CPU time (s): 3602.05
# total CPU user time (s): 3568.55
# total CPU system time (s): 33.5001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68941 second user time and 15.378 second system time
The end
Begin job on nodeC028 at 2024-07-20 10:35:15 IDJOB=4455636 IDBENCH=158312 IDSOLVER=3084 FILE ID=nodeC028/4455636-1721464503 RUNJOBID= nodeC028-1721456189-1040617 SLURM_JOB_ID= 7545691 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K172.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-4455636-1721464503/watcher-4455636-1721464503 -o /tmp/evaluation-result-4455636-1721464503/solver-4455636-1721464503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040617 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455636-1721464503.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 44b1adf4a7e5c26b78f2dbc134a2606f RANDOM SEED=756022616 nodeC028.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 : 3673.318 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.56 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 : 3682.966 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3615.406 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.320 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3653.707 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.56 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 : 3683.011 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3665.544 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.795 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125235844 kB MemAvailable: 125802400 kB Buffers: 550152 kB Cached: 865148 kB SwapCached: 0 kB Active: 1080300 kB Inactive: 4601516 kB Active(anon): 1536 kB Inactive(anon): 4310888 kB Active(file): 1078764 kB Inactive(file): 290628 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6648 kB Writeback: 0 kB AnonPages: 4261996 kB Mapped: 117656 kB Shmem: 45912 kB KReclaimable: 73976 kB Slab: 181960 kB SReclaimable: 73976 kB SUnreclaim: 107984 kB KernelStack: 4112 kB PageTables: 18224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4955436 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 2095104 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: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890048 MiB End job on nodeC028 at 2024-07-20 11:35:26