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-4485323-1751304981.opb'
0.00/0.05 c read 4.78MB (47.10ms)
0.00/0.05 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.00/0.05 c output proof to 'PROOFDIR/proof-4485323-1751304981'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.09/0.18 c [group: #orbits ~= 0] (125.77ms)
0.09/0.18 c
0.09/0.18 c detect special group actions
0.09/0.18 c probe for Johnson action (limit=64)
0.09/0.18 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.20 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.21 c (25.27ms)
0.09/0.21 c
0.09/0.21 c detect symmetries on remainder
0.19/0.21 c [graph: #vertices 486721 #edges 1409792]
0.19/0.21 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.23 c [group: #symmetries 1.00*10^0 #generators 0] (28.17ms)
0.19/0.23 c
0.19/0.23 c finalize break order and special generators
0.19/0.24 c
0.19/0.24 c generation finished
0.19/0.24 c [sbp: #constraints 0 #add_vars 0]
0.19/0.24 c
0.19/0.24 c write result to 'HOME/instance-4485323-1751304981.opb.pre'
0.19/0.25 c wrote 4.78MB (9.70ms)
0.19/0.25 c ------------------------------------------------------------------
0.19/0.25 c 125.77ms 50.76% approx_orbits
0.19/0.25 c 47.10ms 19.01% parse
0.19/0.25 c 28.17ms 11.37% detect_generic
0.19/0.25 c 25.27ms 10.20% detect_special
0.19/0.25 c 9.70ms 3.91% output
0.19/0.25 c 7.45ms 3.01% other
0.19/0.25 c 4.31ms 1.74% finalize_order
0.19/0.25 c ───────────────────────────────────────────────
0.19/0.25 c 247.77ms 100% total
0.19/0.25 c ------------------------------------------------------------------
0.19/0.27 c RoundingSat 2
0.19/0.27 c branch pb25
0.19/0.27 c commit 63f22ad
0.56/0.64 c #variables 107808 #constraints 5184
0.56/0.64 c objective is ce64
2.84/3.00 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.84/3.00 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
2.84/3.00 c bounds - >= 0 @ 2.67029
171.84/172.73 c #Conflicts: 1000 | #Constraints: 6183
171.84/172.73 c #Conflicts: 2000 | #Constraints: 7183
171.84/172.73 c INPROCESSING
171.84/172.73 c #Conflicts: 3000 | #Constraints: 7211
171.84/172.73 c #Conflicts: 4000 | #Constraints: 8211
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 5000 | #Constraints: 7804
171.84/172.73 c #Conflicts: 6000 | #Constraints: 8804
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 7000 | #Constraints: 7930
171.84/172.73 c #Conflicts: 8000 | #Constraints: 8930
171.84/172.73 c #Conflicts: 9000 | #Constraints: 9930
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 10000 | #Constraints: 8712
171.84/172.73 c #Conflicts: 11000 | #Constraints: 9712
171.84/172.73 c #Conflicts: 12000 | #Constraints: 10712
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 13000 | #Constraints: 9312
171.84/172.73 c #Conflicts: 14000 | #Constraints: 10312
171.84/172.73 c #Conflicts: 15000 | #Constraints: 11312
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 16000 | #Constraints: 9610
171.84/172.73 c #Conflicts: 17000 | #Constraints: 10610
171.84/172.73 c #Conflicts: 18000 | #Constraints: 11610
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 19000 | #Constraints: 9747
171.84/172.73 c #Conflicts: 20000 | #Constraints: 10747
171.84/172.73 c #Conflicts: 21000 | #Constraints: 11747
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 22000 | #Constraints: 9627
171.84/172.73 c #Conflicts: 23000 | #Constraints: 10627
171.84/172.73 c #Conflicts: 24000 | #Constraints: 11627
171.84/172.73 c #Conflicts: 25000 | #Constraints: 12627
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 26000 | #Constraints: 10206
171.84/172.73 c #Conflicts: 27000 | #Constraints: 11206
171.84/172.73 c #Conflicts: 28000 | #Constraints: 12206
171.84/172.73 c #Conflicts: 29000 | #Constraints: 13206
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 30000 | #Constraints: 10697
171.84/172.73 c #Conflicts: 31000 | #Constraints: 11697
171.84/172.73 c #Conflicts: 32000 | #Constraints: 12697
171.84/172.73 c #Conflicts: 33000 | #Constraints: 13697
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 34000 | #Constraints: 10975
171.84/172.73 c #Conflicts: 35000 | #Constraints: 11975
171.84/172.73 c #Conflicts: 36000 | #Constraints: 12975
171.84/172.73 c #Conflicts: 37000 | #Constraints: 13977
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 38000 | #Constraints: 10951
171.84/172.73 c #Conflicts: 39000 | #Constraints: 11951
171.84/172.73 c #Conflicts: 40000 | #Constraints: 12951
171.84/172.73 c #Conflicts: 41000 | #Constraints: 13951
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 42000 | #Constraints: 10817
171.84/172.73 c #Conflicts: 43000 | #Constraints: 11817
171.84/172.73 c #Conflicts: 44000 | #Constraints: 12817
171.84/172.73 c #Conflicts: 45000 | #Constraints: 13817
171.84/172.73 c #Conflicts: 46000 | #Constraints: 14817
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 47000 | #Constraints: 11450
171.84/172.73 c #Conflicts: 48000 | #Constraints: 12450
171.84/172.73 c #Conflicts: 49000 | #Constraints: 13451
171.84/172.73 c #Conflicts: 50000 | #Constraints: 14451
171.84/172.73 c #Conflicts: 51000 | #Constraints: 15451
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c #Conflicts: 52000 | #Constraints: 11778
171.84/172.73 c #Conflicts: 53000 | #Constraints: 12778
171.84/172.73 c #Conflicts: 54000 | #Constraints: 13778
171.84/172.73 c #Conflicts: 55000 | #Constraints: 14778
171.84/172.73 c #Conflicts: 56000 | #Constraints: 15778
171.84/172.73 c INPROCESSING
171.84/172.73 c GARBAGE COLLECT
171.84/172.73 c rational objective 4.13104e+08
320.68/322.04 c #Conflicts: 57000 | #Constraints: 11955
320.68/322.04 c #Conflicts: 58000 | #Constraints: 12955
320.68/322.04 c #Conflicts: 59000 | #Constraints: 13955
320.68/322.04 c #Conflicts: 60000 | #Constraints: 14955
320.68/322.04 c #Conflicts: 61000 | #Constraints: 15955
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 62000 | #Constraints: 12019
320.68/322.04 c #Conflicts: 63000 | #Constraints: 13019
320.68/322.04 c #Conflicts: 64000 | #Constraints: 14019
320.68/322.04 c #Conflicts: 65000 | #Constraints: 15020
320.68/322.04 c #Conflicts: 66000 | #Constraints: 16020
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 67000 | #Constraints: 11918
320.68/322.04 c #Conflicts: 68000 | #Constraints: 12918
320.68/322.04 c #Conflicts: 69000 | #Constraints: 13918
320.68/322.04 c #Conflicts: 70000 | #Constraints: 14919
320.68/322.04 c #Conflicts: 71000 | #Constraints: 15919
320.68/322.04 c #Conflicts: 72000 | #Constraints: 16919
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 73000 | #Constraints: 12426
320.68/322.04 c #Conflicts: 74000 | #Constraints: 13426
320.68/322.04 c #Conflicts: 75000 | #Constraints: 14428
320.68/322.04 c #Conflicts: 76000 | #Constraints: 15430
320.68/322.04 c #Conflicts: 77000 | #Constraints: 16431
320.68/322.04 c #Conflicts: 78000 | #Constraints: 17431
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 79000 | #Constraints: 12923
320.68/322.04 c #Conflicts: 80000 | #Constraints: 13924
320.68/322.04 c #Conflicts: 81000 | #Constraints: 14925
320.68/322.04 c #Conflicts: 82000 | #Constraints: 15925
320.68/322.04 c #Conflicts: 83000 | #Constraints: 16925
320.68/322.04 c #Conflicts: 84000 | #Constraints: 17925
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 85000 | #Constraints: 13123
320.68/322.04 c #Conflicts: 86000 | #Constraints: 14123
320.68/322.04 c #Conflicts: 87000 | #Constraints: 15123
320.68/322.04 c #Conflicts: 88000 | #Constraints: 16123
320.68/322.04 c #Conflicts: 89000 | #Constraints: 17124
320.68/322.04 c #Conflicts: 90000 | #Constraints: 18125
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 91000 | #Constraints: 13050
320.68/322.04 c #Conflicts: 92000 | #Constraints: 14050
320.68/322.04 c #Conflicts: 93000 | #Constraints: 15050
320.68/322.04 c #Conflicts: 94000 | #Constraints: 16050
320.68/322.04 c #Conflicts: 95000 | #Constraints: 17050
320.68/322.04 c #Conflicts: 96000 | #Constraints: 18051
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 97000 | #Constraints: 12913
320.68/322.04 c #Conflicts: 98000 | #Constraints: 13913
320.68/322.04 c #Conflicts: 99000 | #Constraints: 14913
320.68/322.04 c #Conflicts: 100000 | #Constraints: 15913
320.68/322.04 c #Conflicts: 101000 | #Constraints: 16913
320.68/322.04 c #Conflicts: 102000 | #Constraints: 17914
320.68/322.04 c #Conflicts: 103000 | #Constraints: 18914
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 104000 | #Constraints: 13559
320.68/322.04 c #Conflicts: 105000 | #Constraints: 14560
320.68/322.04 c #Conflicts: 106000 | #Constraints: 15560
320.68/322.04 c #Conflicts: 107000 | #Constraints: 16561
320.68/322.04 c #Conflicts: 108000 | #Constraints: 17561
320.68/322.04 c #Conflicts: 109000 | #Constraints: 18562
320.68/322.04 c #Conflicts: 110000 | #Constraints: 19562
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 111000 | #Constraints: 14073
320.68/322.04 c #Conflicts: 112000 | #Constraints: 15073
320.68/322.04 c #Conflicts: 113000 | #Constraints: 16073
320.68/322.04 c #Conflicts: 114000 | #Constraints: 17073
320.68/322.04 c #Conflicts: 115000 | #Constraints: 18073
320.68/322.04 c #Conflicts: 116000 | #Constraints: 19073
320.68/322.04 c #Conflicts: 117000 | #Constraints: 20073
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 118000 | #Constraints: 14234
320.68/322.04 c #Conflicts: 119000 | #Constraints: 15234
320.68/322.04 c #Conflicts: 120000 | #Constraints: 16234
320.68/322.04 c #Conflicts: 121000 | #Constraints: 17234
320.68/322.04 c #Conflicts: 122000 | #Constraints: 18234
320.68/322.04 c #Conflicts: 123000 | #Constraints: 19234
320.68/322.04 c #Conflicts: 124000 | #Constraints: 20234
320.68/322.04 c INPROCESSING
320.68/322.04 c GARBAGE COLLECT
320.68/322.04 c #Conflicts: 125000 | #Constraints: 14340
320.68/322.04 c #Conflicts: 126000 | #Constraints: 15341
320.68/322.04 c #Conflicts: 127000 | #Constraints: 16341
320.68/322.04 c #Conflicts: 128000 | #Constraints: 17341
499.22/501.44 c #Conflicts: 129000 | #Constraints: 18341
499.22/501.44 c #Conflicts: 130000 | #Constraints: 19342
499.22/501.44 c #Conflicts: 131000 | #Constraints: 20342
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 132000 | #Constraints: 14156
499.22/501.44 c #Conflicts: 133000 | #Constraints: 15156
499.22/501.44 c #Conflicts: 134000 | #Constraints: 16156
499.22/501.44 c #Conflicts: 135000 | #Constraints: 17156
499.22/501.44 c #Conflicts: 136000 | #Constraints: 18156
499.22/501.44 c #Conflicts: 137000 | #Constraints: 19156
499.22/501.44 c #Conflicts: 138000 | #Constraints: 20156
499.22/501.44 c #Conflicts: 139000 | #Constraints: 21156
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 140000 | #Constraints: 14924
499.22/501.44 c #Conflicts: 141000 | #Constraints: 15924
499.22/501.44 c #Conflicts: 142000 | #Constraints: 16924
499.22/501.44 c #Conflicts: 143000 | #Constraints: 17924
499.22/501.44 c #Conflicts: 144000 | #Constraints: 18924
499.22/501.44 c #Conflicts: 145000 | #Constraints: 19924
499.22/501.44 c #Conflicts: 146000 | #Constraints: 20924
499.22/501.44 c #Conflicts: 147000 | #Constraints: 21924
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 148000 | #Constraints: 15155
499.22/501.44 c #Conflicts: 149000 | #Constraints: 16155
499.22/501.44 c #Conflicts: 150000 | #Constraints: 17155
499.22/501.44 c #Conflicts: 151000 | #Constraints: 18155
499.22/501.44 c #Conflicts: 152000 | #Constraints: 19155
499.22/501.44 c #Conflicts: 153000 | #Constraints: 20155
499.22/501.44 c #Conflicts: 154000 | #Constraints: 21155
499.22/501.44 c #Conflicts: 155000 | #Constraints: 22155
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 156000 | #Constraints: 15364
499.22/501.44 c #Conflicts: 157000 | #Constraints: 16364
499.22/501.44 c #Conflicts: 158000 | #Constraints: 17364
499.22/501.44 c #Conflicts: 159000 | #Constraints: 18365
499.22/501.44 c #Conflicts: 160000 | #Constraints: 19365
499.22/501.44 c #Conflicts: 161000 | #Constraints: 20365
499.22/501.44 c #Conflicts: 162000 | #Constraints: 21365
499.22/501.44 c #Conflicts: 163000 | #Constraints: 22366
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 164000 | #Constraints: 15394
499.22/501.44 c #Conflicts: 165000 | #Constraints: 16394
499.22/501.44 c #Conflicts: 166000 | #Constraints: 17395
499.22/501.44 c #Conflicts: 167000 | #Constraints: 18395
499.22/501.44 c #Conflicts: 168000 | #Constraints: 19396
499.22/501.44 c #Conflicts: 169000 | #Constraints: 20396
499.22/501.44 c #Conflicts: 170000 | #Constraints: 21396
499.22/501.44 c #Conflicts: 171000 | #Constraints: 22396
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 172000 | #Constraints: 15234
499.22/501.44 c #Conflicts: 173000 | #Constraints: 16234
499.22/501.44 c #Conflicts: 174000 | #Constraints: 17234
499.22/501.44 c #Conflicts: 175000 | #Constraints: 18234
499.22/501.44 c #Conflicts: 176000 | #Constraints: 19234
499.22/501.44 c #Conflicts: 177000 | #Constraints: 20234
499.22/501.44 c #Conflicts: 178000 | #Constraints: 21234
499.22/501.44 c #Conflicts: 179000 | #Constraints: 22234
499.22/501.44 c #Conflicts: 180000 | #Constraints: 23234
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 181000 | #Constraints: 16030
499.22/501.44 c #Conflicts: 182000 | #Constraints: 17030
499.22/501.44 c #Conflicts: 183000 | #Constraints: 18030
499.22/501.44 c #Conflicts: 184000 | #Constraints: 19030
499.22/501.44 c #Conflicts: 185000 | #Constraints: 20030
499.22/501.44 c #Conflicts: 186000 | #Constraints: 21030
499.22/501.44 c #Conflicts: 187000 | #Constraints: 22030
499.22/501.44 c #Conflicts: 188000 | #Constraints: 23030
499.22/501.44 c #Conflicts: 189000 | #Constraints: 24030
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 190000 | #Constraints: 16420
499.22/501.44 c #Conflicts: 191000 | #Constraints: 17420
499.22/501.44 c #Conflicts: 192000 | #Constraints: 18420
499.22/501.44 c #Conflicts: 193000 | #Constraints: 19420
499.22/501.44 c #Conflicts: 194000 | #Constraints: 20420
499.22/501.44 c #Conflicts: 195000 | #Constraints: 21420
499.22/501.44 c #Conflicts: 196000 | #Constraints: 22420
499.22/501.44 c #Conflicts: 197000 | #Constraints: 23420
499.22/501.44 c #Conflicts: 198000 | #Constraints: 24420
499.22/501.44 c INPROCESSING
499.22/501.44 c GARBAGE COLLECT
499.22/501.44 c #Conflicts: 199000 | #Constraints: 16553
499.22/501.44 c #Conflicts: 200000 | #Constraints: 17553
499.22/501.44 c #Conflicts: 201000 | #Constraints: 18553
787.40/791.05 c #Conflicts: 202000 | #Constraints: 19553
787.40/791.05 c #Conflicts: 203000 | #Constraints: 20553
787.40/791.05 c #Conflicts: 204000 | #Constraints: 21553
787.40/791.05 c #Conflicts: 205000 | #Constraints: 22553
787.40/791.05 c #Conflicts: 206000 | #Constraints: 23553
787.40/791.05 c #Conflicts: 207000 | #Constraints: 24553
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 208000 | #Constraints: 16547
787.40/791.05 c #Conflicts: 209000 | #Constraints: 17547
787.40/791.05 c #Conflicts: 210000 | #Constraints: 18547
787.40/791.05 c #Conflicts: 211000 | #Constraints: 19547
787.40/791.05 c #Conflicts: 212000 | #Constraints: 20547
787.40/791.05 c #Conflicts: 213000 | #Constraints: 21547
787.40/791.05 c #Conflicts: 214000 | #Constraints: 22548
787.40/791.05 c #Conflicts: 215000 | #Constraints: 23548
787.40/791.05 c #Conflicts: 216000 | #Constraints: 24550
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 217000 | #Constraints: 16334
787.40/791.05 c #Conflicts: 218000 | #Constraints: 17336
787.40/791.05 c #Conflicts: 219000 | #Constraints: 18337
787.40/791.05 c #Conflicts: 220000 | #Constraints: 19337
787.40/791.05 c #Conflicts: 221000 | #Constraints: 20337
787.40/791.05 c #Conflicts: 222000 | #Constraints: 21340
787.40/791.05 c #Conflicts: 223000 | #Constraints: 22340
787.40/791.05 c #Conflicts: 224000 | #Constraints: 23340
787.40/791.05 c #Conflicts: 225000 | #Constraints: 24340
787.40/791.05 c #Conflicts: 226000 | #Constraints: 25340
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 227000 | #Constraints: 16856
787.40/791.05 c #Conflicts: 228000 | #Constraints: 17856
787.40/791.05 c #Conflicts: 229000 | #Constraints: 18857
787.40/791.05 c #Conflicts: 230000 | #Constraints: 19857
787.40/791.05 c #Conflicts: 231000 | #Constraints: 20857
787.40/791.05 c #Conflicts: 232000 | #Constraints: 21857
787.40/791.05 c #Conflicts: 233000 | #Constraints: 22857
787.40/791.05 c #Conflicts: 234000 | #Constraints: 23857
787.40/791.05 c #Conflicts: 235000 | #Constraints: 24857
787.40/791.05 c #Conflicts: 236000 | #Constraints: 25858
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 237000 | #Constraints: 17522
787.40/791.05 c #Conflicts: 238000 | #Constraints: 18522
787.40/791.05 c #Conflicts: 239000 | #Constraints: 19522
787.40/791.05 c #Conflicts: 240000 | #Constraints: 20522
787.40/791.05 c #Conflicts: 241000 | #Constraints: 21522
787.40/791.05 c #Conflicts: 242000 | #Constraints: 22522
787.40/791.05 c #Conflicts: 243000 | #Constraints: 23522
787.40/791.05 c #Conflicts: 244000 | #Constraints: 24522
787.40/791.05 c #Conflicts: 245000 | #Constraints: 25522
787.40/791.05 c #Conflicts: 246000 | #Constraints: 26522
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 247000 | #Constraints: 17735
787.40/791.05 c #Conflicts: 248000 | #Constraints: 18735
787.40/791.05 c #Conflicts: 249000 | #Constraints: 19735
787.40/791.05 c #Conflicts: 250000 | #Constraints: 20735
787.40/791.05 c #Conflicts: 251000 | #Constraints: 21735
787.40/791.05 c #Conflicts: 252000 | #Constraints: 22735
787.40/791.05 c #Conflicts: 253000 | #Constraints: 23735
787.40/791.05 c #Conflicts: 254000 | #Constraints: 24735
787.40/791.05 c #Conflicts: 255000 | #Constraints: 25735
787.40/791.05 c #Conflicts: 256000 | #Constraints: 26735
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 257000 | #Constraints: 17677
787.40/791.05 c #Conflicts: 258000 | #Constraints: 18677
787.40/791.05 c #Conflicts: 259000 | #Constraints: 19677
787.40/791.05 c #Conflicts: 260000 | #Constraints: 20677
787.40/791.05 c #Conflicts: 261000 | #Constraints: 21677
787.40/791.05 c #Conflicts: 262000 | #Constraints: 22677
787.40/791.05 c #Conflicts: 263000 | #Constraints: 23677
787.40/791.05 c #Conflicts: 264000 | #Constraints: 24677
787.40/791.05 c #Conflicts: 265000 | #Constraints: 25677
787.40/791.05 c #Conflicts: 266000 | #Constraints: 26677
787.40/791.05 c INPROCESSING
787.40/791.05 c GARBAGE COLLECT
787.40/791.05 c #Conflicts: 267000 | #Constraints: 17399
787.40/791.05 c #Conflicts: 268000 | #Constraints: 18399
787.40/791.05 c #Conflicts: 269000 | #Constraints: 19399
787.40/791.05 c #Conflicts: 270000 | #Constraints: 20399
787.40/791.05 c #Conflicts: 271000 | #Constraints: 21399
787.40/791.05 c #Conflicts: 272000 | #Constraints: 22399
787.40/791.05 c #Conflicts: 273000 | #Constraints: 23399
787.40/791.05 c #Conflicts: 274000 | #Constraints: 24399
787.40/791.05 c #Conflicts: 275000 | #Constraints: 25399
787.40/791.05 c #Conflicts: 276000 | #Constraints: 26399
1072.62/1078.04 c #Conflicts: 277000 | #Constraints: 27399
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 278000 | #Constraints: 18244
1072.62/1078.04 c #Conflicts: 279000 | #Constraints: 19244
1072.62/1078.04 c #Conflicts: 280000 | #Constraints: 20244
1072.62/1078.04 c #Conflicts: 281000 | #Constraints: 21244
1072.62/1078.04 c #Conflicts: 282000 | #Constraints: 22244
1072.62/1078.04 c #Conflicts: 283000 | #Constraints: 23244
1072.62/1078.04 c #Conflicts: 284000 | #Constraints: 24244
1072.62/1078.04 c #Conflicts: 285000 | #Constraints: 25244
1072.62/1078.04 c #Conflicts: 286000 | #Constraints: 26245
1072.62/1078.04 c #Conflicts: 287000 | #Constraints: 27246
1072.62/1078.04 c #Conflicts: 288000 | #Constraints: 28246
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 289000 | #Constraints: 18549
1072.62/1078.04 c #Conflicts: 290000 | #Constraints: 19549
1072.62/1078.04 c #Conflicts: 291000 | #Constraints: 20549
1072.62/1078.04 c #Conflicts: 292000 | #Constraints: 21549
1072.62/1078.04 c #Conflicts: 293000 | #Constraints: 22549
1072.62/1078.04 c #Conflicts: 294000 | #Constraints: 23549
1072.62/1078.04 c #Conflicts: 295000 | #Constraints: 24550
1072.62/1078.04 c #Conflicts: 296000 | #Constraints: 25551
1072.62/1078.04 c #Conflicts: 297000 | #Constraints: 26551
1072.62/1078.04 c #Conflicts: 298000 | #Constraints: 27552
1072.62/1078.04 c #Conflicts: 299000 | #Constraints: 28552
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 300000 | #Constraints: 18835
1072.62/1078.04 c #Conflicts: 301000 | #Constraints: 19835
1072.62/1078.04 c #Conflicts: 302000 | #Constraints: 20836
1072.62/1078.04 c #Conflicts: 303000 | #Constraints: 21838
1072.62/1078.04 c #Conflicts: 304000 | #Constraints: 22839
1072.62/1078.04 c #Conflicts: 305000 | #Constraints: 23840
1072.62/1078.04 c #Conflicts: 306000 | #Constraints: 24840
1072.62/1078.04 c #Conflicts: 307000 | #Constraints: 25842
1072.62/1078.04 c #Conflicts: 308000 | #Constraints: 26842
1072.62/1078.04 c #Conflicts: 309000 | #Constraints: 27843
1072.62/1078.04 c #Conflicts: 310000 | #Constraints: 28843
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 311000 | #Constraints: 18914
1072.62/1078.04 c #Conflicts: 312000 | #Constraints: 19915
1072.62/1078.04 c #Conflicts: 313000 | #Constraints: 20915
1072.62/1078.04 c #Conflicts: 314000 | #Constraints: 21915
1072.62/1078.04 c #Conflicts: 315000 | #Constraints: 22917
1072.62/1078.04 c #Conflicts: 316000 | #Constraints: 23917
1072.62/1078.04 c #Conflicts: 317000 | #Constraints: 24917
1072.62/1078.04 c #Conflicts: 318000 | #Constraints: 25917
1072.62/1078.04 c #Conflicts: 319000 | #Constraints: 26917
1072.62/1078.04 c #Conflicts: 320000 | #Constraints: 27917
1072.62/1078.04 c #Conflicts: 321000 | #Constraints: 28917
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 322000 | #Constraints: 18629
1072.62/1078.04 c #Conflicts: 323000 | #Constraints: 19629
1072.62/1078.04 c #Conflicts: 324000 | #Constraints: 20629
1072.62/1078.04 c #Conflicts: 325000 | #Constraints: 21629
1072.62/1078.04 c #Conflicts: 326000 | #Constraints: 22629
1072.62/1078.04 c #Conflicts: 327000 | #Constraints: 23629
1072.62/1078.04 c #Conflicts: 328000 | #Constraints: 24629
1072.62/1078.04 c #Conflicts: 329000 | #Constraints: 25631
1072.62/1078.04 c #Conflicts: 330000 | #Constraints: 26631
1072.62/1078.04 c #Conflicts: 331000 | #Constraints: 27632
1072.62/1078.04 c #Conflicts: 332000 | #Constraints: 28634
1072.62/1078.04 c #Conflicts: 333000 | #Constraints: 29634
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c #Conflicts: 334000 | #Constraints: 19107
1072.62/1078.04 c #Conflicts: 335000 | #Constraints: 20107
1072.62/1078.04 c #Conflicts: 336000 | #Constraints: 21107
1072.62/1078.04 c #Conflicts: 337000 | #Constraints: 22107
1072.62/1078.04 c #Conflicts: 338000 | #Constraints: 23107
1072.62/1078.04 c #Conflicts: 339000 | #Constraints: 24107
1072.62/1078.04 c #Conflicts: 340000 | #Constraints: 25107
1072.62/1078.04 c #Conflicts: 341000 | #Constraints: 26108
1072.62/1078.04 c #Conflicts: 342000 | #Constraints: 27108
1072.62/1078.04 c #Conflicts: 343000 | #Constraints: 28108
1072.62/1078.04 c #Conflicts: 344000 | #Constraints: 29108
1072.62/1078.04 c #Conflicts: 345000 | #Constraints: 30108
1072.62/1078.04 c INPROCESSING
1072.62/1078.04 c GARBAGE COLLECT
1072.62/1078.04 c rational objective 4.24935e+08
1232.37/1238.96 c #Conflicts: 346000 | #Constraints: 19700
1232.37/1238.96 c #Conflicts: 347000 | #Constraints: 20700
1232.37/1238.96 c #Conflicts: 348000 | #Constraints: 21700
1232.37/1238.96 c #Conflicts: 349000 | #Constraints: 22700
1232.37/1238.96 c #Conflicts: 350000 | #Constraints: 23700
1232.37/1238.96 c #Conflicts: 351000 | #Constraints: 24700
1232.37/1238.96 c #Conflicts: 352000 | #Constraints: 25700
1232.37/1238.96 c #Conflicts: 353000 | #Constraints: 26700
1232.37/1238.96 c #Conflicts: 354000 | #Constraints: 27700
1232.37/1238.96 c #Conflicts: 355000 | #Constraints: 28700
1232.37/1238.96 c #Conflicts: 356000 | #Constraints: 29700
1232.37/1238.96 c #Conflicts: 357000 | #Constraints: 30700
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1232.37/1238.96 c #Conflicts: 358000 | #Constraints: 19768
1232.37/1238.96 c #Conflicts: 359000 | #Constraints: 20768
1232.37/1238.96 c #Conflicts: 360000 | #Constraints: 21769
1232.37/1238.96 c #Conflicts: 361000 | #Constraints: 22770
1232.37/1238.96 c #Conflicts: 362000 | #Constraints: 23771
1232.37/1238.96 c #Conflicts: 363000 | #Constraints: 24771
1232.37/1238.96 c #Conflicts: 364000 | #Constraints: 25772
1232.37/1238.96 c #Conflicts: 365000 | #Constraints: 26772
1232.37/1238.96 c #Conflicts: 366000 | #Constraints: 27772
1232.37/1238.96 c #Conflicts: 367000 | #Constraints: 28772
1232.37/1238.96 c #Conflicts: 368000 | #Constraints: 29772
1232.37/1238.96 c #Conflicts: 369000 | #Constraints: 30772
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1232.37/1238.96 c #Conflicts: 370000 | #Constraints: 19767
1232.37/1238.96 c #Conflicts: 371000 | #Constraints: 20767
1232.37/1238.96 c #Conflicts: 372000 | #Constraints: 21769
1232.37/1238.96 c #Conflicts: 373000 | #Constraints: 22770
1232.37/1238.96 c #Conflicts: 374000 | #Constraints: 23770
1232.37/1238.96 c #Conflicts: 375000 | #Constraints: 24770
1232.37/1238.96 c #Conflicts: 376000 | #Constraints: 25770
1232.37/1238.96 c #Conflicts: 377000 | #Constraints: 26770
1232.37/1238.96 c #Conflicts: 378000 | #Constraints: 27770
1232.37/1238.96 c #Conflicts: 379000 | #Constraints: 28770
1232.37/1238.96 c #Conflicts: 380000 | #Constraints: 29770
1232.37/1238.96 c #Conflicts: 381000 | #Constraints: 30770
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1232.37/1238.96 c #Conflicts: 382000 | #Constraints: 19569
1232.37/1238.96 c #Conflicts: 383000 | #Constraints: 20569
1232.37/1238.96 c #Conflicts: 384000 | #Constraints: 21569
1232.37/1238.96 c #Conflicts: 385000 | #Constraints: 22569
1232.37/1238.96 c #Conflicts: 386000 | #Constraints: 23569
1232.37/1238.96 c #Conflicts: 387000 | #Constraints: 24569
1232.37/1238.96 c #Conflicts: 388000 | #Constraints: 25569
1232.37/1238.96 c #Conflicts: 389000 | #Constraints: 26569
1232.37/1238.96 c #Conflicts: 390000 | #Constraints: 27569
1232.37/1238.96 c #Conflicts: 391000 | #Constraints: 28569
1232.37/1238.96 c #Conflicts: 392000 | #Constraints: 29569
1232.37/1238.96 c #Conflicts: 393000 | #Constraints: 30569
1232.37/1238.96 c #Conflicts: 394000 | #Constraints: 31569
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1232.37/1238.96 c #Conflicts: 395000 | #Constraints: 20154
1232.37/1238.96 c #Conflicts: 396000 | #Constraints: 21154
1232.37/1238.96 c #Conflicts: 397000 | #Constraints: 22154
1232.37/1238.96 c #Conflicts: 398000 | #Constraints: 23154
1232.37/1238.96 c #Conflicts: 399000 | #Constraints: 24154
1232.37/1238.96 c #Conflicts: 400000 | #Constraints: 25154
1232.37/1238.96 c #Conflicts: 401000 | #Constraints: 26154
1232.37/1238.96 c #Conflicts: 402000 | #Constraints: 27154
1232.37/1238.96 c #Conflicts: 403000 | #Constraints: 28154
1232.37/1238.96 c #Conflicts: 404000 | #Constraints: 29154
1232.37/1238.96 c #Conflicts: 405000 | #Constraints: 30154
1232.37/1238.96 c #Conflicts: 406000 | #Constraints: 31154
1232.37/1238.96 c #Conflicts: 407000 | #Constraints: 32154
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1232.37/1238.96 c #Conflicts: 408000 | #Constraints: 20996
1232.37/1238.96 c #Conflicts: 409000 | #Constraints: 21996
1232.37/1238.96 c #Conflicts: 410000 | #Constraints: 22996
1232.37/1238.96 c #Conflicts: 411000 | #Constraints: 23996
1232.37/1238.96 c #Conflicts: 412000 | #Constraints: 24996
1232.37/1238.96 c #Conflicts: 413000 | #Constraints: 25996
1232.37/1238.96 c #Conflicts: 414000 | #Constraints: 26996
1232.37/1238.96 c #Conflicts: 415000 | #Constraints: 27996
1232.37/1238.96 c #Conflicts: 416000 | #Constraints: 28996
1232.37/1238.96 c #Conflicts: 417000 | #Constraints: 29996
1232.37/1238.96 c #Conflicts: 418000 | #Constraints: 30996
1232.37/1238.96 c #Conflicts: 419000 | #Constraints: 31996
1232.37/1238.96 c #Conflicts: 420000 | #Constraints: 33002
1232.37/1238.96 c INPROCESSING
1232.37/1238.96 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 421000 | #Constraints: 21013
1473.84/1481.52 c #Conflicts: 422000 | #Constraints: 22014
1473.84/1481.52 c #Conflicts: 423000 | #Constraints: 23014
1473.84/1481.52 c #Conflicts: 424000 | #Constraints: 24014
1473.84/1481.52 c #Conflicts: 425000 | #Constraints: 25015
1473.84/1481.52 c #Conflicts: 426000 | #Constraints: 26015
1473.84/1481.52 c #Conflicts: 427000 | #Constraints: 27016
1473.84/1481.52 c #Conflicts: 428000 | #Constraints: 28016
1473.84/1481.52 c #Conflicts: 429000 | #Constraints: 29018
1473.84/1481.52 c #Conflicts: 430000 | #Constraints: 30019
1473.84/1481.52 c #Conflicts: 431000 | #Constraints: 31020
1473.84/1481.52 c #Conflicts: 432000 | #Constraints: 32021
1473.84/1481.52 c #Conflicts: 433000 | #Constraints: 33025
1473.84/1481.52 c INPROCESSING
1473.84/1481.52 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 434000 | #Constraints: 20885
1473.84/1481.52 c #Conflicts: 435000 | #Constraints: 21885
1473.84/1481.52 c #Conflicts: 436000 | #Constraints: 22885
1473.84/1481.52 c #Conflicts: 437000 | #Constraints: 23885
1473.84/1481.52 c #Conflicts: 438000 | #Constraints: 24885
1473.84/1481.52 c #Conflicts: 439000 | #Constraints: 25885
1473.84/1481.52 c #Conflicts: 440000 | #Constraints: 26886
1473.84/1481.52 c #Conflicts: 441000 | #Constraints: 27887
1473.84/1481.52 c #Conflicts: 442000 | #Constraints: 28888
1473.84/1481.52 c #Conflicts: 443000 | #Constraints: 29889
1473.84/1481.52 c #Conflicts: 444000 | #Constraints: 30889
1473.84/1481.52 c #Conflicts: 445000 | #Constraints: 31889
1473.84/1481.52 c #Conflicts: 446000 | #Constraints: 32889
1473.84/1481.52 c INPROCESSING
1473.84/1481.52 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 447000 | #Constraints: 20715
1473.84/1481.52 c #Conflicts: 448000 | #Constraints: 21715
1473.84/1481.52 c #Conflicts: 449000 | #Constraints: 22715
1473.84/1481.52 c #Conflicts: 450000 | #Constraints: 23715
1473.84/1481.52 c #Conflicts: 451000 | #Constraints: 24715
1473.84/1481.52 c #Conflicts: 452000 | #Constraints: 25715
1473.84/1481.52 c #Conflicts: 453000 | #Constraints: 26715
1473.84/1481.52 c #Conflicts: 454000 | #Constraints: 27715
1473.84/1481.52 c #Conflicts: 455000 | #Constraints: 28715
1473.84/1481.52 c #Conflicts: 456000 | #Constraints: 29715
1473.84/1481.52 c #Conflicts: 457000 | #Constraints: 30715
1473.84/1481.52 c #Conflicts: 458000 | #Constraints: 31715
1473.84/1481.52 c #Conflicts: 459000 | #Constraints: 32715
1473.84/1481.52 c #Conflicts: 460000 | #Constraints: 33715
1473.84/1481.52 c INPROCESSING
1473.84/1481.52 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 461000 | #Constraints: 21280
1473.84/1481.52 c #Conflicts: 462000 | #Constraints: 22281
1473.84/1481.52 c #Conflicts: 463000 | #Constraints: 23281
1473.84/1481.52 c #Conflicts: 464000 | #Constraints: 24282
1473.84/1481.52 c #Conflicts: 465000 | #Constraints: 25283
1473.84/1481.52 c #Conflicts: 466000 | #Constraints: 26283
1473.84/1481.52 c #Conflicts: 467000 | #Constraints: 27283
1473.84/1481.52 c #Conflicts: 468000 | #Constraints: 28283
1473.84/1481.52 c #Conflicts: 469000 | #Constraints: 29284
1473.84/1481.52 c #Conflicts: 470000 | #Constraints: 30284
1473.84/1481.52 c #Conflicts: 471000 | #Constraints: 31284
1473.84/1481.52 c #Conflicts: 472000 | #Constraints: 32284
1473.84/1481.52 c #Conflicts: 473000 | #Constraints: 33284
1473.84/1481.52 c #Conflicts: 474000 | #Constraints: 34284
1473.84/1481.52 c INPROCESSING
1473.84/1481.52 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 475000 | #Constraints: 21643
1473.84/1481.52 c #Conflicts: 476000 | #Constraints: 22643
1473.84/1481.52 c #Conflicts: 477000 | #Constraints: 23643
1473.84/1481.52 c #Conflicts: 478000 | #Constraints: 24643
1473.84/1481.52 c #Conflicts: 479000 | #Constraints: 25643
1473.84/1481.52 c #Conflicts: 480000 | #Constraints: 26643
1473.84/1481.52 c #Conflicts: 481000 | #Constraints: 27643
1473.84/1481.52 c #Conflicts: 482000 | #Constraints: 28643
1473.84/1481.52 c #Conflicts: 483000 | #Constraints: 29643
1473.84/1481.52 c #Conflicts: 484000 | #Constraints: 30643
1473.84/1481.52 c #Conflicts: 485000 | #Constraints: 31643
1473.84/1481.52 c #Conflicts: 486000 | #Constraints: 32643
1473.84/1481.52 c #Conflicts: 487000 | #Constraints: 33643
1473.84/1481.52 c #Conflicts: 488000 | #Constraints: 34643
1473.84/1481.52 c INPROCESSING
1473.84/1481.52 c GARBAGE COLLECT
1473.84/1481.52 c #Conflicts: 489000 | #Constraints: 21816
1473.84/1481.52 c #Conflicts: 490000 | #Constraints: 22816
1473.84/1481.52 c #Conflicts: 491000 | #Constraints: 23816
1473.84/1481.52 c #Conflicts: 492000 | #Constraints: 24816
1473.84/1481.52 c #Conflicts: 493000 | #Constraints: 25816
1473.84/1481.52 c #Conflicts: 494000 | #Constraints: 26816
1473.84/1481.52 c #Conflicts: 495000 | #Constraints: 27816
1473.84/1481.52 c #Conflicts: 496000 | #Constraints: 28816
1517.75/1525.64 c #Conflicts: 497000 | #Constraints: 29816
1517.75/1525.64 c #Conflicts: 498000 | #Constraints: 30816
1517.75/1525.64 c #Conflicts: 499000 | #Constraints: 31816
1517.75/1525.64 c #Conflicts: 500000 | #Constraints: 32816
1517.75/1525.64 c #Conflicts: 501000 | #Constraints: 33816
1517.75/1525.64 c #Conflicts: 502000 | #Constraints: 34816
1517.75/1525.64 c INPROCESSING
1517.75/1525.64 c GARBAGE COLLECT
1517.75/1525.64 c #Conflicts: 503000 | #Constraints: 21870
1517.75/1525.64 c #Conflicts: 504000 | #Constraints: 22870
1517.75/1525.64 c #Conflicts: 505000 | #Constraints: 23870
1517.75/1525.64 c #Conflicts: 506000 | #Constraints: 24870
1517.75/1525.64 c #Conflicts: 507000 | #Constraints: 25870
1517.75/1525.64 c #Conflicts: 508000 | #Constraints: 26870
1517.75/1525.64 c #Conflicts: 509000 | #Constraints: 27870
1517.75/1525.64 c #Conflicts: 510000 | #Constraints: 28870
1517.75/1525.64 c #Conflicts: 511000 | #Constraints: 29870
1517.75/1525.64 c #Conflicts: 512000 | #Constraints: 30870
1517.75/1525.64 c #Conflicts: 513000 | #Constraints: 31870
1517.75/1525.64 c #Conflicts: 514000 | #Constraints: 32870
1517.75/1525.64 c #Conflicts: 515000 | #Constraints: 33870
1517.75/1525.64 c #Conflicts: 516000 | #Constraints: 34870
1517.75/1525.64 c INPROCESSING
1517.75/1525.64 c GARBAGE COLLECT
1517.75/1525.64 c rational objective 4.26747e+08
1650.69/1659.64 c #Conflicts: 517000 | #Constraints: 21809
1650.69/1659.64 c #Conflicts: 518000 | #Constraints: 22809
1650.69/1659.64 c #Conflicts: 519000 | #Constraints: 23810
1650.69/1659.64 c #Conflicts: 520000 | #Constraints: 24810
1650.69/1659.64 c #Conflicts: 521000 | #Constraints: 25810
1650.69/1659.64 c #Conflicts: 522000 | #Constraints: 26810
1650.69/1659.64 c #Conflicts: 523000 | #Constraints: 27810
1650.69/1659.64 c #Conflicts: 524000 | #Constraints: 28810
1650.69/1659.64 c #Conflicts: 525000 | #Constraints: 29810
1650.69/1659.64 c #Conflicts: 526000 | #Constraints: 30810
1650.69/1659.64 c #Conflicts: 527000 | #Constraints: 31812
1650.69/1659.64 c #Conflicts: 528000 | #Constraints: 32813
1650.69/1659.64 c #Conflicts: 529000 | #Constraints: 33815
1650.69/1659.64 c #Conflicts: 530000 | #Constraints: 34816
1650.69/1659.64 c #Conflicts: 531000 | #Constraints: 35816
1650.69/1659.64 c INPROCESSING
1650.69/1659.64 c GARBAGE COLLECT
1650.69/1659.64 c #Conflicts: 532000 | #Constraints: 22493
1650.69/1659.64 c #Conflicts: 533000 | #Constraints: 23493
1650.69/1659.64 c #Conflicts: 534000 | #Constraints: 24493
1650.69/1659.64 c #Conflicts: 535000 | #Constraints: 25493
1650.69/1659.64 c #Conflicts: 536000 | #Constraints: 26493
1650.69/1659.64 c #Conflicts: 537000 | #Constraints: 27493
1650.69/1659.64 c #Conflicts: 538000 | #Constraints: 28493
1650.69/1659.64 c #Conflicts: 539000 | #Constraints: 29493
1650.69/1659.64 c #Conflicts: 540000 | #Constraints: 30493
1650.69/1659.64 c #Conflicts: 541000 | #Constraints: 31493
1650.69/1659.64 c #Conflicts: 542000 | #Constraints: 32493
1650.69/1659.64 c #Conflicts: 543000 | #Constraints: 33493
1650.69/1659.64 c #Conflicts: 544000 | #Constraints: 34493
1650.69/1659.64 c #Conflicts: 545000 | #Constraints: 35493
1650.69/1659.64 c #Conflicts: 546000 | #Constraints: 36493
1650.69/1659.64 c INPROCESSING
1650.69/1659.64 c GARBAGE COLLECT
1650.69/1659.64 c #Conflicts: 547000 | #Constraints: 22921
1650.69/1659.64 c #Conflicts: 548000 | #Constraints: 23921
1650.69/1659.64 c #Conflicts: 549000 | #Constraints: 24921
1650.69/1659.64 c #Conflicts: 550000 | #Constraints: 25921
1650.69/1659.64 c #Conflicts: 551000 | #Constraints: 26921
1650.69/1659.64 c #Conflicts: 552000 | #Constraints: 27921
1650.69/1659.64 c #Conflicts: 553000 | #Constraints: 28921
1650.69/1659.64 c #Conflicts: 554000 | #Constraints: 29921
1650.69/1659.64 c #Conflicts: 555000 | #Constraints: 30921
1650.69/1659.64 c #Conflicts: 556000 | #Constraints: 31921
1650.69/1659.64 c #Conflicts: 557000 | #Constraints: 32921
1650.69/1659.64 c #Conflicts: 558000 | #Constraints: 33921
1650.69/1659.64 c #Conflicts: 559000 | #Constraints: 34921
1650.69/1659.64 c #Conflicts: 560000 | #Constraints: 35921
1650.69/1659.64 c #Conflicts: 561000 | #Constraints: 36921
1650.69/1659.64 c INPROCESSING
1650.69/1659.64 c GARBAGE COLLECT
1650.69/1659.64 c rational objective 4.28154e+08
1850.10/1859.81 c #Conflicts: 562000 | #Constraints: 23088
1850.10/1859.81 c #Conflicts: 563000 | #Constraints: 24088
1850.10/1859.81 c #Conflicts: 564000 | #Constraints: 25088
1850.10/1859.81 c #Conflicts: 565000 | #Constraints: 26088
1850.10/1859.81 c #Conflicts: 566000 | #Constraints: 27088
1850.10/1859.81 c #Conflicts: 567000 | #Constraints: 28088
1850.10/1859.81 c #Conflicts: 568000 | #Constraints: 29089
1850.10/1859.81 c #Conflicts: 569000 | #Constraints: 30090
1850.10/1859.81 c #Conflicts: 570000 | #Constraints: 31090
1850.10/1859.81 c #Conflicts: 571000 | #Constraints: 32090
1850.10/1859.81 c #Conflicts: 572000 | #Constraints: 33092
1850.10/1859.81 c #Conflicts: 573000 | #Constraints: 34092
1850.10/1859.81 c #Conflicts: 574000 | #Constraints: 35093
1850.10/1859.81 c #Conflicts: 575000 | #Constraints: 36095
1850.10/1859.81 c #Conflicts: 576000 | #Constraints: 37095
1850.10/1859.81 c INPROCESSING
1850.10/1859.81 c GARBAGE COLLECT
1850.10/1859.81 c #Conflicts: 577000 | #Constraints: 23162
1850.10/1859.81 c #Conflicts: 578000 | #Constraints: 24162
1850.10/1859.81 c #Conflicts: 579000 | #Constraints: 25162
1850.10/1859.81 c #Conflicts: 580000 | #Constraints: 26162
1850.10/1859.81 c #Conflicts: 581000 | #Constraints: 27163
1850.10/1859.81 c #Conflicts: 582000 | #Constraints: 28164
1850.10/1859.81 c #Conflicts: 583000 | #Constraints: 29164
1850.10/1859.81 c #Conflicts: 584000 | #Constraints: 30164
1850.10/1859.81 c #Conflicts: 585000 | #Constraints: 31165
1850.10/1859.81 c #Conflicts: 586000 | #Constraints: 32166
1850.10/1859.81 c #Conflicts: 587000 | #Constraints: 33167
1850.10/1859.81 c #Conflicts: 588000 | #Constraints: 34167
1850.10/1859.81 c #Conflicts: 589000 | #Constraints: 35167
1850.10/1859.81 c #Conflicts: 590000 | #Constraints: 36169
1850.10/1859.81 c #Conflicts: 591000 | #Constraints: 37170
1850.10/1859.81 c INPROCESSING
1850.10/1859.81 c GARBAGE COLLECT
1850.10/1859.81 c #Conflicts: 592000 | #Constraints: 22988
1850.10/1859.81 c #Conflicts: 593000 | #Constraints: 23988
1850.10/1859.81 c #Conflicts: 594000 | #Constraints: 24989
1850.10/1859.81 c #Conflicts: 595000 | #Constraints: 25989
1850.10/1859.81 c #Conflicts: 596000 | #Constraints: 26989
1850.10/1859.81 c #Conflicts: 597000 | #Constraints: 27989
1850.10/1859.81 c #Conflicts: 598000 | #Constraints: 28990
1850.10/1859.81 c #Conflicts: 599000 | #Constraints: 29991
1850.10/1859.81 c #Conflicts: 600000 | #Constraints: 30992
1850.10/1859.81 c #Conflicts: 601000 | #Constraints: 31992
1850.10/1859.81 c #Conflicts: 602000 | #Constraints: 32992
1850.10/1859.81 c #Conflicts: 603000 | #Constraints: 33993
1850.10/1859.81 c #Conflicts: 604000 | #Constraints: 34993
1850.10/1859.81 c #Conflicts: 605000 | #Constraints: 35993
1850.10/1859.81 c #Conflicts: 606000 | #Constraints: 36993
1850.10/1859.81 c #Conflicts: 607000 | #Constraints: 37993
1850.10/1859.81 c INPROCESSING
1850.10/1859.81 c GARBAGE COLLECT
1850.10/1859.81 c #Conflicts: 608000 | #Constraints: 23614
1850.10/1859.81 c #Conflicts: 609000 | #Constraints: 24614
1850.10/1859.81 c #Conflicts: 610000 | #Constraints: 25616
1850.10/1859.81 c #Conflicts: 611000 | #Constraints: 26617
1850.10/1859.81 c #Conflicts: 612000 | #Constraints: 27618
1850.10/1859.81 c #Conflicts: 613000 | #Constraints: 28618
1850.10/1859.81 c #Conflicts: 614000 | #Constraints: 29619
1850.10/1859.81 c #Conflicts: 615000 | #Constraints: 30619
1850.10/1859.81 c #Conflicts: 616000 | #Constraints: 31619
1850.10/1859.81 c #Conflicts: 617000 | #Constraints: 32620
1850.10/1859.81 c #Conflicts: 618000 | #Constraints: 33620
1850.10/1859.81 c #Conflicts: 619000 | #Constraints: 34620
1850.10/1859.81 c #Conflicts: 620000 | #Constraints: 35621
1850.10/1859.81 c #Conflicts: 621000 | #Constraints: 36621
1850.10/1859.81 c #Conflicts: 622000 | #Constraints: 37622
1850.10/1859.81 c #Conflicts: 623000 | #Constraints: 38622
1850.10/1859.81 c INPROCESSING
1850.10/1859.81 c GARBAGE COLLECT
1850.10/1859.81 c #Conflicts: 624000 | #Constraints: 24169
1850.10/1859.81 c #Conflicts: 625000 | #Constraints: 25170
1850.10/1859.81 c #Conflicts: 626000 | #Constraints: 26170
1850.10/1859.81 c #Conflicts: 627000 | #Constraints: 27170
1850.10/1859.81 c #Conflicts: 628000 | #Constraints: 28170
1850.10/1859.81 c #Conflicts: 629000 | #Constraints: 29170
1850.10/1859.81 c #Conflicts: 630000 | #Constraints: 30170
1850.10/1859.81 c #Conflicts: 631000 | #Constraints: 31170
1850.10/1859.81 c #Conflicts: 632000 | #Constraints: 32170
1850.10/1859.81 c #Conflicts: 633000 | #Constraints: 33171
1850.10/1859.81 c #Conflicts: 634000 | #Constraints: 34171
1850.10/1859.81 c #Conflicts: 635000 | #Constraints: 35171
1850.10/1859.81 c #Conflicts: 636000 | #Constraints: 36171
1850.10/1859.81 c #Conflicts: 637000 | #Constraints: 37171
1850.10/1859.81 c #Conflicts: 638000 | #Constraints: 38171
2131.38/2141.83 c #Conflicts: 639000 | #Constraints: 39171
2131.38/2141.83 c INPROCESSING
2131.38/2141.83 c GARBAGE COLLECT
2131.38/2141.83 c #Conflicts: 640000 | #Constraints: 24431
2131.38/2141.83 c #Conflicts: 641000 | #Constraints: 25431
2131.38/2141.83 c #Conflicts: 642000 | #Constraints: 26431
2131.38/2141.83 c #Conflicts: 643000 | #Constraints: 27431
2131.38/2141.83 c #Conflicts: 644000 | #Constraints: 28431
2131.38/2141.83 c #Conflicts: 645000 | #Constraints: 29431
2131.38/2141.83 c #Conflicts: 646000 | #Constraints: 30432
2131.38/2141.83 c #Conflicts: 647000 | #Constraints: 31432
2131.38/2141.83 c #Conflicts: 648000 | #Constraints: 32433
2131.38/2141.83 c #Conflicts: 649000 | #Constraints: 33434
2131.38/2141.83 c #Conflicts: 650000 | #Constraints: 34434
2131.38/2141.83 c #Conflicts: 651000 | #Constraints: 35434
2131.38/2141.83 c #Conflicts: 652000 | #Constraints: 36434
2131.38/2141.83 c #Conflicts: 653000 | #Constraints: 37435
2131.38/2141.83 c #Conflicts: 654000 | #Constraints: 38435
2131.38/2141.83 c #Conflicts: 655000 | #Constraints: 39437
2131.38/2141.83 c INPROCESSING
2131.38/2141.83 c GARBAGE COLLECT
2131.38/2141.83 c #Conflicts: 656000 | #Constraints: 24405
2131.38/2141.83 c #Conflicts: 657000 | #Constraints: 25406
2131.38/2141.83 c #Conflicts: 658000 | #Constraints: 26406
2131.38/2141.83 c #Conflicts: 659000 | #Constraints: 27407
2131.38/2141.83 c #Conflicts: 660000 | #Constraints: 28407
2131.38/2141.83 c #Conflicts: 661000 | #Constraints: 29407
2131.38/2141.83 c #Conflicts: 662000 | #Constraints: 30407
2131.38/2141.83 c #Conflicts: 663000 | #Constraints: 31407
2131.38/2141.83 c #Conflicts: 664000 | #Constraints: 32407
2131.38/2141.83 c #Conflicts: 665000 | #Constraints: 33407
2131.38/2141.83 c #Conflicts: 666000 | #Constraints: 34407
2131.38/2141.83 c #Conflicts: 667000 | #Constraints: 35407
2131.38/2141.83 c #Conflicts: 668000 | #Constraints: 36407
2131.38/2141.83 c #Conflicts: 669000 | #Constraints: 37407
2131.38/2141.83 c #Conflicts: 670000 | #Constraints: 38407
2131.38/2141.83 c #Conflicts: 671000 | #Constraints: 39407
2131.38/2141.83 c INPROCESSING
2131.38/2141.83 c GARBAGE COLLECT
2131.38/2141.83 c #Conflicts: 672000 | #Constraints: 24107
2131.38/2141.83 c #Conflicts: 673000 | #Constraints: 25107
2131.38/2141.83 c #Conflicts: 674000 | #Constraints: 26107
2131.38/2141.83 c #Conflicts: 675000 | #Constraints: 27107
2131.38/2141.83 c #Conflicts: 676000 | #Constraints: 28108
2131.38/2141.83 c #Conflicts: 677000 | #Constraints: 29108
2131.38/2141.83 c #Conflicts: 678000 | #Constraints: 30108
2131.38/2141.83 c #Conflicts: 679000 | #Constraints: 31108
2131.38/2141.83 c #Conflicts: 680000 | #Constraints: 32108
2131.38/2141.83 c #Conflicts: 681000 | #Constraints: 33108
2131.38/2141.83 c #Conflicts: 682000 | #Constraints: 34110
2131.38/2141.83 c #Conflicts: 683000 | #Constraints: 35110
2131.38/2141.83 c #Conflicts: 684000 | #Constraints: 36110
2131.38/2141.83 c #Conflicts: 685000 | #Constraints: 37110
2131.38/2141.83 c #Conflicts: 686000 | #Constraints: 38110
2131.38/2141.83 c #Conflicts: 687000 | #Constraints: 39110
2131.38/2141.83 c #Conflicts: 688000 | #Constraints: 40110
2131.38/2141.83 c INPROCESSING
2131.38/2141.83 c GARBAGE COLLECT
2131.38/2141.83 c #Conflicts: 689000 | #Constraints: 24745
2131.38/2141.83 c #Conflicts: 690000 | #Constraints: 25745
2131.38/2141.83 c #Conflicts: 691000 | #Constraints: 26745
2131.38/2141.83 c #Conflicts: 692000 | #Constraints: 27745
2131.38/2141.83 c #Conflicts: 693000 | #Constraints: 28745
2131.38/2141.83 c #Conflicts: 694000 | #Constraints: 29745
2131.38/2141.83 c #Conflicts: 695000 | #Constraints: 30745
2131.38/2141.83 c #Conflicts: 696000 | #Constraints: 31745
2131.38/2141.83 c #Conflicts: 697000 | #Constraints: 32745
2131.38/2141.83 c #Conflicts: 698000 | #Constraints: 33745
2131.38/2141.83 c #Conflicts: 699000 | #Constraints: 34745
2131.38/2141.83 c #Conflicts: 700000 | #Constraints: 35745
2131.38/2141.83 c #Conflicts: 701000 | #Constraints: 36745
2131.38/2141.83 c #Conflicts: 702000 | #Constraints: 37745
2131.38/2141.83 c #Conflicts: 703000 | #Constraints: 38745
2131.38/2141.83 c #Conflicts: 704000 | #Constraints: 39745
2131.38/2141.83 c #Conflicts: 705000 | #Constraints: 40745
2131.38/2141.83 c INPROCESSING
2131.38/2141.83 c GARBAGE COLLECT
2131.38/2141.83 c #Conflicts: 706000 | #Constraints: 25193
2131.38/2141.83 c #Conflicts: 707000 | #Constraints: 26199
2131.38/2141.83 c #Conflicts: 708000 | #Constraints: 27200
2131.38/2141.83 c #Conflicts: 709000 | #Constraints: 28200
2131.38/2141.83 c #Conflicts: 710000 | #Constraints: 29200
2131.38/2141.83 c #Conflicts: 711000 | #Constraints: 30200
2131.38/2141.83 c #Conflicts: 712000 | #Constraints: 31200
2131.38/2141.83 c #Conflicts: 713000 | #Constraints: 32200
2299.57/2310.98 c #Conflicts: 714000 | #Constraints: 33200
2299.57/2310.98 c #Conflicts: 715000 | #Constraints: 34200
2299.57/2310.98 c #Conflicts: 716000 | #Constraints: 35200
2299.57/2310.98 c #Conflicts: 717000 | #Constraints: 36200
2299.57/2310.98 c #Conflicts: 718000 | #Constraints: 37200
2299.57/2310.98 c #Conflicts: 719000 | #Constraints: 38200
2299.57/2310.98 c #Conflicts: 720000 | #Constraints: 39200
2299.57/2310.98 c #Conflicts: 721000 | #Constraints: 40200
2299.57/2310.98 c #Conflicts: 722000 | #Constraints: 41200
2299.57/2310.98 c INPROCESSING
2299.57/2310.98 c GARBAGE COLLECT
2299.57/2310.98 c #Conflicts: 723000 | #Constraints: 25361
2299.57/2310.98 c #Conflicts: 724000 | #Constraints: 26361
2299.57/2310.98 c #Conflicts: 725000 | #Constraints: 27361
2299.57/2310.98 c #Conflicts: 726000 | #Constraints: 28361
2299.57/2310.98 c #Conflicts: 727000 | #Constraints: 29361
2299.57/2310.98 c #Conflicts: 728000 | #Constraints: 30361
2299.57/2310.98 c #Conflicts: 729000 | #Constraints: 31361
2299.57/2310.98 c #Conflicts: 730000 | #Constraints: 32363
2299.57/2310.98 c #Conflicts: 731000 | #Constraints: 33363
2299.57/2310.98 c #Conflicts: 732000 | #Constraints: 34363
2299.57/2310.98 c #Conflicts: 733000 | #Constraints: 35365
2299.57/2310.98 c #Conflicts: 734000 | #Constraints: 36366
2299.57/2310.98 c #Conflicts: 735000 | #Constraints: 37366
2299.57/2310.98 c #Conflicts: 736000 | #Constraints: 38366
2299.57/2310.98 c #Conflicts: 737000 | #Constraints: 39366
2299.57/2310.98 c #Conflicts: 738000 | #Constraints: 40366
2299.57/2310.98 c #Conflicts: 739000 | #Constraints: 41366
2299.57/2310.98 c INPROCESSING
2299.57/2310.98 c GARBAGE COLLECT
2299.57/2310.98 c #Conflicts: 740000 | #Constraints: 25237
2299.57/2310.98 c #Conflicts: 741000 | #Constraints: 26237
2299.57/2310.98 c #Conflicts: 742000 | #Constraints: 27237
2299.57/2310.98 c #Conflicts: 743000 | #Constraints: 28237
2299.57/2310.98 c #Conflicts: 744000 | #Constraints: 29238
2299.57/2310.98 c #Conflicts: 745000 | #Constraints: 30238
2299.57/2310.98 c #Conflicts: 746000 | #Constraints: 31238
2299.57/2310.98 c #Conflicts: 747000 | #Constraints: 32239
2299.57/2310.98 c #Conflicts: 748000 | #Constraints: 33240
2299.57/2310.98 c #Conflicts: 749000 | #Constraints: 34240
2299.57/2310.98 c #Conflicts: 750000 | #Constraints: 35240
2299.57/2310.98 c #Conflicts: 751000 | #Constraints: 36242
2299.57/2310.98 c #Conflicts: 752000 | #Constraints: 37243
2299.57/2310.98 c #Conflicts: 753000 | #Constraints: 38244
2299.57/2310.98 c #Conflicts: 754000 | #Constraints: 39244
2299.57/2310.98 c #Conflicts: 755000 | #Constraints: 40244
2299.57/2310.98 c #Conflicts: 756000 | #Constraints: 41244
2299.57/2310.98 c INPROCESSING
2299.57/2310.98 c GARBAGE COLLECT
2299.57/2310.98 c #Conflicts: 757000 | #Constraints: 24975
2299.57/2310.98 c #Conflicts: 758000 | #Constraints: 25975
2299.57/2310.98 c #Conflicts: 759000 | #Constraints: 26976
2299.57/2310.98 c #Conflicts: 760000 | #Constraints: 27976
2299.57/2310.98 c #Conflicts: 761000 | #Constraints: 28976
2299.57/2310.98 c #Conflicts: 762000 | #Constraints: 29977
2299.57/2310.98 c #Conflicts: 763000 | #Constraints: 30977
2299.57/2310.98 c #Conflicts: 764000 | #Constraints: 31977
2299.57/2310.98 c #Conflicts: 765000 | #Constraints: 32977
2299.57/2310.98 c #Conflicts: 766000 | #Constraints: 33977
2299.57/2310.98 c #Conflicts: 767000 | #Constraints: 34977
2299.57/2310.98 c #Conflicts: 768000 | #Constraints: 35978
2299.57/2310.98 c #Conflicts: 769000 | #Constraints: 36978
2299.57/2310.98 c #Conflicts: 770000 | #Constraints: 37978
2299.57/2310.98 c #Conflicts: 771000 | #Constraints: 38979
2299.57/2310.98 c #Conflicts: 772000 | #Constraints: 39979
2299.57/2310.98 c #Conflicts: 773000 | #Constraints: 40979
2299.57/2310.98 c #Conflicts: 774000 | #Constraints: 41980
2299.57/2310.98 c INPROCESSING
2299.57/2310.98 c GARBAGE COLLECT
2299.57/2310.98 c #Conflicts: 775000 | #Constraints: 25700
2299.57/2310.98 c #Conflicts: 776000 | #Constraints: 26700
2299.57/2310.98 c #Conflicts: 777000 | #Constraints: 27700
2299.57/2310.98 c #Conflicts: 778000 | #Constraints: 28701
2299.57/2310.98 c #Conflicts: 779000 | #Constraints: 29702
2299.57/2310.98 c #Conflicts: 780000 | #Constraints: 30703
2299.57/2310.98 c #Conflicts: 781000 | #Constraints: 31704
2299.57/2310.98 c #Conflicts: 782000 | #Constraints: 32704
2299.57/2310.98 c #Conflicts: 783000 | #Constraints: 33704
2299.57/2310.98 c #Conflicts: 784000 | #Constraints: 34704
2299.57/2310.98 c #Conflicts: 785000 | #Constraints: 35704
2299.57/2310.98 c #Conflicts: 786000 | #Constraints: 36704
2299.57/2310.98 c #Conflicts: 787000 | #Constraints: 37704
2299.57/2310.98 c #Conflicts: 788000 | #Constraints: 38704
2299.57/2310.98 c #Conflicts: 789000 | #Constraints: 39704
2299.57/2310.98 c #Conflicts: 790000 | #Constraints: 40704
2540.50/2552.93 c #Conflicts: 791000 | #Constraints: 41704
2540.50/2552.93 c #Conflicts: 792000 | #Constraints: 42704
2540.50/2552.93 c INPROCESSING
2540.50/2552.93 c GARBAGE COLLECT
2540.50/2552.93 c #Conflicts: 793000 | #Constraints: 26157
2540.50/2552.93 c #Conflicts: 794000 | #Constraints: 27160
2540.50/2552.93 c #Conflicts: 795000 | #Constraints: 28161
2540.50/2552.93 c #Conflicts: 796000 | #Constraints: 29161
2540.50/2552.93 c #Conflicts: 797000 | #Constraints: 30161
2540.50/2552.93 c #Conflicts: 798000 | #Constraints: 31161
2540.50/2552.93 c #Conflicts: 799000 | #Constraints: 32161
2540.50/2552.93 c #Conflicts: 800000 | #Constraints: 33161
2540.50/2552.93 c #Conflicts: 801000 | #Constraints: 34161
2540.50/2552.93 c #Conflicts: 802000 | #Constraints: 35161
2540.50/2552.93 c #Conflicts: 803000 | #Constraints: 36161
2540.50/2552.93 c #Conflicts: 804000 | #Constraints: 37161
2540.50/2552.93 c #Conflicts: 805000 | #Constraints: 38161
2540.50/2552.93 c #Conflicts: 806000 | #Constraints: 39161
2540.50/2552.93 c #Conflicts: 807000 | #Constraints: 40161
2540.50/2552.93 c #Conflicts: 808000 | #Constraints: 41161
2540.50/2552.93 c #Conflicts: 809000 | #Constraints: 42161
2540.50/2552.93 c #Conflicts: 810000 | #Constraints: 43161
2540.50/2552.93 c INPROCESSING
2540.50/2552.93 c GARBAGE COLLECT
2540.50/2552.93 c #Conflicts: 811000 | #Constraints: 26369
2540.50/2552.93 c #Conflicts: 812000 | #Constraints: 27369
2540.50/2552.93 c #Conflicts: 813000 | #Constraints: 28369
2540.50/2552.93 c #Conflicts: 814000 | #Constraints: 29369
2540.50/2552.93 c #Conflicts: 815000 | #Constraints: 30369
2540.50/2552.93 c #Conflicts: 816000 | #Constraints: 31369
2540.50/2552.93 c #Conflicts: 817000 | #Constraints: 32369
2540.50/2552.93 c #Conflicts: 818000 | #Constraints: 33369
2540.50/2552.93 c #Conflicts: 819000 | #Constraints: 34369
2540.50/2552.93 c #Conflicts: 820000 | #Constraints: 35369
2540.50/2552.93 c #Conflicts: 821000 | #Constraints: 36369
2540.50/2552.93 c #Conflicts: 822000 | #Constraints: 37369
2540.50/2552.93 c #Conflicts: 823000 | #Constraints: 38369
2540.50/2552.93 c #Conflicts: 824000 | #Constraints: 39369
2540.50/2552.93 c #Conflicts: 825000 | #Constraints: 40369
2540.50/2552.93 c #Conflicts: 826000 | #Constraints: 41369
2540.50/2552.93 c #Conflicts: 827000 | #Constraints: 42369
2540.50/2552.93 c #Conflicts: 828000 | #Constraints: 43369
2540.50/2552.93 c INPROCESSING
2540.50/2552.93 c GARBAGE COLLECT
2540.50/2552.93 c #Conflicts: 829000 | #Constraints: 26475
2540.50/2552.93 c #Conflicts: 830000 | #Constraints: 27475
2540.50/2552.93 c #Conflicts: 831000 | #Constraints: 28475
2540.50/2552.93 c #Conflicts: 832000 | #Constraints: 29475
2540.50/2552.93 c #Conflicts: 833000 | #Constraints: 30475
2540.50/2552.93 c #Conflicts: 834000 | #Constraints: 31475
2540.50/2552.93 c #Conflicts: 835000 | #Constraints: 32475
2540.50/2552.93 c #Conflicts: 836000 | #Constraints: 33475
2540.50/2552.93 c #Conflicts: 837000 | #Constraints: 34475
2540.50/2552.93 c #Conflicts: 838000 | #Constraints: 35475
2540.50/2552.93 c #Conflicts: 839000 | #Constraints: 36475
2540.50/2552.93 c #Conflicts: 840000 | #Constraints: 37475
2540.50/2552.93 c #Conflicts: 841000 | #Constraints: 38475
2540.50/2552.93 c #Conflicts: 842000 | #Constraints: 39475
2540.50/2552.93 c #Conflicts: 843000 | #Constraints: 40475
2540.50/2552.93 c #Conflicts: 844000 | #Constraints: 41475
2540.50/2552.93 c #Conflicts: 845000 | #Constraints: 42475
2540.50/2552.93 c #Conflicts: 846000 | #Constraints: 43475
2540.50/2552.93 c INPROCESSING
2540.50/2552.93 c GARBAGE COLLECT
2540.50/2552.93 c #Conflicts: 847000 | #Constraints: 26027
2540.50/2552.93 c #Conflicts: 848000 | #Constraints: 27027
2540.50/2552.93 c #Conflicts: 849000 | #Constraints: 28028
2540.50/2552.93 c #Conflicts: 850000 | #Constraints: 29029
2540.50/2552.93 c #Conflicts: 851000 | #Constraints: 30029
2540.50/2552.93 c #Conflicts: 852000 | #Constraints: 31029
2540.50/2552.93 c #Conflicts: 853000 | #Constraints: 32029
2540.50/2552.93 c #Conflicts: 854000 | #Constraints: 33029
2540.50/2552.93 c #Conflicts: 855000 | #Constraints: 34029
2540.50/2552.93 c #Conflicts: 856000 | #Constraints: 35029
2540.50/2552.93 c #Conflicts: 857000 | #Constraints: 36029
2540.50/2552.93 c #Conflicts: 858000 | #Constraints: 37030
2540.50/2552.93 c #Conflicts: 859000 | #Constraints: 38030
2540.50/2552.93 c #Conflicts: 860000 | #Constraints: 39030
2540.50/2552.93 c #Conflicts: 861000 | #Constraints: 40030
2540.50/2552.93 c #Conflicts: 862000 | #Constraints: 41030
2540.50/2552.93 c #Conflicts: 863000 | #Constraints: 42030
2540.50/2552.93 c #Conflicts: 864000 | #Constraints: 43030
2540.50/2552.93 c #Conflicts: 865000 | #Constraints: 44030
2540.50/2552.93 c INPROCESSING
2713.66/2726.78 c GARBAGE COLLECT
2713.66/2726.78 c #Conflicts: 866000 | #Constraints: 26761
2713.66/2726.78 c #Conflicts: 867000 | #Constraints: 27761
2713.66/2726.78 c #Conflicts: 868000 | #Constraints: 28761
2713.66/2726.78 c #Conflicts: 869000 | #Constraints: 29761
2713.66/2726.78 c #Conflicts: 870000 | #Constraints: 30761
2713.66/2726.78 c #Conflicts: 871000 | #Constraints: 31761
2713.66/2726.78 c #Conflicts: 872000 | #Constraints: 32761
2713.66/2726.78 c #Conflicts: 873000 | #Constraints: 33761
2713.66/2726.78 c #Conflicts: 874000 | #Constraints: 34761
2713.66/2726.78 c #Conflicts: 875000 | #Constraints: 35761
2713.66/2726.78 c #Conflicts: 876000 | #Constraints: 36761
2713.66/2726.78 c #Conflicts: 877000 | #Constraints: 37761
2713.66/2726.78 c #Conflicts: 878000 | #Constraints: 38762
2713.66/2726.78 c #Conflicts: 879000 | #Constraints: 39762
2713.66/2726.78 c #Conflicts: 880000 | #Constraints: 40762
2713.66/2726.78 c #Conflicts: 881000 | #Constraints: 41762
2713.66/2726.78 c #Conflicts: 882000 | #Constraints: 42762
2713.66/2726.78 c #Conflicts: 883000 | #Constraints: 43763
2713.66/2726.78 c #Conflicts: 884000 | #Constraints: 44763
2713.66/2726.78 c INPROCESSING
2713.66/2726.78 c GARBAGE COLLECT
2713.66/2726.78 c #Conflicts: 885000 | #Constraints: 27243
2713.66/2726.78 c #Conflicts: 886000 | #Constraints: 28243
2713.66/2726.78 c #Conflicts: 887000 | #Constraints: 29243
2713.66/2726.78 c #Conflicts: 888000 | #Constraints: 30243
2713.66/2726.78 c #Conflicts: 889000 | #Constraints: 31247
2713.66/2726.78 c #Conflicts: 890000 | #Constraints: 32248
2713.66/2726.78 c #Conflicts: 891000 | #Constraints: 33248
2713.66/2726.78 c #Conflicts: 892000 | #Constraints: 34248
2713.66/2726.78 c #Conflicts: 893000 | #Constraints: 35248
2713.66/2726.78 c #Conflicts: 894000 | #Constraints: 36248
2713.66/2726.78 c #Conflicts: 895000 | #Constraints: 37249
2713.66/2726.78 c #Conflicts: 896000 | #Constraints: 38249
2713.66/2726.78 c #Conflicts: 897000 | #Constraints: 39249
2713.66/2726.78 c #Conflicts: 898000 | #Constraints: 40249
2713.66/2726.78 c #Conflicts: 899000 | #Constraints: 41249
2713.66/2726.78 c #Conflicts: 900000 | #Constraints: 42249
2713.66/2726.78 c #Conflicts: 901000 | #Constraints: 43249
2713.66/2726.78 c #Conflicts: 902000 | #Constraints: 44249
2713.66/2726.78 c #Conflicts: 903000 | #Constraints: 45249
2713.66/2726.78 c INPROCESSING
2713.66/2726.78 c GARBAGE COLLECT
2713.66/2726.78 c #Conflicts: 904000 | #Constraints: 27570
2713.66/2726.78 c #Conflicts: 905000 | #Constraints: 28570
2713.66/2726.78 c #Conflicts: 906000 | #Constraints: 29570
2713.66/2726.78 c #Conflicts: 907000 | #Constraints: 30570
2713.66/2726.78 c #Conflicts: 908000 | #Constraints: 31570
2713.66/2726.78 c #Conflicts: 909000 | #Constraints: 32570
2713.66/2726.78 c #Conflicts: 910000 | #Constraints: 33570
2713.66/2726.78 c #Conflicts: 911000 | #Constraints: 34570
2713.66/2726.78 c #Conflicts: 912000 | #Constraints: 35570
2713.66/2726.78 c #Conflicts: 913000 | #Constraints: 36570
2713.66/2726.78 c #Conflicts: 914000 | #Constraints: 37570
2713.66/2726.78 c #Conflicts: 915000 | #Constraints: 38570
2713.66/2726.78 c #Conflicts: 916000 | #Constraints: 39570
2713.66/2726.78 c #Conflicts: 917000 | #Constraints: 40570
2713.66/2726.78 c #Conflicts: 918000 | #Constraints: 41570
2713.66/2726.78 c #Conflicts: 919000 | #Constraints: 42570
2713.66/2726.78 c #Conflicts: 920000 | #Constraints: 43570
2713.66/2726.78 c #Conflicts: 921000 | #Constraints: 44570
2713.66/2726.78 c #Conflicts: 922000 | #Constraints: 45570
2713.66/2726.78 c INPROCESSING
2713.66/2726.78 c GARBAGE COLLECT
2713.66/2726.78 c #Conflicts: 923000 | #Constraints: 27669
2713.66/2726.78 c #Conflicts: 924000 | #Constraints: 28669
2713.66/2726.78 c #Conflicts: 925000 | #Constraints: 29669
2713.66/2726.78 c #Conflicts: 926000 | #Constraints: 30669
2713.66/2726.78 c #Conflicts: 927000 | #Constraints: 31669
2713.66/2726.78 c #Conflicts: 928000 | #Constraints: 32669
2713.66/2726.78 c #Conflicts: 929000 | #Constraints: 33669
2713.66/2726.78 c #Conflicts: 930000 | #Constraints: 34669
2713.66/2726.78 c #Conflicts: 931000 | #Constraints: 35669
2713.66/2726.78 c #Conflicts: 932000 | #Constraints: 36669
2713.66/2726.78 c #Conflicts: 933000 | #Constraints: 37669
2713.66/2726.78 c #Conflicts: 934000 | #Constraints: 38669
2713.66/2726.78 c #Conflicts: 935000 | #Constraints: 39669
2713.66/2726.78 c #Conflicts: 936000 | #Constraints: 40669
2713.66/2726.78 c #Conflicts: 937000 | #Constraints: 41669
2713.66/2726.78 c #Conflicts: 938000 | #Constraints: 42669
2713.66/2726.78 c #Conflicts: 939000 | #Constraints: 43669
2713.66/2726.78 c #Conflicts: 940000 | #Constraints: 44669
2713.66/2726.78 c #Conflicts: 941000 | #Constraints: 45669
2713.66/2726.78 c INPROCESSING
2713.66/2726.78 c GARBAGE COLLECT
2914.22/2928.52 c #Conflicts: 942000 | #Constraints: 27323
2914.22/2928.52 c #Conflicts: 943000 | #Constraints: 28323
2914.22/2928.52 c #Conflicts: 944000 | #Constraints: 29323
2914.22/2928.52 c #Conflicts: 945000 | #Constraints: 30323
2914.22/2928.52 c #Conflicts: 946000 | #Constraints: 31323
2914.22/2928.52 c #Conflicts: 947000 | #Constraints: 32323
2914.22/2928.52 c #Conflicts: 948000 | #Constraints: 33323
2914.22/2928.52 c #Conflicts: 949000 | #Constraints: 34325
2914.22/2928.52 c #Conflicts: 950000 | #Constraints: 35326
2914.22/2928.52 c #Conflicts: 951000 | #Constraints: 36326
2914.22/2928.52 c #Conflicts: 952000 | #Constraints: 37327
2914.22/2928.52 c #Conflicts: 953000 | #Constraints: 38328
2914.22/2928.52 c #Conflicts: 954000 | #Constraints: 39328
2914.22/2928.52 c #Conflicts: 955000 | #Constraints: 40328
2914.22/2928.52 c #Conflicts: 956000 | #Constraints: 41328
2914.22/2928.52 c #Conflicts: 957000 | #Constraints: 42328
2914.22/2928.52 c #Conflicts: 958000 | #Constraints: 43328
2914.22/2928.52 c #Conflicts: 959000 | #Constraints: 44328
2914.22/2928.52 c #Conflicts: 960000 | #Constraints: 45328
2914.22/2928.52 c #Conflicts: 961000 | #Constraints: 46328
2914.22/2928.52 c INPROCESSING
2914.22/2928.52 c GARBAGE COLLECT
2914.22/2928.52 c #Conflicts: 962000 | #Constraints: 27869
2914.22/2928.52 c #Conflicts: 963000 | #Constraints: 28882
2914.22/2928.52 c #Conflicts: 964000 | #Constraints: 29886
2914.22/2928.52 c #Conflicts: 965000 | #Constraints: 30889
2914.22/2928.52 c #Conflicts: 966000 | #Constraints: 31890
2914.22/2928.52 c #Conflicts: 967000 | #Constraints: 32890
2914.22/2928.52 c #Conflicts: 968000 | #Constraints: 33890
2914.22/2928.52 c #Conflicts: 969000 | #Constraints: 34890
2914.22/2928.52 c #Conflicts: 970000 | #Constraints: 35890
2914.22/2928.52 c #Conflicts: 971000 | #Constraints: 36891
2914.22/2928.52 c #Conflicts: 972000 | #Constraints: 37891
2914.22/2928.52 c #Conflicts: 973000 | #Constraints: 38891
2914.22/2928.52 c #Conflicts: 974000 | #Constraints: 39891
2914.22/2928.52 c #Conflicts: 975000 | #Constraints: 40891
2914.22/2928.52 c #Conflicts: 976000 | #Constraints: 41891
2914.22/2928.52 c #Conflicts: 977000 | #Constraints: 42891
2914.22/2928.52 c #Conflicts: 978000 | #Constraints: 43892
2914.22/2928.52 c #Conflicts: 979000 | #Constraints: 44892
2914.22/2928.52 c #Conflicts: 980000 | #Constraints: 45893
2914.22/2928.52 c #Conflicts: 981000 | #Constraints: 46894
2914.22/2928.52 c INPROCESSING
2914.22/2928.52 c GARBAGE COLLECT
2914.22/2928.52 c #Conflicts: 982000 | #Constraints: 28233
2914.22/2928.52 c #Conflicts: 983000 | #Constraints: 29233
2914.22/2928.52 c #Conflicts: 984000 | #Constraints: 30233
2914.22/2928.52 c #Conflicts: 985000 | #Constraints: 31233
2914.22/2928.52 c #Conflicts: 986000 | #Constraints: 32233
2914.22/2928.52 c #Conflicts: 987000 | #Constraints: 33233
2914.22/2928.52 c #Conflicts: 988000 | #Constraints: 34233
2914.22/2928.52 c #Conflicts: 989000 | #Constraints: 35233
2914.22/2928.52 c #Conflicts: 990000 | #Constraints: 36233
2914.22/2928.52 c #Conflicts: 991000 | #Constraints: 37233
2914.22/2928.52 c #Conflicts: 992000 | #Constraints: 38233
2914.22/2928.52 c #Conflicts: 993000 | #Constraints: 39233
2914.22/2928.52 c #Conflicts: 994000 | #Constraints: 40233
2914.22/2928.52 c #Conflicts: 995000 | #Constraints: 41233
2914.22/2928.52 c #Conflicts: 996000 | #Constraints: 42234
2914.22/2928.52 c #Conflicts: 997000 | #Constraints: 43234
2914.22/2928.52 c #Conflicts: 998000 | #Constraints: 44234
2914.22/2928.52 c #Conflicts: 999000 | #Constraints: 45234
2914.22/2928.52 c #Conflicts: 1000000 | #Constraints: 46234
2914.22/2928.52 c #Conflicts: 1001000 | #Constraints: 47234
2914.22/2928.52 c INPROCESSING
2914.22/2928.52 c GARBAGE COLLECT
2914.22/2928.52 c #Conflicts: 1002000 | #Constraints: 28507
2914.22/2928.52 c #Conflicts: 1003000 | #Constraints: 29507
2914.22/2928.52 c #Conflicts: 1004000 | #Constraints: 30508
2914.22/2928.52 c #Conflicts: 1005000 | #Constraints: 31510
2914.22/2928.52 c #Conflicts: 1006000 | #Constraints: 32519
2914.22/2928.52 c #Conflicts: 1007000 | #Constraints: 33522
2914.22/2928.52 c #Conflicts: 1008000 | #Constraints: 34523
2914.22/2928.52 c #Conflicts: 1009000 | #Constraints: 35524
2914.22/2928.52 c #Conflicts: 1010000 | #Constraints: 36525
2914.22/2928.52 c #Conflicts: 1011000 | #Constraints: 37525
2914.22/2928.52 c #Conflicts: 1012000 | #Constraints: 38525
2914.22/2928.52 c #Conflicts: 1013000 | #Constraints: 39526
2914.22/2928.52 c #Conflicts: 1014000 | #Constraints: 40526
2914.22/2928.52 c #Conflicts: 1015000 | #Constraints: 41526
2914.22/2928.52 c #Conflicts: 1016000 | #Constraints: 42526
2914.22/2928.52 c #Conflicts: 1017000 | #Constraints: 43527
2914.22/2928.52 c #Conflicts: 1018000 | #Constraints: 44528
3042.52/3057.41 c #Conflicts: 1019000 | #Constraints: 45529
3042.52/3057.41 c #Conflicts: 1020000 | #Constraints: 46529
3042.52/3057.41 c #Conflicts: 1021000 | #Constraints: 47530
3042.52/3057.41 c INPROCESSING
3042.52/3057.41 c GARBAGE COLLECT
3042.52/3057.41 c #Conflicts: 1022000 | #Constraints: 28494
3042.52/3057.41 c #Conflicts: 1023000 | #Constraints: 29494
3042.52/3057.41 c #Conflicts: 1024000 | #Constraints: 30494
3042.52/3057.41 c #Conflicts: 1025000 | #Constraints: 31495
3042.52/3057.41 c #Conflicts: 1026000 | #Constraints: 32495
3042.52/3057.41 c #Conflicts: 1027000 | #Constraints: 33495
3042.52/3057.41 c #Conflicts: 1028000 | #Constraints: 34498
3042.52/3057.41 c #Conflicts: 1029000 | #Constraints: 35498
3042.52/3057.41 c #Conflicts: 1030000 | #Constraints: 36498
3042.52/3057.41 c #Conflicts: 1031000 | #Constraints: 37498
3042.52/3057.41 c #Conflicts: 1032000 | #Constraints: 38500
3042.52/3057.41 c #Conflicts: 1033000 | #Constraints: 39501
3042.52/3057.41 c #Conflicts: 1034000 | #Constraints: 40503
3042.52/3057.41 c #Conflicts: 1035000 | #Constraints: 41504
3042.52/3057.41 c #Conflicts: 1036000 | #Constraints: 42507
3042.52/3057.41 c #Conflicts: 1037000 | #Constraints: 43507
3042.52/3057.41 c #Conflicts: 1038000 | #Constraints: 44507
3042.52/3057.41 c #Conflicts: 1039000 | #Constraints: 45508
3042.52/3057.41 c #Conflicts: 1040000 | #Constraints: 46508
3042.52/3057.41 c #Conflicts: 1041000 | #Constraints: 47510
3042.52/3057.41 c INPROCESSING
3042.52/3057.41 c GARBAGE COLLECT
3042.52/3057.41 c #Conflicts: 1042000 | #Constraints: 28390
3042.52/3057.41 c #Conflicts: 1043000 | #Constraints: 29391
3042.52/3057.41 c #Conflicts: 1044000 | #Constraints: 30391
3042.52/3057.41 c #Conflicts: 1045000 | #Constraints: 31391
3042.52/3057.41 c #Conflicts: 1046000 | #Constraints: 32391
3042.52/3057.41 c #Conflicts: 1047000 | #Constraints: 33391
3042.52/3057.41 c #Conflicts: 1048000 | #Constraints: 34391
3042.52/3057.41 c #Conflicts: 1049000 | #Constraints: 35391
3042.52/3057.41 c #Conflicts: 1050000 | #Constraints: 36391
3042.52/3057.41 c #Conflicts: 1051000 | #Constraints: 37391
3042.52/3057.41 c #Conflicts: 1052000 | #Constraints: 38391
3042.52/3057.41 c #Conflicts: 1053000 | #Constraints: 39392
3042.52/3057.41 c #Conflicts: 1054000 | #Constraints: 40393
3042.52/3057.41 c #Conflicts: 1055000 | #Constraints: 41393
3042.52/3057.41 c #Conflicts: 1056000 | #Constraints: 42394
3042.52/3057.41 c #Conflicts: 1057000 | #Constraints: 43395
3042.52/3057.41 c #Conflicts: 1058000 | #Constraints: 44395
3042.52/3057.41 c #Conflicts: 1059000 | #Constraints: 45396
3042.52/3057.41 c #Conflicts: 1060000 | #Constraints: 46396
3042.52/3057.41 c #Conflicts: 1061000 | #Constraints: 47397
3042.52/3057.41 c #Conflicts: 1062000 | #Constraints: 48397
3042.52/3057.41 c INPROCESSING
3042.52/3057.41 c GARBAGE COLLECT
3042.52/3057.41 c #Conflicts: 1063000 | #Constraints: 28777
3042.52/3057.41 c #Conflicts: 1064000 | #Constraints: 29777
3042.52/3057.41 c #Conflicts: 1065000 | #Constraints: 30777
3042.52/3057.41 c #Conflicts: 1066000 | #Constraints: 31777
3042.52/3057.41 c #Conflicts: 1067000 | #Constraints: 32777
3042.52/3057.41 c #Conflicts: 1068000 | #Constraints: 33777
3042.52/3057.41 c #Conflicts: 1069000 | #Constraints: 34777
3042.52/3057.41 c #Conflicts: 1070000 | #Constraints: 35778
3042.52/3057.41 c #Conflicts: 1071000 | #Constraints: 36778
3042.52/3057.41 c #Conflicts: 1072000 | #Constraints: 37778
3042.52/3057.41 c #Conflicts: 1073000 | #Constraints: 38778
3042.52/3057.41 c #Conflicts: 1074000 | #Constraints: 39778
3042.52/3057.41 c #Conflicts: 1075000 | #Constraints: 40778
3042.52/3057.41 c #Conflicts: 1076000 | #Constraints: 41778
3042.52/3057.41 c #Conflicts: 1077000 | #Constraints: 42778
3042.52/3057.41 c #Conflicts: 1078000 | #Constraints: 43779
3042.52/3057.41 c #Conflicts: 1079000 | #Constraints: 44780
3042.52/3057.41 c #Conflicts: 1080000 | #Constraints: 45781
3042.52/3057.41 c #Conflicts: 1081000 | #Constraints: 46782
3042.52/3057.41 c #Conflicts: 1082000 | #Constraints: 47783
3042.52/3057.41 c #Conflicts: 1083000 | #Constraints: 48787
3042.52/3057.41 c INPROCESSING
3042.52/3057.41 c GARBAGE COLLECT
3042.52/3057.41 c #Conflicts: 1084000 | #Constraints: 29033
3042.52/3057.41 c #Conflicts: 1085000 | #Constraints: 30033
3042.52/3057.41 c #Conflicts: 1086000 | #Constraints: 31034
3042.52/3057.41 c #Conflicts: 1087000 | #Constraints: 32036
3042.52/3057.41 c #Conflicts: 1088000 | #Constraints: 33039
3042.52/3057.41 c #Conflicts: 1089000 | #Constraints: 34039
3042.52/3057.41 c #Conflicts: 1090000 | #Constraints: 35039
3042.52/3057.41 c #Conflicts: 1091000 | #Constraints: 36039
3042.52/3057.41 c #Conflicts: 1092000 | #Constraints: 37039
3042.52/3057.41 c #Conflicts: 1093000 | #Constraints: 38039
3042.52/3057.41 c #Conflicts: 1094000 | #Constraints: 39039
3364.88/3381.43 c #Conflicts: 1095000 | #Constraints: 40039
3364.88/3381.43 c #Conflicts: 1096000 | #Constraints: 41039
3364.88/3381.43 c #Conflicts: 1097000 | #Constraints: 42039
3364.88/3381.43 c #Conflicts: 1098000 | #Constraints: 43039
3364.88/3381.43 c #Conflicts: 1099000 | #Constraints: 44039
3364.88/3381.43 c #Conflicts: 1100000 | #Constraints: 45039
3364.88/3381.43 c #Conflicts: 1101000 | #Constraints: 46039
3364.88/3381.43 c #Conflicts: 1102000 | #Constraints: 47039
3364.88/3381.43 c #Conflicts: 1103000 | #Constraints: 48040
3364.88/3381.43 c #Conflicts: 1104000 | #Constraints: 49041
3364.88/3381.43 c INPROCESSING
3364.88/3381.43 c GARBAGE COLLECT
3364.88/3381.43 c #Conflicts: 1105000 | #Constraints: 29199
3364.88/3381.43 c #Conflicts: 1106000 | #Constraints: 30199
3364.88/3381.43 c #Conflicts: 1107000 | #Constraints: 31200
3364.88/3381.43 c #Conflicts: 1108000 | #Constraints: 32201
3364.88/3381.43 c #Conflicts: 1109000 | #Constraints: 33201
3364.88/3381.43 c #Conflicts: 1110000 | #Constraints: 34201
3364.88/3381.43 c #Conflicts: 1111000 | #Constraints: 35201
3364.88/3381.43 c #Conflicts: 1112000 | #Constraints: 36201
3364.88/3381.43 c #Conflicts: 1113000 | #Constraints: 37201
3364.88/3381.43 c #Conflicts: 1114000 | #Constraints: 38201
3364.88/3381.43 c #Conflicts: 1115000 | #Constraints: 39202
3364.88/3381.43 c #Conflicts: 1116000 | #Constraints: 40202
3364.88/3381.43 c #Conflicts: 1117000 | #Constraints: 41202
3364.88/3381.43 c #Conflicts: 1118000 | #Constraints: 42203
3364.88/3381.43 c #Conflicts: 1119000 | #Constraints: 43205
3364.88/3381.43 c #Conflicts: 1120000 | #Constraints: 44205
3364.88/3381.43 c #Conflicts: 1121000 | #Constraints: 45205
3364.88/3381.43 c #Conflicts: 1122000 | #Constraints: 46205
3364.88/3381.43 c #Conflicts: 1123000 | #Constraints: 47205
3364.88/3381.43 c #Conflicts: 1124000 | #Constraints: 48210
3364.88/3381.43 c #Conflicts: 1125000 | #Constraints: 49220
3364.88/3381.43 c INPROCESSING
3364.88/3381.43 c GARBAGE COLLECT
3364.88/3381.43 c #Conflicts: 1126000 | #Constraints: 29263
3364.88/3381.43 c #Conflicts: 1127000 | #Constraints: 30265
3364.88/3381.43 c #Conflicts: 1128000 | #Constraints: 31266
3364.88/3381.43 c #Conflicts: 1129000 | #Constraints: 32267
3364.88/3381.43 c #Conflicts: 1130000 | #Constraints: 33268
3364.88/3381.43 c #Conflicts: 1131000 | #Constraints: 34269
3364.88/3381.43 c #Conflicts: 1132000 | #Constraints: 35270
3364.88/3381.43 c #Conflicts: 1133000 | #Constraints: 36270
3364.88/3381.43 c #Conflicts: 1134000 | #Constraints: 37270
3364.88/3381.43 c #Conflicts: 1135000 | #Constraints: 38270
3364.88/3381.43 c #Conflicts: 1136000 | #Constraints: 39270
3364.88/3381.43 c #Conflicts: 1137000 | #Constraints: 40270
3364.88/3381.43 c #Conflicts: 1138000 | #Constraints: 41270
3364.88/3381.43 c #Conflicts: 1139000 | #Constraints: 42270
3364.88/3381.43 c #Conflicts: 1140000 | #Constraints: 43270
3364.88/3381.43 c #Conflicts: 1141000 | #Constraints: 44270
3364.88/3381.43 c #Conflicts: 1142000 | #Constraints: 45270
3364.88/3381.43 c #Conflicts: 1143000 | #Constraints: 46270
3364.88/3381.43 c #Conflicts: 1144000 | #Constraints: 47270
3364.88/3381.43 c #Conflicts: 1145000 | #Constraints: 48270
3364.88/3381.43 c #Conflicts: 1146000 | #Constraints: 49271
3364.88/3381.43 c INPROCESSING
3364.88/3381.43 c GARBAGE COLLECT
3364.88/3381.43 c #Conflicts: 1147000 | #Constraints: 29147
3364.88/3381.43 c #Conflicts: 1148000 | #Constraints: 30147
3364.88/3381.43 c #Conflicts: 1149000 | #Constraints: 31147
3364.88/3381.43 c #Conflicts: 1150000 | #Constraints: 32147
3364.88/3381.43 c #Conflicts: 1151000 | #Constraints: 33147
3364.88/3381.43 c #Conflicts: 1152000 | #Constraints: 34148
3364.88/3381.43 c #Conflicts: 1153000 | #Constraints: 35151
3364.88/3381.43 c #Conflicts: 1154000 | #Constraints: 36151
3364.88/3381.43 c #Conflicts: 1155000 | #Constraints: 37151
3364.88/3381.43 c #Conflicts: 1156000 | #Constraints: 38151
3364.88/3381.43 c #Conflicts: 1157000 | #Constraints: 39151
3364.88/3381.43 c #Conflicts: 1158000 | #Constraints: 40151
3364.88/3381.43 c #Conflicts: 1159000 | #Constraints: 41151
3364.88/3381.43 c #Conflicts: 1160000 | #Constraints: 42151
3364.88/3381.43 c #Conflicts: 1161000 | #Constraints: 43152
3364.88/3381.43 c #Conflicts: 1162000 | #Constraints: 44153
3364.88/3381.43 c #Conflicts: 1163000 | #Constraints: 45154
3364.88/3381.43 c #Conflicts: 1164000 | #Constraints: 46155
3364.88/3381.43 c #Conflicts: 1165000 | #Constraints: 47155
3364.88/3381.43 c #Conflicts: 1166000 | #Constraints: 48155
3364.88/3381.43 c #Conflicts: 1167000 | #Constraints: 49155
3364.88/3381.43 c #Conflicts: 1168000 | #Constraints: 50155
3364.88/3381.43 c INPROCESSING
3364.88/3381.43 c GARBAGE COLLECT
3364.88/3381.43 c #Conflicts: 1169000 | #Constraints: 29835
3364.88/3381.43 c #Conflicts: 1170000 | #Constraints: 30835
3364.88/3381.43 c #Conflicts: 1171000 | #Constraints: 31835
3526.12/3543.49 c #Conflicts: 1172000 | #Constraints: 32835
3526.12/3543.49 c #Conflicts: 1173000 | #Constraints: 33835
3526.12/3543.49 c #Conflicts: 1174000 | #Constraints: 34835
3526.12/3543.49 c #Conflicts: 1175000 | #Constraints: 35835
3526.12/3543.49 c #Conflicts: 1176000 | #Constraints: 36835
3526.12/3543.49 c #Conflicts: 1177000 | #Constraints: 37835
3526.12/3543.49 c #Conflicts: 1178000 | #Constraints: 38835
3526.12/3543.49 c #Conflicts: 1179000 | #Constraints: 39835
3526.12/3543.49 c #Conflicts: 1180000 | #Constraints: 40835
3526.12/3543.49 c #Conflicts: 1181000 | #Constraints: 41836
3526.12/3543.49 c #Conflicts: 1182000 | #Constraints: 42836
3526.12/3543.49 c #Conflicts: 1183000 | #Constraints: 43836
3526.12/3543.49 c #Conflicts: 1184000 | #Constraints: 44847
3526.12/3543.49 c #Conflicts: 1185000 | #Constraints: 45848
3526.12/3543.49 c #Conflicts: 1186000 | #Constraints: 46848
3526.12/3543.49 c #Conflicts: 1187000 | #Constraints: 47848
3526.12/3543.49 c #Conflicts: 1188000 | #Constraints: 48848
3526.12/3543.49 c #Conflicts: 1189000 | #Constraints: 49848
3526.12/3543.49 c #Conflicts: 1190000 | #Constraints: 50848
3526.12/3543.49 c INPROCESSING
3526.12/3543.49 c GARBAGE COLLECT
3526.12/3543.49 c #Conflicts: 1191000 | #Constraints: 30457
3526.12/3543.49 c #Conflicts: 1192000 | #Constraints: 31457
3526.12/3543.49 c #Conflicts: 1193000 | #Constraints: 32457
3526.12/3543.49 c #Conflicts: 1194000 | #Constraints: 33457
3526.12/3543.49 c #Conflicts: 1195000 | #Constraints: 34457
3526.12/3543.49 c #Conflicts: 1196000 | #Constraints: 35457
3526.12/3543.49 c #Conflicts: 1197000 | #Constraints: 36457
3526.12/3543.49 c #Conflicts: 1198000 | #Constraints: 37458
3526.12/3543.49 c #Conflicts: 1199000 | #Constraints: 38458
3526.12/3543.49 c #Conflicts: 1200000 | #Constraints: 39458
3526.12/3543.49 c #Conflicts: 1201000 | #Constraints: 40458
3526.12/3543.49 c #Conflicts: 1202000 | #Constraints: 41458
3526.12/3543.49 c #Conflicts: 1203000 | #Constraints: 42458
3526.12/3543.49 c #Conflicts: 1204000 | #Constraints: 43458
3526.12/3543.49 c #Conflicts: 1205000 | #Constraints: 44458
3526.12/3543.49 c #Conflicts: 1206000 | #Constraints: 45458
3526.12/3543.49 c #Conflicts: 1207000 | #Constraints: 46458
3526.12/3543.49 c #Conflicts: 1208000 | #Constraints: 47459
3526.12/3543.49 c #Conflicts: 1209000 | #Constraints: 48459
3526.12/3543.49 c #Conflicts: 1210000 | #Constraints: 49459
3526.12/3543.49 c #Conflicts: 1211000 | #Constraints: 50460
3526.12/3543.49 c #Conflicts: 1212000 | #Constraints: 51461
3526.12/3543.49 c INPROCESSING
3526.12/3543.49 c GARBAGE COLLECT
3526.12/3543.49 c #Conflicts: 1213000 | #Constraints: 30817
3526.12/3543.49 c #Conflicts: 1214000 | #Constraints: 31817
3526.12/3543.49 c #Conflicts: 1215000 | #Constraints: 32817
3526.12/3543.49 c #Conflicts: 1216000 | #Constraints: 33817
3526.12/3543.49 c #Conflicts: 1217000 | #Constraints: 34817
3526.12/3543.49 c #Conflicts: 1218000 | #Constraints: 35817
3526.12/3543.49 c #Conflicts: 1219000 | #Constraints: 36817
3526.12/3543.49 c #Conflicts: 1220000 | #Constraints: 37818
3526.12/3543.49 c #Conflicts: 1221000 | #Constraints: 38818
3526.12/3543.49 c #Conflicts: 1222000 | #Constraints: 39818
3526.12/3543.49 c #Conflicts: 1223000 | #Constraints: 40818
3526.12/3543.49 c #Conflicts: 1224000 | #Constraints: 41819
3526.12/3543.49 c #Conflicts: 1225000 | #Constraints: 42819
3526.12/3543.49 c #Conflicts: 1226000 | #Constraints: 43827
3526.12/3543.49 c #Conflicts: 1227000 | #Constraints: 44830
3526.12/3543.49 c #Conflicts: 1228000 | #Constraints: 45836
3526.12/3543.49 c #Conflicts: 1229000 | #Constraints: 46844
3526.12/3543.49 c #Conflicts: 1230000 | #Constraints: 47846
3526.12/3543.49 c #Conflicts: 1231000 | #Constraints: 48847
3526.12/3543.49 c #Conflicts: 1232000 | #Constraints: 49847
3526.12/3543.49 c #Conflicts: 1233000 | #Constraints: 50847
3526.12/3543.49 c #Conflicts: 1234000 | #Constraints: 51847
3526.12/3543.49 c INPROCESSING
3526.12/3543.49 c GARBAGE COLLECT
3526.12/3543.49 c #Conflicts: 1235000 | #Constraints: 30622
3526.12/3543.49 c #Conflicts: 1236000 | #Constraints: 31622
3526.12/3543.49 c #Conflicts: 1237000 | #Constraints: 32622
3526.12/3543.49 c #Conflicts: 1238000 | #Constraints: 33622
3526.12/3543.49 c #Conflicts: 1239000 | #Constraints: 34622
3526.12/3543.49 c #Conflicts: 1240000 | #Constraints: 35622
3526.12/3543.49 c #Conflicts: 1241000 | #Constraints: 36622
3526.12/3543.49 c #Conflicts: 1242000 | #Constraints: 37622
3526.12/3543.49 c #Conflicts: 1243000 | #Constraints: 38622
3526.12/3543.49 c #Conflicts: 1244000 | #Constraints: 39622
3526.12/3543.49 c #Conflicts: 1245000 | #Constraints: 40622
3526.12/3543.49 c #Conflicts: 1246000 | #Constraints: 41622
3526.12/3543.49 c #Conflicts: 1247000 | #Constraints: 42622
3526.12/3543.49 c #Conflicts: 1248000 | #Constraints: 43622
3600.02/3617.84 c #Conflicts: 1249000 | #Constraints: 44622
3600.02/3617.84 c #Conflicts: 1250000 | #Constraints: 45622
3600.02/3617.84 c #Conflicts: 1251000 | #Constraints: 46622
3600.02/3617.84 c #Conflicts: 1252000 | #Constraints: 47622
3600.02/3617.84 c #Conflicts: 1253000 | #Constraints: 48622
3600.02/3617.84 c #Conflicts: 1254000 | #Constraints: 49622
3600.02/3617.84 c #Conflicts: 1255000 | #Constraints: 50623
3600.02/3617.84 c #Conflicts: 1256000 | #Constraints: 51623
3600.02/3617.84 c INPROCESSING
3600.02/3617.84 c GARBAGE COLLECT
3600.02/3617.84 c #Conflicts: 1257000 | #Constraints: 30410
3600.02/3617.84 c #Conflicts: 1258000 | #Constraints: 31410
3600.02/3617.84 c #Conflicts: 1259000 | #Constraints: 32410
3600.02/3617.84 c #Conflicts: 1260000 | #Constraints: 33410
3600.02/3617.84 c #Conflicts: 1261000 | #Constraints: 34410
3600.02/3617.84 c #Conflicts: 1262000 | #Constraints: 35410
3600.02/3617.84 c #Conflicts: 1263000 | #Constraints: 36410
3600.02/3617.84 c #Conflicts: 1264000 | #Constraints: 37410
3600.02/3617.84 c #Conflicts: 1265000 | #Constraints: 38410
3600.02/3617.84 c #Conflicts: 1266000 | #Constraints: 39410
3600.02/3617.84 c #Conflicts: 1267000 | #Constraints: 40410
3600.02/3617.84 c #Conflicts: 1268000 | #Constraints: 41410
3600.02/3617.84 c #Conflicts: 1269000 | #Constraints: 42410
3600.02/3617.84 c #Conflicts: 1270000 | #Constraints: 43410
3600.02/3617.84 c #Conflicts: 1271000 | #Constraints: 44410
3600.02/3617.84 c #Conflicts: 1272000 | #Constraints: 45410
3600.02/3617.84 c #Conflicts: 1273000 | #Constraints: 46410
3600.02/3617.84 c #Conflicts: 1274000 | #Constraints: 47410
3600.02/3617.84 c #Conflicts: 1275000 | #Constraints: 48410
3600.02/3617.84 c #Conflicts: 1276000 | #Constraints: 49411
3600.02/3617.84 c #Conflicts: 1277000 | #Constraints: 50412
3600.02/3617.84 c #Conflicts: 1278000 | #Constraints: 51412
3600.02/3617.84 c #Conflicts: 1279000 | #Constraints: 52413
3600.02/3617.84 c INPROCESSING
3600.02/3617.84 c GARBAGE COLLECT
3600.02/3617.84 c Disabling crashed LP
3600.02/3617.84 c cpu time 3476.9 s
3600.02/3617.84 c deterministic time 161724959583 1.62e+11
3600.02/3617.84 c optimization time 2.38796 s
3600.02/3617.84 c total solve time 3474.2 s
3600.02/3617.84 c core-guided solve time 1910.32 s
3600.02/3617.84 c propagation time 1805.88 s
3600.02/3617.84 c conflict analysis time 212.07 s
3600.02/3617.84 c propagations 463621871
3600.02/3617.84 c resolve steps 5721767
3600.02/3617.84 c decisions 143123419
3600.02/3617.84 c conflicts 1279200
3600.02/3617.84 c restarts 2455
3600.02/3617.84 c inprocessing phases 104
3600.02/3617.84 c garbage collections 103 ,( 99.04 )
3600.02/3617.84 c input clauses 0 ,( 0.00 )
3600.02/3617.84 c input cardinalities 0 ,( 0.00 )
3600.02/3617.84 c input general constraints 5184 ,( 100.00 )
3600.02/3617.84 c input average constraint length 64.33
3600.02/3617.84 c input average constraint degree 20629994197.79
3600.02/3617.84 c learned clauses 38816 ,( 3.03 )
3600.02/3617.84 c learned cardinalities 111 ,( 0.01 )
3600.02/3617.84 c learned general constraints 1240800 ,( 96.96 )
3600.02/3617.84 c learned average constraint length 249.20
3600.02/3617.84 c learned average constraint degree 292777811.06
3600.02/3617.84 c watched CF 32, 64, 128, Arb: 3130 , 0 , 0 , 0
3600.02/3617.84 c counting CF 32, 64, 128, Arb: 1242838 , 17 , 0 , 0
3600.02/3617.84 c watched constraints 3130 ,( 0.25 )
3600.02/3617.84 c counting constraints 1242854 ,( 99.75 )
3600.02/3617.84 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 19183629 , 31905 , 17087631116 ,( 696738 , 17086934378 )
3600.02/3617.84 c gcd simplifications 643637
3600.02/3617.84 c detected cardinalities 76
3600.02/3617.84 c weakened non-implied lits 137429956
3600.02/3617.84 c weakened non-implying lits 4447589
3600.02/3617.84 c original variables 107808
3600.02/3617.84 c clausal propagations 14284788
3600.02/3617.84 c cardinality propagations 4727
3600.02/3617.84 c watched propagations 22881
3600.02/3617.84 c counting propagations 444814231
3600.02/3617.84 c watch lookups 21931595208
3600.02/3617.84 c watch backjump lookups 0
3600.02/3617.84 c watch checks 21614721
3600.02/3617.84 c propagation checks 137397495136
3600.02/3617.84 c constraint additions 1157025099
3600.02/3617.84 c trail pops 607980440
3600.02/3617.84 c formula constraints 5184
3600.02/3617.84 c learned constraints 1279061
3600.02/3617.84 c bound constraints 0
3600.02/3617.84 c core-guided constraints 0
3600.02/3617.84 c encountered formula constraints 2689684
3600.02/3617.84 c encountered learned constraints 4179551
3600.02/3617.84 c encountered bound constraints 0
3600.02/3617.84 c encountered core-guided constraints 0
3600.02/3617.84 c LP total time 2210.86 s
3600.02/3617.84 c LP solve time 2202.03 s
3600.02/3617.84 c LP constraints added 5926
3600.02/3617.84 c LP constraints removed 500
3600.02/3617.84 c LP pivots internal 1280519
3600.02/3617.84 c LP pivots root 1223169
3600.02/3617.84 c LP calls 526
3600.02/3617.84 c LP optimalities 11
3600.02/3617.84 c LP no pivot count 0
3600.02/3617.84 c LP infeasibilities 456
3600.02/3617.84 c LP valid Farkas constraints 394
3600.02/3617.84 c LP learned Farkas constraints 139
3600.02/3617.84 c LP basis resets 88
3600.02/3617.84 c LP cycling count 5
3600.02/3617.84 c LP singular count 47
3600.02/3617.84 c LP no primal count 0
3600.02/3617.84 c LP no farkas count 36
3600.02/3617.84 c LP other issue count 0
3600.02/3617.84 c LP Gomory cuts 133
3600.02/3617.84 c LP learned cuts 609
3600.02/3617.84 c LP deleted cuts 500
3600.02/3617.84 c LP encountered Gomory constraints 9
3600.02/3617.84 c LP encountered Farkas constraints 127973
3600.02/3617.84 c LP encountered learned Farkas constraints 3611
3600.02/3617.84 c CG auxiliary variables introduced 0
3600.02/3617.84 c CG solutions found 0
3600.02/3617.84 c CG cores constructed 0
3600.02/3617.84 c CG core cardinality constraints returned 0
3600.02/3617.84 c CG unit cores 0
3600.02/3617.84 c CG single cores 0
3600.02/3617.84 c CG blocks removed during cardinality reduction 0
3600.02/3617.84 c CG first core best 0
3600.02/3617.84 c CG decision core best 0
3600.02/3617.84 c CG core reduction tie 0
3600.02/3617.84 c CG core degree average 0.00
3600.02/3617.84 c CG core slack average 0.00
3600.02/3617.84 c CG core upper bound improvements 0
3600.02/3617.84 c STR number of successful calls 0
3600.02/3617.84 c STR number of unsuccessful calls 0
3600.02/3617.84 c STR number of inconclusive calls 0
3600.02/3617.84 c STR number of successful attempts 0
3600.02/3617.84 c STR number of unsuccessful attempts 0
3600.02/3617.84 c STR number of inconclusive attempts 0
3600.02/3617.84 c STR average degree increase per successful call inf
3600.02/3617.84 c STR average degree increase per successful attempt inf
3600.02/3617.84 c STR total number of conflicts for successful attempts 0
3600.02/3617.84 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3617.84 c STR total number of conflicts for inconclusive attempts 0
3600.02/3617.84 c STR average number of conflicts per successful attempt inf
3600.02/3617.84 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3617.84 c STR average number of conflicts per inconclusive attempt inf
3600.02/3617.84 c AVG.sumWPerc 96.95
3600.02/3617.84 c bigint constraints 17
3600.02/3617.84 s UNKNOWN
3600.02/3617.84 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: 63665 MiB (62134 MiB free)
memory of node 1: 64507 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485323-1751304981/watcher-4485323-1751304981 -o /tmp/evaluation-result-4485323-1751304981/solver-4485323-1751304981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751301353-38983 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4485323-1751304981.opb PROOFDIR/proof-4485323-1751304981
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39454, runsolver pid=39451
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.56 4.37 4.20 5/267 39456
/proc/meminfo: memFree=128734760/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39456] ppid=39454 vsize=80744 memory=65060 CPUtime=0.09 cores=4,6
/proc/39456/stat : 39456 (pbsuma) R 39454 39454 38972 0 -1 4194304 12152 0 0 0 7 2 0 0 20 0 1 0 46178028 82681856 16265 18446744073709551615 4210688 4653049 140724249285936 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 5083136 140724249295075 140724249295410 140724249295410 140724249300975 0
/proc/39456/statm: 20186 16265 1024 108 0 17594 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84936 KiB
Current children cumulated memory: 68004 KiB
[startup+0.205741 s]*
/proc/loadavg: 4.56 4.37 4.20 5/267 39456
/proc/meminfo: memFree=128678244/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39456] ppid=39454 vsize=148600 memory=107960 CPUtime=0.19 cores=4,6
/proc/39456/stat : 39456 (pbsuma) R 39454 39454 38972 0 -1 4194304 22366 0 0 0 15 4 0 0 20 0 1 0 46178028 152166400 26990 18446744073709551615 4210688 4653049 140724249285936 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 5083136 140724249295075 140724249295410 140724249295410 140724249300975 0
/proc/39456/statm: 37150 26990 1056 108 0 34558 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 110904 KiB
[startup+0.305693 s]*
/proc/loadavg: 4.56 4.37 4.20 5/267 39457
/proc/meminfo: memFree=128646328/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=84416 memory=36076 CPUtime=0.03 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 6881 0 0 0 2 1 0 0 20 0 1 0 46178054 86441984 9019 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 21104 9019 2080 1147 0 8531 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 88608 KiB
Current children cumulated memory: 39020 KiB
[startup+0.700189 s]
/proc/loadavg: 4.56 4.37 4.20 5/267 39457
/proc/meminfo: memFree=128637508/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=138348 memory=93932 CPUtime=0.41 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 19861 0 0 0 37 4 0 0 20 0 1 0 46178054 141668352 23483 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 34587 23483 2368 1147 0 22014 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 142540 KiB
Current children cumulated memory: 96876 KiB
[startup+1.50015 s]
/proc/loadavg: 4.56 4.37 4.20 5/267 39457
/proc/meminfo: memFree=128621464/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=138348 memory=93932 CPUtime=1.21 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 19865 0 0 0 117 4 0 0 20 0 1 0 46178054 141668352 23483 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 34587 23483 2368 1147 0 22014 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 142540 KiB
Current children cumulated memory: 96876 KiB
[startup+3.10538 s]
/proc/loadavg: 4.52 4.36 4.20 5/267 39457
/proc/meminfo: memFree=128520176/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=188752 memory=142332 CPUtime=2.81 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 29379 0 0 0 275 6 0 0 20 0 1 0 46178054 193282048 35583 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 47188 35583 2400 1147 0 34615 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 192944 KiB
Current children cumulated memory: 145276 KiB
[startup+6.30017 s]
/proc/loadavg: 4.52 4.36 4.20 5/267 39457
/proc/meminfo: memFree=128466168/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=197952 memory=151420 CPUtime=6 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 31619 0 0 0 555 45 0 0 20 0 1 0 46178054 202702848 37855 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 49488 37855 2432 1147 0 36915 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 202144 KiB
Current children cumulated memory: 154364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.47 4.36 4.20 5/272 39478
/proc/meminfo: memFree=128549648/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=200672 memory=151932 CPUtime=12.38 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 31786 0 0 0 1148 90 0 0 20 0 1 0 46178054 205488128 37983 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 50168 37983 2432 1147 0 37595 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 204864 KiB
Current children cumulated memory: 154876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.37 4.34 4.19 5/272 39478
/proc/meminfo: memFree=128340932/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=200816 memory=152316 CPUtime=25.14 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 31887 0 0 0 2402 112 0 0 20 0 1 0 46178054 205635584 38079 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 50204 38079 2432 1147 0 37631 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 205008 KiB
Current children cumulated memory: 155260 KiB
[startup+51.1055 s]
/proc/loadavg: 4.38 4.34 4.20 5/273 39480
/proc/meminfo: memFree=127907888/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=208800 memory=160892 CPUtime=50.64 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 33930 0 0 0 4803 261 0 0 20 0 1 0 46178054 213811200 40223 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 52200 40223 2528 1147 0 39627 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 212992 KiB
Current children cumulated memory: 163836 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.31 4.19 5/275 39484
/proc/meminfo: memFree=125398644/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=224016 memory=177148 CPUtime=101.38 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 38006 0 0 0 9598 540 0 0 20 0 1 0 46178054 229392384 44287 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 56004 44287 2528 1147 0 43431 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 228208 KiB
Current children cumulated memory: 180092 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.26 4.18 5/275 39486
/proc/meminfo: memFree=122664708/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=246308 memory=198876 CPUtime=161.22 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 42915 0 0 0 15335 787 0 0 20 0 1 0 46178054 252219392 49719 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 61577 49719 2528 1147 0 49004 0
Current children cumulated CPU time: 161.46 s
Current children cumulated vsize: 250500 KiB
Current children cumulated memory: 201820 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.23 4.17 5/274 39494
/proc/meminfo: memFree=118697280/131250000 swapFree=33010684/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=317980 memory=265032 CPUtime=221 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 50279 0 0 0 20879 1221 0 0 20 0 1 0 46178054 325611520 66258 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 79495 66258 2528 1147 0 66922 0
################
# More data... #
################
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1547552 memory=1395604 CPUtime=3086.8 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 242320 0 0 0 297971 10709 0 0 20 0 1 0 46178054 1584693248 348901 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 386888 348901 2560 1147 0 374315 0
Current children cumulated CPU time: 3087.04 s
Current children cumulated vsize: 1551744 KiB
Current children cumulated memory: 1398548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/276 39650
/proc/meminfo: memFree=554760/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1596668 memory=1436776 CPUtime=3146.44 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 248527 0 0 0 303847 10797 0 0 20 0 1 0 46178054 1634988032 359194 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 399167 359194 2560 1147 0 386594 0
Current children cumulated CPU time: 3146.68 s
Current children cumulated vsize: 1600860 KiB
Current children cumulated memory: 1439720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/276 39657
/proc/meminfo: memFree=606712/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1620404 memory=1460296 CPUtime=3206.19 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 250827 0 0 0 309656 10963 0 0 20 0 1 0 46178054 1659293696 365074 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 405101 365074 2560 1147 0 392528 0
Current children cumulated CPU time: 3206.43 s
Current children cumulated vsize: 1624596 KiB
Current children cumulated memory: 1463240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/276 39661
/proc/meminfo: memFree=472372/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1620404 memory=1460296 CPUtime=3265.93 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 250953 0 0 0 315564 11029 0 0 20 0 1 0 46178054 1659293696 365074 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 405101 365074 2560 1147 0 392528 0
Current children cumulated CPU time: 3266.17 s
Current children cumulated vsize: 1624596 KiB
Current children cumulated memory: 1463240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/274 39663
/proc/meminfo: memFree=704904/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1620404 memory=1460296 CPUtime=3325.73 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 251097 0 0 0 321339 11234 0 0 20 0 1 0 46178054 1659293696 365074 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 405101 365074 2560 1147 0 392528 0
Current children cumulated CPU time: 3325.97 s
Current children cumulated vsize: 1624596 KiB
Current children cumulated memory: 1463240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/274 39665
/proc/meminfo: memFree=538168/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1620660 memory=1460808 CPUtime=3385.46 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 251206 0 0 0 327115 11431 0 0 20 0 1 0 46178054 1659555840 365202 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 405165 365202 2560 1147 0 392592 0
Current children cumulated CPU time: 3385.7 s
Current children cumulated vsize: 1624852 KiB
Current children cumulated memory: 1463752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 8/273 39667
/proc/meminfo: memFree=654140/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1632188 memory=1472412 CPUtime=3445.19 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 252585 0 0 0 332798 11721 0 0 20 0 1 0 46178054 1671360512 368103 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 408047 368103 2560 1147 0 395474 0
Current children cumulated CPU time: 3445.43 s
Current children cumulated vsize: 1636380 KiB
Current children cumulated memory: 1475356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/273 39669
/proc/meminfo: memFree=609656/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1632188 memory=1472540 CPUtime=3504.92 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 252676 0 0 0 338686 11806 0 0 20 0 1 0 46178054 1671360512 368135 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 408047 368135 2560 1147 0 395474 0
Current children cumulated CPU time: 3505.16 s
Current children cumulated vsize: 1636380 KiB
Current children cumulated memory: 1475484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/271 39671
/proc/meminfo: memFree=552848/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1632188 memory=1472668 CPUtime=3564.63 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 252905 0 0 0 344367 12096 0 0 20 0 1 0 46178054 1671360512 368167 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 408047 368167 2560 1147 0 395474 0
Current children cumulated CPU time: 3564.87 s
Current children cumulated vsize: 1636380 KiB
Current children cumulated memory: 1475612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.8 s]
/proc/loadavg: 4.23 4.14 4.15 4/259 39725
/proc/meminfo: memFree=24675160/131250000 swapFree=33010416/33010684
[pid=39454] ppid=39451 vsize=4192 memory=2944 CPUtime=0.24 cores=4,6
/proc/39454/stat : 39454 (run-opt-ls-log.) S 39451 39454 38972 0 -1 4194304 241 25208 0 0 0 0 19 5 20 0 1 0 46178027 4292608 736 18446744073709551615 94068919463936 94068920358469 140731319602176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94068920597520 94068920645264 94068952952832 140731319605531 140731319605729 140731319605729 140731319611331 0
/proc/39454/statm: 1048 736 672 219 0 110 0
[pid=39457] ppid=39454 vsize=1632188 memory=1472668 CPUtime=3599.78 cores=4,6
/proc/39457/stat : 39457 (roundingsat) R 39454 39454 38972 0 -1 4194304 252913 0 0 0 347689 12289 0 0 20 0 1 0 46178054 1671360512 368167 18446744073709551615 4227072 8923433 140722873331840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27873280 140722873338102 140722873338408 140722873338408 140722873343978 0
/proc/39457/statm: 408047 368167 2560 1147 0 395474 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1636380 KiB
Current children cumulated memory: 1475612 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3617.8 s]
# the end of solver process 39454 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.199322 s, system=0.055056 s
Sleeping 2 seconds
[startup+3618.02 s]
# the end of solver process 39457 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3477.13 s, system=123 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3618.01 s]*
/proc/loadavg: 4.29 4.15 4.16 3/259 39735
/proc/meminfo: memFree=40601900/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.254378 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3618.02
CPU time (s): 3600.13
CPU user time (s): 3477.13
CPU system time (s): 123
CPU usage (%): 99.5055
Max. virtual memory (cumulated for all children) (KiB): 1636380
Max. memory (cumulated for all children) (KiB): 1475612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3477.13
system time used= 123
maximum resident set size= 1472796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278383
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 15160816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3824
involuntary context switches= 7959
# summary of solver processes directly reported to runsolver:
# pid: 39454,39457
# total CPU time (s): 3600.13
# total CPU user time (s): 3477.13
# total CPU system time (s): 123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0032 second user time and 10.6783 second system time
The end
Begin job on nodeC027 at 2025-06-30 19:36:21
IDJOB=4485323
IDBENCH=146784
IDSOLVER=3356
FILE ID=nodeC027/4485323-1751304981
RUNJOBID= nodeC027-1751301353-38983
SLURM_JOB_ID= 9594276
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485323-1751304981/watcher-4485323-1751304981 -o /tmp/evaluation-result-4485323-1751304981/solver-4485323-1751304981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751301353-38983 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4485323-1751304981.opb PROOFDIR/proof-4485323-1751304981
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=522993462
nodeC027 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.352
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.29
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.619
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.642
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.29
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 : 3591.093
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
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.29
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.639
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.29
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 : 3595.540
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.29
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 : 3700.000
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128814080 kB
MemAvailable: 129562040 kB
Buffers: 3280 kB
Cached: 1550348 kB
SwapCached: 0 kB
Active: 522124 kB
Inactive: 1293708 kB
Active(anon): 280312 kB
Inactive(anon): 0 kB
Active(file): 241812 kB
Inactive(file): 1293708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 78232 kB
Writeback: 0 kB
AnonPages: 265372 kB
Mapped: 112756 kB
Shmem: 18068 kB
KReclaimable: 102960 kB
Slab: 191516 kB
SReclaimable: 102960 kB
SUnreclaim: 88556 kB
KernelStack: 4272 kB
PageTables: 3516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 610980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC027 at 2025-06-30 20:36:40