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-4493304-1751142990.opb'
0.00/0.03 c read 2.24MB (26.36ms)
0.00/0.03 c [cnf: #variables 23409 #clauses 1386 #duplicates 0 #arr 234090]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2] (20.54ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c (25.21ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 95022 #edges 608634]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.37 c [group: #symmetries 8.26*10^35 #generators 10] (287.41ms)
0.29/0.37 c
0.29/0.37 c optimize generators (opt_passes=64, conjugate_limit=525)
0.39/0.41 c opt it=15, l=298, m=94, opt=13, avg=24760, b=9792, gens=10
0.39/0.44 c opt it=31, l=448, m=152, opt=16, avg=24607, b=9792, gens=10
0.39/0.45 c ran it=0, +gens=9
2.17/2.29 c con best_support=9792, best_gens=5, +gens=495
2.17/2.29 c (1926.52ms)
2.17/2.29 c
2.17/2.29 c finalize break order and special generators
2.27/2.32 c
2.27/2.32 c add generic predicates (break_depth=10)
2.37/2.48 c added predicates for 514 generators (158.59ms)
2.37/2.48 c
2.37/2.48 c generation finished
2.37/2.48 c [sbp: #constraints 14392 #add_vars 4626]
2.37/2.48 c
2.37/2.48 c write result to 'HOME/instance-4493304-1751142990.opb.pre'
2.37/2.48 c wrote 2.79MB (6.21ms)
2.37/2.48 c ------------------------------------------------------------------
2.37/2.48 c 1926.52ms 77.75% optimize_gens
2.37/2.48 c 287.41ms 11.60% detect_generic
2.37/2.48 c 158.59ms 6.40% break_generic
2.37/2.48 c 26.36ms 1.06% parse
2.37/2.48 c 25.52ms 1.03% finalize_order
2.37/2.48 c 25.21ms 1.02% detect_special
2.37/2.48 c 20.54ms 0.83% approx_orbits
2.37/2.48 c 6.21ms 0.25% output
2.37/2.48 c 1.47ms 0.06% other
2.37/2.48 c ───────────────────────────────────────────────
2.37/2.48 c 2477.81ms 100% total
2.37/2.48 c ------------------------------------------------------------------
2.47/2.50 c RoundingSat 2
2.47/2.50 c branch pb25
2.47/2.50 c commit 63f22ad
2.47/2.65 c #variables 28035 #constraints 15778
277.80/278.58 c #Conflicts: 1000 | #Constraints: 16777
277.80/278.58 c #Conflicts: 2000 | #Constraints: 17777
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 3000 | #Constraints: 17786
277.80/278.58 c #Conflicts: 4000 | #Constraints: 18786
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 5000 | #Constraints: 18229
277.80/278.58 c #Conflicts: 6000 | #Constraints: 19229
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 7000 | #Constraints: 18252
277.80/278.58 c #Conflicts: 8000 | #Constraints: 19252
277.80/278.58 c #Conflicts: 9000 | #Constraints: 20252
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 10000 | #Constraints: 18959
277.80/278.58 c #Conflicts: 11000 | #Constraints: 19959
277.80/278.58 c #Conflicts: 12000 | #Constraints: 20959
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 13000 | #Constraints: 19419
277.80/278.58 c #Conflicts: 14000 | #Constraints: 20419
277.80/278.58 c #Conflicts: 15000 | #Constraints: 21419
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 16000 | #Constraints: 19638
277.80/278.58 c #Conflicts: 17000 | #Constraints: 20638
277.80/278.58 c #Conflicts: 18000 | #Constraints: 21638
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 19000 | #Constraints: 19689
277.80/278.58 c #Conflicts: 20000 | #Constraints: 20689
277.80/278.58 c #Conflicts: 21000 | #Constraints: 21689
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 22000 | #Constraints: 19484
277.80/278.58 c #Conflicts: 23000 | #Constraints: 20484
277.80/278.58 c #Conflicts: 24000 | #Constraints: 21484
277.80/278.58 c #Conflicts: 25000 | #Constraints: 22484
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 26000 | #Constraints: 20083
277.80/278.58 c #Conflicts: 27000 | #Constraints: 21083
277.80/278.58 c #Conflicts: 28000 | #Constraints: 22083
277.80/278.58 c #Conflicts: 29000 | #Constraints: 23083
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 30000 | #Constraints: 20471
277.80/278.58 c #Conflicts: 31000 | #Constraints: 21471
277.80/278.58 c #Conflicts: 32000 | #Constraints: 22471
277.80/278.58 c #Conflicts: 33000 | #Constraints: 23471
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 34000 | #Constraints: 20664
277.80/278.58 c #Conflicts: 35000 | #Constraints: 21664
277.80/278.58 c #Conflicts: 36000 | #Constraints: 22664
277.80/278.58 c #Conflicts: 37000 | #Constraints: 23664
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 38000 | #Constraints: 20702
277.80/278.58 c #Conflicts: 39000 | #Constraints: 21702
277.80/278.58 c #Conflicts: 40000 | #Constraints: 22702
277.80/278.58 c #Conflicts: 41000 | #Constraints: 23702
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 42000 | #Constraints: 20524
277.80/278.58 c #Conflicts: 43000 | #Constraints: 21524
277.80/278.58 c #Conflicts: 44000 | #Constraints: 22524
277.80/278.58 c #Conflicts: 45000 | #Constraints: 23524
277.80/278.58 c #Conflicts: 46000 | #Constraints: 24524
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 47000 | #Constraints: 21070
277.80/278.58 c #Conflicts: 48000 | #Constraints: 22070
277.80/278.58 c #Conflicts: 49000 | #Constraints: 23070
277.80/278.58 c #Conflicts: 50000 | #Constraints: 24070
277.80/278.58 c #Conflicts: 51000 | #Constraints: 25070
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 52000 | #Constraints: 21454
277.80/278.58 c #Conflicts: 53000 | #Constraints: 22454
277.80/278.58 c #Conflicts: 54000 | #Constraints: 23454
277.80/278.58 c #Conflicts: 55000 | #Constraints: 24454
277.80/278.58 c #Conflicts: 56000 | #Constraints: 25454
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 57000 | #Constraints: 21639
277.80/278.58 c #Conflicts: 58000 | #Constraints: 22639
277.80/278.58 c #Conflicts: 59000 | #Constraints: 23639
277.80/278.58 c #Conflicts: 60000 | #Constraints: 24639
277.80/278.58 c #Conflicts: 61000 | #Constraints: 25639
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 62000 | #Constraints: 21654
277.80/278.58 c #Conflicts: 63000 | #Constraints: 22654
277.80/278.58 c #Conflicts: 64000 | #Constraints: 23654
277.80/278.58 c #Conflicts: 65000 | #Constraints: 24654
277.80/278.58 c #Conflicts: 66000 | #Constraints: 25654
277.80/278.58 c INPROCESSING
277.80/278.58 c GARBAGE COLLECT
277.80/278.58 c #Conflicts: 67000 | #Constraints: 21472
277.80/278.58 c #Conflicts: 68000 | #Constraints: 22472
518.61/519.91 c #Conflicts: 69000 | #Constraints: 23472
518.61/519.91 c #Conflicts: 70000 | #Constraints: 24472
518.61/519.91 c #Conflicts: 71000 | #Constraints: 25472
518.61/519.91 c #Conflicts: 72000 | #Constraints: 26472
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 73000 | #Constraints: 22071
518.61/519.91 c #Conflicts: 74000 | #Constraints: 23071
518.61/519.91 c #Conflicts: 75000 | #Constraints: 24071
518.61/519.91 c #Conflicts: 76000 | #Constraints: 25071
518.61/519.91 c #Conflicts: 77000 | #Constraints: 26071
518.61/519.91 c #Conflicts: 78000 | #Constraints: 27071
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 79000 | #Constraints: 22438
518.61/519.91 c #Conflicts: 80000 | #Constraints: 23438
518.61/519.91 c #Conflicts: 81000 | #Constraints: 24438
518.61/519.91 c #Conflicts: 82000 | #Constraints: 25438
518.61/519.91 c #Conflicts: 83000 | #Constraints: 26438
518.61/519.91 c #Conflicts: 84000 | #Constraints: 27438
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 85000 | #Constraints: 22634
518.61/519.91 c #Conflicts: 86000 | #Constraints: 23634
518.61/519.91 c #Conflicts: 87000 | #Constraints: 24634
518.61/519.91 c #Conflicts: 88000 | #Constraints: 25634
518.61/519.91 c #Conflicts: 89000 | #Constraints: 26634
518.61/519.91 c #Conflicts: 90000 | #Constraints: 27634
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 91000 | #Constraints: 22669
518.61/519.91 c #Conflicts: 92000 | #Constraints: 23669
518.61/519.91 c #Conflicts: 93000 | #Constraints: 24669
518.61/519.91 c #Conflicts: 94000 | #Constraints: 25669
518.61/519.91 c #Conflicts: 95000 | #Constraints: 26669
518.61/519.91 c #Conflicts: 96000 | #Constraints: 27669
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 97000 | #Constraints: 22470
518.61/519.91 c #Conflicts: 98000 | #Constraints: 23470
518.61/519.91 c #Conflicts: 99000 | #Constraints: 24470
518.61/519.91 c #Conflicts: 100000 | #Constraints: 25470
518.61/519.91 c #Conflicts: 101000 | #Constraints: 26470
518.61/519.91 c #Conflicts: 102000 | #Constraints: 27470
518.61/519.91 c #Conflicts: 103000 | #Constraints: 28470
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 104000 | #Constraints: 23053
518.61/519.91 c #Conflicts: 105000 | #Constraints: 24053
518.61/519.91 c #Conflicts: 106000 | #Constraints: 25053
518.61/519.91 c #Conflicts: 107000 | #Constraints: 26053
518.61/519.91 c #Conflicts: 108000 | #Constraints: 27053
518.61/519.91 c #Conflicts: 109000 | #Constraints: 28053
518.61/519.91 c #Conflicts: 110000 | #Constraints: 29053
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 111000 | #Constraints: 23461
518.61/519.91 c #Conflicts: 112000 | #Constraints: 24461
518.61/519.91 c #Conflicts: 113000 | #Constraints: 25461
518.61/519.91 c #Conflicts: 114000 | #Constraints: 26461
518.61/519.91 c #Conflicts: 115000 | #Constraints: 27461
518.61/519.91 c #Conflicts: 116000 | #Constraints: 28461
518.61/519.91 c #Conflicts: 117000 | #Constraints: 29461
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 118000 | #Constraints: 23637
518.61/519.91 c #Conflicts: 119000 | #Constraints: 24637
518.61/519.91 c #Conflicts: 120000 | #Constraints: 25637
518.61/519.91 c #Conflicts: 121000 | #Constraints: 26637
518.61/519.91 c #Conflicts: 122000 | #Constraints: 27637
518.61/519.91 c #Conflicts: 123000 | #Constraints: 28637
518.61/519.91 c #Conflicts: 124000 | #Constraints: 29637
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 125000 | #Constraints: 23631
518.61/519.91 c #Conflicts: 126000 | #Constraints: 24631
518.61/519.91 c #Conflicts: 127000 | #Constraints: 25631
518.61/519.91 c #Conflicts: 128000 | #Constraints: 26631
518.61/519.91 c #Conflicts: 129000 | #Constraints: 27631
518.61/519.91 c #Conflicts: 130000 | #Constraints: 28631
518.61/519.91 c #Conflicts: 131000 | #Constraints: 29631
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 132000 | #Constraints: 23441
518.61/519.91 c #Conflicts: 133000 | #Constraints: 24441
518.61/519.91 c #Conflicts: 134000 | #Constraints: 25441
518.61/519.91 c #Conflicts: 135000 | #Constraints: 26441
518.61/519.91 c #Conflicts: 136000 | #Constraints: 27441
518.61/519.91 c #Conflicts: 137000 | #Constraints: 28441
518.61/519.91 c #Conflicts: 138000 | #Constraints: 29441
518.61/519.91 c #Conflicts: 139000 | #Constraints: 30441
518.61/519.91 c INPROCESSING
518.61/519.91 c GARBAGE COLLECT
518.61/519.91 c #Conflicts: 140000 | #Constraints: 24051
754.83/756.77 c #Conflicts: 141000 | #Constraints: 25051
754.83/756.77 c #Conflicts: 142000 | #Constraints: 26051
754.83/756.77 c #Conflicts: 143000 | #Constraints: 27051
754.83/756.77 c #Conflicts: 144000 | #Constraints: 28051
754.83/756.77 c #Conflicts: 145000 | #Constraints: 29051
754.83/756.77 c #Conflicts: 146000 | #Constraints: 30051
754.83/756.77 c #Conflicts: 147000 | #Constraints: 31051
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 148000 | #Constraints: 24428
754.83/756.77 c #Conflicts: 149000 | #Constraints: 25428
754.83/756.77 c #Conflicts: 150000 | #Constraints: 26428
754.83/756.77 c #Conflicts: 151000 | #Constraints: 27428
754.83/756.77 c #Conflicts: 152000 | #Constraints: 28428
754.83/756.77 c #Conflicts: 153000 | #Constraints: 29428
754.83/756.77 c #Conflicts: 154000 | #Constraints: 30428
754.83/756.77 c #Conflicts: 155000 | #Constraints: 31428
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 156000 | #Constraints: 24634
754.83/756.77 c #Conflicts: 157000 | #Constraints: 25634
754.83/756.77 c #Conflicts: 158000 | #Constraints: 26634
754.83/756.77 c #Conflicts: 159000 | #Constraints: 27634
754.83/756.77 c #Conflicts: 160000 | #Constraints: 28634
754.83/756.77 c #Conflicts: 161000 | #Constraints: 29634
754.83/756.77 c #Conflicts: 162000 | #Constraints: 30634
754.83/756.77 c #Conflicts: 163000 | #Constraints: 31634
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 164000 | #Constraints: 24609
754.83/756.77 c #Conflicts: 165000 | #Constraints: 25609
754.83/756.77 c #Conflicts: 166000 | #Constraints: 26609
754.83/756.77 c #Conflicts: 167000 | #Constraints: 27609
754.83/756.77 c #Conflicts: 168000 | #Constraints: 28609
754.83/756.77 c #Conflicts: 169000 | #Constraints: 29609
754.83/756.77 c #Conflicts: 170000 | #Constraints: 30609
754.83/756.77 c #Conflicts: 171000 | #Constraints: 31609
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 172000 | #Constraints: 24375
754.83/756.77 c #Conflicts: 173000 | #Constraints: 25375
754.83/756.77 c #Conflicts: 174000 | #Constraints: 26375
754.83/756.77 c #Conflicts: 175000 | #Constraints: 27375
754.83/756.77 c #Conflicts: 176000 | #Constraints: 28375
754.83/756.77 c #Conflicts: 177000 | #Constraints: 29375
754.83/756.77 c #Conflicts: 178000 | #Constraints: 30375
754.83/756.77 c #Conflicts: 179000 | #Constraints: 31375
754.83/756.77 c #Conflicts: 180000 | #Constraints: 32375
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 181000 | #Constraints: 24974
754.83/756.77 c #Conflicts: 182000 | #Constraints: 25974
754.83/756.77 c #Conflicts: 183000 | #Constraints: 26974
754.83/756.77 c #Conflicts: 184000 | #Constraints: 27974
754.83/756.77 c #Conflicts: 185000 | #Constraints: 28974
754.83/756.77 c #Conflicts: 186000 | #Constraints: 29974
754.83/756.77 c #Conflicts: 187000 | #Constraints: 30974
754.83/756.77 c #Conflicts: 188000 | #Constraints: 31974
754.83/756.77 c #Conflicts: 189000 | #Constraints: 32974
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 190000 | #Constraints: 25343
754.83/756.77 c #Conflicts: 191000 | #Constraints: 26343
754.83/756.77 c #Conflicts: 192000 | #Constraints: 27343
754.83/756.77 c #Conflicts: 193000 | #Constraints: 28343
754.83/756.77 c #Conflicts: 194000 | #Constraints: 29343
754.83/756.77 c #Conflicts: 195000 | #Constraints: 30343
754.83/756.77 c #Conflicts: 196000 | #Constraints: 31343
754.83/756.77 c #Conflicts: 197000 | #Constraints: 32343
754.83/756.77 c #Conflicts: 198000 | #Constraints: 33343
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 199000 | #Constraints: 25571
754.83/756.77 c #Conflicts: 200000 | #Constraints: 26571
754.83/756.77 c #Conflicts: 201000 | #Constraints: 27571
754.83/756.77 c #Conflicts: 202000 | #Constraints: 28571
754.83/756.77 c #Conflicts: 203000 | #Constraints: 29571
754.83/756.77 c #Conflicts: 204000 | #Constraints: 30571
754.83/756.77 c #Conflicts: 205000 | #Constraints: 31571
754.83/756.77 c #Conflicts: 206000 | #Constraints: 32571
754.83/756.77 c #Conflicts: 207000 | #Constraints: 33571
754.83/756.77 c INPROCESSING
754.83/756.77 c GARBAGE COLLECT
754.83/756.77 c #Conflicts: 208000 | #Constraints: 25589
754.83/756.77 c #Conflicts: 209000 | #Constraints: 26589
754.83/756.77 c #Conflicts: 210000 | #Constraints: 27589
754.83/756.77 c #Conflicts: 211000 | #Constraints: 28589
754.83/756.77 c #Conflicts: 212000 | #Constraints: 29589
754.83/756.77 c #Conflicts: 213000 | #Constraints: 30589
822.55/824.67 c #Conflicts: 214000 | #Constraints: 31589
822.55/824.67 c #Conflicts: 215000 | #Constraints: 32589
822.55/824.67 c #Conflicts: 216000 | #Constraints: 33589
822.55/824.67 c INPROCESSING
822.55/824.67 c GARBAGE COLLECT
822.55/824.67 c rational objective 1181.75
1069.41/1072.12 c #Conflicts: 217000 | #Constraints: 25405
1069.41/1072.12 c #Conflicts: 218000 | #Constraints: 26405
1069.41/1072.12 c #Conflicts: 219000 | #Constraints: 27405
1069.41/1072.12 c #Conflicts: 220000 | #Constraints: 28405
1069.41/1072.12 c #Conflicts: 221000 | #Constraints: 29405
1069.41/1072.12 c #Conflicts: 222000 | #Constraints: 30405
1069.41/1072.12 c #Conflicts: 223000 | #Constraints: 31405
1069.41/1072.12 c #Conflicts: 224000 | #Constraints: 32405
1069.41/1072.12 c #Conflicts: 225000 | #Constraints: 33405
1069.41/1072.12 c #Conflicts: 226000 | #Constraints: 34405
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 227000 | #Constraints: 26006
1069.41/1072.12 c #Conflicts: 228000 | #Constraints: 27006
1069.41/1072.12 c #Conflicts: 229000 | #Constraints: 28006
1069.41/1072.12 c #Conflicts: 230000 | #Constraints: 29006
1069.41/1072.12 c #Conflicts: 231000 | #Constraints: 30006
1069.41/1072.12 c #Conflicts: 232000 | #Constraints: 31006
1069.41/1072.12 c #Conflicts: 233000 | #Constraints: 32006
1069.41/1072.12 c #Conflicts: 234000 | #Constraints: 33006
1069.41/1072.12 c #Conflicts: 235000 | #Constraints: 34006
1069.41/1072.12 c #Conflicts: 236000 | #Constraints: 35006
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 237000 | #Constraints: 26395
1069.41/1072.12 c #Conflicts: 238000 | #Constraints: 27395
1069.41/1072.12 c #Conflicts: 239000 | #Constraints: 28395
1069.41/1072.12 c #Conflicts: 240000 | #Constraints: 29395
1069.41/1072.12 c #Conflicts: 241000 | #Constraints: 30395
1069.41/1072.12 c #Conflicts: 242000 | #Constraints: 31395
1069.41/1072.12 c #Conflicts: 243000 | #Constraints: 32395
1069.41/1072.12 c #Conflicts: 244000 | #Constraints: 33395
1069.41/1072.12 c #Conflicts: 245000 | #Constraints: 34395
1069.41/1072.12 c #Conflicts: 246000 | #Constraints: 35395
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 247000 | #Constraints: 26598
1069.41/1072.12 c #Conflicts: 248000 | #Constraints: 27598
1069.41/1072.12 c #Conflicts: 249000 | #Constraints: 28598
1069.41/1072.12 c #Conflicts: 250000 | #Constraints: 29598
1069.41/1072.12 c #Conflicts: 251000 | #Constraints: 30598
1069.41/1072.12 c #Conflicts: 252000 | #Constraints: 31598
1069.41/1072.12 c #Conflicts: 253000 | #Constraints: 32598
1069.41/1072.12 c #Conflicts: 254000 | #Constraints: 33598
1069.41/1072.12 c #Conflicts: 255000 | #Constraints: 34598
1069.41/1072.12 c #Conflicts: 256000 | #Constraints: 35598
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 257000 | #Constraints: 26572
1069.41/1072.12 c #Conflicts: 258000 | #Constraints: 27572
1069.41/1072.12 c #Conflicts: 259000 | #Constraints: 28572
1069.41/1072.12 c #Conflicts: 260000 | #Constraints: 29572
1069.41/1072.12 c #Conflicts: 261000 | #Constraints: 30572
1069.41/1072.12 c #Conflicts: 262000 | #Constraints: 31572
1069.41/1072.12 c #Conflicts: 263000 | #Constraints: 32572
1069.41/1072.12 c #Conflicts: 264000 | #Constraints: 33572
1069.41/1072.12 c #Conflicts: 265000 | #Constraints: 34572
1069.41/1072.12 c #Conflicts: 266000 | #Constraints: 35572
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 267000 | #Constraints: 26374
1069.41/1072.12 c #Conflicts: 268000 | #Constraints: 27374
1069.41/1072.12 c #Conflicts: 269000 | #Constraints: 28374
1069.41/1072.12 c #Conflicts: 270000 | #Constraints: 29374
1069.41/1072.12 c #Conflicts: 271000 | #Constraints: 30374
1069.41/1072.12 c #Conflicts: 272000 | #Constraints: 31374
1069.41/1072.12 c #Conflicts: 273000 | #Constraints: 32374
1069.41/1072.12 c #Conflicts: 274000 | #Constraints: 33374
1069.41/1072.12 c #Conflicts: 275000 | #Constraints: 34374
1069.41/1072.12 c #Conflicts: 276000 | #Constraints: 35374
1069.41/1072.12 c #Conflicts: 277000 | #Constraints: 36374
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 278000 | #Constraints: 26953
1069.41/1072.12 c #Conflicts: 279000 | #Constraints: 27953
1069.41/1072.12 c #Conflicts: 280000 | #Constraints: 28953
1069.41/1072.12 c #Conflicts: 281000 | #Constraints: 29953
1069.41/1072.12 c #Conflicts: 282000 | #Constraints: 30953
1069.41/1072.12 c #Conflicts: 283000 | #Constraints: 31953
1069.41/1072.12 c #Conflicts: 284000 | #Constraints: 32953
1069.41/1072.12 c #Conflicts: 285000 | #Constraints: 33953
1069.41/1072.12 c #Conflicts: 286000 | #Constraints: 34953
1069.41/1072.12 c #Conflicts: 287000 | #Constraints: 35953
1069.41/1072.12 c #Conflicts: 288000 | #Constraints: 36953
1069.41/1072.12 c INPROCESSING
1069.41/1072.12 c GARBAGE COLLECT
1069.41/1072.12 c #Conflicts: 289000 | #Constraints: 27348
1069.41/1072.12 c #Conflicts: 290000 | #Constraints: 28348
1069.41/1072.12 c #Conflicts: 291000 | #Constraints: 29348
1318.61/1321.91 c #Conflicts: 292000 | #Constraints: 30348
1318.61/1321.91 c #Conflicts: 293000 | #Constraints: 31348
1318.61/1321.91 c #Conflicts: 294000 | #Constraints: 32348
1318.61/1321.91 c #Conflicts: 295000 | #Constraints: 33348
1318.61/1321.91 c #Conflicts: 296000 | #Constraints: 34348
1318.61/1321.91 c #Conflicts: 297000 | #Constraints: 35348
1318.61/1321.91 c #Conflicts: 298000 | #Constraints: 36348
1318.61/1321.91 c #Conflicts: 299000 | #Constraints: 37348
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 300000 | #Constraints: 27570
1318.61/1321.91 c #Conflicts: 301000 | #Constraints: 28570
1318.61/1321.91 c #Conflicts: 302000 | #Constraints: 29570
1318.61/1321.91 c #Conflicts: 303000 | #Constraints: 30570
1318.61/1321.91 c #Conflicts: 304000 | #Constraints: 31570
1318.61/1321.91 c #Conflicts: 305000 | #Constraints: 32570
1318.61/1321.91 c #Conflicts: 306000 | #Constraints: 33570
1318.61/1321.91 c #Conflicts: 307000 | #Constraints: 34570
1318.61/1321.91 c #Conflicts: 308000 | #Constraints: 35570
1318.61/1321.91 c #Conflicts: 309000 | #Constraints: 36570
1318.61/1321.91 c #Conflicts: 310000 | #Constraints: 37570
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 311000 | #Constraints: 27596
1318.61/1321.91 c #Conflicts: 312000 | #Constraints: 28596
1318.61/1321.91 c #Conflicts: 313000 | #Constraints: 29596
1318.61/1321.91 c #Conflicts: 314000 | #Constraints: 30596
1318.61/1321.91 c #Conflicts: 315000 | #Constraints: 31596
1318.61/1321.91 c #Conflicts: 316000 | #Constraints: 32596
1318.61/1321.91 c #Conflicts: 317000 | #Constraints: 33596
1318.61/1321.91 c #Conflicts: 318000 | #Constraints: 34596
1318.61/1321.91 c #Conflicts: 319000 | #Constraints: 35596
1318.61/1321.91 c #Conflicts: 320000 | #Constraints: 36596
1318.61/1321.91 c #Conflicts: 321000 | #Constraints: 37596
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 322000 | #Constraints: 27389
1318.61/1321.91 c #Conflicts: 323000 | #Constraints: 28389
1318.61/1321.91 c #Conflicts: 324000 | #Constraints: 29389
1318.61/1321.91 c #Conflicts: 325000 | #Constraints: 30389
1318.61/1321.91 c #Conflicts: 326000 | #Constraints: 31389
1318.61/1321.91 c #Conflicts: 327000 | #Constraints: 32389
1318.61/1321.91 c #Conflicts: 328000 | #Constraints: 33389
1318.61/1321.91 c #Conflicts: 329000 | #Constraints: 34389
1318.61/1321.91 c #Conflicts: 330000 | #Constraints: 35389
1318.61/1321.91 c #Conflicts: 331000 | #Constraints: 36389
1318.61/1321.91 c #Conflicts: 332000 | #Constraints: 37389
1318.61/1321.91 c #Conflicts: 333000 | #Constraints: 38389
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 334000 | #Constraints: 27957
1318.61/1321.91 c #Conflicts: 335000 | #Constraints: 28957
1318.61/1321.91 c #Conflicts: 336000 | #Constraints: 29957
1318.61/1321.91 c #Conflicts: 337000 | #Constraints: 30957
1318.61/1321.91 c #Conflicts: 338000 | #Constraints: 31957
1318.61/1321.91 c #Conflicts: 339000 | #Constraints: 32957
1318.61/1321.91 c #Conflicts: 340000 | #Constraints: 33957
1318.61/1321.91 c #Conflicts: 341000 | #Constraints: 34957
1318.61/1321.91 c #Conflicts: 342000 | #Constraints: 35957
1318.61/1321.91 c #Conflicts: 343000 | #Constraints: 36957
1318.61/1321.91 c #Conflicts: 344000 | #Constraints: 37957
1318.61/1321.91 c #Conflicts: 345000 | #Constraints: 38957
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 346000 | #Constraints: 28274
1318.61/1321.91 c #Conflicts: 347000 | #Constraints: 29275
1318.61/1321.91 c #Conflicts: 348000 | #Constraints: 30275
1318.61/1321.91 c #Conflicts: 349000 | #Constraints: 31275
1318.61/1321.91 c #Conflicts: 350000 | #Constraints: 32275
1318.61/1321.91 c #Conflicts: 351000 | #Constraints: 33275
1318.61/1321.91 c #Conflicts: 352000 | #Constraints: 34275
1318.61/1321.91 c #Conflicts: 353000 | #Constraints: 35275
1318.61/1321.91 c #Conflicts: 354000 | #Constraints: 36275
1318.61/1321.91 c #Conflicts: 355000 | #Constraints: 37275
1318.61/1321.91 c #Conflicts: 356000 | #Constraints: 38275
1318.61/1321.91 c #Conflicts: 357000 | #Constraints: 39275
1318.61/1321.91 c INPROCESSING
1318.61/1321.91 c GARBAGE COLLECT
1318.61/1321.91 c #Conflicts: 358000 | #Constraints: 28461
1318.61/1321.91 c #Conflicts: 359000 | #Constraints: 29461
1318.61/1321.91 c #Conflicts: 360000 | #Constraints: 30461
1318.61/1321.91 c #Conflicts: 361000 | #Constraints: 31461
1318.61/1321.91 c #Conflicts: 362000 | #Constraints: 32461
1318.61/1321.91 c #Conflicts: 363000 | #Constraints: 33461
1318.61/1321.91 c #Conflicts: 364000 | #Constraints: 34461
1318.61/1321.91 c #Conflicts: 365000 | #Constraints: 35461
1318.61/1321.91 c #Conflicts: 366000 | #Constraints: 36461
1609.29/1613.34 c #Conflicts: 367000 | #Constraints: 37461
1609.29/1613.34 c #Conflicts: 368000 | #Constraints: 38461
1609.29/1613.34 c #Conflicts: 369000 | #Constraints: 39461
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 370000 | #Constraints: 28474
1609.29/1613.34 c #Conflicts: 371000 | #Constraints: 29474
1609.29/1613.34 c #Conflicts: 372000 | #Constraints: 30474
1609.29/1613.34 c #Conflicts: 373000 | #Constraints: 31474
1609.29/1613.34 c #Conflicts: 374000 | #Constraints: 32474
1609.29/1613.34 c #Conflicts: 375000 | #Constraints: 33474
1609.29/1613.34 c #Conflicts: 376000 | #Constraints: 34474
1609.29/1613.34 c #Conflicts: 377000 | #Constraints: 35474
1609.29/1613.34 c #Conflicts: 378000 | #Constraints: 36474
1609.29/1613.34 c #Conflicts: 379000 | #Constraints: 37474
1609.29/1613.34 c #Conflicts: 380000 | #Constraints: 38474
1609.29/1613.34 c #Conflicts: 381000 | #Constraints: 39474
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 382000 | #Constraints: 28229
1609.29/1613.34 c #Conflicts: 383000 | #Constraints: 29229
1609.29/1613.34 c #Conflicts: 384000 | #Constraints: 30229
1609.29/1613.34 c #Conflicts: 385000 | #Constraints: 31229
1609.29/1613.34 c #Conflicts: 386000 | #Constraints: 32229
1609.29/1613.34 c #Conflicts: 387000 | #Constraints: 33229
1609.29/1613.34 c #Conflicts: 388000 | #Constraints: 34229
1609.29/1613.34 c #Conflicts: 389000 | #Constraints: 35229
1609.29/1613.34 c #Conflicts: 390000 | #Constraints: 36229
1609.29/1613.34 c #Conflicts: 391000 | #Constraints: 37229
1609.29/1613.34 c #Conflicts: 392000 | #Constraints: 38229
1609.29/1613.34 c #Conflicts: 393000 | #Constraints: 39229
1609.29/1613.34 c #Conflicts: 394000 | #Constraints: 40229
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 395000 | #Constraints: 28835
1609.29/1613.34 c #Conflicts: 396000 | #Constraints: 29835
1609.29/1613.34 c #Conflicts: 397000 | #Constraints: 30835
1609.29/1613.34 c #Conflicts: 398000 | #Constraints: 31835
1609.29/1613.34 c #Conflicts: 399000 | #Constraints: 32835
1609.29/1613.34 c #Conflicts: 400000 | #Constraints: 33835
1609.29/1613.34 c #Conflicts: 401000 | #Constraints: 34835
1609.29/1613.34 c #Conflicts: 402000 | #Constraints: 35835
1609.29/1613.34 c #Conflicts: 403000 | #Constraints: 36835
1609.29/1613.34 c #Conflicts: 404000 | #Constraints: 37835
1609.29/1613.34 c #Conflicts: 405000 | #Constraints: 38835
1609.29/1613.34 c #Conflicts: 406000 | #Constraints: 39835
1609.29/1613.34 c #Conflicts: 407000 | #Constraints: 40835
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 408000 | #Constraints: 29228
1609.29/1613.34 c #Conflicts: 409000 | #Constraints: 30228
1609.29/1613.34 c #Conflicts: 410000 | #Constraints: 31228
1609.29/1613.34 c #Conflicts: 411000 | #Constraints: 32228
1609.29/1613.34 c #Conflicts: 412000 | #Constraints: 33228
1609.29/1613.34 c #Conflicts: 413000 | #Constraints: 34228
1609.29/1613.34 c #Conflicts: 414000 | #Constraints: 35228
1609.29/1613.34 c #Conflicts: 415000 | #Constraints: 36228
1609.29/1613.34 c #Conflicts: 416000 | #Constraints: 37228
1609.29/1613.34 c #Conflicts: 417000 | #Constraints: 38228
1609.29/1613.34 c #Conflicts: 418000 | #Constraints: 39228
1609.29/1613.34 c #Conflicts: 419000 | #Constraints: 40228
1609.29/1613.34 c #Conflicts: 420000 | #Constraints: 41228
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 421000 | #Constraints: 29378
1609.29/1613.34 c #Conflicts: 422000 | #Constraints: 30378
1609.29/1613.34 c #Conflicts: 423000 | #Constraints: 31378
1609.29/1613.34 c #Conflicts: 424000 | #Constraints: 32378
1609.29/1613.34 c #Conflicts: 425000 | #Constraints: 33378
1609.29/1613.34 c #Conflicts: 426000 | #Constraints: 34378
1609.29/1613.34 c #Conflicts: 427000 | #Constraints: 35378
1609.29/1613.34 c #Conflicts: 428000 | #Constraints: 36378
1609.29/1613.34 c #Conflicts: 429000 | #Constraints: 37378
1609.29/1613.34 c #Conflicts: 430000 | #Constraints: 38378
1609.29/1613.34 c #Conflicts: 431000 | #Constraints: 39378
1609.29/1613.34 c #Conflicts: 432000 | #Constraints: 40378
1609.29/1613.34 c #Conflicts: 433000 | #Constraints: 41378
1609.29/1613.34 c INPROCESSING
1609.29/1613.34 c GARBAGE COLLECT
1609.29/1613.34 c #Conflicts: 434000 | #Constraints: 29386
1609.29/1613.34 c #Conflicts: 435000 | #Constraints: 30386
1609.29/1613.34 c #Conflicts: 436000 | #Constraints: 31386
1609.29/1613.34 c #Conflicts: 437000 | #Constraints: 32386
1609.29/1613.34 c #Conflicts: 438000 | #Constraints: 33386
1609.29/1613.34 c #Conflicts: 439000 | #Constraints: 34386
1609.29/1613.34 c #Conflicts: 440000 | #Constraints: 35386
1609.29/1613.34 c #Conflicts: 441000 | #Constraints: 36386
1987.45/1992.46 c #Conflicts: 442000 | #Constraints: 37386
1987.45/1992.46 c #Conflicts: 443000 | #Constraints: 38386
1987.45/1992.46 c #Conflicts: 444000 | #Constraints: 39386
1987.45/1992.46 c #Conflicts: 445000 | #Constraints: 40386
1987.45/1992.46 c #Conflicts: 446000 | #Constraints: 41386
1987.45/1992.46 c INPROCESSING
1987.45/1992.46 c GARBAGE COLLECT
1987.45/1992.46 c #Conflicts: 447000 | #Constraints: 29173
1987.45/1992.46 c #Conflicts: 448000 | #Constraints: 30173
1987.45/1992.46 c #Conflicts: 449000 | #Constraints: 31173
1987.45/1992.46 c #Conflicts: 450000 | #Constraints: 32173
1987.45/1992.46 c #Conflicts: 451000 | #Constraints: 33173
1987.45/1992.46 c #Conflicts: 452000 | #Constraints: 34173
1987.45/1992.46 c #Conflicts: 453000 | #Constraints: 35173
1987.45/1992.46 c #Conflicts: 454000 | #Constraints: 36173
1987.45/1992.46 c #Conflicts: 455000 | #Constraints: 37173
1987.45/1992.46 c #Conflicts: 456000 | #Constraints: 38173
1987.45/1992.46 c #Conflicts: 457000 | #Constraints: 39173
1987.45/1992.46 c #Conflicts: 458000 | #Constraints: 40173
1987.45/1992.46 c #Conflicts: 459000 | #Constraints: 41173
1987.45/1992.46 c #Conflicts: 460000 | #Constraints: 42173
1987.45/1992.46 c INPROCESSING
1987.45/1992.46 c GARBAGE COLLECT
1987.45/1992.46 c #Conflicts: 461000 | #Constraints: 29776
1987.45/1992.46 c #Conflicts: 462000 | #Constraints: 30776
1987.45/1992.46 c #Conflicts: 463000 | #Constraints: 31776
1987.45/1992.46 c #Conflicts: 464000 | #Constraints: 32776
1987.45/1992.46 c #Conflicts: 465000 | #Constraints: 33776
1987.45/1992.46 c #Conflicts: 466000 | #Constraints: 34776
1987.45/1992.46 c #Conflicts: 467000 | #Constraints: 35776
1987.45/1992.46 c #Conflicts: 468000 | #Constraints: 36776
1987.45/1992.46 c #Conflicts: 469000 | #Constraints: 37776
1987.45/1992.46 c #Conflicts: 470000 | #Constraints: 38776
1987.45/1992.46 c #Conflicts: 471000 | #Constraints: 39776
1987.45/1992.46 c #Conflicts: 472000 | #Constraints: 40776
1987.45/1992.46 c #Conflicts: 473000 | #Constraints: 41776
1987.45/1992.46 c #Conflicts: 474000 | #Constraints: 42776
1987.45/1992.46 c INPROCESSING
1987.45/1992.46 c GARBAGE COLLECT
1987.45/1992.46 c #Conflicts: 475000 | #Constraints: 30162
1987.45/1992.46 c #Conflicts: 476000 | #Constraints: 31162
1987.45/1992.46 c #Conflicts: 477000 | #Constraints: 32162
1987.45/1992.46 c #Conflicts: 478000 | #Constraints: 33162
1987.45/1992.46 c #Conflicts: 479000 | #Constraints: 34162
1987.45/1992.46 c #Conflicts: 480000 | #Constraints: 35162
1987.45/1992.46 c #Conflicts: 481000 | #Constraints: 36162
1987.45/1992.46 c #Conflicts: 482000 | #Constraints: 37162
1987.45/1992.46 c #Conflicts: 483000 | #Constraints: 38162
1987.45/1992.46 c #Conflicts: 484000 | #Constraints: 39162
1987.45/1992.46 c #Conflicts: 485000 | #Constraints: 40162
1987.45/1992.46 c #Conflicts: 486000 | #Constraints: 41162
1987.45/1992.46 c #Conflicts: 487000 | #Constraints: 42162
1987.45/1992.46 c #Conflicts: 488000 | #Constraints: 43162
1987.45/1992.46 c INPROCESSING
1987.45/1992.46 c GARBAGE COLLECT
1987.45/1992.46 c #Conflicts: 489000 | #Constraints: 30396
1987.45/1992.46 c #Conflicts: 490000 | #Constraints: 31396
1987.45/1992.46 c #Conflicts: 491000 | #Constraints: 32396
1987.45/1992.46 c #Conflicts: 492000 | #Constraints: 33396
1987.45/1992.46 c #Conflicts: 493000 | #Constraints: 34396
1987.45/1992.46 c #Conflicts: 494000 | #Constraints: 35396
1987.45/1992.46 c #Conflicts: 495000 | #Constraints: 36396
1987.45/1992.46 c #Conflicts: 496000 | #Constraints: 37396
1987.45/1992.46 c #Conflicts: 497000 | #Constraints: 38396
1987.45/1992.46 c #Conflicts: 498000 | #Constraints: 39396
1987.45/1992.46 c #Conflicts: 499000 | #Constraints: 40396
1987.45/1992.46 c #Conflicts: 500000 | #Constraints: 41396
1987.45/1992.46 c #Conflicts: 501000 | #Constraints: 42396
1987.45/1992.46 c #Conflicts: 502000 | #Constraints: 43396
1987.45/1992.46 c INPROCESSING
1987.45/1992.46 c GARBAGE COLLECT
1987.45/1992.46 c #Conflicts: 503000 | #Constraints: 30436
1987.45/1992.46 c #Conflicts: 504000 | #Constraints: 31436
1987.45/1992.46 c #Conflicts: 505000 | #Constraints: 32436
1987.45/1992.46 c #Conflicts: 506000 | #Constraints: 33436
1987.45/1992.46 c #Conflicts: 507000 | #Constraints: 34436
1987.45/1992.46 c #Conflicts: 508000 | #Constraints: 35436
1987.45/1992.46 c #Conflicts: 509000 | #Constraints: 36436
1987.45/1992.46 c #Conflicts: 510000 | #Constraints: 37436
1987.45/1992.46 c #Conflicts: 511000 | #Constraints: 38436
1987.45/1992.46 c #Conflicts: 512000 | #Constraints: 39436
1987.45/1992.46 c #Conflicts: 513000 | #Constraints: 40436
1987.45/1992.46 c #Conflicts: 514000 | #Constraints: 41436
1987.45/1992.46 c #Conflicts: 515000 | #Constraints: 42436
1987.45/1992.46 c #Conflicts: 516000 | #Constraints: 43436
2082.02/2087.20 c INPROCESSING
2082.02/2087.20 c GARBAGE COLLECT
2082.02/2087.20 c #Conflicts: 517000 | #Constraints: 30146
2082.02/2087.20 c #Conflicts: 518000 | #Constraints: 31146
2082.02/2087.20 c #Conflicts: 519000 | #Constraints: 32146
2082.02/2087.20 c #Conflicts: 520000 | #Constraints: 33146
2082.02/2087.20 c #Conflicts: 521000 | #Constraints: 34146
2082.02/2087.20 c #Conflicts: 522000 | #Constraints: 35146
2082.02/2087.20 c #Conflicts: 523000 | #Constraints: 36146
2082.02/2087.20 c #Conflicts: 524000 | #Constraints: 37146
2082.02/2087.20 c #Conflicts: 525000 | #Constraints: 38146
2082.02/2087.20 c #Conflicts: 526000 | #Constraints: 39146
2082.02/2087.20 c #Conflicts: 527000 | #Constraints: 40146
2082.02/2087.20 c #Conflicts: 528000 | #Constraints: 41146
2082.02/2087.20 c #Conflicts: 529000 | #Constraints: 42146
2082.02/2087.20 c #Conflicts: 530000 | #Constraints: 43146
2082.02/2087.20 c #Conflicts: 531000 | #Constraints: 44146
2082.02/2087.20 c INPROCESSING
2082.02/2087.20 c GARBAGE COLLECT
2082.02/2087.20 c rational objective 1183.75
2366.81/2372.78 c #Conflicts: 532000 | #Constraints: 30745
2366.81/2372.78 c #Conflicts: 533000 | #Constraints: 31745
2366.81/2372.78 c #Conflicts: 534000 | #Constraints: 32745
2366.81/2372.78 c #Conflicts: 535000 | #Constraints: 33745
2366.81/2372.78 c #Conflicts: 536000 | #Constraints: 34745
2366.81/2372.78 c #Conflicts: 537000 | #Constraints: 35745
2366.81/2372.78 c #Conflicts: 538000 | #Constraints: 36745
2366.81/2372.78 c #Conflicts: 539000 | #Constraints: 37745
2366.81/2372.78 c #Conflicts: 540000 | #Constraints: 38745
2366.81/2372.78 c #Conflicts: 541000 | #Constraints: 39745
2366.81/2372.78 c #Conflicts: 542000 | #Constraints: 40745
2366.81/2372.78 c #Conflicts: 543000 | #Constraints: 41745
2366.81/2372.78 c #Conflicts: 544000 | #Constraints: 42745
2366.81/2372.78 c #Conflicts: 545000 | #Constraints: 43745
2366.81/2372.78 c #Conflicts: 546000 | #Constraints: 44745
2366.81/2372.78 c INPROCESSING
2366.81/2372.78 c GARBAGE COLLECT
2366.81/2372.78 c #Conflicts: 547000 | #Constraints: 31161
2366.81/2372.78 c #Conflicts: 548000 | #Constraints: 32161
2366.81/2372.78 c #Conflicts: 549000 | #Constraints: 33161
2366.81/2372.78 c #Conflicts: 550000 | #Constraints: 34161
2366.81/2372.78 c #Conflicts: 551000 | #Constraints: 35161
2366.81/2372.78 c #Conflicts: 552000 | #Constraints: 36161
2366.81/2372.78 c #Conflicts: 553000 | #Constraints: 37161
2366.81/2372.78 c #Conflicts: 554000 | #Constraints: 38161
2366.81/2372.78 c #Conflicts: 555000 | #Constraints: 39161
2366.81/2372.78 c #Conflicts: 556000 | #Constraints: 40161
2366.81/2372.78 c #Conflicts: 557000 | #Constraints: 41161
2366.81/2372.78 c #Conflicts: 558000 | #Constraints: 42161
2366.81/2372.78 c #Conflicts: 559000 | #Constraints: 43161
2366.81/2372.78 c #Conflicts: 560000 | #Constraints: 44161
2366.81/2372.78 c #Conflicts: 561000 | #Constraints: 45161
2366.81/2372.78 c INPROCESSING
2366.81/2372.78 c GARBAGE COLLECT
2366.81/2372.78 c #Conflicts: 562000 | #Constraints: 31315
2366.81/2372.78 c #Conflicts: 563000 | #Constraints: 32315
2366.81/2372.78 c #Conflicts: 564000 | #Constraints: 33315
2366.81/2372.78 c #Conflicts: 565000 | #Constraints: 34315
2366.81/2372.78 c #Conflicts: 566000 | #Constraints: 35315
2366.81/2372.78 c #Conflicts: 567000 | #Constraints: 36315
2366.81/2372.78 c #Conflicts: 568000 | #Constraints: 37315
2366.81/2372.78 c #Conflicts: 569000 | #Constraints: 38315
2366.81/2372.78 c #Conflicts: 570000 | #Constraints: 39315
2366.81/2372.78 c #Conflicts: 571000 | #Constraints: 40315
2366.81/2372.78 c #Conflicts: 572000 | #Constraints: 41315
2366.81/2372.78 c #Conflicts: 573000 | #Constraints: 42315
2366.81/2372.78 c #Conflicts: 574000 | #Constraints: 43315
2366.81/2372.78 c #Conflicts: 575000 | #Constraints: 44315
2366.81/2372.78 c #Conflicts: 576000 | #Constraints: 45315
2366.81/2372.78 c INPROCESSING
2366.81/2372.78 c GARBAGE COLLECT
2366.81/2372.78 c #Conflicts: 577000 | #Constraints: 31300
2366.81/2372.78 c #Conflicts: 578000 | #Constraints: 32300
2366.81/2372.78 c #Conflicts: 579000 | #Constraints: 33300
2366.81/2372.78 c #Conflicts: 580000 | #Constraints: 34300
2366.81/2372.78 c #Conflicts: 581000 | #Constraints: 35300
2366.81/2372.78 c #Conflicts: 582000 | #Constraints: 36300
2366.81/2372.78 c #Conflicts: 583000 | #Constraints: 37300
2366.81/2372.78 c #Conflicts: 584000 | #Constraints: 38300
2366.81/2372.78 c #Conflicts: 585000 | #Constraints: 39300
2366.81/2372.78 c #Conflicts: 586000 | #Constraints: 40300
2366.81/2372.78 c #Conflicts: 587000 | #Constraints: 41300
2366.81/2372.78 c #Conflicts: 588000 | #Constraints: 42300
2366.81/2372.78 c #Conflicts: 589000 | #Constraints: 43300
2366.81/2372.78 c #Conflicts: 590000 | #Constraints: 44300
2366.81/2372.78 c #Conflicts: 591000 | #Constraints: 45300
2366.81/2372.78 c INPROCESSING
2366.81/2372.78 c GARBAGE COLLECT
2366.81/2372.78 c #Conflicts: 592000 | #Constraints: 31100
2366.81/2372.78 c #Conflicts: 593000 | #Constraints: 32100
2366.81/2372.78 c #Conflicts: 594000 | #Constraints: 33100
2366.81/2372.78 c #Conflicts: 595000 | #Constraints: 34100
2366.81/2372.78 c #Conflicts: 596000 | #Constraints: 35100
2366.81/2372.78 c #Conflicts: 597000 | #Constraints: 36100
2366.81/2372.78 c #Conflicts: 598000 | #Constraints: 37100
2366.81/2372.78 c #Conflicts: 599000 | #Constraints: 38100
2366.81/2372.78 c #Conflicts: 600000 | #Constraints: 39100
2366.81/2372.78 c #Conflicts: 601000 | #Constraints: 40100
2366.81/2372.78 c #Conflicts: 602000 | #Constraints: 41100
2366.81/2372.78 c #Conflicts: 603000 | #Constraints: 42100
2366.81/2372.78 c #Conflicts: 604000 | #Constraints: 43100
2366.81/2372.78 c #Conflicts: 605000 | #Constraints: 44100
2366.81/2372.78 c #Conflicts: 606000 | #Constraints: 45100
2366.81/2372.78 c #Conflicts: 607000 | #Constraints: 46100
2366.81/2372.78 c INPROCESSING
2662.07/2668.70 c GARBAGE COLLECT
2662.07/2668.70 c #Conflicts: 608000 | #Constraints: 31733
2662.07/2668.70 c #Conflicts: 609000 | #Constraints: 32733
2662.07/2668.70 c #Conflicts: 610000 | #Constraints: 33733
2662.07/2668.70 c #Conflicts: 611000 | #Constraints: 34733
2662.07/2668.70 c #Conflicts: 612000 | #Constraints: 35733
2662.07/2668.70 c #Conflicts: 613000 | #Constraints: 36733
2662.07/2668.70 c #Conflicts: 614000 | #Constraints: 37733
2662.07/2668.70 c #Conflicts: 615000 | #Constraints: 38733
2662.07/2668.70 c #Conflicts: 616000 | #Constraints: 39733
2662.07/2668.70 c #Conflicts: 617000 | #Constraints: 40733
2662.07/2668.70 c #Conflicts: 618000 | #Constraints: 41733
2662.07/2668.70 c #Conflicts: 619000 | #Constraints: 42733
2662.07/2668.70 c #Conflicts: 620000 | #Constraints: 43733
2662.07/2668.70 c #Conflicts: 621000 | #Constraints: 44733
2662.07/2668.70 c #Conflicts: 622000 | #Constraints: 45733
2662.07/2668.70 c #Conflicts: 623000 | #Constraints: 46733
2662.07/2668.70 c INPROCESSING
2662.07/2668.70 c GARBAGE COLLECT
2662.07/2668.70 c #Conflicts: 624000 | #Constraints: 32126
2662.07/2668.70 c #Conflicts: 625000 | #Constraints: 33126
2662.07/2668.70 c #Conflicts: 626000 | #Constraints: 34126
2662.07/2668.70 c #Conflicts: 627000 | #Constraints: 35127
2662.07/2668.70 c #Conflicts: 628000 | #Constraints: 36127
2662.07/2668.70 c #Conflicts: 629000 | #Constraints: 37127
2662.07/2668.70 c #Conflicts: 630000 | #Constraints: 38127
2662.07/2668.70 c #Conflicts: 631000 | #Constraints: 39127
2662.07/2668.70 c #Conflicts: 632000 | #Constraints: 40127
2662.07/2668.70 c #Conflicts: 633000 | #Constraints: 41127
2662.07/2668.70 c #Conflicts: 634000 | #Constraints: 42127
2662.07/2668.70 c #Conflicts: 635000 | #Constraints: 43127
2662.07/2668.70 c #Conflicts: 636000 | #Constraints: 44127
2662.07/2668.70 c #Conflicts: 637000 | #Constraints: 45127
2662.07/2668.70 c #Conflicts: 638000 | #Constraints: 46127
2662.07/2668.70 c #Conflicts: 639000 | #Constraints: 47127
2662.07/2668.70 c INPROCESSING
2662.07/2668.70 c GARBAGE COLLECT
2662.07/2668.70 c #Conflicts: 640000 | #Constraints: 32334
2662.07/2668.70 c #Conflicts: 641000 | #Constraints: 33334
2662.07/2668.70 c #Conflicts: 642000 | #Constraints: 34334
2662.07/2668.70 c #Conflicts: 643000 | #Constraints: 35334
2662.07/2668.70 c #Conflicts: 644000 | #Constraints: 36334
2662.07/2668.70 c #Conflicts: 645000 | #Constraints: 37334
2662.07/2668.70 c #Conflicts: 646000 | #Constraints: 38334
2662.07/2668.70 c #Conflicts: 647000 | #Constraints: 39334
2662.07/2668.70 c #Conflicts: 648000 | #Constraints: 40334
2662.07/2668.70 c #Conflicts: 649000 | #Constraints: 41334
2662.07/2668.70 c #Conflicts: 650000 | #Constraints: 42334
2662.07/2668.70 c #Conflicts: 651000 | #Constraints: 43334
2662.07/2668.70 c #Conflicts: 652000 | #Constraints: 44334
2662.07/2668.70 c #Conflicts: 653000 | #Constraints: 45334
2662.07/2668.70 c #Conflicts: 654000 | #Constraints: 46334
2662.07/2668.70 c #Conflicts: 655000 | #Constraints: 47334
2662.07/2668.70 c INPROCESSING
2662.07/2668.70 c GARBAGE COLLECT
2662.07/2668.70 c #Conflicts: 656000 | #Constraints: 32325
2662.07/2668.70 c #Conflicts: 657000 | #Constraints: 33325
2662.07/2668.70 c #Conflicts: 658000 | #Constraints: 34325
2662.07/2668.70 c #Conflicts: 659000 | #Constraints: 35325
2662.07/2668.70 c #Conflicts: 660000 | #Constraints: 36325
2662.07/2668.70 c #Conflicts: 661000 | #Constraints: 37325
2662.07/2668.70 c #Conflicts: 662000 | #Constraints: 38325
2662.07/2668.70 c #Conflicts: 663000 | #Constraints: 39325
2662.07/2668.70 c #Conflicts: 664000 | #Constraints: 40325
2662.07/2668.70 c #Conflicts: 665000 | #Constraints: 41325
2662.07/2668.70 c #Conflicts: 666000 | #Constraints: 42325
2662.07/2668.70 c #Conflicts: 667000 | #Constraints: 43325
2662.07/2668.70 c #Conflicts: 668000 | #Constraints: 44325
2662.07/2668.70 c #Conflicts: 669000 | #Constraints: 45325
2662.07/2668.70 c #Conflicts: 670000 | #Constraints: 46325
2662.07/2668.70 c #Conflicts: 671000 | #Constraints: 47325
2662.07/2668.70 c INPROCESSING
2662.07/2668.70 c GARBAGE COLLECT
2662.07/2668.70 c #Conflicts: 672000 | #Constraints: 32136
2662.07/2668.70 c #Conflicts: 673000 | #Constraints: 33136
2662.07/2668.70 c #Conflicts: 674000 | #Constraints: 34136
2662.07/2668.70 c #Conflicts: 675000 | #Constraints: 35136
2662.07/2668.70 c #Conflicts: 676000 | #Constraints: 36136
2662.07/2668.70 c #Conflicts: 677000 | #Constraints: 37136
2662.07/2668.70 c #Conflicts: 678000 | #Constraints: 38136
2662.07/2668.70 c #Conflicts: 679000 | #Constraints: 39136
2662.07/2668.70 c #Conflicts: 680000 | #Constraints: 40136
2662.07/2668.70 c #Conflicts: 681000 | #Constraints: 41136
2662.07/2668.70 c #Conflicts: 682000 | #Constraints: 42136
2662.07/2668.70 c #Conflicts: 683000 | #Constraints: 43136
3013.20/3020.72 c #Conflicts: 684000 | #Constraints: 44136
3013.20/3020.72 c #Conflicts: 685000 | #Constraints: 45136
3013.20/3020.72 c #Conflicts: 686000 | #Constraints: 46136
3013.20/3020.72 c #Conflicts: 687000 | #Constraints: 47136
3013.20/3020.72 c #Conflicts: 688000 | #Constraints: 48136
3013.20/3020.72 c INPROCESSING
3013.20/3020.72 c GARBAGE COLLECT
3013.20/3020.72 c #Conflicts: 689000 | #Constraints: 32696
3013.20/3020.72 c #Conflicts: 690000 | #Constraints: 33696
3013.20/3020.72 c #Conflicts: 691000 | #Constraints: 34696
3013.20/3020.72 c #Conflicts: 692000 | #Constraints: 35696
3013.20/3020.72 c #Conflicts: 693000 | #Constraints: 36696
3013.20/3020.72 c #Conflicts: 694000 | #Constraints: 37696
3013.20/3020.72 c #Conflicts: 695000 | #Constraints: 38696
3013.20/3020.72 c #Conflicts: 696000 | #Constraints: 39696
3013.20/3020.72 c #Conflicts: 697000 | #Constraints: 40696
3013.20/3020.72 c #Conflicts: 698000 | #Constraints: 41696
3013.20/3020.72 c #Conflicts: 699000 | #Constraints: 42696
3013.20/3020.72 c #Conflicts: 700000 | #Constraints: 43696
3013.20/3020.72 c #Conflicts: 701000 | #Constraints: 44696
3013.20/3020.72 c #Conflicts: 702000 | #Constraints: 45696
3013.20/3020.72 c #Conflicts: 703000 | #Constraints: 46696
3013.20/3020.72 c #Conflicts: 704000 | #Constraints: 47696
3013.20/3020.72 c #Conflicts: 705000 | #Constraints: 48696
3013.20/3020.72 c INPROCESSING
3013.20/3020.72 c GARBAGE COLLECT
3013.20/3020.72 c #Conflicts: 706000 | #Constraints: 33062
3013.20/3020.72 c #Conflicts: 707000 | #Constraints: 34062
3013.20/3020.72 c #Conflicts: 708000 | #Constraints: 35062
3013.20/3020.72 c #Conflicts: 709000 | #Constraints: 36062
3013.20/3020.72 c #Conflicts: 710000 | #Constraints: 37062
3013.20/3020.72 c #Conflicts: 711000 | #Constraints: 38062
3013.20/3020.72 c #Conflicts: 712000 | #Constraints: 39062
3013.20/3020.72 c #Conflicts: 713000 | #Constraints: 40062
3013.20/3020.72 c #Conflicts: 714000 | #Constraints: 41062
3013.20/3020.72 c #Conflicts: 715000 | #Constraints: 42062
3013.20/3020.72 c #Conflicts: 716000 | #Constraints: 43062
3013.20/3020.72 c #Conflicts: 717000 | #Constraints: 44062
3013.20/3020.72 c #Conflicts: 718000 | #Constraints: 45062
3013.20/3020.72 c #Conflicts: 719000 | #Constraints: 46062
3013.20/3020.72 c #Conflicts: 720000 | #Constraints: 47062
3013.20/3020.72 c #Conflicts: 721000 | #Constraints: 48062
3013.20/3020.72 c #Conflicts: 722000 | #Constraints: 49062
3013.20/3020.72 c INPROCESSING
3013.20/3020.72 c GARBAGE COLLECT
3013.20/3020.72 c #Conflicts: 723000 | #Constraints: 33291
3013.20/3020.72 c #Conflicts: 724000 | #Constraints: 34291
3013.20/3020.72 c #Conflicts: 725000 | #Constraints: 35291
3013.20/3020.72 c #Conflicts: 726000 | #Constraints: 36291
3013.20/3020.72 c #Conflicts: 727000 | #Constraints: 37291
3013.20/3020.72 c #Conflicts: 728000 | #Constraints: 38291
3013.20/3020.72 c #Conflicts: 729000 | #Constraints: 39291
3013.20/3020.72 c #Conflicts: 730000 | #Constraints: 40291
3013.20/3020.72 c #Conflicts: 731000 | #Constraints: 41291
3013.20/3020.72 c #Conflicts: 732000 | #Constraints: 42291
3013.20/3020.72 c #Conflicts: 733000 | #Constraints: 43291
3013.20/3020.72 c #Conflicts: 734000 | #Constraints: 44291
3013.20/3020.72 c #Conflicts: 735000 | #Constraints: 45291
3013.20/3020.72 c #Conflicts: 736000 | #Constraints: 46291
3013.20/3020.72 c #Conflicts: 737000 | #Constraints: 47291
3013.20/3020.72 c #Conflicts: 738000 | #Constraints: 48291
3013.20/3020.72 c #Conflicts: 739000 | #Constraints: 49291
3013.20/3020.72 c INPROCESSING
3013.20/3020.72 c GARBAGE COLLECT
3013.20/3020.72 c #Conflicts: 740000 | #Constraints: 33301
3013.20/3020.72 c #Conflicts: 741000 | #Constraints: 34301
3013.20/3020.72 c #Conflicts: 742000 | #Constraints: 35301
3013.20/3020.72 c #Conflicts: 743000 | #Constraints: 36301
3013.20/3020.72 c #Conflicts: 744000 | #Constraints: 37301
3013.20/3020.72 c #Conflicts: 745000 | #Constraints: 38301
3013.20/3020.72 c #Conflicts: 746000 | #Constraints: 39301
3013.20/3020.72 c #Conflicts: 747000 | #Constraints: 40302
3013.20/3020.72 c #Conflicts: 748000 | #Constraints: 41302
3013.20/3020.72 c #Conflicts: 749000 | #Constraints: 42302
3013.20/3020.72 c #Conflicts: 750000 | #Constraints: 43302
3013.20/3020.72 c #Conflicts: 751000 | #Constraints: 44302
3013.20/3020.72 c #Conflicts: 752000 | #Constraints: 45302
3013.20/3020.72 c #Conflicts: 753000 | #Constraints: 46302
3013.20/3020.72 c #Conflicts: 754000 | #Constraints: 47302
3013.20/3020.72 c #Conflicts: 755000 | #Constraints: 48302
3013.20/3020.72 c #Conflicts: 756000 | #Constraints: 49302
3013.20/3020.72 c INPROCESSING
3013.20/3020.72 c GARBAGE COLLECT
3013.20/3020.72 c #Conflicts: 757000 | #Constraints: 32820
3013.20/3020.72 c #Conflicts: 758000 | #Constraints: 33820
3013.20/3020.72 c #Conflicts: 759000 | #Constraints: 34820
3353.13/3361.58 c #Conflicts: 760000 | #Constraints: 35820
3353.13/3361.58 c #Conflicts: 761000 | #Constraints: 36820
3353.13/3361.58 c #Conflicts: 762000 | #Constraints: 37820
3353.13/3361.58 c #Conflicts: 763000 | #Constraints: 38820
3353.13/3361.58 c #Conflicts: 764000 | #Constraints: 39820
3353.13/3361.58 c #Conflicts: 765000 | #Constraints: 40820
3353.13/3361.58 c #Conflicts: 766000 | #Constraints: 41820
3353.13/3361.58 c #Conflicts: 767000 | #Constraints: 42820
3353.13/3361.58 c #Conflicts: 768000 | #Constraints: 43820
3353.13/3361.58 c #Conflicts: 769000 | #Constraints: 44820
3353.13/3361.58 c #Conflicts: 770000 | #Constraints: 45820
3353.13/3361.58 c #Conflicts: 771000 | #Constraints: 46820
3353.13/3361.58 c #Conflicts: 772000 | #Constraints: 47820
3353.13/3361.58 c #Conflicts: 773000 | #Constraints: 48820
3353.13/3361.58 c #Conflicts: 774000 | #Constraints: 49820
3353.13/3361.58 c INPROCESSING
3353.13/3361.58 c GARBAGE COLLECT
3353.13/3361.58 c #Conflicts: 775000 | #Constraints: 33412
3353.13/3361.58 c #Conflicts: 776000 | #Constraints: 34412
3353.13/3361.58 c #Conflicts: 777000 | #Constraints: 35412
3353.13/3361.58 c #Conflicts: 778000 | #Constraints: 36412
3353.13/3361.58 c #Conflicts: 779000 | #Constraints: 37412
3353.13/3361.58 c #Conflicts: 780000 | #Constraints: 38412
3353.13/3361.58 c #Conflicts: 781000 | #Constraints: 39412
3353.13/3361.58 c #Conflicts: 782000 | #Constraints: 40412
3353.13/3361.58 c #Conflicts: 783000 | #Constraints: 41412
3353.13/3361.58 c #Conflicts: 784000 | #Constraints: 42412
3353.13/3361.58 c #Conflicts: 785000 | #Constraints: 43412
3353.13/3361.58 c #Conflicts: 786000 | #Constraints: 44412
3353.13/3361.58 c #Conflicts: 787000 | #Constraints: 45412
3353.13/3361.58 c #Conflicts: 788000 | #Constraints: 46412
3353.13/3361.58 c #Conflicts: 789000 | #Constraints: 47412
3353.13/3361.58 c #Conflicts: 790000 | #Constraints: 48412
3353.13/3361.58 c #Conflicts: 791000 | #Constraints: 49412
3353.13/3361.58 c #Conflicts: 792000 | #Constraints: 50412
3353.13/3361.58 c INPROCESSING
3353.13/3361.58 c GARBAGE COLLECT
3353.13/3361.58 c #Conflicts: 793000 | #Constraints: 33825
3353.13/3361.58 c #Conflicts: 794000 | #Constraints: 34825
3353.13/3361.58 c #Conflicts: 795000 | #Constraints: 35825
3353.13/3361.58 c #Conflicts: 796000 | #Constraints: 36825
3353.13/3361.58 c #Conflicts: 797000 | #Constraints: 37825
3353.13/3361.58 c #Conflicts: 798000 | #Constraints: 38825
3353.13/3361.58 c #Conflicts: 799000 | #Constraints: 39825
3353.13/3361.58 c #Conflicts: 800000 | #Constraints: 40825
3353.13/3361.58 c #Conflicts: 801000 | #Constraints: 41825
3353.13/3361.58 c #Conflicts: 802000 | #Constraints: 42825
3353.13/3361.58 c #Conflicts: 803000 | #Constraints: 43825
3353.13/3361.58 c #Conflicts: 804000 | #Constraints: 44825
3353.13/3361.58 c #Conflicts: 805000 | #Constraints: 45825
3353.13/3361.58 c #Conflicts: 806000 | #Constraints: 46825
3353.13/3361.58 c #Conflicts: 807000 | #Constraints: 47825
3353.13/3361.58 c #Conflicts: 808000 | #Constraints: 48825
3353.13/3361.58 c #Conflicts: 809000 | #Constraints: 49825
3353.13/3361.58 c #Conflicts: 810000 | #Constraints: 50825
3353.13/3361.58 c INPROCESSING
3353.13/3361.58 c GARBAGE COLLECT
3353.13/3361.58 c #Conflicts: 811000 | #Constraints: 34055
3353.13/3361.58 c #Conflicts: 812000 | #Constraints: 35055
3353.13/3361.58 c #Conflicts: 813000 | #Constraints: 36055
3353.13/3361.58 c #Conflicts: 814000 | #Constraints: 37055
3353.13/3361.58 c #Conflicts: 815000 | #Constraints: 38055
3353.13/3361.58 c #Conflicts: 816000 | #Constraints: 39055
3353.13/3361.58 c #Conflicts: 817000 | #Constraints: 40055
3353.13/3361.58 c #Conflicts: 818000 | #Constraints: 41055
3353.13/3361.58 c #Conflicts: 819000 | #Constraints: 42055
3353.13/3361.58 c #Conflicts: 820000 | #Constraints: 43055
3353.13/3361.58 c #Conflicts: 821000 | #Constraints: 44055
3353.13/3361.58 c #Conflicts: 822000 | #Constraints: 45055
3353.13/3361.58 c #Conflicts: 823000 | #Constraints: 46055
3353.13/3361.58 c #Conflicts: 824000 | #Constraints: 47055
3353.13/3361.58 c #Conflicts: 825000 | #Constraints: 48055
3353.13/3361.58 c #Conflicts: 826000 | #Constraints: 49055
3353.13/3361.58 c #Conflicts: 827000 | #Constraints: 50055
3353.13/3361.58 c #Conflicts: 828000 | #Constraints: 51055
3353.13/3361.58 c INPROCESSING
3353.13/3361.58 c GARBAGE COLLECT
3353.13/3361.58 c #Conflicts: 829000 | #Constraints: 34055
3353.13/3361.58 c #Conflicts: 830000 | #Constraints: 35055
3353.13/3361.58 c #Conflicts: 831000 | #Constraints: 36055
3353.13/3361.58 c #Conflicts: 832000 | #Constraints: 37055
3353.13/3361.58 c #Conflicts: 833000 | #Constraints: 38055
3353.13/3361.58 c #Conflicts: 834000 | #Constraints: 39055
3353.13/3361.58 c #Conflicts: 835000 | #Constraints: 40055
3600.07/3609.00 c #Conflicts: 836000 | #Constraints: 41055
3600.07/3609.00 c #Conflicts: 837000 | #Constraints: 42055
3600.07/3609.00 c #Conflicts: 838000 | #Constraints: 43055
3600.07/3609.00 c #Conflicts: 839000 | #Constraints: 44055
3600.07/3609.00 c #Conflicts: 840000 | #Constraints: 45055
3600.07/3609.00 c #Conflicts: 841000 | #Constraints: 46055
3600.07/3609.00 c #Conflicts: 842000 | #Constraints: 47055
3600.07/3609.00 c #Conflicts: 843000 | #Constraints: 48055
3600.07/3609.00 c #Conflicts: 844000 | #Constraints: 49055
3600.07/3609.00 c #Conflicts: 845000 | #Constraints: 50055
3600.07/3609.00 c #Conflicts: 846000 | #Constraints: 51055
3600.07/3609.00 c INPROCESSING
3600.07/3609.00 c GARBAGE COLLECT
3600.07/3609.00 c #Conflicts: 847000 | #Constraints: 33818
3600.07/3609.00 c #Conflicts: 848000 | #Constraints: 34818
3600.07/3609.00 c #Conflicts: 849000 | #Constraints: 35818
3600.07/3609.00 c #Conflicts: 850000 | #Constraints: 36818
3600.07/3609.00 c #Conflicts: 851000 | #Constraints: 37818
3600.07/3609.00 c #Conflicts: 852000 | #Constraints: 38818
3600.07/3609.00 c #Conflicts: 853000 | #Constraints: 39818
3600.07/3609.00 c #Conflicts: 854000 | #Constraints: 40818
3600.07/3609.00 c #Conflicts: 855000 | #Constraints: 41818
3600.07/3609.00 c #Conflicts: 856000 | #Constraints: 42818
3600.07/3609.00 c #Conflicts: 857000 | #Constraints: 43819
3600.07/3609.00 c #Conflicts: 858000 | #Constraints: 44819
3600.07/3609.00 c #Conflicts: 859000 | #Constraints: 45819
3600.07/3609.00 c #Conflicts: 860000 | #Constraints: 46819
3600.07/3609.00 c #Conflicts: 861000 | #Constraints: 47819
3600.07/3609.00 c #Conflicts: 862000 | #Constraints: 48819
3600.07/3609.00 c #Conflicts: 863000 | #Constraints: 49819
3600.07/3609.00 c #Conflicts: 864000 | #Constraints: 50819
3600.07/3609.00 c #Conflicts: 865000 | #Constraints: 51819
3600.07/3609.00 c INPROCESSING
3600.07/3609.00 c GARBAGE COLLECT
3600.07/3609.00 c #Conflicts: 866000 | #Constraints: 34444
3600.07/3609.00 c #Conflicts: 867000 | #Constraints: 35444
3600.07/3609.00 c #Conflicts: 868000 | #Constraints: 36444
3600.07/3609.00 c #Conflicts: 869000 | #Constraints: 37444
3600.07/3609.00 c #Conflicts: 870000 | #Constraints: 38444
3600.07/3609.00 c #Conflicts: 871000 | #Constraints: 39444
3600.07/3609.00 c #Conflicts: 872000 | #Constraints: 40444
3600.07/3609.00 c #Conflicts: 873000 | #Constraints: 41444
3600.07/3609.00 c #Conflicts: 874000 | #Constraints: 42444
3600.07/3609.00 c #Conflicts: 875000 | #Constraints: 43444
3600.07/3609.00 c #Conflicts: 876000 | #Constraints: 44444
3600.07/3609.00 c #Conflicts: 877000 | #Constraints: 45444
3600.07/3609.00 c #Conflicts: 878000 | #Constraints: 46444
3600.07/3609.00 c #Conflicts: 879000 | #Constraints: 47444
3600.07/3609.00 c #Conflicts: 880000 | #Constraints: 48444
3600.07/3609.00 c #Conflicts: 881000 | #Constraints: 49444
3600.07/3609.00 c #Conflicts: 882000 | #Constraints: 50444
3600.07/3609.00 c #Conflicts: 883000 | #Constraints: 51444
3600.07/3609.00 c #Conflicts: 884000 | #Constraints: 52444
3600.07/3609.00 c INPROCESSING
3600.07/3609.00 c GARBAGE COLLECT
3600.07/3609.00 c #Conflicts: 885000 | #Constraints: 34862
3600.07/3609.00 c #Conflicts: 886000 | #Constraints: 35862
3600.07/3609.00 c #Conflicts: 887000 | #Constraints: 36862
3600.07/3609.00 c #Conflicts: 888000 | #Constraints: 37862
3600.07/3609.00 c #Conflicts: 889000 | #Constraints: 38862
3600.07/3609.00 c #Conflicts: 890000 | #Constraints: 39862
3600.07/3609.00 c #Conflicts: 891000 | #Constraints: 40862
3600.07/3609.00 c #Conflicts: 892000 | #Constraints: 41862
3600.07/3609.00 c #Conflicts: 893000 | #Constraints: 42862
3600.07/3609.00 c cpu time 3583.91 s
3600.07/3609.00 c deterministic time 311319253033 3.11e+11
3600.07/3609.00 c optimization time 42.654 s
3600.07/3609.00 c total solve time 3541.13 s
3600.07/3609.00 c core-guided solve time 0 s
3600.07/3609.00 c propagation time 1519.94 s
3600.07/3609.00 c conflict analysis time 1095.33 s
3600.07/3609.00 c propagations 342831759
3600.07/3609.00 c resolve steps 9483675
3600.07/3609.00 c decisions 12411356
3600.07/3609.00 c conflicts 893328
3600.07/3609.00 c restarts 1930
3600.07/3609.00 c inprocessing phases 85
3600.07/3609.00 c garbage collections 85 ,( 100.00 )
3600.07/3609.00 c input clauses 15004 ,( 95.09 )
3600.07/3609.00 c input cardinalities 774 ,( 4.91 )
3600.07/3609.00 c input general constraints 0 ,( 0.00 )
3600.07/3609.00 c input average constraint length 17.48
3600.07/3609.00 c input average constraint degree 9.79
3600.07/3609.00 c learned clauses 87970 ,( 9.85 )
3600.07/3609.00 c learned cardinalities 60391 ,( 6.76 )
3600.07/3609.00 c learned general constraints 744972 ,( 83.39 )
3600.07/3609.00 c learned average constraint length 2112.94
3600.07/3609.00 c learned average constraint degree 6419515.03
3600.07/3609.00 c watched CF 32, 64, 128, Arb: 377913 , 0 , 0 , 0
3600.07/3609.00 c counting CF 32, 64, 128, Arb: 367059 , 0 , 0 , 0
3600.07/3609.00 c watched constraints 377913 ,( 50.73 )
3600.07/3609.00 c counting constraints 367059 ,( 49.27 )
3600.07/3609.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 128606834 , 733749254 , 528971451 ,( 130044946 , 398926505 )
3600.07/3609.00 c gcd simplifications 67
3600.07/3609.00 c detected cardinalities 2
3600.07/3609.00 c weakened non-implied lits 1613572609
3600.07/3609.00 c weakened non-implying lits 492471
3600.07/3609.00 c original variables 28035
3600.07/3609.00 c clausal propagations 69602036
3600.07/3609.00 c cardinality propagations 218151168
3600.07/3609.00 c watched propagations 3737002
3600.07/3609.00 c counting propagations 46363129
3600.07/3609.00 c watch lookups 33460010260
3600.07/3609.00 c watch backjump lookups 0
3600.07/3609.00 c watch checks 80401909200
3600.07/3609.00 c propagation checks 190495626902
3600.07/3609.00 c constraint additions 6250143685
3600.07/3609.00 c trail pops 356110041
3600.07/3609.00 c formula constraints 15778
3600.07/3609.00 c learned constraints 893323
3600.07/3609.00 c bound constraints 0
3600.07/3609.00 c core-guided constraints 0
3600.07/3609.00 c encountered formula constraints 3875639
3600.07/3609.00 c encountered learned constraints 6501229
3600.07/3609.00 c encountered bound constraints 0
3600.07/3609.00 c encountered core-guided constraints 0
3600.07/3609.00 c LP total time 258.064 s
3600.07/3609.00 c LP solve time 256.76 s
3600.07/3609.00 c LP constraints added 15780
3600.07/3609.00 c LP constraints removed 0
3600.07/3609.00 c LP pivots internal 96307
3600.07/3609.00 c LP pivots root 113522
3600.07/3609.00 c LP calls 15
3600.07/3609.00 c LP optimalities 5
3600.07/3609.00 c LP no pivot count 0
3600.07/3609.00 c LP infeasibilities 4
3600.07/3609.00 c LP valid Farkas constraints 4
3600.07/3609.00 c LP learned Farkas constraints 4
3600.07/3609.00 c LP basis resets 0
3600.07/3609.00 c LP cycling count 0
3600.07/3609.00 c LP singular count 0
3600.07/3609.00 c LP no primal count 0
3600.07/3609.00 c LP no farkas count 0
3600.07/3609.00 c LP other issue count 0
3600.07/3609.00 c LP Gomory cuts 2
3600.07/3609.00 c LP learned cuts 0
3600.07/3609.00 c LP deleted cuts 0
3600.07/3609.00 c LP encountered Gomory constraints 0
3600.07/3609.00 c LP encountered Farkas constraints 43
3600.07/3609.00 c LP encountered learned Farkas constraints 88
3600.07/3609.00 c CG auxiliary variables introduced 0
3600.07/3609.00 c CG solutions found 0
3600.07/3609.00 c CG cores constructed 0
3600.07/3609.00 c CG core cardinality constraints returned 0
3600.07/3609.00 c CG unit cores 0
3600.07/3609.00 c CG single cores 0
3600.07/3609.00 c CG blocks removed during cardinality reduction 0
3600.07/3609.00 c CG first core best 0
3600.07/3609.00 c CG decision core best 0
3600.07/3609.00 c CG core reduction tie 0
3600.07/3609.00 c CG core degree average 0.00
3600.07/3609.00 c CG core slack average 0.00
3600.07/3609.00 c CG core upper bound improvements 0
3600.07/3609.00 c STR number of successful calls 0
3600.07/3609.00 c STR number of unsuccessful calls 0
3600.07/3609.00 c STR number of inconclusive calls 0
3600.07/3609.00 c STR number of successful attempts 0
3600.07/3609.00 c STR number of unsuccessful attempts 0
3600.07/3609.00 c STR number of inconclusive attempts 0
3600.07/3609.00 c STR average degree increase per successful call inf
3600.07/3609.00 c STR average degree increase per successful attempt inf
3600.07/3609.00 c STR total number of conflicts for successful attempts 0
3600.07/3609.00 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.00 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.00 c STR average number of conflicts per successful attempt inf
3600.07/3609.00 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.00 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.00 c AVG.sumWPerc 41.72
3600.07/3609.00 c bigint constraints 0
3600.07/3609.00 s UNKNOWN
3600.07/3609.00 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 (62705 MiB free)
memory of node 1: 64465 MiB (63568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493304-1751142990/watcher-4493304-1751142990 -o /tmp/evaluation-result-4493304-1751142990/solver-4493304-1751142990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751142403-13594 --watchdog 3760 run-dec-break.sh HOME/instance-4493304-1751142990.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15985, runsolver pid=15982
[startup+0.100063 s]*
/proc/loadavg: 4.19 3.79 3.34 5/268 15987
/proc/meminfo: memFree=129287244/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15987] ppid=15985 vsize=64564 memory=44312 CPUtime=0.09 cores=4,6
/proc/15987/stat : 15987 (pbsuma) R 15985 15985 11416 0 -1 4194304 12537 0 0 0 7 2 0 0 20 0 1 0 29977487 66113536 11078 18446744073709551615 4210688 4653049 140736074629968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23756800 140736074631523 140736074631730 140736074631730 140736074637295 0
/proc/15987/statm: 16141 11078 992 108 0 13549 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68756 KiB
Current children cumulated memory: 47256 KiB
[startup+0.205715 s]*
/proc/loadavg: 4.18 3.79 3.34 5/268 15987
/proc/meminfo: memFree=129279432/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15987] ppid=15985 vsize=74712 memory=55588 CPUtime=0.19 cores=4,6
/proc/15987/stat : 15987 (pbsuma) R 15985 15985 11416 0 -1 4194304 15424 0 0 0 16 3 0 0 20 0 1 0 29977487 76505088 13897 18446744073709551615 4210688 4653049 140736074629968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23756800 140736074631523 140736074631730 140736074631730 140736074637295 0
/proc/15987/statm: 18678 13897 992 108 0 16086 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78904 KiB
Current children cumulated memory: 58532 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.18 3.79 3.34 5/268 15987
/proc/meminfo: memFree=129263304/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15987] ppid=15985 vsize=87072 memory=68388 CPUtime=0.29 cores=4,6
/proc/15987/stat : 15987 (pbsuma) R 15985 15985 11416 0 -1 4194304 18629 0 0 0 26 3 0 0 20 0 1 0 29977487 89161728 17097 18446744073709551615 4210688 4653049 140736074629968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23756800 140736074631523 140736074631730 140736074631730 140736074637295 0
/proc/15987/statm: 21768 17097 992 108 0 19176 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91264 KiB
Current children cumulated memory: 71332 KiB
[startup+0.700209 s]
/proc/loadavg: 4.18 3.79 3.34 5/268 15987
/proc/meminfo: memFree=129263304/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15987] ppid=15985 vsize=90264 memory=72868 CPUtime=0.68 cores=4,6
/proc/15987/stat : 15987 (pbsuma) R 15985 15985 11416 0 -1 4194304 19747 0 0 0 65 3 0 0 20 0 1 0 29977487 92430336 18217 18446744073709551615 4210688 4653049 140736074629968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23756800 140736074631523 140736074631730 140736074631730 140736074637295 0
/proc/15987/statm: 22566 18217 992 108 0 19974 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 75812 KiB
[startup+1.50015 s]
/proc/loadavg: 4.18 3.79 3.34 5/268 15987
/proc/meminfo: memFree=129255356/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15987] ppid=15985 vsize=90264 memory=73636 CPUtime=1.47 cores=4,6
/proc/15987/stat : 15987 (pbsuma) R 15985 15985 11416 0 -1 4194304 19936 0 0 0 144 3 0 0 20 0 1 0 29977487 92430336 18409 18446744073709551615 4210688 4653049 140736074629968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 23756800 140736074631523 140736074631730 140736074631730 140736074637295 0
/proc/15987/statm: 22566 18409 992 108 0 19974 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94456 KiB
Current children cumulated memory: 76580 KiB
[startup+3.10547 s]
/proc/loadavg: 4.18 3.79 3.34 5/268 15988
/proc/meminfo: memFree=129258036/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=114324 memory=69584 CPUtime=0.59 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 17259 0 0 0 56 3 0 0 20 0 1 0 29977736 117067776 17396 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 28581 17396 2272 1147 0 16008 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 118516 KiB
Current children cumulated memory: 72528 KiB
[startup+6.30019 s]
/proc/loadavg: 4.16 3.80 3.35 5/268 15988
/proc/meminfo: memFree=129263240/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=114324 memory=69584 CPUtime=3.78 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 17259 0 0 0 375 3 0 0 20 0 1 0 29977736 117067776 17396 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 28581 17396 2272 1147 0 16008 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 118516 KiB
Current children cumulated memory: 72528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 3.80 3.35 5/268 15988
/proc/meminfo: memFree=129257380/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=150048 memory=100592 CPUtime=10.16 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 23425 0 0 0 1004 12 0 0 20 0 1 0 29977736 153649152 25148 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 37512 25148 2368 1147 0 24939 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 154240 KiB
Current children cumulated memory: 103536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.81 3.36 5/268 15989
/proc/meminfo: memFree=129213228/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=177492 memory=123576 CPUtime=22.94 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 27643 0 0 0 2275 19 0 0 20 0 1 0 29977736 181751808 30894 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 44373 30894 2368 1147 0 31800 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 181684 KiB
Current children cumulated memory: 126520 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 3.83 3.38 5/268 15989
/proc/meminfo: memFree=129185828/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=198408 memory=152456 CPUtime=48.49 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 33330 0 0 0 4815 34 0 0 20 0 1 0 29977736 203169792 38114 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 49602 38114 2368 1147 0 37029 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 155400 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.87 3.42 5/268 15993
/proc/meminfo: memFree=129056676/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=259636 memory=215296 CPUtime=99.55 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 44470 0 0 0 9893 62 0 0 20 0 1 0 29977736 265867264 53824 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 64909 53824 2368 1147 0 52336 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 263828 KiB
Current children cumulated memory: 218240 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.93 3.47 5/268 15995
/proc/meminfo: memFree=128935352/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=316912 memory=256128 CPUtime=159.42 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 51599 0 0 0 15848 94 0 0 20 0 1 0 29977736 324517888 64032 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 79228 64032 2368 1147 0 66655 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 321104 KiB
Current children cumulated memory: 259072 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.96 3.51 5/267 15997
/proc/meminfo: memFree=128865336/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=355256 memory=303268 CPUtime=219.26 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 60849 0 0 0 21802 124 0 0 20 0 1 0 29977736 363782144 75817 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 88814 75817 2368 1147 0 76241 0
################
# More data... #
################
/proc/15988/statm: 401256 377775 2368 1147 0 388683 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 1609216 KiB
Current children cumulated memory: 1514044 KiB
[startup+3102.3 s]
/proc/loadavg: 3.46 3.91 3.99 4/260 16186
/proc/meminfo: memFree=126797608/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1605024 memory=1511100 CPUtime=3092.13 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 252331 0 0 0 308010 1203 0 0 20 0 1 0 29977736 1643544576 377775 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401256 377775 2368 1147 0 388683 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 1609216 KiB
Current children cumulated memory: 1514044 KiB
[startup+3162.3 s]
/proc/loadavg: 3.21 3.76 3.93 4/260 16191
/proc/meminfo: memFree=126824812/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1605480 memory=1512252 CPUtime=3151.99 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 252673 0 0 0 313981 1218 0 0 20 0 1 0 29977736 1644011520 378063 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401370 378063 2368 1147 0 388797 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 1609672 KiB
Current children cumulated memory: 1515196 KiB
[startup+3222.3 s]
/proc/loadavg: 3.18 3.65 3.88 4/260 16193
/proc/meminfo: memFree=126823928/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1605480 memory=1512252 CPUtime=3211.83 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 252673 0 0 0 319941 1242 0 0 20 0 1 0 29977736 1644011520 378063 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401370 378063 2368 1147 0 388797 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 1609672 KiB
Current children cumulated memory: 1515196 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.54 3.83 3/253 16226
/proc/meminfo: memFree=127703500/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1605676 memory=1512636 CPUtime=3271.68 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 252752 0 0 0 325902 1266 0 0 20 0 1 0 29977736 1644212224 378159 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401419 378159 2368 1147 0 388846 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 1609868 KiB
Current children cumulated memory: 1515580 KiB
[startup+3342.3 s]
/proc/loadavg: 2.49 3.28 3.72 3/253 16228
/proc/meminfo: memFree=127702368/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1606688 memory=1513020 CPUtime=3331.52 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 252875 0 0 0 331868 1284 0 0 20 0 1 0 29977736 1645248512 378255 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401672 378255 2368 1147 0 389099 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 1610880 KiB
Current children cumulated memory: 1515964 KiB
[startup+3402.3 s]
/proc/loadavg: 1.95 2.99 3.59 2/246 16260
/proc/meminfo: memFree=128643568/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1606688 memory=1513020 CPUtime=3391.36 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 253023 0 0 0 337840 1296 0 0 20 0 1 0 29977736 1645248512 378255 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 401672 378255 2368 1147 0 389099 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 1610880 KiB
Current children cumulated memory: 1515964 KiB
[startup+3462.3 s]
/proc/loadavg: 1.40 2.64 3.43 2/245 16262
/proc/meminfo: memFree=128636216/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1609256 memory=1515324 CPUtime=3451.23 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 253652 0 0 0 343800 1323 0 0 20 0 1 0 29977736 1647878144 378831 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 402314 378831 2368 1147 0 389741 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 1613448 KiB
Current children cumulated memory: 1518268 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 2.36 3.28 2/245 16264
/proc/meminfo: memFree=128636156/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1613360 memory=1520188 CPUtime=3511.09 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 254848 0 0 0 349766 1343 0 0 20 0 1 0 29977736 1652080640 380047 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 403340 380047 2368 1147 0 390767 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 1617552 KiB
Current children cumulated memory: 1523132 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 2.12 3.14 2/247 16272
/proc/meminfo: memFree=128628960/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1619580 memory=1526332 CPUtime=3570.96 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 256403 0 0 0 355735 1361 0 0 20 0 1 0 29977736 1658449920 381583 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 404895 381583 2368 1147 0 392322 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 1623772 KiB
Current children cumulated memory: 1529276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.15 2.05 3.09 2/247 16272
/proc/meminfo: memFree=128629036/131249996 swapFree=33010684/33010684
[pid=15985] ppid=15982 vsize=4192 memory=2944 CPUtime=2.47 cores=4,6
/proc/15985/stat : 15985 (run-dec-break.s) S 15982 15985 11416 0 -1 4194304 236 20291 0 0 0 0 243 4 20 0 1 0 29977486 4292608 736 18446744073709551615 94525757456384 94525758350917 140735958188080 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94525758589968 94525758637712 94525770477568 140735958194529 140735958194658 140735958194658 140735958200260 0
/proc/15985/statm: 1048 736 672 219 0 110 0
[pid=15988] ppid=15985 vsize=1620428 memory=1527356 CPUtime=3597.6 cores=4,6
/proc/15988/stat : 15988 (roundingsat) R 15985 15985 11416 0 -1 4194304 256750 0 0 0 358391 1369 0 0 20 0 1 0 29977736 1659318272 381839 18446744073709551615 4227072 8923433 140726473327440 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26050560 140726473328964 140726473329192 140726473329192 140726473334762 0
/proc/15988/statm: 405107 381839 2368 1147 0 392534 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1624620 KiB
Current children cumulated memory: 1530300 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.01 s]
# the end of solver process 15985 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.43608 s, system=0.043884 s
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 15988 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.36 s, system=13.7582 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
Child status: 2
Real time (s): 3609.03
CPU time (s): 3600.12
CPU user time (s): 3586.36
CPU system time (s): 13.7582
CPU usage (%): 99.7529
Max. virtual memory (cumulated for all children) (KiB): 1624620
Max. memory (cumulated for all children) (KiB): 1530300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.36
system time used= 13.7582
maximum resident set size= 1527740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 320
involuntary context switches= 3916
# summary of solver processes directly reported to runsolver:
# pid: 15985,15988
# total CPU time (s): 3600.12
# total CPU user time (s): 3586.36
# total CPU system time (s): 13.7582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46789 second user time and 15.9559 second system time
The end
Begin job on nodeC029 at 2025-06-28 22:36:31
IDJOB=4493304
IDBENCH=147859
IDSOLVER=3357
FILE ID=nodeC029/4493304-1751142990
RUNJOBID= nodeC029-1751142403-13594
SLURM_JOB_ID= 9587429
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493304-1751142990/watcher-4493304-1751142990 -o /tmp/evaluation-result-4493304-1751142990/solver-4493304-1751142990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751142403-13594 --watchdog 3760 run-dec-break.sh HOME/instance-4493304-1751142990.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=540499399
nodeC029 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.810
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.46
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 : 3599.726
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.46
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 : 3598.964
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.46
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 : 3547.521
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.46
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 : 3577.478
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.46
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 : 3599.723
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.46
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 : 3599.695
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.46
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 : 3602.071
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129304884 kB
MemAvailable: 128939012 kB
Buffers: 3280 kB
Cached: 433172 kB
SwapCached: 0 kB
Active: 1086328 kB
Inactive: 214280 kB
Active(anon): 882216 kB
Inactive(anon): 0 kB
Active(file): 204112 kB
Inactive(file): 214280 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9500 kB
Writeback: 8 kB
AnonPages: 867400 kB
Mapped: 116416 kB
Shmem: 18060 kB
KReclaimable: 85224 kB
Slab: 167732 kB
SReclaimable: 85224 kB
SUnreclaim: 82508 kB
KernelStack: 4316 kB
PageTables: 5108 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1301808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC029 at 2025-06-28 23:36:40