0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4506873-1751172305.opb'
0.00/0.03 c read 1.45MB (22.71ms)
0.00/0.03 c [cnf: #variables 20944 #clauses 21298 #duplicates 0 #arr 137034]
0.00/0.03 c output proof to 'PROOFDIR/proof-4506873-1751172305'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 3168] (30.67ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.49ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 105074 #edges 399732]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (24.26ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.08ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.07ms)
0.08/0.11 c
0.08/0.11 c generation finished
0.08/0.11 c [sbp: #constraints 140 #add_vars 45]
0.08/0.11 c
0.08/0.11 c write result to 'HOME/instance-4506873-1751172305.opb.pre'
0.08/0.12 c wrote 1.47MB (3.43ms)
0.08/0.12 c ------------------------------------------------------------------
0.08/0.12 c 30.67ms 28.72% approx_orbits
0.08/0.12 c 24.26ms 22.71% detect_generic
0.08/0.12 c 22.71ms 21.26% parse
0.08/0.12 c 20.28ms 18.99% other
0.08/0.12 c 4.49ms 4.21% detect_special
0.08/0.12 c 3.43ms 3.21% output
0.08/0.12 c 0.81ms 0.76% finalize_order
0.08/0.12 c 0.08ms 0.07% optimize_gens
0.08/0.12 c 0.07ms 0.07% break_generic
0.08/0.12 c ───────────────────────────────────────────────
0.08/0.12 c 106.80ms 100% total
0.08/0.12 c ------------------------------------------------------------------
0.08/0.14 c RoundingSat 2
0.08/0.14 c branch pb25
0.08/0.14 c commit 63f22ad
0.27/0.32 c #variables 20989 #constraints 21436
123.82/127.45 c #Conflicts: 1000 | #Constraints: 22435
123.82/127.45 c #Conflicts: 2000 | #Constraints: 23435
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 3000 | #Constraints: 22685
123.82/127.45 c #Conflicts: 4000 | #Constraints: 23685
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 5000 | #Constraints: 23196
123.82/127.45 c #Conflicts: 6000 | #Constraints: 24196
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 7000 | #Constraints: 23289
123.82/127.45 c #Conflicts: 8000 | #Constraints: 24289
123.82/127.45 c #Conflicts: 9000 | #Constraints: 25289
123.82/127.45 c #Conflicts: 10000 | #Constraints: 26289
123.82/127.45 c #Conflicts: 11000 | #Constraints: 27289
123.82/127.45 c #Conflicts: 12000 | #Constraints: 28289
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 13000 | #Constraints: 25337
123.82/127.45 c #Conflicts: 14000 | #Constraints: 26337
123.82/127.45 c #Conflicts: 15000 | #Constraints: 27337
123.82/127.45 c #Conflicts: 16000 | #Constraints: 28337
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 17000 | #Constraints: 25724
123.82/127.45 c #Conflicts: 18000 | #Constraints: 26724
123.82/127.45 c #Conflicts: 19000 | #Constraints: 27724
123.82/127.45 c #Conflicts: 20000 | #Constraints: 28724
123.82/127.45 c #Conflicts: 21000 | #Constraints: 29724
123.82/127.45 c #Conflicts: 22000 | #Constraints: 30724
123.82/127.45 c #Conflicts: 23000 | #Constraints: 31724
123.82/127.45 c #Conflicts: 24000 | #Constraints: 32724
123.82/127.45 c #Conflicts: 25000 | #Constraints: 33724
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 26000 | #Constraints: 28205
123.82/127.45 c #Conflicts: 27000 | #Constraints: 29205
123.82/127.45 c #Conflicts: 28000 | #Constraints: 30205
123.82/127.45 c #Conflicts: 29000 | #Constraints: 31205
123.82/127.45 c #Conflicts: 30000 | #Constraints: 32205
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 31000 | #Constraints: 28343
123.82/127.45 c #Conflicts: 32000 | #Constraints: 29343
123.82/127.45 c #Conflicts: 33000 | #Constraints: 30343
123.82/127.45 c #Conflicts: 34000 | #Constraints: 31343
123.82/127.45 c #Conflicts: 35000 | #Constraints: 32343
123.82/127.45 c #Conflicts: 36000 | #Constraints: 33343
123.82/127.45 c #Conflicts: 37000 | #Constraints: 34343
123.82/127.45 c #Conflicts: 38000 | #Constraints: 35343
123.82/127.45 c #Conflicts: 39000 | #Constraints: 36343
123.82/127.45 c #Conflicts: 40000 | #Constraints: 37343
123.82/127.45 c #Conflicts: 41000 | #Constraints: 38343
123.82/127.45 c #Conflicts: 42000 | #Constraints: 39343
123.82/127.45 c #Conflicts: 43000 | #Constraints: 40343
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 44000 | #Constraints: 31980
123.82/127.45 c #Conflicts: 45000 | #Constraints: 32980
123.82/127.45 c #Conflicts: 46000 | #Constraints: 33980
123.82/127.45 c #Conflicts: 47000 | #Constraints: 34980
123.82/127.45 c #Conflicts: 48000 | #Constraints: 35980
123.82/127.45 c #Conflicts: 49000 | #Constraints: 36980
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 50000 | #Constraints: 31621
123.82/127.45 c #Conflicts: 51000 | #Constraints: 32621
123.82/127.45 c #Conflicts: 52000 | #Constraints: 33621
123.82/127.45 c #Conflicts: 53000 | #Constraints: 34621
123.82/127.45 c #Conflicts: 54000 | #Constraints: 35621
123.82/127.45 c #Conflicts: 55000 | #Constraints: 36621
123.82/127.45 c #Conflicts: 56000 | #Constraints: 37621
123.82/127.45 c #Conflicts: 57000 | #Constraints: 38621
123.82/127.45 c #Conflicts: 58000 | #Constraints: 39621
123.82/127.45 c #Conflicts: 59000 | #Constraints: 40621
123.82/127.45 c #Conflicts: 60000 | #Constraints: 41621
123.82/127.45 c #Conflicts: 61000 | #Constraints: 42621
123.82/127.45 c #Conflicts: 62000 | #Constraints: 43621
123.82/127.45 c #Conflicts: 63000 | #Constraints: 44621
123.82/127.45 c #Conflicts: 64000 | #Constraints: 45621
123.82/127.45 c #Conflicts: 65000 | #Constraints: 46621
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
123.82/127.45 c #Conflicts: 66000 | #Constraints: 35312
123.82/127.45 c #Conflicts: 67000 | #Constraints: 36312
123.82/127.45 c #Conflicts: 68000 | #Constraints: 37312
123.82/127.45 c #Conflicts: 69000 | #Constraints: 38312
123.82/127.45 c #Conflicts: 70000 | #Constraints: 39312
123.82/127.45 c #Conflicts: 71000 | #Constraints: 40312
123.82/127.45 c #Conflicts: 72000 | #Constraints: 41312
123.82/127.45 c INPROCESSING
123.82/127.45 c GARBAGE COLLECT
249.53/253.68 c #Conflicts: 73000 | #Constraints: 34571
249.53/253.68 c #Conflicts: 74000 | #Constraints: 35571
249.53/253.68 c #Conflicts: 75000 | #Constraints: 36571
249.53/253.68 c #Conflicts: 76000 | #Constraints: 37571
249.53/253.68 c #Conflicts: 77000 | #Constraints: 38571
249.53/253.68 c #Conflicts: 78000 | #Constraints: 39571
249.53/253.68 c #Conflicts: 79000 | #Constraints: 40571
249.53/253.68 c #Conflicts: 80000 | #Constraints: 41571
249.53/253.68 c #Conflicts: 81000 | #Constraints: 42571
249.53/253.68 c #Conflicts: 82000 | #Constraints: 43571
249.53/253.68 c #Conflicts: 83000 | #Constraints: 44571
249.53/253.68 c #Conflicts: 84000 | #Constraints: 45571
249.53/253.68 c #Conflicts: 85000 | #Constraints: 46571
249.53/253.68 c #Conflicts: 86000 | #Constraints: 47571
249.53/253.68 c #Conflicts: 87000 | #Constraints: 48571
249.53/253.68 c #Conflicts: 88000 | #Constraints: 49571
249.53/253.68 c #Conflicts: 89000 | #Constraints: 50571
249.53/253.68 c #Conflicts: 90000 | #Constraints: 51571
249.53/253.68 c #Conflicts: 91000 | #Constraints: 52571
249.53/253.68 c INPROCESSING
249.53/253.68 c GARBAGE COLLECT
249.53/253.68 c #Conflicts: 92000 | #Constraints: 38396
249.53/253.68 c #Conflicts: 93000 | #Constraints: 39396
249.53/253.68 c #Conflicts: 94000 | #Constraints: 40396
249.53/253.68 c #Conflicts: 95000 | #Constraints: 41396
249.53/253.68 c #Conflicts: 96000 | #Constraints: 42396
249.53/253.68 c #Conflicts: 97000 | #Constraints: 43396
249.53/253.68 c #Conflicts: 98000 | #Constraints: 44396
249.53/253.68 c #Conflicts: 99000 | #Constraints: 45396
249.53/253.68 c #Conflicts: 100000 | #Constraints: 46396
249.53/253.68 c INPROCESSING
249.53/253.68 c GARBAGE COLLECT
249.53/253.68 c #Conflicts: 101000 | #Constraints: 37580
249.53/253.68 c #Conflicts: 102000 | #Constraints: 38580
249.53/253.68 c #Conflicts: 103000 | #Constraints: 39580
249.53/253.68 c #Conflicts: 104000 | #Constraints: 40580
249.53/253.68 c #Conflicts: 105000 | #Constraints: 41580
249.53/253.68 c #Conflicts: 106000 | #Constraints: 42580
249.53/253.68 c #Conflicts: 107000 | #Constraints: 43580
249.53/253.68 c #Conflicts: 108000 | #Constraints: 44580
249.53/253.68 c #Conflicts: 109000 | #Constraints: 45580
249.53/253.68 c #Conflicts: 110000 | #Constraints: 46580
249.53/253.68 c #Conflicts: 111000 | #Constraints: 47580
249.53/253.68 c #Conflicts: 112000 | #Constraints: 48580
249.53/253.68 c #Conflicts: 113000 | #Constraints: 49580
249.53/253.68 c #Conflicts: 114000 | #Constraints: 50580
249.53/253.68 c #Conflicts: 115000 | #Constraints: 51580
249.53/253.68 c #Conflicts: 116000 | #Constraints: 52580
249.53/253.68 c #Conflicts: 117000 | #Constraints: 53580
249.53/253.68 c #Conflicts: 118000 | #Constraints: 54580
249.53/253.68 c #Conflicts: 119000 | #Constraints: 55580
249.53/253.68 c #Conflicts: 120000 | #Constraints: 56580
249.53/253.68 c #Conflicts: 121000 | #Constraints: 57580
249.53/253.68 c INPROCESSING
249.53/253.68 c GARBAGE COLLECT
249.53/253.68 c #Conflicts: 122000 | #Constraints: 40673
249.53/253.68 c #Conflicts: 123000 | #Constraints: 41673
249.53/253.68 c #Conflicts: 124000 | #Constraints: 42673
249.53/253.68 c #Conflicts: 125000 | #Constraints: 43673
249.53/253.68 c #Conflicts: 126000 | #Constraints: 44673
249.53/253.68 c #Conflicts: 127000 | #Constraints: 45673
249.53/253.68 c #Conflicts: 128000 | #Constraints: 46673
249.53/253.68 c #Conflicts: 129000 | #Constraints: 47673
249.53/253.68 c #Conflicts: 130000 | #Constraints: 48673
249.53/253.68 c #Conflicts: 131000 | #Constraints: 49673
249.53/253.68 c #Conflicts: 132000 | #Constraints: 50673
249.53/253.68 c INPROCESSING
249.53/253.68 c GARBAGE COLLECT
249.53/253.68 c #Conflicts: 133000 | #Constraints: 40917
249.53/253.68 c #Conflicts: 134000 | #Constraints: 41917
249.53/253.68 c #Conflicts: 135000 | #Constraints: 42917
249.53/253.68 c #Conflicts: 136000 | #Constraints: 43917
249.53/253.68 c #Conflicts: 137000 | #Constraints: 44917
249.53/253.68 c #Conflicts: 138000 | #Constraints: 45917
249.53/253.68 c #Conflicts: 139000 | #Constraints: 46917
249.53/253.68 c #Conflicts: 140000 | #Constraints: 47917
249.53/253.68 c #Conflicts: 141000 | #Constraints: 48917
249.53/253.68 c #Conflicts: 142000 | #Constraints: 49917
249.53/253.68 c #Conflicts: 143000 | #Constraints: 50917
249.53/253.68 c #Conflicts: 144000 | #Constraints: 51917
249.53/253.68 c #Conflicts: 145000 | #Constraints: 52917
249.53/253.68 c #Conflicts: 146000 | #Constraints: 53917
249.53/253.68 c #Conflicts: 147000 | #Constraints: 54917
249.53/253.68 c #Conflicts: 148000 | #Constraints: 55917
249.53/253.68 c #Conflicts: 149000 | #Constraints: 56917
365.56/370.20 c #Conflicts: 150000 | #Constraints: 57917
365.56/370.20 c #Conflicts: 151000 | #Constraints: 58917
365.56/370.20 c #Conflicts: 152000 | #Constraints: 59917
365.56/370.20 c #Conflicts: 153000 | #Constraints: 60917
365.56/370.20 c #Conflicts: 154000 | #Constraints: 61917
365.56/370.20 c #Conflicts: 155000 | #Constraints: 62917
365.56/370.20 c #Conflicts: 156000 | #Constraints: 63917
365.56/370.20 c INPROCESSING
365.56/370.20 c GARBAGE COLLECT
365.56/370.20 c #Conflicts: 157000 | #Constraints: 43902
365.56/370.20 c #Conflicts: 158000 | #Constraints: 44902
365.56/370.20 c #Conflicts: 159000 | #Constraints: 45902
365.56/370.20 c #Conflicts: 160000 | #Constraints: 46902
365.56/370.20 c #Conflicts: 161000 | #Constraints: 47902
365.56/370.20 c #Conflicts: 162000 | #Constraints: 48902
365.56/370.20 c #Conflicts: 163000 | #Constraints: 49902
365.56/370.20 c #Conflicts: 164000 | #Constraints: 50902
365.56/370.20 c #Conflicts: 165000 | #Constraints: 51902
365.56/370.20 c #Conflicts: 166000 | #Constraints: 52902
365.56/370.20 c #Conflicts: 167000 | #Constraints: 53902
365.56/370.20 c #Conflicts: 168000 | #Constraints: 54902
365.56/370.20 c INPROCESSING
365.56/370.20 c GARBAGE COLLECT
365.56/370.20 c #Conflicts: 169000 | #Constraints: 43428
365.56/370.20 c #Conflicts: 170000 | #Constraints: 44428
365.56/370.20 c #Conflicts: 171000 | #Constraints: 45428
365.56/370.20 c #Conflicts: 172000 | #Constraints: 46428
365.56/370.20 c #Conflicts: 173000 | #Constraints: 47428
365.56/370.20 c #Conflicts: 174000 | #Constraints: 48428
365.56/370.20 c #Conflicts: 175000 | #Constraints: 49428
365.56/370.20 c #Conflicts: 176000 | #Constraints: 50428
365.56/370.20 c #Conflicts: 177000 | #Constraints: 51428
365.56/370.20 c #Conflicts: 178000 | #Constraints: 52428
365.56/370.20 c #Conflicts: 179000 | #Constraints: 53428
365.56/370.20 c #Conflicts: 180000 | #Constraints: 54428
365.56/370.20 c #Conflicts: 181000 | #Constraints: 55428
365.56/370.20 c #Conflicts: 182000 | #Constraints: 56428
365.56/370.20 c #Conflicts: 183000 | #Constraints: 57428
365.56/370.20 c #Conflicts: 184000 | #Constraints: 58428
365.56/370.20 c #Conflicts: 185000 | #Constraints: 59428
365.56/370.20 c #Conflicts: 186000 | #Constraints: 60428
365.56/370.20 c #Conflicts: 187000 | #Constraints: 61428
365.56/370.20 c #Conflicts: 188000 | #Constraints: 62428
365.56/370.20 c #Conflicts: 189000 | #Constraints: 63428
365.56/370.20 c #Conflicts: 190000 | #Constraints: 64428
365.56/370.20 c #Conflicts: 191000 | #Constraints: 65428
365.56/370.20 c #Conflicts: 192000 | #Constraints: 66428
365.56/370.20 c #Conflicts: 193000 | #Constraints: 67428
365.56/370.20 c #Conflicts: 194000 | #Constraints: 68428
365.56/370.20 c #Conflicts: 195000 | #Constraints: 69428
365.56/370.20 c #Conflicts: 196000 | #Constraints: 70428
365.56/370.20 c INPROCESSING
365.56/370.20 c GARBAGE COLLECT
365.56/370.20 c #Conflicts: 197000 | #Constraints: 47598
365.56/370.20 c #Conflicts: 198000 | #Constraints: 48598
365.56/370.20 c #Conflicts: 199000 | #Constraints: 49598
365.56/370.20 c #Conflicts: 200000 | #Constraints: 50598
365.56/370.20 c #Conflicts: 201000 | #Constraints: 51598
365.56/370.20 c #Conflicts: 202000 | #Constraints: 52598
365.56/370.20 c #Conflicts: 203000 | #Constraints: 53598
365.56/370.20 c #Conflicts: 204000 | #Constraints: 54598
365.56/370.20 c #Conflicts: 205000 | #Constraints: 55598
365.56/370.20 c #Conflicts: 206000 | #Constraints: 56598
365.56/370.20 c #Conflicts: 207000 | #Constraints: 57598
365.56/370.20 c #Conflicts: 208000 | #Constraints: 58598
365.56/370.20 c #Conflicts: 209000 | #Constraints: 59598
365.56/370.20 c INPROCESSING
365.56/370.20 c GARBAGE COLLECT
365.56/370.20 c #Conflicts: 210000 | #Constraints: 46411
365.56/370.20 c #Conflicts: 211000 | #Constraints: 47411
365.56/370.20 c #Conflicts: 212000 | #Constraints: 48411
365.56/370.20 c #Conflicts: 213000 | #Constraints: 49411
365.56/370.20 c #Conflicts: 214000 | #Constraints: 50411
365.56/370.20 c #Conflicts: 215000 | #Constraints: 51411
365.56/370.20 c #Conflicts: 216000 | #Constraints: 52411
365.56/370.20 c #Conflicts: 217000 | #Constraints: 53411
365.56/370.20 c #Conflicts: 218000 | #Constraints: 54411
365.56/370.20 c #Conflicts: 219000 | #Constraints: 55411
365.56/370.20 c #Conflicts: 220000 | #Constraints: 56411
365.56/370.20 c #Conflicts: 221000 | #Constraints: 57411
365.56/370.20 c #Conflicts: 222000 | #Constraints: 58411
365.56/370.20 c #Conflicts: 223000 | #Constraints: 59411
365.56/370.20 c #Conflicts: 224000 | #Constraints: 60411
365.56/370.20 c #Conflicts: 225000 | #Constraints: 61411
567.39/573.81 c #Conflicts: 226000 | #Constraints: 62411
567.39/573.81 c #Conflicts: 227000 | #Constraints: 63411
567.39/573.81 c #Conflicts: 228000 | #Constraints: 64411
567.39/573.81 c #Conflicts: 229000 | #Constraints: 65411
567.39/573.81 c #Conflicts: 230000 | #Constraints: 66411
567.39/573.81 c #Conflicts: 231000 | #Constraints: 67411
567.39/573.81 c #Conflicts: 232000 | #Constraints: 68411
567.39/573.81 c #Conflicts: 233000 | #Constraints: 69411
567.39/573.81 c #Conflicts: 234000 | #Constraints: 70411
567.39/573.81 c #Conflicts: 235000 | #Constraints: 71411
567.39/573.81 c #Conflicts: 236000 | #Constraints: 72411
567.39/573.81 c #Conflicts: 237000 | #Constraints: 73411
567.39/573.81 c #Conflicts: 238000 | #Constraints: 74411
567.39/573.81 c #Conflicts: 239000 | #Constraints: 75411
567.39/573.81 c #Conflicts: 240000 | #Constraints: 76411
567.39/573.81 c INPROCESSING
567.39/573.81 c GARBAGE COLLECT
567.39/573.81 c #Conflicts: 241000 | #Constraints: 50626
567.39/573.81 c #Conflicts: 242000 | #Constraints: 51626
567.39/573.81 c #Conflicts: 243000 | #Constraints: 52626
567.39/573.81 c #Conflicts: 244000 | #Constraints: 53626
567.39/573.81 c #Conflicts: 245000 | #Constraints: 54626
567.39/573.81 c #Conflicts: 246000 | #Constraints: 55626
567.39/573.81 c #Conflicts: 247000 | #Constraints: 56626
567.39/573.81 c #Conflicts: 248000 | #Constraints: 57627
567.39/573.81 c #Conflicts: 249000 | #Constraints: 58627
567.39/573.81 c #Conflicts: 250000 | #Constraints: 59627
567.39/573.81 c #Conflicts: 251000 | #Constraints: 60627
567.39/573.81 c #Conflicts: 252000 | #Constraints: 61627
567.39/573.81 c #Conflicts: 253000 | #Constraints: 62627
567.39/573.81 c #Conflicts: 254000 | #Constraints: 63627
567.39/573.81 c INPROCESSING
567.39/573.81 c GARBAGE COLLECT
567.39/573.81 c #Conflicts: 255000 | #Constraints: 48844
567.39/573.81 c #Conflicts: 256000 | #Constraints: 49844
567.39/573.81 c #Conflicts: 257000 | #Constraints: 50844
567.39/573.81 c #Conflicts: 258000 | #Constraints: 51844
567.39/573.81 c #Conflicts: 259000 | #Constraints: 52844
567.39/573.81 c #Conflicts: 260000 | #Constraints: 53844
567.39/573.81 c #Conflicts: 261000 | #Constraints: 54844
567.39/573.81 c #Conflicts: 262000 | #Constraints: 55844
567.39/573.81 c #Conflicts: 263000 | #Constraints: 56844
567.39/573.81 c #Conflicts: 264000 | #Constraints: 57844
567.39/573.81 c #Conflicts: 265000 | #Constraints: 58844
567.39/573.81 c #Conflicts: 266000 | #Constraints: 59844
567.39/573.81 c #Conflicts: 267000 | #Constraints: 60844
567.39/573.81 c #Conflicts: 268000 | #Constraints: 61844
567.39/573.81 c #Conflicts: 269000 | #Constraints: 62844
567.39/573.81 c #Conflicts: 270000 | #Constraints: 63844
567.39/573.81 c #Conflicts: 271000 | #Constraints: 64844
567.39/573.81 c #Conflicts: 272000 | #Constraints: 65844
567.39/573.81 c #Conflicts: 273000 | #Constraints: 66844
567.39/573.81 c #Conflicts: 274000 | #Constraints: 67844
567.39/573.81 c #Conflicts: 275000 | #Constraints: 68844
567.39/573.81 c #Conflicts: 276000 | #Constraints: 69844
567.39/573.81 c #Conflicts: 277000 | #Constraints: 70844
567.39/573.81 c #Conflicts: 278000 | #Constraints: 71844
567.39/573.81 c #Conflicts: 279000 | #Constraints: 72844
567.39/573.81 c #Conflicts: 280000 | #Constraints: 73844
567.39/573.81 c #Conflicts: 281000 | #Constraints: 74844
567.39/573.81 c #Conflicts: 282000 | #Constraints: 75844
567.39/573.81 c #Conflicts: 283000 | #Constraints: 76844
567.39/573.81 c #Conflicts: 284000 | #Constraints: 77844
567.39/573.81 c #Conflicts: 285000 | #Constraints: 78844
567.39/573.81 c #Conflicts: 286000 | #Constraints: 79844
567.39/573.81 c #Conflicts: 287000 | #Constraints: 80844
567.39/573.81 c #Conflicts: 288000 | #Constraints: 81844
567.39/573.81 c INPROCESSING
567.39/573.81 c GARBAGE COLLECT
567.39/573.81 c #Conflicts: 289000 | #Constraints: 53462
567.39/573.81 c #Conflicts: 290000 | #Constraints: 54462
567.39/573.81 c #Conflicts: 291000 | #Constraints: 55462
567.39/573.81 c #Conflicts: 292000 | #Constraints: 56462
567.39/573.81 c #Conflicts: 293000 | #Constraints: 57462
567.39/573.81 c #Conflicts: 294000 | #Constraints: 58462
567.39/573.81 c #Conflicts: 295000 | #Constraints: 59462
567.39/573.81 c #Conflicts: 296000 | #Constraints: 60462
567.39/573.81 c #Conflicts: 297000 | #Constraints: 61462
567.39/573.81 c #Conflicts: 298000 | #Constraints: 62462
567.39/573.81 c #Conflicts: 299000 | #Constraints: 63462
567.39/573.81 c #Conflicts: 300000 | #Constraints: 64462
567.39/573.81 c #Conflicts: 301000 | #Constraints: 65462
567.39/573.81 c #Conflicts: 302000 | #Constraints: 66462
688.87/696.34 c #Conflicts: 303000 | #Constraints: 67462
688.87/696.34 c INPROCESSING
688.87/696.34 c GARBAGE COLLECT
688.87/696.34 c #Conflicts: 304000 | #Constraints: 51418
688.87/696.34 c #Conflicts: 305000 | #Constraints: 52418
688.87/696.34 c #Conflicts: 306000 | #Constraints: 53418
688.87/696.34 c #Conflicts: 307000 | #Constraints: 54418
688.87/696.34 c #Conflicts: 308000 | #Constraints: 55418
688.87/696.34 c #Conflicts: 309000 | #Constraints: 56418
688.87/696.34 c #Conflicts: 310000 | #Constraints: 57418
688.87/696.34 c #Conflicts: 311000 | #Constraints: 58418
688.87/696.34 c #Conflicts: 312000 | #Constraints: 59418
688.87/696.34 c #Conflicts: 313000 | #Constraints: 60418
688.87/696.34 c #Conflicts: 314000 | #Constraints: 61418
688.87/696.34 c #Conflicts: 315000 | #Constraints: 62418
688.87/696.34 c #Conflicts: 316000 | #Constraints: 63418
688.87/696.34 c #Conflicts: 317000 | #Constraints: 64418
688.87/696.34 c #Conflicts: 318000 | #Constraints: 65418
688.87/696.34 c #Conflicts: 319000 | #Constraints: 66418
688.87/696.34 c #Conflicts: 320000 | #Constraints: 67418
688.87/696.34 c #Conflicts: 321000 | #Constraints: 68418
688.87/696.34 c #Conflicts: 322000 | #Constraints: 69418
688.87/696.34 c #Conflicts: 323000 | #Constraints: 70418
688.87/696.34 c #Conflicts: 324000 | #Constraints: 71418
688.87/696.34 c #Conflicts: 325000 | #Constraints: 72418
688.87/696.34 c #Conflicts: 326000 | #Constraints: 73418
688.87/696.34 c #Conflicts: 327000 | #Constraints: 74418
688.87/696.34 c #Conflicts: 328000 | #Constraints: 75418
688.87/696.34 c #Conflicts: 329000 | #Constraints: 76418
688.87/696.34 c #Conflicts: 330000 | #Constraints: 77418
688.87/696.34 c #Conflicts: 331000 | #Constraints: 78418
688.87/696.34 c #Conflicts: 332000 | #Constraints: 79418
688.87/696.34 c #Conflicts: 333000 | #Constraints: 80418
688.87/696.34 c #Conflicts: 334000 | #Constraints: 81418
688.87/696.34 c #Conflicts: 335000 | #Constraints: 82418
688.87/696.34 c #Conflicts: 336000 | #Constraints: 83418
688.87/696.34 c #Conflicts: 337000 | #Constraints: 84418
688.87/696.34 c #Conflicts: 338000 | #Constraints: 85418
688.87/696.34 c #Conflicts: 339000 | #Constraints: 86418
688.87/696.34 c #Conflicts: 340000 | #Constraints: 87418
688.87/696.34 c INPROCESSING
688.87/696.34 c GARBAGE COLLECT
688.87/696.34 c #Conflicts: 341000 | #Constraints: 55946
688.87/696.34 c #Conflicts: 342000 | #Constraints: 56946
688.87/696.34 c #Conflicts: 343000 | #Constraints: 57946
688.87/696.34 c #Conflicts: 344000 | #Constraints: 58946
688.87/696.34 c #Conflicts: 345000 | #Constraints: 59946
688.87/696.34 c #Conflicts: 346000 | #Constraints: 60946
688.87/696.34 c #Conflicts: 347000 | #Constraints: 61946
688.87/696.34 c #Conflicts: 348000 | #Constraints: 62946
688.87/696.34 c #Conflicts: 349000 | #Constraints: 63946
688.87/696.34 c #Conflicts: 350000 | #Constraints: 64946
688.87/696.34 c #Conflicts: 351000 | #Constraints: 65946
688.87/696.34 c #Conflicts: 352000 | #Constraints: 66946
688.87/696.34 c #Conflicts: 353000 | #Constraints: 67946
688.87/696.34 c #Conflicts: 354000 | #Constraints: 68946
688.87/696.34 c #Conflicts: 355000 | #Constraints: 69946
688.87/696.34 c #Conflicts: 356000 | #Constraints: 70946
688.87/696.34 c #Conflicts: 357000 | #Constraints: 71946
688.87/696.34 c INPROCESSING
688.87/696.34 c GARBAGE COLLECT
688.87/696.34 c #Conflicts: 358000 | #Constraints: 54354
688.87/696.34 c #Conflicts: 359000 | #Constraints: 55354
688.87/696.34 c #Conflicts: 360000 | #Constraints: 56354
688.87/696.34 c #Conflicts: 361000 | #Constraints: 57354
688.87/696.34 c #Conflicts: 362000 | #Constraints: 58354
688.87/696.34 c #Conflicts: 363000 | #Constraints: 59354
688.87/696.34 c #Conflicts: 364000 | #Constraints: 60354
688.87/696.34 c #Conflicts: 365000 | #Constraints: 61354
688.87/696.34 c #Conflicts: 366000 | #Constraints: 62354
688.87/696.34 c #Conflicts: 367000 | #Constraints: 63354
688.87/696.34 c #Conflicts: 368000 | #Constraints: 64354
688.87/696.34 c #Conflicts: 369000 | #Constraints: 65354
688.87/696.34 c #Conflicts: 370000 | #Constraints: 66354
688.87/696.34 c #Conflicts: 371000 | #Constraints: 67354
688.87/696.34 c #Conflicts: 372000 | #Constraints: 68354
688.87/696.34 c #Conflicts: 373000 | #Constraints: 69354
688.87/696.34 c #Conflicts: 374000 | #Constraints: 70354
688.87/696.34 c #Conflicts: 375000 | #Constraints: 71354
688.87/696.34 c #Conflicts: 376000 | #Constraints: 72354
688.87/696.34 c #Conflicts: 377000 | #Constraints: 73354
688.87/696.34 c #Conflicts: 378000 | #Constraints: 74354
858.54/866.75 c #Conflicts: 379000 | #Constraints: 75354
858.54/866.75 c #Conflicts: 380000 | #Constraints: 76354
858.54/866.75 c #Conflicts: 381000 | #Constraints: 77354
858.54/866.75 c #Conflicts: 382000 | #Constraints: 78354
858.54/866.75 c #Conflicts: 383000 | #Constraints: 79354
858.54/866.75 c #Conflicts: 384000 | #Constraints: 80354
858.54/866.75 c #Conflicts: 385000 | #Constraints: 81354
858.54/866.75 c #Conflicts: 386000 | #Constraints: 82354
858.54/866.75 c #Conflicts: 387000 | #Constraints: 83354
858.54/866.75 c #Conflicts: 388000 | #Constraints: 84354
858.54/866.75 c #Conflicts: 389000 | #Constraints: 85354
858.54/866.75 c #Conflicts: 390000 | #Constraints: 86354
858.54/866.75 c #Conflicts: 391000 | #Constraints: 87354
858.54/866.75 c #Conflicts: 392000 | #Constraints: 88354
858.54/866.75 c #Conflicts: 393000 | #Constraints: 89354
858.54/866.75 c #Conflicts: 394000 | #Constraints: 90354
858.54/866.75 c #Conflicts: 395000 | #Constraints: 91354
858.54/866.75 c #Conflicts: 396000 | #Constraints: 92354
858.54/866.75 c #Conflicts: 397000 | #Constraints: 93354
858.54/866.75 c INPROCESSING
858.54/866.75 c GARBAGE COLLECT
858.54/866.75 c #Conflicts: 398000 | #Constraints: 58932
858.54/866.75 c #Conflicts: 399000 | #Constraints: 59932
858.54/866.75 c #Conflicts: 400000 | #Constraints: 60932
858.54/866.75 c #Conflicts: 401000 | #Constraints: 61932
858.54/866.75 c #Conflicts: 402000 | #Constraints: 62932
858.54/866.75 c #Conflicts: 403000 | #Constraints: 63932
858.54/866.75 c #Conflicts: 404000 | #Constraints: 64932
858.54/866.75 c #Conflicts: 405000 | #Constraints: 65932
858.54/866.75 c #Conflicts: 406000 | #Constraints: 66932
858.54/866.75 c #Conflicts: 407000 | #Constraints: 67932
858.54/866.75 c #Conflicts: 408000 | #Constraints: 68932
858.54/866.75 c #Conflicts: 409000 | #Constraints: 69932
858.54/866.75 c #Conflicts: 410000 | #Constraints: 70932
858.54/866.75 c #Conflicts: 411000 | #Constraints: 71932
858.54/866.75 c #Conflicts: 412000 | #Constraints: 72932
858.54/866.75 c #Conflicts: 413000 | #Constraints: 73932
858.54/866.75 c #Conflicts: 414000 | #Constraints: 74932
858.54/866.75 c #Conflicts: 415000 | #Constraints: 75932
858.54/866.75 c INPROCESSING
858.54/866.75 c GARBAGE COLLECT
858.54/866.75 c #Conflicts: 416000 | #Constraints: 56983
858.54/866.75 c #Conflicts: 417000 | #Constraints: 57983
858.54/866.75 c #Conflicts: 418000 | #Constraints: 58983
858.54/866.75 c #Conflicts: 419000 | #Constraints: 59983
858.54/866.75 c #Conflicts: 420000 | #Constraints: 60983
858.54/866.75 c #Conflicts: 421000 | #Constraints: 61983
858.54/866.75 c #Conflicts: 422000 | #Constraints: 62983
858.54/866.75 c #Conflicts: 423000 | #Constraints: 63983
858.54/866.75 c #Conflicts: 424000 | #Constraints: 64983
858.54/866.75 c #Conflicts: 425000 | #Constraints: 65983
858.54/866.75 c #Conflicts: 426000 | #Constraints: 66983
858.54/866.75 c #Conflicts: 427000 | #Constraints: 67983
858.54/866.75 c #Conflicts: 428000 | #Constraints: 68983
858.54/866.75 c #Conflicts: 429000 | #Constraints: 69983
858.54/866.75 c #Conflicts: 430000 | #Constraints: 70983
858.54/866.75 c #Conflicts: 431000 | #Constraints: 71983
858.54/866.75 c #Conflicts: 432000 | #Constraints: 72983
858.54/866.75 c #Conflicts: 433000 | #Constraints: 73983
858.54/866.75 c #Conflicts: 434000 | #Constraints: 74983
858.54/866.75 c #Conflicts: 435000 | #Constraints: 75983
858.54/866.75 c #Conflicts: 436000 | #Constraints: 76983
858.54/866.75 c #Conflicts: 437000 | #Constraints: 77983
858.54/866.75 c #Conflicts: 438000 | #Constraints: 78983
858.54/866.75 c #Conflicts: 439000 | #Constraints: 79983
858.54/866.75 c #Conflicts: 440000 | #Constraints: 80983
858.54/866.75 c #Conflicts: 441000 | #Constraints: 81983
858.54/866.75 c #Conflicts: 442000 | #Constraints: 82983
858.54/866.75 c #Conflicts: 443000 | #Constraints: 83983
858.54/866.75 c #Conflicts: 444000 | #Constraints: 84983
858.54/866.75 c #Conflicts: 445000 | #Constraints: 85983
858.54/866.75 c #Conflicts: 446000 | #Constraints: 86983
858.54/866.75 c #Conflicts: 447000 | #Constraints: 87983
858.54/866.75 c #Conflicts: 448000 | #Constraints: 88983
858.54/866.75 c #Conflicts: 449000 | #Constraints: 89983
858.54/866.75 c #Conflicts: 450000 | #Constraints: 90983
858.54/866.75 c #Conflicts: 451000 | #Constraints: 91983
858.54/866.75 c #Conflicts: 452000 | #Constraints: 92983
858.54/866.75 c #Conflicts: 453000 | #Constraints: 93983
858.54/866.75 c #Conflicts: 454000 | #Constraints: 94983
858.54/866.75 c #Conflicts: 455000 | #Constraints: 95983
858.54/866.75 c #Conflicts: 456000 | #Constraints: 96983
1044.40/1053.34 c #Conflicts: 457000 | #Constraints: 97983
1044.40/1053.34 c #Conflicts: 458000 | #Constraints: 98983
1044.40/1053.34 c #Conflicts: 459000 | #Constraints: 99983
1044.40/1053.34 c INPROCESSING
1044.40/1053.34 c GARBAGE COLLECT
1044.40/1053.34 c #Conflicts: 460000 | #Constraints: 62681
1044.40/1053.34 c #Conflicts: 461000 | #Constraints: 63681
1044.40/1053.34 c #Conflicts: 462000 | #Constraints: 64681
1044.40/1053.34 c #Conflicts: 463000 | #Constraints: 65681
1044.40/1053.34 c #Conflicts: 464000 | #Constraints: 66681
1044.40/1053.34 c #Conflicts: 465000 | #Constraints: 67681
1044.40/1053.34 c #Conflicts: 466000 | #Constraints: 68681
1044.40/1053.34 c #Conflicts: 467000 | #Constraints: 69681
1044.40/1053.34 c #Conflicts: 468000 | #Constraints: 70681
1044.40/1053.34 c #Conflicts: 469000 | #Constraints: 71681
1044.40/1053.34 c #Conflicts: 470000 | #Constraints: 72681
1044.40/1053.34 c #Conflicts: 471000 | #Constraints: 73681
1044.40/1053.34 c #Conflicts: 472000 | #Constraints: 74681
1044.40/1053.34 c #Conflicts: 473000 | #Constraints: 75681
1044.40/1053.34 c #Conflicts: 474000 | #Constraints: 76681
1044.40/1053.34 c #Conflicts: 475000 | #Constraints: 77681
1044.40/1053.34 c #Conflicts: 476000 | #Constraints: 78681
1044.40/1053.34 c #Conflicts: 477000 | #Constraints: 79681
1044.40/1053.34 c #Conflicts: 478000 | #Constraints: 80681
1044.40/1053.34 c INPROCESSING
1044.40/1053.34 c GARBAGE COLLECT
1044.40/1053.34 c #Conflicts: 479000 | #Constraints: 59603
1044.40/1053.34 c #Conflicts: 480000 | #Constraints: 60603
1044.40/1053.34 c #Conflicts: 481000 | #Constraints: 61603
1044.40/1053.34 c #Conflicts: 482000 | #Constraints: 62603
1044.40/1053.34 c #Conflicts: 483000 | #Constraints: 63603
1044.40/1053.34 c #Conflicts: 484000 | #Constraints: 64603
1044.40/1053.34 c #Conflicts: 485000 | #Constraints: 65603
1044.40/1053.34 c #Conflicts: 486000 | #Constraints: 66603
1044.40/1053.34 c #Conflicts: 487000 | #Constraints: 67603
1044.40/1053.34 c #Conflicts: 488000 | #Constraints: 68603
1044.40/1053.34 c #Conflicts: 489000 | #Constraints: 69603
1044.40/1053.34 c #Conflicts: 490000 | #Constraints: 70603
1044.40/1053.34 c #Conflicts: 491000 | #Constraints: 71603
1044.40/1053.34 c #Conflicts: 492000 | #Constraints: 72603
1044.40/1053.34 c #Conflicts: 493000 | #Constraints: 73603
1044.40/1053.34 c #Conflicts: 494000 | #Constraints: 74603
1044.40/1053.34 c #Conflicts: 495000 | #Constraints: 75603
1044.40/1053.34 c #Conflicts: 496000 | #Constraints: 76603
1044.40/1053.34 c #Conflicts: 497000 | #Constraints: 77603
1044.40/1053.34 c #Conflicts: 498000 | #Constraints: 78603
1044.40/1053.34 c #Conflicts: 499000 | #Constraints: 79603
1044.40/1053.34 c #Conflicts: 500000 | #Constraints: 80603
1044.40/1053.34 c #Conflicts: 501000 | #Constraints: 81603
1044.40/1053.34 c #Conflicts: 502000 | #Constraints: 82603
1044.40/1053.34 c #Conflicts: 503000 | #Constraints: 83603
1044.40/1053.34 c #Conflicts: 504000 | #Constraints: 84603
1044.40/1053.34 c #Conflicts: 505000 | #Constraints: 85603
1044.40/1053.34 c #Conflicts: 506000 | #Constraints: 86603
1044.40/1053.34 c #Conflicts: 507000 | #Constraints: 87603
1044.40/1053.34 c #Conflicts: 508000 | #Constraints: 88603
1044.40/1053.34 c #Conflicts: 509000 | #Constraints: 89603
1044.40/1053.34 c #Conflicts: 510000 | #Constraints: 90603
1044.40/1053.34 c #Conflicts: 511000 | #Constraints: 91603
1044.40/1053.34 c #Conflicts: 512000 | #Constraints: 92603
1044.40/1053.34 c #Conflicts: 513000 | #Constraints: 93603
1044.40/1053.34 c #Conflicts: 514000 | #Constraints: 94603
1044.40/1053.34 c #Conflicts: 515000 | #Constraints: 95603
1044.40/1053.34 c #Conflicts: 516000 | #Constraints: 96603
1044.40/1053.34 c #Conflicts: 517000 | #Constraints: 97603
1044.40/1053.34 c #Conflicts: 518000 | #Constraints: 98603
1044.40/1053.34 c #Conflicts: 519000 | #Constraints: 99603
1044.40/1053.34 c #Conflicts: 520000 | #Constraints: 100603
1044.40/1053.34 c #Conflicts: 521000 | #Constraints: 101603
1044.40/1053.34 c #Conflicts: 522000 | #Constraints: 102603
1044.40/1053.34 c #Conflicts: 523000 | #Constraints: 103603
1044.40/1053.34 c #Conflicts: 524000 | #Constraints: 104603
1044.40/1053.34 c #Conflicts: 525000 | #Constraints: 105603
1044.40/1053.34 c INPROCESSING
1044.40/1053.34 c GARBAGE COLLECT
1044.40/1053.34 c #Conflicts: 526000 | #Constraints: 65596
1044.40/1053.34 c #Conflicts: 527000 | #Constraints: 66596
1044.40/1053.34 c #Conflicts: 528000 | #Constraints: 67596
1044.40/1053.34 c #Conflicts: 529000 | #Constraints: 68596
1044.40/1053.34 c #Conflicts: 530000 | #Constraints: 69596
1044.40/1053.34 c #Conflicts: 531000 | #Constraints: 70596
1044.40/1053.34 c #Conflicts: 532000 | #Constraints: 71596
1044.40/1053.34 c #Conflicts: 533000 | #Constraints: 72596
1159.33/1168.60 c #Conflicts: 534000 | #Constraints: 73596
1159.33/1168.60 c #Conflicts: 535000 | #Constraints: 74596
1159.33/1168.60 c #Conflicts: 536000 | #Constraints: 75596
1159.33/1168.60 c #Conflicts: 537000 | #Constraints: 76596
1159.33/1168.60 c #Conflicts: 538000 | #Constraints: 77596
1159.33/1168.60 c #Conflicts: 539000 | #Constraints: 78596
1159.33/1168.60 c #Conflicts: 540000 | #Constraints: 79596
1159.33/1168.60 c #Conflicts: 541000 | #Constraints: 80596
1159.33/1168.60 c #Conflicts: 542000 | #Constraints: 81596
1159.33/1168.60 c #Conflicts: 543000 | #Constraints: 82596
1159.33/1168.60 c #Conflicts: 544000 | #Constraints: 83596
1159.33/1168.60 c #Conflicts: 545000 | #Constraints: 84596
1159.33/1168.60 c INPROCESSING
1159.33/1168.60 c GARBAGE COLLECT
1159.33/1168.60 c rational objective 176.031
1357.84/1367.98 c #Conflicts: 546000 | #Constraints: 62014
1357.84/1367.98 c #Conflicts: 547000 | #Constraints: 63014
1357.84/1367.98 c #Conflicts: 548000 | #Constraints: 64014
1357.84/1367.98 c #Conflicts: 549000 | #Constraints: 65014
1357.84/1367.98 c #Conflicts: 550000 | #Constraints: 66014
1357.84/1367.98 c #Conflicts: 551000 | #Constraints: 67014
1357.84/1367.98 c #Conflicts: 552000 | #Constraints: 68014
1357.84/1367.98 c #Conflicts: 553000 | #Constraints: 69014
1357.84/1367.98 c #Conflicts: 554000 | #Constraints: 70014
1357.84/1367.98 c #Conflicts: 555000 | #Constraints: 71014
1357.84/1367.98 c #Conflicts: 556000 | #Constraints: 72014
1357.84/1367.98 c #Conflicts: 557000 | #Constraints: 73014
1357.84/1367.98 c #Conflicts: 558000 | #Constraints: 74014
1357.84/1367.98 c #Conflicts: 559000 | #Constraints: 75014
1357.84/1367.98 c #Conflicts: 560000 | #Constraints: 76014
1357.84/1367.98 c #Conflicts: 561000 | #Constraints: 77014
1357.84/1367.98 c #Conflicts: 562000 | #Constraints: 78014
1357.84/1367.98 c #Conflicts: 563000 | #Constraints: 79014
1357.84/1367.98 c #Conflicts: 564000 | #Constraints: 80014
1357.84/1367.98 c #Conflicts: 565000 | #Constraints: 81014
1357.84/1367.98 c #Conflicts: 566000 | #Constraints: 82014
1357.84/1367.98 c #Conflicts: 567000 | #Constraints: 83014
1357.84/1367.98 c #Conflicts: 568000 | #Constraints: 84014
1357.84/1367.98 c #Conflicts: 569000 | #Constraints: 85014
1357.84/1367.98 c #Conflicts: 570000 | #Constraints: 86014
1357.84/1367.98 c #Conflicts: 571000 | #Constraints: 87014
1357.84/1367.98 c #Conflicts: 572000 | #Constraints: 88015
1357.84/1367.98 c #Conflicts: 573000 | #Constraints: 89015
1357.84/1367.98 c #Conflicts: 574000 | #Constraints: 90015
1357.84/1367.98 c #Conflicts: 575000 | #Constraints: 91015
1357.84/1367.98 c #Conflicts: 576000 | #Constraints: 92015
1357.84/1367.98 c #Conflicts: 577000 | #Constraints: 93015
1357.84/1367.98 c #Conflicts: 578000 | #Constraints: 94015
1357.84/1367.98 c #Conflicts: 579000 | #Constraints: 95015
1357.84/1367.98 c #Conflicts: 580000 | #Constraints: 96015
1357.84/1367.98 c #Conflicts: 581000 | #Constraints: 97015
1357.84/1367.98 c #Conflicts: 582000 | #Constraints: 98015
1357.84/1367.98 c #Conflicts: 583000 | #Constraints: 99015
1357.84/1367.98 c #Conflicts: 584000 | #Constraints: 100015
1357.84/1367.98 c #Conflicts: 585000 | #Constraints: 101015
1357.84/1367.98 c #Conflicts: 586000 | #Constraints: 102015
1357.84/1367.98 c #Conflicts: 587000 | #Constraints: 103015
1357.84/1367.98 c #Conflicts: 588000 | #Constraints: 104015
1357.84/1367.98 c #Conflicts: 589000 | #Constraints: 105015
1357.84/1367.98 c #Conflicts: 590000 | #Constraints: 106015
1357.84/1367.98 c #Conflicts: 591000 | #Constraints: 107015
1357.84/1367.98 c #Conflicts: 592000 | #Constraints: 108015
1357.84/1367.98 c #Conflicts: 593000 | #Constraints: 109015
1357.84/1367.98 c #Conflicts: 594000 | #Constraints: 110015
1357.84/1367.98 c #Conflicts: 595000 | #Constraints: 111015
1357.84/1367.98 c INPROCESSING
1357.84/1367.98 c GARBAGE COLLECT
1357.84/1367.98 c #Conflicts: 596000 | #Constraints: 68228
1357.84/1367.98 c #Conflicts: 597000 | #Constraints: 69228
1357.84/1367.98 c #Conflicts: 598000 | #Constraints: 70228
1357.84/1367.98 c #Conflicts: 599000 | #Constraints: 71228
1357.84/1367.98 c #Conflicts: 600000 | #Constraints: 72228
1357.84/1367.98 c #Conflicts: 601000 | #Constraints: 73228
1357.84/1367.98 c #Conflicts: 602000 | #Constraints: 74228
1357.84/1367.98 c #Conflicts: 603000 | #Constraints: 75228
1357.84/1367.98 c #Conflicts: 604000 | #Constraints: 76228
1357.84/1367.98 c #Conflicts: 605000 | #Constraints: 77228
1357.84/1367.98 c #Conflicts: 606000 | #Constraints: 78228
1357.84/1367.98 c #Conflicts: 607000 | #Constraints: 79228
1357.84/1367.98 c #Conflicts: 608000 | #Constraints: 80228
1357.84/1367.98 c #Conflicts: 609000 | #Constraints: 81228
1357.84/1367.98 c #Conflicts: 610000 | #Constraints: 82228
1357.84/1367.98 c #Conflicts: 611000 | #Constraints: 83228
1357.84/1367.98 c #Conflicts: 612000 | #Constraints: 84228
1357.84/1367.98 c #Conflicts: 613000 | #Constraints: 85228
1357.84/1367.98 c #Conflicts: 614000 | #Constraints: 86228
1357.84/1367.98 c #Conflicts: 615000 | #Constraints: 87228
1357.84/1367.98 c #Conflicts: 616000 | #Constraints: 88228
1357.84/1367.98 c #Conflicts: 617000 | #Constraints: 89228
1357.84/1367.98 c INPROCESSING
1357.84/1367.98 c GARBAGE COLLECT
1357.84/1367.98 c #Conflicts: 618000 | #Constraints: 65136
1357.84/1367.98 c #Conflicts: 619000 | #Constraints: 66136
1357.84/1367.98 c #Conflicts: 620000 | #Constraints: 67136
1357.84/1367.98 c #Conflicts: 621000 | #Constraints: 68136
1357.84/1367.98 c #Conflicts: 622000 | #Constraints: 69136
1357.84/1367.98 c #Conflicts: 623000 | #Constraints: 70136
1521.68/1538.89 c #Conflicts: 624000 | #Constraints: 71136
1521.68/1538.89 c #Conflicts: 625000 | #Constraints: 72136
1521.68/1538.89 c #Conflicts: 626000 | #Constraints: 73136
1521.68/1538.89 c #Conflicts: 627000 | #Constraints: 74136
1521.68/1538.89 c #Conflicts: 628000 | #Constraints: 75136
1521.68/1538.89 c #Conflicts: 629000 | #Constraints: 76136
1521.68/1538.89 c #Conflicts: 630000 | #Constraints: 77136
1521.68/1538.89 c #Conflicts: 631000 | #Constraints: 78136
1521.68/1538.89 c #Conflicts: 632000 | #Constraints: 79136
1521.68/1538.89 c #Conflicts: 633000 | #Constraints: 80136
1521.68/1538.89 c #Conflicts: 634000 | #Constraints: 81136
1521.68/1538.89 c #Conflicts: 635000 | #Constraints: 82136
1521.68/1538.89 c #Conflicts: 636000 | #Constraints: 83136
1521.68/1538.89 c #Conflicts: 637000 | #Constraints: 84136
1521.68/1538.89 c #Conflicts: 638000 | #Constraints: 85136
1521.68/1538.89 c #Conflicts: 639000 | #Constraints: 86136
1521.68/1538.89 c #Conflicts: 640000 | #Constraints: 87136
1521.68/1538.89 c #Conflicts: 641000 | #Constraints: 88136
1521.68/1538.89 c #Conflicts: 642000 | #Constraints: 89136
1521.68/1538.89 c #Conflicts: 643000 | #Constraints: 90136
1521.68/1538.89 c #Conflicts: 644000 | #Constraints: 91136
1521.68/1538.89 c #Conflicts: 645000 | #Constraints: 92136
1521.68/1538.89 c #Conflicts: 646000 | #Constraints: 93136
1521.68/1538.89 c #Conflicts: 647000 | #Constraints: 94136
1521.68/1538.89 c #Conflicts: 648000 | #Constraints: 95136
1521.68/1538.89 c #Conflicts: 649000 | #Constraints: 96136
1521.68/1538.89 c #Conflicts: 650000 | #Constraints: 97136
1521.68/1538.89 c #Conflicts: 651000 | #Constraints: 98136
1521.68/1538.89 c #Conflicts: 652000 | #Constraints: 99136
1521.68/1538.89 c #Conflicts: 653000 | #Constraints: 100136
1521.68/1538.89 c #Conflicts: 654000 | #Constraints: 101136
1521.68/1538.89 c #Conflicts: 655000 | #Constraints: 102136
1521.68/1538.89 c #Conflicts: 656000 | #Constraints: 103136
1521.68/1538.89 c #Conflicts: 657000 | #Constraints: 104136
1521.68/1538.89 c #Conflicts: 658000 | #Constraints: 105136
1521.68/1538.89 c #Conflicts: 659000 | #Constraints: 106136
1521.68/1538.89 c #Conflicts: 660000 | #Constraints: 107136
1521.68/1538.89 c #Conflicts: 661000 | #Constraints: 108136
1521.68/1538.89 c #Conflicts: 662000 | #Constraints: 109136
1521.68/1538.89 c #Conflicts: 663000 | #Constraints: 110136
1521.68/1538.89 c #Conflicts: 664000 | #Constraints: 111136
1521.68/1538.89 c #Conflicts: 665000 | #Constraints: 112136
1521.68/1538.89 c #Conflicts: 666000 | #Constraints: 113136
1521.68/1538.89 c #Conflicts: 667000 | #Constraints: 114136
1521.68/1538.89 c #Conflicts: 668000 | #Constraints: 115136
1521.68/1538.89 c #Conflicts: 669000 | #Constraints: 116136
1521.68/1538.89 c INPROCESSING
1521.68/1538.89 c GARBAGE COLLECT
1521.68/1538.89 c #Conflicts: 670000 | #Constraints: 70543
1521.68/1538.89 c #Conflicts: 671000 | #Constraints: 71543
1521.68/1538.89 c #Conflicts: 672000 | #Constraints: 72543
1521.68/1538.89 c #Conflicts: 673000 | #Constraints: 73543
1521.68/1538.89 c #Conflicts: 674000 | #Constraints: 74543
1521.68/1538.89 c #Conflicts: 675000 | #Constraints: 75543
1521.68/1538.89 c #Conflicts: 676000 | #Constraints: 76543
1521.68/1538.89 c #Conflicts: 677000 | #Constraints: 77543
1521.68/1538.89 c #Conflicts: 678000 | #Constraints: 78543
1521.68/1538.89 c #Conflicts: 679000 | #Constraints: 79543
1521.68/1538.89 c #Conflicts: 680000 | #Constraints: 80543
1521.68/1538.89 c #Conflicts: 681000 | #Constraints: 81543
1521.68/1538.89 c #Conflicts: 682000 | #Constraints: 82543
1521.68/1538.89 c #Conflicts: 683000 | #Constraints: 83543
1521.68/1538.89 c #Conflicts: 684000 | #Constraints: 84543
1521.68/1538.89 c #Conflicts: 685000 | #Constraints: 85543
1521.68/1538.89 c #Conflicts: 686000 | #Constraints: 86543
1521.68/1538.89 c #Conflicts: 687000 | #Constraints: 87543
1521.68/1538.89 c #Conflicts: 688000 | #Constraints: 88543
1521.68/1538.89 c #Conflicts: 689000 | #Constraints: 89543
1521.68/1538.89 c #Conflicts: 690000 | #Constraints: 90543
1521.68/1538.89 c #Conflicts: 691000 | #Constraints: 91543
1521.68/1538.89 c #Conflicts: 692000 | #Constraints: 92543
1521.68/1538.89 c #Conflicts: 693000 | #Constraints: 93543
1521.68/1538.89 c INPROCESSING
1521.68/1538.89 c GARBAGE COLLECT
1521.68/1538.89 c #Conflicts: 694000 | #Constraints: 68444
1521.68/1538.89 c #Conflicts: 695000 | #Constraints: 69444
1521.68/1538.89 c #Conflicts: 696000 | #Constraints: 70444
1521.68/1538.89 c #Conflicts: 697000 | #Constraints: 71444
1521.68/1538.89 c #Conflicts: 698000 | #Constraints: 72444
1521.68/1538.89 c #Conflicts: 699000 | #Constraints: 73444
1521.68/1538.89 c #Conflicts: 700000 | #Constraints: 74444
1697.15/1715.07 c #Conflicts: 701000 | #Constraints: 75444
1697.15/1715.07 c #Conflicts: 702000 | #Constraints: 76444
1697.15/1715.07 c #Conflicts: 703000 | #Constraints: 77444
1697.15/1715.07 c #Conflicts: 704000 | #Constraints: 78444
1697.15/1715.07 c #Conflicts: 705000 | #Constraints: 79444
1697.15/1715.07 c #Conflicts: 706000 | #Constraints: 80444
1697.15/1715.07 c #Conflicts: 707000 | #Constraints: 81444
1697.15/1715.07 c #Conflicts: 708000 | #Constraints: 82444
1697.15/1715.07 c #Conflicts: 709000 | #Constraints: 83444
1697.15/1715.07 c #Conflicts: 710000 | #Constraints: 84444
1697.15/1715.07 c #Conflicts: 711000 | #Constraints: 85444
1697.15/1715.07 c #Conflicts: 712000 | #Constraints: 86444
1697.15/1715.07 c #Conflicts: 713000 | #Constraints: 87444
1697.15/1715.07 c #Conflicts: 714000 | #Constraints: 88444
1697.15/1715.07 c #Conflicts: 715000 | #Constraints: 89444
1697.15/1715.07 c #Conflicts: 716000 | #Constraints: 90444
1697.15/1715.07 c #Conflicts: 717000 | #Constraints: 91444
1697.15/1715.07 c #Conflicts: 718000 | #Constraints: 92444
1697.15/1715.07 c #Conflicts: 719000 | #Constraints: 93444
1697.15/1715.07 c #Conflicts: 720000 | #Constraints: 94444
1697.15/1715.07 c #Conflicts: 721000 | #Constraints: 95444
1697.15/1715.07 c #Conflicts: 722000 | #Constraints: 96444
1697.15/1715.07 c #Conflicts: 723000 | #Constraints: 97444
1697.15/1715.07 c #Conflicts: 724000 | #Constraints: 98444
1697.15/1715.07 c #Conflicts: 725000 | #Constraints: 99444
1697.15/1715.07 c #Conflicts: 726000 | #Constraints: 100444
1697.15/1715.07 c #Conflicts: 727000 | #Constraints: 101444
1697.15/1715.07 c #Conflicts: 728000 | #Constraints: 102444
1697.15/1715.07 c #Conflicts: 729000 | #Constraints: 103444
1697.15/1715.07 c #Conflicts: 730000 | #Constraints: 104444
1697.15/1715.07 c #Conflicts: 731000 | #Constraints: 105444
1697.15/1715.07 c #Conflicts: 732000 | #Constraints: 106444
1697.15/1715.07 c #Conflicts: 733000 | #Constraints: 107444
1697.15/1715.07 c #Conflicts: 734000 | #Constraints: 108444
1697.15/1715.07 c #Conflicts: 735000 | #Constraints: 109444
1697.15/1715.07 c #Conflicts: 736000 | #Constraints: 110444
1697.15/1715.07 c #Conflicts: 737000 | #Constraints: 111444
1697.15/1715.07 c #Conflicts: 738000 | #Constraints: 112444
1697.15/1715.07 c #Conflicts: 739000 | #Constraints: 113444
1697.15/1715.07 c #Conflicts: 740000 | #Constraints: 114444
1697.15/1715.07 c #Conflicts: 741000 | #Constraints: 115444
1697.15/1715.07 c #Conflicts: 742000 | #Constraints: 116444
1697.15/1715.07 c #Conflicts: 743000 | #Constraints: 117444
1697.15/1715.07 c #Conflicts: 744000 | #Constraints: 118444
1697.15/1715.07 c #Conflicts: 745000 | #Constraints: 119444
1697.15/1715.07 c #Conflicts: 746000 | #Constraints: 120444
1697.15/1715.07 c #Conflicts: 747000 | #Constraints: 121444
1697.15/1715.07 c #Conflicts: 748000 | #Constraints: 122444
1697.15/1715.07 c INPROCESSING
1697.15/1715.07 c GARBAGE COLLECT
1697.15/1715.07 c #Conflicts: 749000 | #Constraints: 73818
1697.15/1715.07 c #Conflicts: 750000 | #Constraints: 74818
1697.15/1715.07 c #Conflicts: 751000 | #Constraints: 75818
1697.15/1715.07 c #Conflicts: 752000 | #Constraints: 76818
1697.15/1715.07 c #Conflicts: 753000 | #Constraints: 77818
1697.15/1715.07 c #Conflicts: 754000 | #Constraints: 78818
1697.15/1715.07 c #Conflicts: 755000 | #Constraints: 79818
1697.15/1715.07 c #Conflicts: 756000 | #Constraints: 80818
1697.15/1715.07 c #Conflicts: 757000 | #Constraints: 81818
1697.15/1715.07 c #Conflicts: 758000 | #Constraints: 82818
1697.15/1715.07 c #Conflicts: 759000 | #Constraints: 83818
1697.15/1715.07 c #Conflicts: 760000 | #Constraints: 84818
1697.15/1715.07 c #Conflicts: 761000 | #Constraints: 85818
1697.15/1715.07 c #Conflicts: 762000 | #Constraints: 86818
1697.15/1715.07 c #Conflicts: 763000 | #Constraints: 87818
1697.15/1715.07 c #Conflicts: 764000 | #Constraints: 88818
1697.15/1715.07 c #Conflicts: 765000 | #Constraints: 89818
1697.15/1715.07 c #Conflicts: 766000 | #Constraints: 90818
1697.15/1715.07 c #Conflicts: 767000 | #Constraints: 91818
1697.15/1715.07 c #Conflicts: 768000 | #Constraints: 92818
1697.15/1715.07 c #Conflicts: 769000 | #Constraints: 93818
1697.15/1715.07 c #Conflicts: 770000 | #Constraints: 94818
1697.15/1715.07 c #Conflicts: 771000 | #Constraints: 95818
1697.15/1715.07 c #Conflicts: 772000 | #Constraints: 96818
1697.15/1715.07 c #Conflicts: 773000 | #Constraints: 97818
1697.15/1715.07 c INPROCESSING
1697.15/1715.07 c GARBAGE COLLECT
1697.15/1715.07 c #Conflicts: 774000 | #Constraints: 70813
1697.15/1715.07 c #Conflicts: 775000 | #Constraints: 71813
1697.15/1715.07 c #Conflicts: 776000 | #Constraints: 72813
1697.15/1715.07 c #Conflicts: 777000 | #Constraints: 73813
1697.15/1715.07 c #Conflicts: 778000 | #Constraints: 74813
1908.71/1929.73 c #Conflicts: 779000 | #Constraints: 75813
1908.71/1929.73 c #Conflicts: 780000 | #Constraints: 76813
1908.71/1929.73 c #Conflicts: 781000 | #Constraints: 77813
1908.71/1929.73 c #Conflicts: 782000 | #Constraints: 78813
1908.71/1929.73 c #Conflicts: 783000 | #Constraints: 79813
1908.71/1929.73 c #Conflicts: 784000 | #Constraints: 80813
1908.71/1929.73 c #Conflicts: 785000 | #Constraints: 81813
1908.71/1929.73 c #Conflicts: 786000 | #Constraints: 82813
1908.71/1929.73 c #Conflicts: 787000 | #Constraints: 83813
1908.71/1929.73 c #Conflicts: 788000 | #Constraints: 84813
1908.71/1929.73 c #Conflicts: 789000 | #Constraints: 85813
1908.71/1929.73 c #Conflicts: 790000 | #Constraints: 86813
1908.71/1929.73 c #Conflicts: 791000 | #Constraints: 87813
1908.71/1929.73 c #Conflicts: 792000 | #Constraints: 88813
1908.71/1929.73 c #Conflicts: 793000 | #Constraints: 89813
1908.71/1929.73 c #Conflicts: 794000 | #Constraints: 90813
1908.71/1929.73 c #Conflicts: 795000 | #Constraints: 91813
1908.71/1929.73 c #Conflicts: 796000 | #Constraints: 92813
1908.71/1929.73 c #Conflicts: 797000 | #Constraints: 93813
1908.71/1929.73 c #Conflicts: 798000 | #Constraints: 94813
1908.71/1929.73 c #Conflicts: 799000 | #Constraints: 95813
1908.71/1929.73 c #Conflicts: 800000 | #Constraints: 96813
1908.71/1929.73 c #Conflicts: 801000 | #Constraints: 97813
1908.71/1929.73 c #Conflicts: 802000 | #Constraints: 98813
1908.71/1929.73 c #Conflicts: 803000 | #Constraints: 99813
1908.71/1929.73 c #Conflicts: 804000 | #Constraints: 100813
1908.71/1929.73 c #Conflicts: 805000 | #Constraints: 101813
1908.71/1929.73 c #Conflicts: 806000 | #Constraints: 102813
1908.71/1929.73 c #Conflicts: 807000 | #Constraints: 103813
1908.71/1929.73 c #Conflicts: 808000 | #Constraints: 104813
1908.71/1929.73 c #Conflicts: 809000 | #Constraints: 105813
1908.71/1929.73 c #Conflicts: 810000 | #Constraints: 106813
1908.71/1929.73 c #Conflicts: 811000 | #Constraints: 107813
1908.71/1929.73 c #Conflicts: 812000 | #Constraints: 108813
1908.71/1929.73 c #Conflicts: 813000 | #Constraints: 109813
1908.71/1929.73 c #Conflicts: 814000 | #Constraints: 110813
1908.71/1929.73 c #Conflicts: 815000 | #Constraints: 111813
1908.71/1929.73 c #Conflicts: 816000 | #Constraints: 112813
1908.71/1929.73 c #Conflicts: 817000 | #Constraints: 113813
1908.71/1929.73 c #Conflicts: 818000 | #Constraints: 114813
1908.71/1929.73 c #Conflicts: 819000 | #Constraints: 115813
1908.71/1929.73 c #Conflicts: 820000 | #Constraints: 116813
1908.71/1929.73 c #Conflicts: 821000 | #Constraints: 117813
1908.71/1929.73 c #Conflicts: 822000 | #Constraints: 118813
1908.71/1929.73 c #Conflicts: 823000 | #Constraints: 119813
1908.71/1929.73 c #Conflicts: 824000 | #Constraints: 120813
1908.71/1929.73 c #Conflicts: 825000 | #Constraints: 121813
1908.71/1929.73 c #Conflicts: 826000 | #Constraints: 122813
1908.71/1929.73 c #Conflicts: 827000 | #Constraints: 123813
1908.71/1929.73 c #Conflicts: 828000 | #Constraints: 124813
1908.71/1929.73 c #Conflicts: 829000 | #Constraints: 125813
1908.71/1929.73 c #Conflicts: 830000 | #Constraints: 126813
1908.71/1929.73 c #Conflicts: 831000 | #Constraints: 127813
1908.71/1929.73 c #Conflicts: 832000 | #Constraints: 128813
1908.71/1929.73 c INPROCESSING
1908.71/1929.73 c GARBAGE COLLECT
1908.71/1929.73 c #Conflicts: 833000 | #Constraints: 77273
1908.71/1929.73 c #Conflicts: 834000 | #Constraints: 78273
1908.71/1929.73 c #Conflicts: 835000 | #Constraints: 79273
1908.71/1929.73 c #Conflicts: 836000 | #Constraints: 80273
1908.71/1929.73 c #Conflicts: 837000 | #Constraints: 81273
1908.71/1929.73 c #Conflicts: 838000 | #Constraints: 82273
1908.71/1929.73 c #Conflicts: 839000 | #Constraints: 83273
1908.71/1929.73 c #Conflicts: 840000 | #Constraints: 84273
1908.71/1929.73 c #Conflicts: 841000 | #Constraints: 85273
1908.71/1929.73 c #Conflicts: 842000 | #Constraints: 86273
1908.71/1929.73 c #Conflicts: 843000 | #Constraints: 87273
1908.71/1929.73 c #Conflicts: 844000 | #Constraints: 88273
1908.71/1929.73 c #Conflicts: 845000 | #Constraints: 89273
1908.71/1929.73 c #Conflicts: 846000 | #Constraints: 90273
1908.71/1929.73 c #Conflicts: 847000 | #Constraints: 91273
1908.71/1929.73 c #Conflicts: 848000 | #Constraints: 92273
1908.71/1929.73 c #Conflicts: 849000 | #Constraints: 93273
1908.71/1929.73 c #Conflicts: 850000 | #Constraints: 94273
1908.71/1929.73 c #Conflicts: 851000 | #Constraints: 95273
1908.71/1929.73 c #Conflicts: 852000 | #Constraints: 96273
1908.71/1929.73 c #Conflicts: 853000 | #Constraints: 97273
1908.71/1929.73 c #Conflicts: 854000 | #Constraints: 98273
1908.71/1929.73 c #Conflicts: 855000 | #Constraints: 99273
1908.71/1929.73 c #Conflicts: 856000 | #Constraints: 100273
2190.11/2215.15 c #Conflicts: 857000 | #Constraints: 101273
2190.11/2215.15 c #Conflicts: 858000 | #Constraints: 102273
2190.11/2215.15 c INPROCESSING
2190.11/2215.15 c GARBAGE COLLECT
2190.11/2215.15 c #Conflicts: 859000 | #Constraints: 73937
2190.11/2215.15 c #Conflicts: 860000 | #Constraints: 74937
2190.11/2215.15 c #Conflicts: 861000 | #Constraints: 75937
2190.11/2215.15 c #Conflicts: 862000 | #Constraints: 76937
2190.11/2215.15 c #Conflicts: 863000 | #Constraints: 77937
2190.11/2215.15 c #Conflicts: 864000 | #Constraints: 78937
2190.11/2215.15 c #Conflicts: 865000 | #Constraints: 79937
2190.11/2215.15 c #Conflicts: 866000 | #Constraints: 80937
2190.11/2215.15 c #Conflicts: 867000 | #Constraints: 81937
2190.11/2215.15 c #Conflicts: 868000 | #Constraints: 82937
2190.11/2215.15 c #Conflicts: 869000 | #Constraints: 83937
2190.11/2215.15 c #Conflicts: 870000 | #Constraints: 84937
2190.11/2215.15 c #Conflicts: 871000 | #Constraints: 85937
2190.11/2215.15 c #Conflicts: 872000 | #Constraints: 86937
2190.11/2215.15 c #Conflicts: 873000 | #Constraints: 87937
2190.11/2215.15 c #Conflicts: 874000 | #Constraints: 88937
2190.11/2215.15 c #Conflicts: 875000 | #Constraints: 89937
2190.11/2215.15 c #Conflicts: 876000 | #Constraints: 90937
2190.11/2215.15 c #Conflicts: 877000 | #Constraints: 91937
2190.11/2215.15 c #Conflicts: 878000 | #Constraints: 92937
2190.11/2215.15 c #Conflicts: 879000 | #Constraints: 93937
2190.11/2215.15 c #Conflicts: 880000 | #Constraints: 94937
2190.11/2215.15 c #Conflicts: 881000 | #Constraints: 95937
2190.11/2215.15 c #Conflicts: 882000 | #Constraints: 96937
2190.11/2215.15 c #Conflicts: 883000 | #Constraints: 97937
2190.11/2215.15 c #Conflicts: 884000 | #Constraints: 98937
2190.11/2215.15 c #Conflicts: 885000 | #Constraints: 99937
2190.11/2215.15 c #Conflicts: 886000 | #Constraints: 100937
2190.11/2215.15 c #Conflicts: 887000 | #Constraints: 101937
2190.11/2215.15 c #Conflicts: 888000 | #Constraints: 102937
2190.11/2215.15 c #Conflicts: 889000 | #Constraints: 103937
2190.11/2215.15 c #Conflicts: 890000 | #Constraints: 104937
2190.11/2215.15 c #Conflicts: 891000 | #Constraints: 105937
2190.11/2215.15 c #Conflicts: 892000 | #Constraints: 106937
2190.11/2215.15 c #Conflicts: 893000 | #Constraints: 107937
2190.11/2215.15 c #Conflicts: 894000 | #Constraints: 108937
2190.11/2215.15 c #Conflicts: 895000 | #Constraints: 109937
2190.11/2215.15 c #Conflicts: 896000 | #Constraints: 110937
2190.11/2215.15 c #Conflicts: 897000 | #Constraints: 111937
2190.11/2215.15 c #Conflicts: 898000 | #Constraints: 112937
2190.11/2215.15 c #Conflicts: 899000 | #Constraints: 113937
2190.11/2215.15 c #Conflicts: 900000 | #Constraints: 114937
2190.11/2215.15 c #Conflicts: 901000 | #Constraints: 115937
2190.11/2215.15 c #Conflicts: 902000 | #Constraints: 116937
2190.11/2215.15 c #Conflicts: 903000 | #Constraints: 117937
2190.11/2215.15 c #Conflicts: 904000 | #Constraints: 118937
2190.11/2215.15 c #Conflicts: 905000 | #Constraints: 119937
2190.11/2215.15 c #Conflicts: 906000 | #Constraints: 120937
2190.11/2215.15 c #Conflicts: 907000 | #Constraints: 121937
2190.11/2215.15 c #Conflicts: 908000 | #Constraints: 122937
2190.11/2215.15 c #Conflicts: 909000 | #Constraints: 123937
2190.11/2215.15 c #Conflicts: 910000 | #Constraints: 124937
2190.11/2215.15 c #Conflicts: 911000 | #Constraints: 125937
2190.11/2215.15 c #Conflicts: 912000 | #Constraints: 126937
2190.11/2215.15 c #Conflicts: 913000 | #Constraints: 127937
2190.11/2215.15 c #Conflicts: 914000 | #Constraints: 128937
2190.11/2215.15 c #Conflicts: 915000 | #Constraints: 129937
2190.11/2215.15 c #Conflicts: 916000 | #Constraints: 130937
2190.11/2215.15 c #Conflicts: 917000 | #Constraints: 131937
2190.11/2215.15 c #Conflicts: 918000 | #Constraints: 132937
2190.11/2215.15 c #Conflicts: 919000 | #Constraints: 133937
2190.11/2215.15 c #Conflicts: 920000 | #Constraints: 134937
2190.11/2215.15 c INPROCESSING
2190.11/2215.15 c GARBAGE COLLECT
2190.11/2215.15 c rational objective 176.056
2376.95/2408.54 c #Conflicts: 921000 | #Constraints: 80557
2376.95/2408.54 c #Conflicts: 922000 | #Constraints: 81557
2376.95/2408.54 c #Conflicts: 923000 | #Constraints: 82557
2376.95/2408.54 c #Conflicts: 924000 | #Constraints: 83557
2376.95/2408.54 c #Conflicts: 925000 | #Constraints: 84557
2376.95/2408.54 c #Conflicts: 926000 | #Constraints: 85557
2376.95/2408.54 c #Conflicts: 927000 | #Constraints: 86557
2376.95/2408.54 c #Conflicts: 928000 | #Constraints: 87557
2376.95/2408.54 c #Conflicts: 929000 | #Constraints: 88557
2376.95/2408.54 c #Conflicts: 930000 | #Constraints: 89557
2376.95/2408.54 c #Conflicts: 931000 | #Constraints: 90557
2376.95/2408.54 c #Conflicts: 932000 | #Constraints: 91557
2376.95/2408.54 c #Conflicts: 933000 | #Constraints: 92557
2376.95/2408.54 c #Conflicts: 934000 | #Constraints: 93557
2376.95/2408.54 c #Conflicts: 935000 | #Constraints: 94557
2376.95/2408.54 c #Conflicts: 936000 | #Constraints: 95557
2376.95/2408.54 c #Conflicts: 937000 | #Constraints: 96557
2376.95/2408.54 c #Conflicts: 938000 | #Constraints: 97557
2376.95/2408.54 c #Conflicts: 939000 | #Constraints: 98557
2376.95/2408.54 c #Conflicts: 940000 | #Constraints: 99557
2376.95/2408.54 c #Conflicts: 941000 | #Constraints: 100557
2376.95/2408.54 c #Conflicts: 942000 | #Constraints: 101557
2376.95/2408.54 c #Conflicts: 943000 | #Constraints: 102557
2376.95/2408.54 c #Conflicts: 944000 | #Constraints: 103557
2376.95/2408.54 c #Conflicts: 945000 | #Constraints: 104557
2376.95/2408.54 c #Conflicts: 946000 | #Constraints: 105557
2376.95/2408.54 c #Conflicts: 947000 | #Constraints: 106557
2376.95/2408.54 c INPROCESSING
2376.95/2408.54 c GARBAGE COLLECT
2376.95/2408.54 c #Conflicts: 948000 | #Constraints: 76821
2376.95/2408.54 c #Conflicts: 949000 | #Constraints: 77821
2376.95/2408.54 c #Conflicts: 950000 | #Constraints: 78821
2376.95/2408.54 c #Conflicts: 951000 | #Constraints: 79821
2376.95/2408.54 c #Conflicts: 952000 | #Constraints: 80821
2376.95/2408.54 c #Conflicts: 953000 | #Constraints: 81821
2376.95/2408.54 c #Conflicts: 954000 | #Constraints: 82821
2376.95/2408.54 c #Conflicts: 955000 | #Constraints: 83821
2376.95/2408.54 c #Conflicts: 956000 | #Constraints: 84821
2376.95/2408.54 c #Conflicts: 957000 | #Constraints: 85821
2376.95/2408.54 c #Conflicts: 958000 | #Constraints: 86821
2376.95/2408.54 c #Conflicts: 959000 | #Constraints: 87821
2376.95/2408.54 c #Conflicts: 960000 | #Constraints: 88821
2376.95/2408.54 c #Conflicts: 961000 | #Constraints: 89821
2376.95/2408.54 c #Conflicts: 962000 | #Constraints: 90821
2376.95/2408.54 c #Conflicts: 963000 | #Constraints: 91821
2376.95/2408.54 c #Conflicts: 964000 | #Constraints: 92821
2376.95/2408.54 c #Conflicts: 965000 | #Constraints: 93821
2376.95/2408.54 c #Conflicts: 966000 | #Constraints: 94821
2376.95/2408.54 c #Conflicts: 967000 | #Constraints: 95821
2376.95/2408.54 c #Conflicts: 968000 | #Constraints: 96821
2376.95/2408.54 c #Conflicts: 969000 | #Constraints: 97821
2376.95/2408.54 c #Conflicts: 970000 | #Constraints: 98821
2376.95/2408.54 c #Conflicts: 971000 | #Constraints: 99821
2376.95/2408.54 c #Conflicts: 972000 | #Constraints: 100821
2376.95/2408.54 c #Conflicts: 973000 | #Constraints: 101821
2376.95/2408.54 c #Conflicts: 974000 | #Constraints: 102821
2376.95/2408.54 c #Conflicts: 975000 | #Constraints: 103821
2376.95/2408.54 c #Conflicts: 976000 | #Constraints: 104821
2376.95/2408.54 c #Conflicts: 977000 | #Constraints: 105821
2376.95/2408.54 c #Conflicts: 978000 | #Constraints: 106821
2376.95/2408.54 c #Conflicts: 979000 | #Constraints: 107821
2376.95/2408.54 c #Conflicts: 980000 | #Constraints: 108821
2376.95/2408.54 c #Conflicts: 981000 | #Constraints: 109821
2376.95/2408.54 c #Conflicts: 982000 | #Constraints: 110821
2376.95/2408.54 c #Conflicts: 983000 | #Constraints: 111821
2376.95/2408.54 c #Conflicts: 984000 | #Constraints: 112821
2376.95/2408.54 c #Conflicts: 985000 | #Constraints: 113821
2376.95/2408.54 c #Conflicts: 986000 | #Constraints: 114821
2376.95/2408.54 c #Conflicts: 987000 | #Constraints: 115821
2376.95/2408.54 c #Conflicts: 988000 | #Constraints: 116821
2376.95/2408.54 c #Conflicts: 989000 | #Constraints: 117821
2376.95/2408.54 c #Conflicts: 990000 | #Constraints: 118821
2376.95/2408.54 c #Conflicts: 991000 | #Constraints: 119821
2376.95/2408.54 c #Conflicts: 992000 | #Constraints: 120821
2376.95/2408.54 c #Conflicts: 993000 | #Constraints: 121821
2376.95/2408.54 c #Conflicts: 994000 | #Constraints: 122821
2376.95/2408.54 c #Conflicts: 995000 | #Constraints: 123821
2376.95/2408.54 c #Conflicts: 996000 | #Constraints: 124821
2376.95/2408.54 c #Conflicts: 997000 | #Constraints: 125821
2376.95/2408.54 c #Conflicts: 998000 | #Constraints: 126821
2376.95/2408.54 c #Conflicts: 999000 | #Constraints: 127821
2598.11/2651.15 c #Conflicts: 1000000 | #Constraints: 128821
2598.11/2651.15 c #Conflicts: 1001000 | #Constraints: 129821
2598.11/2651.15 c #Conflicts: 1002000 | #Constraints: 130821
2598.11/2651.15 c #Conflicts: 1003000 | #Constraints: 131821
2598.11/2651.15 c #Conflicts: 1004000 | #Constraints: 132821
2598.11/2651.15 c #Conflicts: 1005000 | #Constraints: 133821
2598.11/2651.15 c #Conflicts: 1006000 | #Constraints: 134821
2598.11/2651.15 c #Conflicts: 1007000 | #Constraints: 135821
2598.11/2651.15 c #Conflicts: 1008000 | #Constraints: 136821
2598.11/2651.15 c #Conflicts: 1009000 | #Constraints: 137821
2598.11/2651.15 c #Conflicts: 1010000 | #Constraints: 138821
2598.11/2651.15 c #Conflicts: 1011000 | #Constraints: 139821
2598.11/2651.15 c #Conflicts: 1012000 | #Constraints: 140821
2598.11/2651.15 c INPROCESSING
2598.11/2651.15 c GARBAGE COLLECT
2598.11/2651.15 c #Conflicts: 1013000 | #Constraints: 83397
2598.11/2651.15 c #Conflicts: 1014000 | #Constraints: 84397
2598.11/2651.15 c #Conflicts: 1015000 | #Constraints: 85397
2598.11/2651.15 c #Conflicts: 1016000 | #Constraints: 86397
2598.11/2651.15 c #Conflicts: 1017000 | #Constraints: 87397
2598.11/2651.15 c #Conflicts: 1018000 | #Constraints: 88397
2598.11/2651.15 c #Conflicts: 1019000 | #Constraints: 89397
2598.11/2651.15 c #Conflicts: 1020000 | #Constraints: 90397
2598.11/2651.15 c #Conflicts: 1021000 | #Constraints: 91397
2598.11/2651.15 c #Conflicts: 1022000 | #Constraints: 92397
2598.11/2651.15 c #Conflicts: 1023000 | #Constraints: 93397
2598.11/2651.15 c #Conflicts: 1024000 | #Constraints: 94397
2598.11/2651.15 c #Conflicts: 1025000 | #Constraints: 95397
2598.11/2651.15 c #Conflicts: 1026000 | #Constraints: 96397
2598.11/2651.15 c #Conflicts: 1027000 | #Constraints: 97397
2598.11/2651.15 c #Conflicts: 1028000 | #Constraints: 98397
2598.11/2651.15 c #Conflicts: 1029000 | #Constraints: 99397
2598.11/2651.15 c #Conflicts: 1030000 | #Constraints: 100397
2598.11/2651.15 c #Conflicts: 1031000 | #Constraints: 101397
2598.11/2651.15 c #Conflicts: 1032000 | #Constraints: 102397
2598.11/2651.15 c #Conflicts: 1033000 | #Constraints: 103397
2598.11/2651.15 c #Conflicts: 1034000 | #Constraints: 104397
2598.11/2651.15 c #Conflicts: 1035000 | #Constraints: 105397
2598.11/2651.15 c #Conflicts: 1036000 | #Constraints: 106397
2598.11/2651.15 c #Conflicts: 1037000 | #Constraints: 107397
2598.11/2651.15 c #Conflicts: 1038000 | #Constraints: 108397
2598.11/2651.15 c #Conflicts: 1039000 | #Constraints: 109397
2598.11/2651.15 c #Conflicts: 1040000 | #Constraints: 110397
2598.11/2651.15 c INPROCESSING
2598.11/2651.15 c GARBAGE COLLECT
2598.11/2651.15 c #Conflicts: 1041000 | #Constraints: 78528
2598.11/2651.15 c #Conflicts: 1042000 | #Constraints: 79528
2598.11/2651.15 c #Conflicts: 1043000 | #Constraints: 80528
2598.11/2651.15 c #Conflicts: 1044000 | #Constraints: 81528
2598.11/2651.15 c #Conflicts: 1045000 | #Constraints: 82528
2598.11/2651.15 c #Conflicts: 1046000 | #Constraints: 83528
2598.11/2651.15 c #Conflicts: 1047000 | #Constraints: 84528
2598.11/2651.15 c #Conflicts: 1048000 | #Constraints: 85528
2598.11/2651.15 c #Conflicts: 1049000 | #Constraints: 86528
2598.11/2651.15 c #Conflicts: 1050000 | #Constraints: 87528
2598.11/2651.15 c #Conflicts: 1051000 | #Constraints: 88528
2598.11/2651.15 c #Conflicts: 1052000 | #Constraints: 89528
2598.11/2651.15 c #Conflicts: 1053000 | #Constraints: 90528
2598.11/2651.15 c #Conflicts: 1054000 | #Constraints: 91528
2598.11/2651.15 c #Conflicts: 1055000 | #Constraints: 92528
2598.11/2651.15 c #Conflicts: 1056000 | #Constraints: 93528
2598.11/2651.15 c #Conflicts: 1057000 | #Constraints: 94528
2598.11/2651.15 c #Conflicts: 1058000 | #Constraints: 95528
2598.11/2651.15 c #Conflicts: 1059000 | #Constraints: 96528
2598.11/2651.15 c #Conflicts: 1060000 | #Constraints: 97528
2598.11/2651.15 c #Conflicts: 1061000 | #Constraints: 98528
2598.11/2651.15 c #Conflicts: 1062000 | #Constraints: 99528
2598.11/2651.15 c #Conflicts: 1063000 | #Constraints: 100528
2598.11/2651.15 c #Conflicts: 1064000 | #Constraints: 101528
2598.11/2651.15 c #Conflicts: 1065000 | #Constraints: 102528
2598.11/2651.15 c #Conflicts: 1066000 | #Constraints: 103528
2598.11/2651.15 c #Conflicts: 1067000 | #Constraints: 104528
2598.11/2651.15 c #Conflicts: 1068000 | #Constraints: 105528
2598.11/2651.15 c #Conflicts: 1069000 | #Constraints: 106528
2598.11/2651.15 c #Conflicts: 1070000 | #Constraints: 107528
2598.11/2651.15 c #Conflicts: 1071000 | #Constraints: 108528
2598.11/2651.15 c #Conflicts: 1072000 | #Constraints: 109528
2598.11/2651.15 c #Conflicts: 1073000 | #Constraints: 110528
2598.11/2651.15 c #Conflicts: 1074000 | #Constraints: 111528
2598.11/2651.15 c #Conflicts: 1075000 | #Constraints: 112528
2598.11/2651.15 c #Conflicts: 1076000 | #Constraints: 113528
3012.62/3070.37 c #Conflicts: 1077000 | #Constraints: 114528
3012.62/3070.37 c #Conflicts: 1078000 | #Constraints: 115528
3012.62/3070.37 c #Conflicts: 1079000 | #Constraints: 116528
3012.62/3070.37 c #Conflicts: 1080000 | #Constraints: 117528
3012.62/3070.37 c #Conflicts: 1081000 | #Constraints: 118528
3012.62/3070.37 c #Conflicts: 1082000 | #Constraints: 119528
3012.62/3070.37 c #Conflicts: 1083000 | #Constraints: 120528
3012.62/3070.37 c #Conflicts: 1084000 | #Constraints: 121528
3012.62/3070.37 c #Conflicts: 1085000 | #Constraints: 122528
3012.62/3070.37 c #Conflicts: 1086000 | #Constraints: 123528
3012.62/3070.37 c #Conflicts: 1087000 | #Constraints: 124528
3012.62/3070.37 c #Conflicts: 1088000 | #Constraints: 125528
3012.62/3070.37 c #Conflicts: 1089000 | #Constraints: 126528
3012.62/3070.37 c #Conflicts: 1090000 | #Constraints: 127528
3012.62/3070.37 c #Conflicts: 1091000 | #Constraints: 128528
3012.62/3070.37 c #Conflicts: 1092000 | #Constraints: 129528
3012.62/3070.37 c #Conflicts: 1093000 | #Constraints: 130528
3012.62/3070.37 c #Conflicts: 1094000 | #Constraints: 131528
3012.62/3070.37 c #Conflicts: 1095000 | #Constraints: 132528
3012.62/3070.37 c #Conflicts: 1096000 | #Constraints: 133528
3012.62/3070.37 c #Conflicts: 1097000 | #Constraints: 134528
3012.62/3070.37 c #Conflicts: 1098000 | #Constraints: 135528
3012.62/3070.37 c #Conflicts: 1099000 | #Constraints: 136528
3012.62/3070.37 c #Conflicts: 1100000 | #Constraints: 137528
3012.62/3070.37 c #Conflicts: 1101000 | #Constraints: 138528
3012.62/3070.37 c #Conflicts: 1102000 | #Constraints: 139528
3012.62/3070.37 c #Conflicts: 1103000 | #Constraints: 140528
3012.62/3070.37 c #Conflicts: 1104000 | #Constraints: 141528
3012.62/3070.37 c #Conflicts: 1105000 | #Constraints: 142528
3012.62/3070.37 c #Conflicts: 1106000 | #Constraints: 143528
3012.62/3070.37 c #Conflicts: 1107000 | #Constraints: 144528
3012.62/3070.37 c #Conflicts: 1108000 | #Constraints: 145528
3012.62/3070.37 c INPROCESSING
3012.62/3070.37 c GARBAGE COLLECT
3012.62/3070.37 c #Conflicts: 1109000 | #Constraints: 85496
3012.62/3070.37 c #Conflicts: 1110000 | #Constraints: 86496
3012.62/3070.37 c #Conflicts: 1111000 | #Constraints: 87496
3012.62/3070.37 c #Conflicts: 1112000 | #Constraints: 88496
3012.62/3070.37 c #Conflicts: 1113000 | #Constraints: 89496
3012.62/3070.37 c #Conflicts: 1114000 | #Constraints: 90496
3012.62/3070.37 c #Conflicts: 1115000 | #Constraints: 91496
3012.62/3070.37 c #Conflicts: 1116000 | #Constraints: 92496
3012.62/3070.37 c #Conflicts: 1117000 | #Constraints: 93496
3012.62/3070.37 c #Conflicts: 1118000 | #Constraints: 94496
3012.62/3070.37 c #Conflicts: 1119000 | #Constraints: 95496
3012.62/3070.37 c #Conflicts: 1120000 | #Constraints: 96496
3012.62/3070.37 c #Conflicts: 1121000 | #Constraints: 97496
3012.62/3070.37 c #Conflicts: 1122000 | #Constraints: 98496
3012.62/3070.37 c #Conflicts: 1123000 | #Constraints: 99496
3012.62/3070.37 c #Conflicts: 1124000 | #Constraints: 100496
3012.62/3070.37 c #Conflicts: 1125000 | #Constraints: 101496
3012.62/3070.37 c #Conflicts: 1126000 | #Constraints: 102496
3012.62/3070.37 c #Conflicts: 1127000 | #Constraints: 103496
3012.62/3070.37 c #Conflicts: 1128000 | #Constraints: 104496
3012.62/3070.37 c #Conflicts: 1129000 | #Constraints: 105496
3012.62/3070.37 c #Conflicts: 1130000 | #Constraints: 106496
3012.62/3070.37 c #Conflicts: 1131000 | #Constraints: 107496
3012.62/3070.37 c #Conflicts: 1132000 | #Constraints: 108496
3012.62/3070.37 c #Conflicts: 1133000 | #Constraints: 109496
3012.62/3070.37 c #Conflicts: 1134000 | #Constraints: 110496
3012.62/3070.37 c #Conflicts: 1135000 | #Constraints: 111496
3012.62/3070.37 c #Conflicts: 1136000 | #Constraints: 112496
3012.62/3070.37 c #Conflicts: 1137000 | #Constraints: 113496
3012.62/3070.37 c #Conflicts: 1138000 | #Constraints: 114496
3012.62/3070.37 c INPROCESSING
3012.62/3070.37 c GARBAGE COLLECT
3012.62/3070.37 c #Conflicts: 1139000 | #Constraints: 80241
3012.62/3070.37 c #Conflicts: 1140000 | #Constraints: 81241
3012.62/3070.37 c #Conflicts: 1141000 | #Constraints: 82241
3012.62/3070.37 c #Conflicts: 1142000 | #Constraints: 83241
3012.62/3070.37 c #Conflicts: 1143000 | #Constraints: 84241
3012.62/3070.37 c #Conflicts: 1144000 | #Constraints: 85241
3012.62/3070.37 c #Conflicts: 1145000 | #Constraints: 86241
3012.62/3070.37 c #Conflicts: 1146000 | #Constraints: 87241
3012.62/3070.37 c #Conflicts: 1147000 | #Constraints: 88241
3012.62/3070.37 c #Conflicts: 1148000 | #Constraints: 89241
3012.62/3070.37 c #Conflicts: 1149000 | #Constraints: 90241
3012.62/3070.37 c #Conflicts: 1150000 | #Constraints: 91241
3012.62/3070.37 c #Conflicts: 1151000 | #Constraints: 92241
3012.62/3070.37 c #Conflicts: 1152000 | #Constraints: 93241
3012.62/3070.37 c #Conflicts: 1153000 | #Constraints: 94241
3012.62/3070.37 c #Conflicts: 1154000 | #Constraints: 95241
3269.99/3328.67 c #Conflicts: 1155000 | #Constraints: 96241
3269.99/3328.67 c #Conflicts: 1156000 | #Constraints: 97241
3269.99/3328.67 c #Conflicts: 1157000 | #Constraints: 98241
3269.99/3328.67 c #Conflicts: 1158000 | #Constraints: 99241
3269.99/3328.67 c #Conflicts: 1159000 | #Constraints: 100241
3269.99/3328.67 c #Conflicts: 1160000 | #Constraints: 101241
3269.99/3328.67 c #Conflicts: 1161000 | #Constraints: 102241
3269.99/3328.67 c #Conflicts: 1162000 | #Constraints: 103241
3269.99/3328.67 c #Conflicts: 1163000 | #Constraints: 104241
3269.99/3328.67 c #Conflicts: 1164000 | #Constraints: 105241
3269.99/3328.67 c #Conflicts: 1165000 | #Constraints: 106241
3269.99/3328.67 c #Conflicts: 1166000 | #Constraints: 107241
3269.99/3328.67 c #Conflicts: 1167000 | #Constraints: 108241
3269.99/3328.67 c #Conflicts: 1168000 | #Constraints: 109241
3269.99/3328.67 c #Conflicts: 1169000 | #Constraints: 110241
3269.99/3328.67 c #Conflicts: 1170000 | #Constraints: 111241
3269.99/3328.67 c #Conflicts: 1171000 | #Constraints: 112242
3269.99/3328.67 c #Conflicts: 1172000 | #Constraints: 113242
3269.99/3328.67 c #Conflicts: 1173000 | #Constraints: 114242
3269.99/3328.67 c #Conflicts: 1174000 | #Constraints: 115242
3269.99/3328.67 c #Conflicts: 1175000 | #Constraints: 116242
3269.99/3328.67 c #Conflicts: 1176000 | #Constraints: 117242
3269.99/3328.67 c #Conflicts: 1177000 | #Constraints: 118242
3269.99/3328.67 c #Conflicts: 1178000 | #Constraints: 119242
3269.99/3328.67 c #Conflicts: 1179000 | #Constraints: 120242
3269.99/3328.67 c #Conflicts: 1180000 | #Constraints: 121242
3269.99/3328.67 c #Conflicts: 1181000 | #Constraints: 122242
3269.99/3328.67 c #Conflicts: 1182000 | #Constraints: 123242
3269.99/3328.67 c #Conflicts: 1183000 | #Constraints: 124242
3269.99/3328.67 c #Conflicts: 1184000 | #Constraints: 125242
3269.99/3328.67 c #Conflicts: 1185000 | #Constraints: 126242
3269.99/3328.67 c #Conflicts: 1186000 | #Constraints: 127242
3269.99/3328.67 c #Conflicts: 1187000 | #Constraints: 128242
3269.99/3328.67 c #Conflicts: 1188000 | #Constraints: 129242
3269.99/3328.67 c #Conflicts: 1189000 | #Constraints: 130242
3269.99/3328.67 c #Conflicts: 1190000 | #Constraints: 131242
3269.99/3328.67 c #Conflicts: 1191000 | #Constraints: 132242
3269.99/3328.67 c #Conflicts: 1192000 | #Constraints: 133242
3269.99/3328.67 c #Conflicts: 1193000 | #Constraints: 134242
3269.99/3328.67 c #Conflicts: 1194000 | #Constraints: 135242
3269.99/3328.67 c #Conflicts: 1195000 | #Constraints: 136242
3269.99/3328.67 c #Conflicts: 1196000 | #Constraints: 137242
3269.99/3328.67 c #Conflicts: 1197000 | #Constraints: 138242
3269.99/3328.67 c #Conflicts: 1198000 | #Constraints: 139242
3269.99/3328.67 c #Conflicts: 1199000 | #Constraints: 140242
3269.99/3328.67 c #Conflicts: 1200000 | #Constraints: 141242
3269.99/3328.67 c #Conflicts: 1201000 | #Constraints: 142242
3269.99/3328.67 c #Conflicts: 1202000 | #Constraints: 143242
3269.99/3328.67 c #Conflicts: 1203000 | #Constraints: 144242
3269.99/3328.67 c #Conflicts: 1204000 | #Constraints: 145242
3269.99/3328.67 c #Conflicts: 1205000 | #Constraints: 146242
3269.99/3328.67 c #Conflicts: 1206000 | #Constraints: 147242
3269.99/3328.67 c #Conflicts: 1207000 | #Constraints: 148242
3269.99/3328.67 c #Conflicts: 1208000 | #Constraints: 149242
3269.99/3328.67 c #Conflicts: 1209000 | #Constraints: 150242
3269.99/3328.67 c INPROCESSING
3269.99/3328.67 c GARBAGE COLLECT
3269.99/3328.67 c #Conflicts: 1210000 | #Constraints: 87872
3269.99/3328.67 c #Conflicts: 1211000 | #Constraints: 88872
3269.99/3328.67 c #Conflicts: 1212000 | #Constraints: 89872
3269.99/3328.67 c #Conflicts: 1213000 | #Constraints: 90872
3269.99/3328.67 c #Conflicts: 1214000 | #Constraints: 91872
3269.99/3328.67 c #Conflicts: 1215000 | #Constraints: 92872
3269.99/3328.67 c #Conflicts: 1216000 | #Constraints: 93872
3269.99/3328.67 c #Conflicts: 1217000 | #Constraints: 94872
3269.99/3328.67 c #Conflicts: 1218000 | #Constraints: 95872
3269.99/3328.67 c #Conflicts: 1219000 | #Constraints: 96872
3269.99/3328.67 c #Conflicts: 1220000 | #Constraints: 97872
3269.99/3328.67 c #Conflicts: 1221000 | #Constraints: 98872
3269.99/3328.67 c #Conflicts: 1222000 | #Constraints: 99872
3269.99/3328.67 c #Conflicts: 1223000 | #Constraints: 100872
3269.99/3328.67 c #Conflicts: 1224000 | #Constraints: 101872
3269.99/3328.67 c #Conflicts: 1225000 | #Constraints: 102872
3269.99/3328.67 c #Conflicts: 1226000 | #Constraints: 103872
3269.99/3328.67 c #Conflicts: 1227000 | #Constraints: 104872
3269.99/3328.67 c #Conflicts: 1228000 | #Constraints: 105872
3269.99/3328.67 c #Conflicts: 1229000 | #Constraints: 106872
3269.99/3328.67 c #Conflicts: 1230000 | #Constraints: 107872
3269.99/3328.67 c #Conflicts: 1231000 | #Constraints: 108872
3269.99/3328.67 c #Conflicts: 1232000 | #Constraints: 109872
3472.91/3541.45 c #Conflicts: 1233000 | #Constraints: 110872
3472.91/3541.45 c #Conflicts: 1234000 | #Constraints: 111872
3472.91/3541.45 c #Conflicts: 1235000 | #Constraints: 112872
3472.91/3541.45 c #Conflicts: 1236000 | #Constraints: 113872
3472.91/3541.45 c #Conflicts: 1237000 | #Constraints: 114872
3472.91/3541.45 c #Conflicts: 1238000 | #Constraints: 115872
3472.91/3541.45 c #Conflicts: 1239000 | #Constraints: 116872
3472.91/3541.45 c #Conflicts: 1240000 | #Constraints: 117872
3472.91/3541.45 c INPROCESSING
3472.91/3541.45 c GARBAGE COLLECT
3472.91/3541.45 c #Conflicts: 1241000 | #Constraints: 82754
3472.91/3541.45 c #Conflicts: 1242000 | #Constraints: 83754
3472.91/3541.45 c #Conflicts: 1243000 | #Constraints: 84754
3472.91/3541.45 c #Conflicts: 1244000 | #Constraints: 85754
3472.91/3541.45 c #Conflicts: 1245000 | #Constraints: 86754
3472.91/3541.45 c #Conflicts: 1246000 | #Constraints: 87754
3472.91/3541.45 c #Conflicts: 1247000 | #Constraints: 88754
3472.91/3541.45 c #Conflicts: 1248000 | #Constraints: 89754
3472.91/3541.45 c #Conflicts: 1249000 | #Constraints: 90754
3472.91/3541.45 c #Conflicts: 1250000 | #Constraints: 91754
3472.91/3541.45 c #Conflicts: 1251000 | #Constraints: 92754
3472.91/3541.45 c #Conflicts: 1252000 | #Constraints: 93754
3472.91/3541.45 c #Conflicts: 1253000 | #Constraints: 94754
3472.91/3541.45 c #Conflicts: 1254000 | #Constraints: 95754
3472.91/3541.45 c #Conflicts: 1255000 | #Constraints: 96754
3472.91/3541.45 c #Conflicts: 1256000 | #Constraints: 97754
3472.91/3541.45 c #Conflicts: 1257000 | #Constraints: 98754
3472.91/3541.45 c #Conflicts: 1258000 | #Constraints: 99754
3472.91/3541.45 c #Conflicts: 1259000 | #Constraints: 100754
3472.91/3541.45 c #Conflicts: 1260000 | #Constraints: 101754
3472.91/3541.45 c #Conflicts: 1261000 | #Constraints: 102754
3472.91/3541.45 c #Conflicts: 1262000 | #Constraints: 103754
3472.91/3541.45 c #Conflicts: 1263000 | #Constraints: 104754
3472.91/3541.45 c #Conflicts: 1264000 | #Constraints: 105754
3472.91/3541.45 c #Conflicts: 1265000 | #Constraints: 106754
3472.91/3541.45 c #Conflicts: 1266000 | #Constraints: 107754
3472.91/3541.45 c #Conflicts: 1267000 | #Constraints: 108754
3472.91/3541.45 c #Conflicts: 1268000 | #Constraints: 109754
3472.91/3541.45 c #Conflicts: 1269000 | #Constraints: 110754
3472.91/3541.45 c #Conflicts: 1270000 | #Constraints: 111754
3472.91/3541.45 c #Conflicts: 1271000 | #Constraints: 112754
3472.91/3541.45 c #Conflicts: 1272000 | #Constraints: 113754
3472.91/3541.45 c #Conflicts: 1273000 | #Constraints: 114754
3472.91/3541.45 c #Conflicts: 1274000 | #Constraints: 115754
3472.91/3541.45 c #Conflicts: 1275000 | #Constraints: 116754
3472.91/3541.45 c #Conflicts: 1276000 | #Constraints: 117754
3472.91/3541.45 c #Conflicts: 1277000 | #Constraints: 118754
3472.91/3541.45 c #Conflicts: 1278000 | #Constraints: 119754
3472.91/3541.45 c #Conflicts: 1279000 | #Constraints: 120754
3472.91/3541.45 c #Conflicts: 1280000 | #Constraints: 121754
3472.91/3541.45 c #Conflicts: 1281000 | #Constraints: 122754
3472.91/3541.45 c #Conflicts: 1282000 | #Constraints: 123754
3472.91/3541.45 c #Conflicts: 1283000 | #Constraints: 124754
3472.91/3541.45 c #Conflicts: 1284000 | #Constraints: 125754
3472.91/3541.45 c #Conflicts: 1285000 | #Constraints: 126754
3472.91/3541.45 c #Conflicts: 1286000 | #Constraints: 127754
3472.91/3541.45 c #Conflicts: 1287000 | #Constraints: 128754
3472.91/3541.45 c #Conflicts: 1288000 | #Constraints: 129754
3472.91/3541.45 c #Conflicts: 1289000 | #Constraints: 130754
3472.91/3541.45 c #Conflicts: 1290000 | #Constraints: 131754
3472.91/3541.45 c #Conflicts: 1291000 | #Constraints: 132754
3472.91/3541.45 c #Conflicts: 1292000 | #Constraints: 133754
3472.91/3541.45 c #Conflicts: 1293000 | #Constraints: 134754
3472.91/3541.45 c #Conflicts: 1294000 | #Constraints: 135754
3472.91/3541.45 c #Conflicts: 1295000 | #Constraints: 136754
3472.91/3541.45 c #Conflicts: 1296000 | #Constraints: 137754
3472.91/3541.45 c #Conflicts: 1297000 | #Constraints: 138754
3472.91/3541.45 c #Conflicts: 1298000 | #Constraints: 139754
3472.91/3541.45 c #Conflicts: 1299000 | #Constraints: 140754
3472.91/3541.45 c #Conflicts: 1300000 | #Constraints: 141754
3472.91/3541.45 c #Conflicts: 1301000 | #Constraints: 142754
3472.91/3541.45 c #Conflicts: 1302000 | #Constraints: 143754
3472.91/3541.45 c #Conflicts: 1303000 | #Constraints: 144754
3472.91/3541.45 c #Conflicts: 1304000 | #Constraints: 145754
3472.91/3541.45 c #Conflicts: 1305000 | #Constraints: 146754
3472.91/3541.45 c #Conflicts: 1306000 | #Constraints: 147754
3472.91/3541.45 c #Conflicts: 1307000 | #Constraints: 148754
3472.91/3541.45 c #Conflicts: 1308000 | #Constraints: 149754
3472.91/3541.45 c #Conflicts: 1309000 | #Constraints: 150754
3472.91/3541.45 c #Conflicts: 1310000 | #Constraints: 151754
3600.04/3668.90 c #Conflicts: 1311000 | #Constraints: 152754
3600.04/3668.90 c #Conflicts: 1312000 | #Constraints: 153754
3600.04/3668.90 c #Conflicts: 1313000 | #Constraints: 154754
3600.04/3668.90 c #Conflicts: 1314000 | #Constraints: 155755
3600.04/3668.90 c #Conflicts: 1315000 | #Constraints: 156755
3600.04/3668.90 c INPROCESSING
3600.04/3668.90 c GARBAGE COLLECT
3600.04/3668.90 c cpu time 3564.57 s
3600.04/3668.90 c deterministic time 241467116051 2.41e+11
3600.04/3668.90 c optimization time 0.972646 s
3600.04/3668.90 c total solve time 3563.45 s
3600.04/3668.90 c core-guided solve time 0 s
3600.04/3668.90 c propagation time 1775.02 s
3600.04/3668.90 c conflict analysis time 1204.08 s
3600.04/3668.90 c propagations 1322861106
3600.04/3668.90 c resolve steps 77137234
3600.04/3668.90 c decisions 32554463
3600.04/3668.90 c conflicts 1315202
3600.04/3668.90 c restarts 2555
3600.04/3668.90 c inprocessing phases 48
3600.04/3668.90 c garbage collections 48 ,( 100.00 )
3600.04/3668.90 c input clauses 21260 ,( 99.18 )
3600.04/3668.90 c input cardinalities 176 ,( 0.82 )
3600.04/3668.90 c input general constraints 0 ,( 0.00 )
3600.04/3668.90 c input average constraint length 6.41
3600.04/3668.90 c input average constraint degree 1.96
3600.04/3668.90 c learned clauses 953607 ,( 72.51 )
3600.04/3668.90 c learned cardinalities 45632 ,( 3.47 )
3600.04/3668.90 c learned general constraints 315971 ,( 24.02 )
3600.04/3668.90 c learned average constraint length 758.29
3600.04/3668.90 c learned average constraint degree 24023900.78
3600.04/3668.90 c watched CF 32, 64, 128, Arb: 79972 , 0 , 0 , 0
3600.04/3668.90 c counting CF 32, 64, 128, Arb: 235999 , 0 , 0 , 0
3600.04/3668.90 c watched constraints 79972 ,( 25.31 )
3600.04/3668.90 c counting constraints 235999 ,( 74.69 )
3600.04/3668.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1227248420 , 712666183 , 2620145237 ,( 92059501 , 2528085736 )
3600.04/3668.90 c gcd simplifications 593
3600.04/3668.90 c detected cardinalities 6981
3600.04/3668.90 c weakened non-implied lits 357429447
3600.04/3668.90 c weakened non-implying lits 198893
3600.04/3668.90 c original variables 20989
3600.04/3668.90 c clausal propagations 614061770
3600.04/3668.90 c cardinality propagations 486572129
3600.04/3668.90 c watched propagations 4350546
3600.04/3668.90 c counting propagations 205079707
3600.04/3668.90 c watch lookups 74418335679
3600.04/3668.90 c watch backjump lookups 0
3600.04/3668.90 c watch checks 38887079555
3600.04/3668.90 c propagation checks 120905595880
3600.04/3668.90 c constraint additions 4543617293
3600.04/3668.90 c trail pops 1356729797
3600.04/3668.90 c formula constraints 21436
3600.04/3668.90 c learned constraints 1315197
3600.04/3668.90 c bound constraints 0
3600.04/3668.90 c core-guided constraints 0
3600.04/3668.90 c encountered formula constraints 48614793
3600.04/3668.90 c encountered learned constraints 29836880
3600.04/3668.90 c encountered bound constraints 0
3600.04/3668.90 c encountered core-guided constraints 0
3600.04/3668.90 c LP total time 563.704 s
3600.04/3668.90 c LP solve time 548.09 s
3600.04/3668.90 c LP constraints added 21886
3600.04/3668.90 c LP constraints removed 148
3600.04/3668.90 c LP pivots internal 148672
3600.04/3668.90 c LP pivots root 193605
3600.04/3668.90 c LP calls 17
3600.04/3668.90 c LP optimalities 5
3600.04/3668.90 c LP no pivot count 0
3600.04/3668.90 c LP infeasibilities 5
3600.04/3668.90 c LP valid Farkas constraints 5
3600.04/3668.90 c LP learned Farkas constraints 5
3600.04/3668.90 c LP basis resets 0
3600.04/3668.90 c LP cycling count 0
3600.04/3668.90 c LP singular count 0
3600.04/3668.90 c LP no primal count 0
3600.04/3668.90 c LP no farkas count 0
3600.04/3668.90 c LP other issue count 0
3600.04/3668.90 c LP Gomory cuts 3
3600.04/3668.90 c LP learned cuts 447
3600.04/3668.90 c LP deleted cuts 148
3600.04/3668.90 c LP encountered Gomory constraints 716
3600.04/3668.90 c LP encountered Farkas constraints 40
3600.04/3668.90 c LP encountered learned Farkas constraints 2
3600.04/3668.90 c CG auxiliary variables introduced 0
3600.04/3668.90 c CG solutions found 0
3600.04/3668.90 c CG cores constructed 0
3600.04/3668.90 c CG core cardinality constraints returned 0
3600.04/3668.90 c CG unit cores 0
3600.04/3668.90 c CG single cores 0
3600.04/3668.90 c CG blocks removed during cardinality reduction 0
3600.04/3668.90 c CG first core best 0
3600.04/3668.90 c CG decision core best 0
3600.04/3668.90 c CG core reduction tie 0
3600.04/3668.90 c CG core degree average 0.00
3600.04/3668.90 c CG core slack average 0.00
3600.04/3668.90 c CG core upper bound improvements 0
3600.04/3668.90 c STR number of successful calls 0
3600.04/3668.90 c STR number of unsuccessful calls 0
3600.04/3668.90 c STR number of inconclusive calls 0
3600.04/3668.90 c STR number of successful attempts 0
3600.04/3668.90 c STR number of unsuccessful attempts 0
3600.04/3668.90 c STR number of inconclusive attempts 0
3600.04/3668.90 c STR average degree increase per successful call inf
3600.04/3668.90 c STR average degree increase per successful attempt inf
3600.04/3668.90 c STR total number of conflicts for successful attempts 0
3600.04/3668.90 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3668.90 c STR total number of conflicts for inconclusive attempts 0
3600.04/3668.90 c STR average number of conflicts per successful attempt inf
3600.04/3668.90 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3668.90 c STR average number of conflicts per inconclusive attempt inf
3600.04/3668.90 c AVG.sumWPerc 66.22
3600.04/3668.90 c bigint constraints 0
3600.04/3668.90 s UNKNOWN
3600.04/3668.90 c Program interrupted by user.
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: 63708 MiB (60248 MiB free)
memory of node 1: 64465 MiB (62085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506873-1751172305/watcher-4506873-1751172305 -o /tmp/evaluation-result-4506873-1751172305/solver-4506873-1751172305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22055 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506873-1751172305.opb PROOFDIR/proof-4506873-1751172305
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22587, runsolver pid=22584
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22589
/proc/meminfo: memFree=125238580/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22589] ppid=22587 vsize=45780 memory=33220 CPUtime=0.08 cores=1,3
/proc/22589/stat : 22589 (pbsuma) R 22587 22587 22043 0 -1 4194304 14030 0 0 0 6 2 0 0 20 0 1 0 32909131 46878720 8305 18446744073709551615 4210688 4653049 140732822594928 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 30650368 140732822604003 140732822604338 140732822604338 140732822609903 0
/proc/22589/statm: 11445 8305 992 108 0 8853 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 36164 KiB
[startup+0.205844 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22590
/proc/meminfo: memFree=125238168/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=65848 memory=21032 CPUtime=0.06 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 2970 0 0 0 5 1 0 0 20 0 1 0 32909144 67428352 5258 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 16462 5258 2016 1147 0 3889 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 70040 KiB
Current children cumulated memory: 23976 KiB
[startup+0.305798 s]*
/proc/loadavg: 4.06 4.11 4.06 5/270 22590
/proc/meminfo: memFree=125234072/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=104144 memory=50448 CPUtime=0.16 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 8554 0 0 0 13 3 0 0 20 0 1 0 32909144 106643456 12612 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 26036 12612 2272 1147 0 13463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 108336 KiB
Current children cumulated memory: 53392 KiB
[startup+0.700214 s]
/proc/loadavg: 4.06 4.11 4.06 6/270 22590
/proc/meminfo: memFree=125209252/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=118336 memory=65252 CPUtime=0.55 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 13492 0 0 0 51 4 0 0 20 0 1 0 32909144 121176064 16313 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 29584 16313 2304 1147 0 17011 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 122528 KiB
Current children cumulated memory: 68196 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22590
/proc/meminfo: memFree=125208760/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=118336 memory=65252 CPUtime=1.34 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 13492 0 0 0 130 4 0 0 20 0 1 0 32909144 121176064 16313 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 29584 16313 2304 1147 0 17011 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 122528 KiB
Current children cumulated memory: 68196 KiB
[startup+3.1055 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=127011316/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=121428 memory=67812 CPUtime=2.94 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 14143 0 0 0 290 4 0 0 20 0 1 0 32909144 124342272 16953 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 30357 16953 2304 1147 0 17784 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 125620 KiB
Current children cumulated memory: 70756 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.11 4.06 5/270 22637
/proc/meminfo: memFree=126996224/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=126156 memory=76452 CPUtime=6.13 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 15718 0 0 0 599 14 0 0 20 0 1 0 32909144 129183744 19113 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 31539 19113 2368 1147 0 18966 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 130348 KiB
Current children cumulated memory: 79396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.10 4.06 5/270 22637
/proc/meminfo: memFree=126962468/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=136356 memory=86288 CPUtime=12.52 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 17680 0 0 0 1217 35 0 0 20 0 1 0 32909144 139628544 21572 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 34089 21572 2368 1147 0 21516 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 140548 KiB
Current children cumulated memory: 89232 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.06 5/270 22637
/proc/meminfo: memFree=126856964/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=153700 memory=103736 CPUtime=25.28 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 21536 0 0 0 2458 70 0 0 20 0 1 0 32909144 157388800 25934 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 38425 25934 2368 1147 0 25852 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 157892 KiB
Current children cumulated memory: 106680 KiB
[startup+51.1059 s]
/proc/loadavg: 4.08 4.11 4.06 5/269 22637
/proc/meminfo: memFree=126719844/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=177000 memory=125960 CPUtime=50.82 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 26148 0 0 0 4957 125 0 0 20 0 1 0 32909144 181248000 31490 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 44250 31490 2368 1147 0 31677 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 181192 KiB
Current children cumulated memory: 128904 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/271 22645
/proc/meminfo: memFree=126431420/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=243488 memory=179808 CPUtime=99.85 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 36116 0 0 0 9745 240 0 0 20 0 1 0 32909144 249331712 44952 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 60872 44952 2368 1147 0 48299 0
Current children cumulated CPU time: 99.96 s
Current children cumulated vsize: 247680 KiB
Current children cumulated memory: 182752 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/273 22650
/proc/meminfo: memFree=126059584/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=287588 memory=209160 CPUtime=158.45 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 40383 0 0 0 15514 331 0 0 20 0 1 0 32909144 294490112 52290 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 71897 52290 2368 1147 0 59324 0
Current children cumulated CPU time: 158.56 s
Current children cumulated vsize: 291780 KiB
Current children cumulated memory: 212104 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.17 4.09 5/273 22652
/proc/meminfo: memFree=125723740/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=303844 memory=229184 CPUtime=218.27 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 44349 0 0 0 21400 427 0 0 20 0 1 0 32909144 311136256 57296 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
################
# More data... #
################
/proc/22590/statm: 416900 361664 2368 1147 0 404327 0
Current children cumulated CPU time: 3104.27 s
Current children cumulated vsize: 1671792 KiB
Current children cumulated memory: 1449600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 22910
/proc/meminfo: memFree=107723156/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1670612 memory=1468160 CPUtime=3163.96 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 171703 0 0 0 313190 3206 0 0 20 0 1 0 32909144 1710706688 367040 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 417653 367040 2368 1147 0 405080 0
Current children cumulated CPU time: 3164.07 s
Current children cumulated vsize: 1674804 KiB
Current children cumulated memory: 1471104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 22912
/proc/meminfo: memFree=107283724/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1688460 memory=1484288 CPUtime=3223.76 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 175089 0 0 0 319124 3252 0 0 20 0 1 0 32909144 1728983040 371072 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 422115 371072 2368 1147 0 409542 0
Current children cumulated CPU time: 3223.87 s
Current children cumulated vsize: 1692652 KiB
Current children cumulated memory: 1487232 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 22914
/proc/meminfo: memFree=106783604/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1688460 memory=1484288 CPUtime=3283.49 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 175089 0 0 0 325049 3300 0 0 20 0 1 0 32909144 1728983040 371072 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 422115 371072 2368 1147 0 409542 0
Current children cumulated CPU time: 3283.6 s
Current children cumulated vsize: 1692652 KiB
Current children cumulated memory: 1487232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 4/273 22917
/proc/meminfo: memFree=106350744/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1688460 memory=1484416 CPUtime=3341.03 cores=1,3
/proc/22590/stat : 22590 (roundingsat) D 22587 22587 22043 0 -1 4194304 175101 0 0 0 330721 3382 0 0 20 0 1 0 32909144 1728983040 371104 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 422115 371104 2368 1147 0 409542 0
Current children cumulated CPU time: 3341.14 s
Current children cumulated vsize: 1692652 KiB
Current children cumulated memory: 1487360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 22920
/proc/meminfo: memFree=105964624/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1688460 memory=1484416 CPUtime=3395.06 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 175101 0 0 0 336077 3429 0 0 20 0 1 0 32909144 1728983040 371104 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 422115 371104 2368 1147 0 409542 0
Current children cumulated CPU time: 3395.17 s
Current children cumulated vsize: 1692652 KiB
Current children cumulated memory: 1487360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 22922
/proc/meminfo: memFree=105554628/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1689628 memory=1485312 CPUtime=3454.75 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 175334 0 0 0 342000 3475 0 0 20 0 1 0 32909144 1730179072 371328 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 422407 371328 2368 1147 0 409834 0
Current children cumulated CPU time: 3454.86 s
Current children cumulated vsize: 1693820 KiB
Current children cumulated memory: 1488256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 22924
/proc/meminfo: memFree=105204256/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1696400 memory=1492096 CPUtime=3513.59 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 177144 0 0 0 347849 3510 0 0 20 0 1 0 32909144 1737113600 373024 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 424100 373024 2368 1147 0 411527 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 1700592 KiB
Current children cumulated memory: 1495040 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/274 22930
/proc/meminfo: memFree=105004716/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1697468 memory=1492736 CPUtime=3573.4 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 177347 0 0 0 353811 3529 0 0 20 0 1 0 32909144 1738207232 373184 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 424367 373184 2368 1147 0 411794 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 1701660 KiB
Current children cumulated memory: 1495680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3668.9 s]
/proc/loadavg: 4.18 4.10 4.10 5/274 22978
/proc/meminfo: memFree=111694764/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1697600 memory=1492864 CPUtime=3599.93 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 177387 0 0 0 356457 3536 0 0 20 0 1 0 32909144 1738342400 373216 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 424400 373216 2368 1147 0 411827 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1701792 KiB
Current children cumulated memory: 1495808 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3668.9 s]
# the end of solver process 22587 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.081456 s, system=0.033267 s
Sleeping 2 seconds
[startup+3668.92 s]
# the end of solver process 22590 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.67 s, system=35.3999 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3668.9 s]
/proc/loadavg: 4.18 4.10 4.10 5/274 22978
/proc/meminfo: memFree=111694764/131250000 swapFree=33010684/33010684
[pid=22587] ppid=22584 vsize=4192 memory=2944 CPUtime=0.11 cores=1,3
/proc/22587/stat : 22587 (run-dec-break-l) S 22584 22587 22043 0 -1 4194304 240 14173 0 0 0 0 8 3 20 0 1 0 32909131 4292608 736 18446744073709551615 94400413982720 94400414877253 140721105841216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94400415116304 94400415164048 94400436125696 140721105848597 140721105848798 140721105848798 140721105854400 0
/proc/22587/statm: 1048 736 672 219 0 110 0
[pid=22590] ppid=22587 vsize=1697600 memory=1492864 CPUtime=3599.93 cores=1,3
/proc/22590/stat : 22590 (roundingsat) R 22587 22587 22043 0 -1 4194304 177387 0 0 0 356457 3536 0 0 20 0 1 0 32909144 1738342400 373216 18446744073709551615 4227072 8923433 140736205329424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24371200 140736205334772 140736205335080 140736205335080 140736205340650 0
/proc/22590/statm: 424400 373216 2368 1147 0 411827 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1701792 KiB
Current children cumulated memory: 1495808 KiB
Child status: 2
Real time (s): 3668.92
CPU time (s): 3600.07
CPU user time (s): 3564.67
CPU system time (s): 35.3999
CPU usage (%): 98.1234
Max. virtual memory (cumulated for all children) (KiB): 1701792
Max. memory (cumulated for all children) (KiB): 1495808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.67
system time used= 35.3999
maximum resident set size= 1493120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10976776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 602
involuntary context switches= 4659
# summary of solver processes directly reported to runsolver:
# pid: 22587,22590
# total CPU time (s): 3600.07
# total CPU user time (s): 3564.67
# total CPU system time (s): 35.3999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02374 second user time and 16.1412 second system time
The end
Begin job on nodeC026 at 2025-06-29 06:45:05
IDJOB=4506873
IDBENCH=158302
IDSOLVER=3358
FILE ID=nodeC026/4506873-1751172305
RUNJOBID= nodeC026-1751168686-22055
SLURM_JOB_ID= 9587513
Free space on /tmp= 432900 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506873-1751172305/watcher-4506873-1751172305 -o /tmp/evaluation-result-4506873-1751172305/solver-4506873-1751172305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22055 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506873-1751172305.opb PROOFDIR/proof-4506873-1751172305
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 98be46c5d9a37fa78efcf3182d546400
RANDOM SEED=1559674471
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.896
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3568.115
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3599.989
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3599.780
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3600.030
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3601.090
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3606.821
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 125270536 kB
MemAvailable: 127831312 kB
Buffers: 3280 kB
Cached: 3367988 kB
SwapCached: 0 kB
Active: 2260216 kB
Inactive: 3148848 kB
Active(anon): 2055876 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 3148848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8484 kB
Writeback: 16 kB
AnonPages: 2034888 kB
Mapped: 116140 kB
Shmem: 18080 kB
KReclaimable: 93656 kB
Slab: 178432 kB
SReclaimable: 93656 kB
SUnreclaim: 84776 kB
KernelStack: 4384 kB
PageTables: 7212 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2639768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1769472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC026 at 2025-06-29 07:46:14