0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 2970 #constraints 5940
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.021018
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.022253
107.68/108.01 c #Conflicts: 1000 | #Constraints: 6940
107.68/108.01 c #Conflicts: 2000 | #Constraints: 7940
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 3000 | #Constraints: 8025
107.68/108.01 c #Conflicts: 4000 | #Constraints: 9025
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 5000 | #Constraints: 8454
107.68/108.01 c #Conflicts: 6000 | #Constraints: 9454
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 7000 | #Constraints: 8469
107.68/108.01 c #Conflicts: 8000 | #Constraints: 9469
107.68/108.01 c #Conflicts: 9000 | #Constraints: 10469
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 10000 | #Constraints: 9175
107.68/108.01 c #Conflicts: 11000 | #Constraints: 10175
107.68/108.01 c #Conflicts: 12000 | #Constraints: 11175
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 13000 | #Constraints: 9628
107.68/108.01 c #Conflicts: 14000 | #Constraints: 10628
107.68/108.01 c #Conflicts: 15000 | #Constraints: 11628
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 16000 | #Constraints: 9867
107.68/108.01 c #Conflicts: 17000 | #Constraints: 10867
107.68/108.01 c #Conflicts: 18000 | #Constraints: 11867
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 19000 | #Constraints: 9897
107.68/108.01 c #Conflicts: 20000 | #Constraints: 10897
107.68/108.01 c #Conflicts: 21000 | #Constraints: 11897
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 22000 | #Constraints: 9710
107.68/108.01 c #Conflicts: 23000 | #Constraints: 10710
107.68/108.01 c #Conflicts: 24000 | #Constraints: 11710
107.68/108.01 c #Conflicts: 25000 | #Constraints: 12710
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 26000 | #Constraints: 10319
107.68/108.01 c #Conflicts: 27000 | #Constraints: 11319
107.68/108.01 c #Conflicts: 28000 | #Constraints: 12319
107.68/108.01 c #Conflicts: 29000 | #Constraints: 13319
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 30000 | #Constraints: 10716
107.68/108.01 c #Conflicts: 31000 | #Constraints: 11716
107.68/108.01 c #Conflicts: 32000 | #Constraints: 12716
107.68/108.01 c #Conflicts: 33000 | #Constraints: 13716
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 34000 | #Constraints: 10894
107.68/108.01 c #Conflicts: 35000 | #Constraints: 11894
107.68/108.01 c #Conflicts: 36000 | #Constraints: 12894
107.68/108.01 c #Conflicts: 37000 | #Constraints: 13894
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 38000 | #Constraints: 10883
107.68/108.01 c #Conflicts: 39000 | #Constraints: 11883
107.68/108.01 c #Conflicts: 40000 | #Constraints: 12883
107.68/108.01 c #Conflicts: 41000 | #Constraints: 13883
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 42000 | #Constraints: 10678
107.68/108.01 c #Conflicts: 43000 | #Constraints: 11678
107.68/108.01 c #Conflicts: 44000 | #Constraints: 12678
107.68/108.01 c #Conflicts: 45000 | #Constraints: 13678
107.68/108.01 c #Conflicts: 46000 | #Constraints: 14678
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 47000 | #Constraints: 11281
107.68/108.01 c #Conflicts: 48000 | #Constraints: 12281
107.68/108.01 c #Conflicts: 49000 | #Constraints: 13281
107.68/108.01 c #Conflicts: 50000 | #Constraints: 14281
107.68/108.01 c #Conflicts: 51000 | #Constraints: 15281
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 52000 | #Constraints: 11662
107.68/108.01 c #Conflicts: 53000 | #Constraints: 12662
107.68/108.01 c #Conflicts: 54000 | #Constraints: 13662
107.68/108.01 c #Conflicts: 55000 | #Constraints: 14662
107.68/108.01 c #Conflicts: 56000 | #Constraints: 15662
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 57000 | #Constraints: 11864
107.68/108.01 c #Conflicts: 58000 | #Constraints: 12864
107.68/108.01 c #Conflicts: 59000 | #Constraints: 13864
107.68/108.01 c #Conflicts: 60000 | #Constraints: 14864
107.68/108.01 c #Conflicts: 61000 | #Constraints: 15864
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 62000 | #Constraints: 11848
107.68/108.01 c #Conflicts: 63000 | #Constraints: 12848
107.68/108.01 c #Conflicts: 64000 | #Constraints: 13848
107.68/108.01 c #Conflicts: 65000 | #Constraints: 14848
107.68/108.01 c #Conflicts: 66000 | #Constraints: 15848
107.68/108.01 c INPROCESSING
107.68/108.01 c GARBAGE COLLECT
107.68/108.01 c #Conflicts: 67000 | #Constraints: 11641
107.68/108.01 c #Conflicts: 68000 | #Constraints: 12641
305.36/306.25 c #Conflicts: 69000 | #Constraints: 13641
305.36/306.25 c #Conflicts: 70000 | #Constraints: 14641
305.36/306.25 c #Conflicts: 71000 | #Constraints: 15641
305.36/306.25 c #Conflicts: 72000 | #Constraints: 16641
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 73000 | #Constraints: 12273
305.36/306.25 c #Conflicts: 74000 | #Constraints: 13273
305.36/306.25 c #Conflicts: 75000 | #Constraints: 14273
305.36/306.25 c #Conflicts: 76000 | #Constraints: 15273
305.36/306.25 c #Conflicts: 77000 | #Constraints: 16273
305.36/306.25 c #Conflicts: 78000 | #Constraints: 17273
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 79000 | #Constraints: 12662
305.36/306.25 c #Conflicts: 80000 | #Constraints: 13662
305.36/306.25 c #Conflicts: 81000 | #Constraints: 14662
305.36/306.25 c #Conflicts: 82000 | #Constraints: 15662
305.36/306.25 c #Conflicts: 83000 | #Constraints: 16662
305.36/306.25 c #Conflicts: 84000 | #Constraints: 17662
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 85000 | #Constraints: 12829
305.36/306.25 c #Conflicts: 86000 | #Constraints: 13829
305.36/306.25 c #Conflicts: 87000 | #Constraints: 14829
305.36/306.25 c #Conflicts: 88000 | #Constraints: 15829
305.36/306.25 c #Conflicts: 89000 | #Constraints: 16829
305.36/306.25 c #Conflicts: 90000 | #Constraints: 17829
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 91000 | #Constraints: 12823
305.36/306.25 c #Conflicts: 92000 | #Constraints: 13823
305.36/306.25 c #Conflicts: 93000 | #Constraints: 14823
305.36/306.25 c #Conflicts: 94000 | #Constraints: 15823
305.36/306.25 c #Conflicts: 95000 | #Constraints: 16823
305.36/306.25 c #Conflicts: 96000 | #Constraints: 17823
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 97000 | #Constraints: 12616
305.36/306.25 c #Conflicts: 98000 | #Constraints: 13616
305.36/306.25 c #Conflicts: 99000 | #Constraints: 14616
305.36/306.25 c #Conflicts: 100000 | #Constraints: 15616
305.36/306.25 c #Conflicts: 101000 | #Constraints: 16616
305.36/306.25 c #Conflicts: 102000 | #Constraints: 17616
305.36/306.25 c #Conflicts: 103000 | #Constraints: 18616
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 104000 | #Constraints: 13220
305.36/306.25 c #Conflicts: 105000 | #Constraints: 14220
305.36/306.25 c #Conflicts: 106000 | #Constraints: 15220
305.36/306.25 c #Conflicts: 107000 | #Constraints: 16220
305.36/306.25 c #Conflicts: 108000 | #Constraints: 17220
305.36/306.25 c #Conflicts: 109000 | #Constraints: 18220
305.36/306.25 c #Conflicts: 110000 | #Constraints: 19220
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 111000 | #Constraints: 13626
305.36/306.25 c #Conflicts: 112000 | #Constraints: 14626
305.36/306.25 c #Conflicts: 113000 | #Constraints: 15626
305.36/306.25 c #Conflicts: 114000 | #Constraints: 16626
305.36/306.25 c #Conflicts: 115000 | #Constraints: 17626
305.36/306.25 c #Conflicts: 116000 | #Constraints: 18626
305.36/306.25 c #Conflicts: 117000 | #Constraints: 19626
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 118000 | #Constraints: 13830
305.36/306.25 c #Conflicts: 119000 | #Constraints: 14830
305.36/306.25 c #Conflicts: 120000 | #Constraints: 15830
305.36/306.25 c #Conflicts: 121000 | #Constraints: 16830
305.36/306.25 c #Conflicts: 122000 | #Constraints: 17830
305.36/306.25 c #Conflicts: 123000 | #Constraints: 18830
305.36/306.25 c #Conflicts: 124000 | #Constraints: 19830
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 125000 | #Constraints: 13820
305.36/306.25 c #Conflicts: 126000 | #Constraints: 14820
305.36/306.25 c #Conflicts: 127000 | #Constraints: 15820
305.36/306.25 c #Conflicts: 128000 | #Constraints: 16820
305.36/306.25 c #Conflicts: 129000 | #Constraints: 17820
305.36/306.25 c #Conflicts: 130000 | #Constraints: 18820
305.36/306.25 c #Conflicts: 131000 | #Constraints: 19820
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 132000 | #Constraints: 13612
305.36/306.25 c #Conflicts: 133000 | #Constraints: 14612
305.36/306.25 c #Conflicts: 134000 | #Constraints: 15612
305.36/306.25 c #Conflicts: 135000 | #Constraints: 16612
305.36/306.25 c #Conflicts: 136000 | #Constraints: 17612
305.36/306.25 c #Conflicts: 137000 | #Constraints: 18612
305.36/306.25 c #Conflicts: 138000 | #Constraints: 19612
305.36/306.25 c #Conflicts: 139000 | #Constraints: 20612
305.36/306.25 c INPROCESSING
305.36/306.25 c GARBAGE COLLECT
305.36/306.25 c #Conflicts: 140000 | #Constraints: 14261
557.41/559.07 c #Conflicts: 141000 | #Constraints: 15261
557.41/559.07 c #Conflicts: 142000 | #Constraints: 16261
557.41/559.07 c #Conflicts: 143000 | #Constraints: 17261
557.41/559.07 c #Conflicts: 144000 | #Constraints: 18261
557.41/559.07 c #Conflicts: 145000 | #Constraints: 19261
557.41/559.07 c #Conflicts: 146000 | #Constraints: 20261
557.41/559.07 c #Conflicts: 147000 | #Constraints: 21261
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 148000 | #Constraints: 14635
557.41/559.07 c #Conflicts: 149000 | #Constraints: 15635
557.41/559.07 c #Conflicts: 150000 | #Constraints: 16635
557.41/559.07 c #Conflicts: 151000 | #Constraints: 17635
557.41/559.07 c #Conflicts: 152000 | #Constraints: 18635
557.41/559.07 c #Conflicts: 153000 | #Constraints: 19635
557.41/559.07 c #Conflicts: 154000 | #Constraints: 20635
557.41/559.07 c #Conflicts: 155000 | #Constraints: 21635
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 156000 | #Constraints: 14855
557.41/559.07 c #Conflicts: 157000 | #Constraints: 15855
557.41/559.07 c #Conflicts: 158000 | #Constraints: 16855
557.41/559.07 c #Conflicts: 159000 | #Constraints: 17855
557.41/559.07 c #Conflicts: 160000 | #Constraints: 18855
557.41/559.07 c #Conflicts: 161000 | #Constraints: 19855
557.41/559.07 c #Conflicts: 162000 | #Constraints: 20855
557.41/559.07 c #Conflicts: 163000 | #Constraints: 21855
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 164000 | #Constraints: 14828
557.41/559.07 c #Conflicts: 165000 | #Constraints: 15828
557.41/559.07 c #Conflicts: 166000 | #Constraints: 16828
557.41/559.07 c #Conflicts: 167000 | #Constraints: 17828
557.41/559.07 c #Conflicts: 168000 | #Constraints: 18828
557.41/559.07 c #Conflicts: 169000 | #Constraints: 19828
557.41/559.07 c #Conflicts: 170000 | #Constraints: 20828
557.41/559.07 c #Conflicts: 171000 | #Constraints: 21828
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 172000 | #Constraints: 14621
557.41/559.07 c #Conflicts: 173000 | #Constraints: 15621
557.41/559.07 c #Conflicts: 174000 | #Constraints: 16621
557.41/559.07 c #Conflicts: 175000 | #Constraints: 17621
557.41/559.07 c #Conflicts: 176000 | #Constraints: 18621
557.41/559.07 c #Conflicts: 177000 | #Constraints: 19621
557.41/559.07 c #Conflicts: 178000 | #Constraints: 20621
557.41/559.07 c #Conflicts: 179000 | #Constraints: 21621
557.41/559.07 c #Conflicts: 180000 | #Constraints: 22621
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 181000 | #Constraints: 15217
557.41/559.07 c #Conflicts: 182000 | #Constraints: 16217
557.41/559.07 c #Conflicts: 183000 | #Constraints: 17217
557.41/559.07 c #Conflicts: 184000 | #Constraints: 18217
557.41/559.07 c #Conflicts: 185000 | #Constraints: 19217
557.41/559.07 c #Conflicts: 186000 | #Constraints: 20217
557.41/559.07 c #Conflicts: 187000 | #Constraints: 21217
557.41/559.07 c #Conflicts: 188000 | #Constraints: 22217
557.41/559.07 c #Conflicts: 189000 | #Constraints: 23217
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 190000 | #Constraints: 15639
557.41/559.07 c #Conflicts: 191000 | #Constraints: 16639
557.41/559.07 c #Conflicts: 192000 | #Constraints: 17639
557.41/559.07 c #Conflicts: 193000 | #Constraints: 18639
557.41/559.07 c #Conflicts: 194000 | #Constraints: 19639
557.41/559.07 c #Conflicts: 195000 | #Constraints: 20639
557.41/559.07 c #Conflicts: 196000 | #Constraints: 21639
557.41/559.07 c #Conflicts: 197000 | #Constraints: 22639
557.41/559.07 c #Conflicts: 198000 | #Constraints: 23639
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 199000 | #Constraints: 15843
557.41/559.07 c #Conflicts: 200000 | #Constraints: 16843
557.41/559.07 c #Conflicts: 201000 | #Constraints: 17843
557.41/559.07 c #Conflicts: 202000 | #Constraints: 18843
557.41/559.07 c #Conflicts: 203000 | #Constraints: 19843
557.41/559.07 c #Conflicts: 204000 | #Constraints: 20843
557.41/559.07 c #Conflicts: 205000 | #Constraints: 21843
557.41/559.07 c #Conflicts: 206000 | #Constraints: 22843
557.41/559.07 c #Conflicts: 207000 | #Constraints: 23843
557.41/559.07 c INPROCESSING
557.41/559.07 c GARBAGE COLLECT
557.41/559.07 c #Conflicts: 208000 | #Constraints: 15866
557.41/559.07 c #Conflicts: 209000 | #Constraints: 16866
557.41/559.07 c #Conflicts: 210000 | #Constraints: 17866
557.41/559.07 c #Conflicts: 211000 | #Constraints: 18866
557.41/559.07 c #Conflicts: 212000 | #Constraints: 19866
557.41/559.07 c #Conflicts: 213000 | #Constraints: 20866
869.04/871.67 c #Conflicts: 214000 | #Constraints: 21866
869.04/871.67 c #Conflicts: 215000 | #Constraints: 22866
869.04/871.67 c #Conflicts: 216000 | #Constraints: 23866
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 217000 | #Constraints: 15634
869.04/871.67 c #Conflicts: 218000 | #Constraints: 16634
869.04/871.67 c #Conflicts: 219000 | #Constraints: 17634
869.04/871.67 c #Conflicts: 220000 | #Constraints: 18634
869.04/871.67 c #Conflicts: 221000 | #Constraints: 19634
869.04/871.67 c #Conflicts: 222000 | #Constraints: 20634
869.04/871.67 c #Conflicts: 223000 | #Constraints: 21634
869.04/871.67 c #Conflicts: 224000 | #Constraints: 22634
869.04/871.67 c #Conflicts: 225000 | #Constraints: 23634
869.04/871.67 c #Conflicts: 226000 | #Constraints: 24634
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 227000 | #Constraints: 16252
869.04/871.67 c #Conflicts: 228000 | #Constraints: 17252
869.04/871.67 c #Conflicts: 229000 | #Constraints: 18252
869.04/871.67 c #Conflicts: 230000 | #Constraints: 19252
869.04/871.67 c #Conflicts: 231000 | #Constraints: 20252
869.04/871.67 c #Conflicts: 232000 | #Constraints: 21252
869.04/871.67 c #Conflicts: 233000 | #Constraints: 22252
869.04/871.67 c #Conflicts: 234000 | #Constraints: 23252
869.04/871.67 c #Conflicts: 235000 | #Constraints: 24252
869.04/871.67 c #Conflicts: 236000 | #Constraints: 25252
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 237000 | #Constraints: 16640
869.04/871.67 c #Conflicts: 238000 | #Constraints: 17640
869.04/871.67 c #Conflicts: 239000 | #Constraints: 18640
869.04/871.67 c #Conflicts: 240000 | #Constraints: 19640
869.04/871.67 c #Conflicts: 241000 | #Constraints: 20640
869.04/871.67 c #Conflicts: 242000 | #Constraints: 21640
869.04/871.67 c #Conflicts: 243000 | #Constraints: 22640
869.04/871.67 c #Conflicts: 244000 | #Constraints: 23640
869.04/871.67 c #Conflicts: 245000 | #Constraints: 24640
869.04/871.67 c #Conflicts: 246000 | #Constraints: 25640
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 247000 | #Constraints: 16861
869.04/871.67 c #Conflicts: 248000 | #Constraints: 17861
869.04/871.67 c #Conflicts: 249000 | #Constraints: 18861
869.04/871.67 c #Conflicts: 250000 | #Constraints: 19861
869.04/871.67 c #Conflicts: 251000 | #Constraints: 20861
869.04/871.67 c #Conflicts: 252000 | #Constraints: 21861
869.04/871.67 c #Conflicts: 253000 | #Constraints: 22861
869.04/871.67 c #Conflicts: 254000 | #Constraints: 23861
869.04/871.67 c #Conflicts: 255000 | #Constraints: 24861
869.04/871.67 c #Conflicts: 256000 | #Constraints: 25861
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 257000 | #Constraints: 16909
869.04/871.67 c #Conflicts: 258000 | #Constraints: 17909
869.04/871.67 c #Conflicts: 259000 | #Constraints: 18909
869.04/871.67 c #Conflicts: 260000 | #Constraints: 19909
869.04/871.67 c #Conflicts: 261000 | #Constraints: 20909
869.04/871.67 c #Conflicts: 262000 | #Constraints: 21909
869.04/871.67 c #Conflicts: 263000 | #Constraints: 22909
869.04/871.67 c #Conflicts: 264000 | #Constraints: 23909
869.04/871.67 c #Conflicts: 265000 | #Constraints: 24909
869.04/871.67 c #Conflicts: 266000 | #Constraints: 25909
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 267000 | #Constraints: 16674
869.04/871.67 c #Conflicts: 268000 | #Constraints: 17674
869.04/871.67 c #Conflicts: 269000 | #Constraints: 18674
869.04/871.67 c #Conflicts: 270000 | #Constraints: 19674
869.04/871.67 c #Conflicts: 271000 | #Constraints: 20674
869.04/871.67 c #Conflicts: 272000 | #Constraints: 21674
869.04/871.67 c #Conflicts: 273000 | #Constraints: 22674
869.04/871.67 c #Conflicts: 274000 | #Constraints: 23674
869.04/871.67 c #Conflicts: 275000 | #Constraints: 24674
869.04/871.67 c #Conflicts: 276000 | #Constraints: 25674
869.04/871.67 c #Conflicts: 277000 | #Constraints: 26674
869.04/871.67 c INPROCESSING
869.04/871.67 c GARBAGE COLLECT
869.04/871.67 c #Conflicts: 278000 | #Constraints: 17239
869.04/871.67 c #Conflicts: 279000 | #Constraints: 18239
869.04/871.67 c #Conflicts: 280000 | #Constraints: 19239
869.04/871.67 c #Conflicts: 281000 | #Constraints: 20239
869.04/871.67 c #Conflicts: 282000 | #Constraints: 21239
869.04/871.67 c #Conflicts: 283000 | #Constraints: 22239
869.04/871.67 c #Conflicts: 284000 | #Constraints: 23239
869.04/871.67 c #Conflicts: 285000 | #Constraints: 24239
869.04/871.67 c #Conflicts: 286000 | #Constraints: 25239
869.04/871.67 c #Conflicts: 287000 | #Constraints: 26239
869.04/871.67 c #Conflicts: 288000 | #Constraints: 27239
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 289000 | #Constraints: 17669
1231.20/1234.95 c #Conflicts: 290000 | #Constraints: 18669
1231.20/1234.95 c #Conflicts: 291000 | #Constraints: 19669
1231.20/1234.95 c #Conflicts: 292000 | #Constraints: 20669
1231.20/1234.95 c #Conflicts: 293000 | #Constraints: 21669
1231.20/1234.95 c #Conflicts: 294000 | #Constraints: 22669
1231.20/1234.95 c #Conflicts: 295000 | #Constraints: 23669
1231.20/1234.95 c #Conflicts: 296000 | #Constraints: 24669
1231.20/1234.95 c #Conflicts: 297000 | #Constraints: 25669
1231.20/1234.95 c #Conflicts: 298000 | #Constraints: 26669
1231.20/1234.95 c #Conflicts: 299000 | #Constraints: 27669
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 300000 | #Constraints: 17844
1231.20/1234.95 c #Conflicts: 301000 | #Constraints: 18844
1231.20/1234.95 c #Conflicts: 302000 | #Constraints: 19844
1231.20/1234.95 c #Conflicts: 303000 | #Constraints: 20844
1231.20/1234.95 c #Conflicts: 304000 | #Constraints: 21844
1231.20/1234.95 c #Conflicts: 305000 | #Constraints: 22844
1231.20/1234.95 c #Conflicts: 306000 | #Constraints: 23844
1231.20/1234.95 c #Conflicts: 307000 | #Constraints: 24844
1231.20/1234.95 c #Conflicts: 308000 | #Constraints: 25844
1231.20/1234.95 c #Conflicts: 309000 | #Constraints: 26844
1231.20/1234.95 c #Conflicts: 310000 | #Constraints: 27844
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 311000 | #Constraints: 17833
1231.20/1234.95 c #Conflicts: 312000 | #Constraints: 18833
1231.20/1234.95 c #Conflicts: 313000 | #Constraints: 19833
1231.20/1234.95 c #Conflicts: 314000 | #Constraints: 20833
1231.20/1234.95 c #Conflicts: 315000 | #Constraints: 21833
1231.20/1234.95 c #Conflicts: 316000 | #Constraints: 22833
1231.20/1234.95 c #Conflicts: 317000 | #Constraints: 23833
1231.20/1234.95 c #Conflicts: 318000 | #Constraints: 24833
1231.20/1234.95 c #Conflicts: 319000 | #Constraints: 25833
1231.20/1234.95 c #Conflicts: 320000 | #Constraints: 26833
1231.20/1234.95 c #Conflicts: 321000 | #Constraints: 27833
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 322000 | #Constraints: 17621
1231.20/1234.95 c #Conflicts: 323000 | #Constraints: 18621
1231.20/1234.95 c #Conflicts: 324000 | #Constraints: 19621
1231.20/1234.95 c #Conflicts: 325000 | #Constraints: 20621
1231.20/1234.95 c #Conflicts: 326000 | #Constraints: 21621
1231.20/1234.95 c #Conflicts: 327000 | #Constraints: 22621
1231.20/1234.95 c #Conflicts: 328000 | #Constraints: 23621
1231.20/1234.95 c #Conflicts: 329000 | #Constraints: 24621
1231.20/1234.95 c #Conflicts: 330000 | #Constraints: 25621
1231.20/1234.95 c #Conflicts: 331000 | #Constraints: 26621
1231.20/1234.95 c #Conflicts: 332000 | #Constraints: 27621
1231.20/1234.95 c #Conflicts: 333000 | #Constraints: 28621
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 334000 | #Constraints: 18210
1231.20/1234.95 c #Conflicts: 335000 | #Constraints: 19210
1231.20/1234.95 c #Conflicts: 336000 | #Constraints: 20210
1231.20/1234.95 c #Conflicts: 337000 | #Constraints: 21210
1231.20/1234.95 c #Conflicts: 338000 | #Constraints: 22210
1231.20/1234.95 c #Conflicts: 339000 | #Constraints: 23210
1231.20/1234.95 c #Conflicts: 340000 | #Constraints: 24210
1231.20/1234.95 c #Conflicts: 341000 | #Constraints: 25210
1231.20/1234.95 c #Conflicts: 342000 | #Constraints: 26210
1231.20/1234.95 c #Conflicts: 343000 | #Constraints: 27210
1231.20/1234.95 c #Conflicts: 344000 | #Constraints: 28210
1231.20/1234.95 c #Conflicts: 345000 | #Constraints: 29210
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 346000 | #Constraints: 18638
1231.20/1234.95 c #Conflicts: 347000 | #Constraints: 19638
1231.20/1234.95 c #Conflicts: 348000 | #Constraints: 20638
1231.20/1234.95 c #Conflicts: 349000 | #Constraints: 21638
1231.20/1234.95 c #Conflicts: 350000 | #Constraints: 22638
1231.20/1234.95 c #Conflicts: 351000 | #Constraints: 23638
1231.20/1234.95 c #Conflicts: 352000 | #Constraints: 24638
1231.20/1234.95 c #Conflicts: 353000 | #Constraints: 25638
1231.20/1234.95 c #Conflicts: 354000 | #Constraints: 26638
1231.20/1234.95 c #Conflicts: 355000 | #Constraints: 27638
1231.20/1234.95 c #Conflicts: 356000 | #Constraints: 28638
1231.20/1234.95 c #Conflicts: 357000 | #Constraints: 29638
1231.20/1234.95 c INPROCESSING
1231.20/1234.95 c GARBAGE COLLECT
1231.20/1234.95 c #Conflicts: 358000 | #Constraints: 18858
1231.20/1234.95 c #Conflicts: 359000 | #Constraints: 19858
1231.20/1234.95 c #Conflicts: 360000 | #Constraints: 20858
1231.20/1234.95 c #Conflicts: 361000 | #Constraints: 21858
1231.20/1234.95 c #Conflicts: 362000 | #Constraints: 22858
1504.36/1508.99 c #Conflicts: 363000 | #Constraints: 23858
1504.36/1508.99 c #Conflicts: 364000 | #Constraints: 24858
1504.36/1508.99 c #Conflicts: 365000 | #Constraints: 25858
1504.36/1508.99 c #Conflicts: 366000 | #Constraints: 26858
1504.36/1508.99 c #Conflicts: 367000 | #Constraints: 27858
1504.36/1508.99 c #Conflicts: 368000 | #Constraints: 28858
1504.36/1508.99 c #Conflicts: 369000 | #Constraints: 29858
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 370000 | #Constraints: 18829
1504.36/1508.99 c #Conflicts: 371000 | #Constraints: 19829
1504.36/1508.99 c #Conflicts: 372000 | #Constraints: 20829
1504.36/1508.99 c #Conflicts: 373000 | #Constraints: 21829
1504.36/1508.99 c #Conflicts: 374000 | #Constraints: 22829
1504.36/1508.99 c #Conflicts: 375000 | #Constraints: 23829
1504.36/1508.99 c #Conflicts: 376000 | #Constraints: 24829
1504.36/1508.99 c #Conflicts: 377000 | #Constraints: 25829
1504.36/1508.99 c #Conflicts: 378000 | #Constraints: 26829
1504.36/1508.99 c #Conflicts: 379000 | #Constraints: 27829
1504.36/1508.99 c #Conflicts: 380000 | #Constraints: 28829
1504.36/1508.99 c #Conflicts: 381000 | #Constraints: 29829
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 382000 | #Constraints: 18629
1504.36/1508.99 c #Conflicts: 383000 | #Constraints: 19629
1504.36/1508.99 c #Conflicts: 384000 | #Constraints: 20629
1504.36/1508.99 c #Conflicts: 385000 | #Constraints: 21629
1504.36/1508.99 c #Conflicts: 386000 | #Constraints: 22629
1504.36/1508.99 c #Conflicts: 387000 | #Constraints: 23629
1504.36/1508.99 c #Conflicts: 388000 | #Constraints: 24629
1504.36/1508.99 c #Conflicts: 389000 | #Constraints: 25629
1504.36/1508.99 c #Conflicts: 390000 | #Constraints: 26629
1504.36/1508.99 c #Conflicts: 391000 | #Constraints: 27629
1504.36/1508.99 c #Conflicts: 392000 | #Constraints: 28629
1504.36/1508.99 c #Conflicts: 393000 | #Constraints: 29629
1504.36/1508.99 c #Conflicts: 394000 | #Constraints: 30629
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 395000 | #Constraints: 19228
1504.36/1508.99 c #Conflicts: 396000 | #Constraints: 20228
1504.36/1508.99 c #Conflicts: 397000 | #Constraints: 21228
1504.36/1508.99 c #Conflicts: 398000 | #Constraints: 22228
1504.36/1508.99 c #Conflicts: 399000 | #Constraints: 23228
1504.36/1508.99 c #Conflicts: 400000 | #Constraints: 24228
1504.36/1508.99 c #Conflicts: 401000 | #Constraints: 25228
1504.36/1508.99 c #Conflicts: 402000 | #Constraints: 26228
1504.36/1508.99 c #Conflicts: 403000 | #Constraints: 27228
1504.36/1508.99 c #Conflicts: 404000 | #Constraints: 28228
1504.36/1508.99 c #Conflicts: 405000 | #Constraints: 29228
1504.36/1508.99 c #Conflicts: 406000 | #Constraints: 30228
1504.36/1508.99 c #Conflicts: 407000 | #Constraints: 31228
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 408000 | #Constraints: 19623
1504.36/1508.99 c #Conflicts: 409000 | #Constraints: 20623
1504.36/1508.99 c #Conflicts: 410000 | #Constraints: 21623
1504.36/1508.99 c #Conflicts: 411000 | #Constraints: 22623
1504.36/1508.99 c #Conflicts: 412000 | #Constraints: 23623
1504.36/1508.99 c #Conflicts: 413000 | #Constraints: 24623
1504.36/1508.99 c #Conflicts: 414000 | #Constraints: 25623
1504.36/1508.99 c #Conflicts: 415000 | #Constraints: 26623
1504.36/1508.99 c #Conflicts: 416000 | #Constraints: 27623
1504.36/1508.99 c #Conflicts: 417000 | #Constraints: 28623
1504.36/1508.99 c #Conflicts: 418000 | #Constraints: 29623
1504.36/1508.99 c #Conflicts: 419000 | #Constraints: 30623
1504.36/1508.99 c #Conflicts: 420000 | #Constraints: 31623
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 421000 | #Constraints: 19831
1504.36/1508.99 c #Conflicts: 422000 | #Constraints: 20831
1504.36/1508.99 c #Conflicts: 423000 | #Constraints: 21831
1504.36/1508.99 c #Conflicts: 424000 | #Constraints: 22831
1504.36/1508.99 c #Conflicts: 425000 | #Constraints: 23831
1504.36/1508.99 c #Conflicts: 426000 | #Constraints: 24831
1504.36/1508.99 c #Conflicts: 427000 | #Constraints: 25831
1504.36/1508.99 c #Conflicts: 428000 | #Constraints: 26831
1504.36/1508.99 c #Conflicts: 429000 | #Constraints: 27831
1504.36/1508.99 c #Conflicts: 430000 | #Constraints: 28831
1504.36/1508.99 c #Conflicts: 431000 | #Constraints: 29831
1504.36/1508.99 c #Conflicts: 432000 | #Constraints: 30831
1504.36/1508.99 c #Conflicts: 433000 | #Constraints: 31831
1504.36/1508.99 c INPROCESSING
1504.36/1508.99 c GARBAGE COLLECT
1504.36/1508.99 c #Conflicts: 434000 | #Constraints: 19826
1504.36/1508.99 c #Conflicts: 435000 | #Constraints: 20826
1504.36/1508.99 c #Conflicts: 436000 | #Constraints: 21826
1504.36/1508.99 c #Conflicts: 437000 | #Constraints: 22826
1692.86/1697.98 c #Conflicts: 438000 | #Constraints: 23826
1692.86/1697.98 c #Conflicts: 439000 | #Constraints: 24826
1692.86/1697.98 c #Conflicts: 440000 | #Constraints: 25826
1692.86/1697.98 c #Conflicts: 441000 | #Constraints: 26826
1692.86/1697.98 c #Conflicts: 442000 | #Constraints: 27826
1692.86/1697.98 c #Conflicts: 443000 | #Constraints: 28826
1692.86/1697.98 c #Conflicts: 444000 | #Constraints: 29826
1692.86/1697.98 c #Conflicts: 445000 | #Constraints: 30826
1692.86/1697.98 c #Conflicts: 446000 | #Constraints: 31826
1692.86/1697.98 c INPROCESSING
1692.86/1697.98 c GARBAGE COLLECT
1692.86/1697.98 c #Conflicts: 447000 | #Constraints: 19639
1692.86/1697.98 c #Conflicts: 448000 | #Constraints: 20639
1692.86/1697.98 c #Conflicts: 449000 | #Constraints: 21639
1692.86/1697.98 c #Conflicts: 450000 | #Constraints: 22639
1692.86/1697.98 c #Conflicts: 451000 | #Constraints: 23639
1692.86/1697.98 c #Conflicts: 452000 | #Constraints: 24639
1692.86/1697.98 c #Conflicts: 453000 | #Constraints: 25639
1692.86/1697.98 c #Conflicts: 454000 | #Constraints: 26639
1692.86/1697.98 c #Conflicts: 455000 | #Constraints: 27639
1692.86/1697.98 c #Conflicts: 456000 | #Constraints: 28639
1692.86/1697.98 c #Conflicts: 457000 | #Constraints: 29639
1692.86/1697.98 c #Conflicts: 458000 | #Constraints: 30639
1692.86/1697.98 c #Conflicts: 459000 | #Constraints: 31639
1692.86/1697.98 c #Conflicts: 460000 | #Constraints: 32639
1692.86/1697.98 c INPROCESSING
1692.86/1697.98 c GARBAGE COLLECT
1692.86/1697.98 c #Conflicts: 461000 | #Constraints: 20232
1692.86/1697.98 c #Conflicts: 462000 | #Constraints: 21232
1692.86/1697.98 c #Conflicts: 463000 | #Constraints: 22232
1692.86/1697.98 c #Conflicts: 464000 | #Constraints: 23232
1692.86/1697.98 c #Conflicts: 465000 | #Constraints: 24232
1692.86/1697.98 c #Conflicts: 466000 | #Constraints: 25232
1692.86/1697.98 c #Conflicts: 467000 | #Constraints: 26232
1692.86/1697.98 c #Conflicts: 468000 | #Constraints: 27232
1692.86/1697.98 c #Conflicts: 469000 | #Constraints: 28232
1692.86/1697.98 c #Conflicts: 470000 | #Constraints: 29232
1692.86/1697.98 c #Conflicts: 471000 | #Constraints: 30232
1692.86/1697.98 c #Conflicts: 472000 | #Constraints: 31232
1692.86/1697.98 c #Conflicts: 473000 | #Constraints: 32232
1692.86/1697.98 c #Conflicts: 474000 | #Constraints: 33232
1692.86/1697.98 c INPROCESSING
1692.86/1697.98 c GARBAGE COLLECT
1692.86/1697.98 c #Conflicts: 475000 | #Constraints: 20626
1692.86/1697.98 c #Conflicts: 476000 | #Constraints: 21626
1692.86/1697.98 c #Conflicts: 477000 | #Constraints: 22626
1692.86/1697.98 c #Conflicts: 478000 | #Constraints: 23626
1692.86/1697.98 c #Conflicts: 479000 | #Constraints: 24626
1692.86/1697.98 c #Conflicts: 480000 | #Constraints: 25626
1692.86/1697.98 c #Conflicts: 481000 | #Constraints: 26626
1692.86/1697.98 c #Conflicts: 482000 | #Constraints: 27626
1692.86/1697.98 c #Conflicts: 483000 | #Constraints: 28626
1692.86/1697.98 c #Conflicts: 484000 | #Constraints: 29626
1692.86/1697.98 c #Conflicts: 485000 | #Constraints: 30626
1692.86/1697.98 c #Conflicts: 486000 | #Constraints: 31626
1692.86/1697.98 c #Conflicts: 487000 | #Constraints: 32626
1692.86/1697.98 c #Conflicts: 488000 | #Constraints: 33626
1692.86/1697.98 c INPROCESSING
1692.86/1697.98 c GARBAGE COLLECT
1692.86/1697.98 c #Conflicts: 489000 | #Constraints: 20816
1692.86/1697.98 c #Conflicts: 490000 | #Constraints: 21816
1692.86/1697.98 c #Conflicts: 491000 | #Constraints: 22816
1692.86/1697.98 c #Conflicts: 492000 | #Constraints: 23816
1692.86/1697.98 c #Conflicts: 493000 | #Constraints: 24816
1692.86/1697.98 c #Conflicts: 494000 | #Constraints: 25816
1692.86/1697.98 c #Conflicts: 495000 | #Constraints: 26816
1692.86/1697.98 c #Conflicts: 496000 | #Constraints: 27816
1692.86/1697.98 c #Conflicts: 497000 | #Constraints: 28816
1692.86/1697.98 c #Conflicts: 498000 | #Constraints: 29816
1692.86/1697.98 c #Conflicts: 499000 | #Constraints: 30816
1692.86/1697.98 c #Conflicts: 500000 | #Constraints: 31816
1692.86/1697.98 c #Conflicts: 501000 | #Constraints: 32816
1692.86/1697.98 c #Conflicts: 502000 | #Constraints: 33816
1692.86/1697.98 c INPROCESSING
1692.86/1697.98 c GARBAGE COLLECT
1692.86/1697.98 c #Conflicts: 503000 | #Constraints: 20817
1692.86/1697.98 c #Conflicts: 504000 | #Constraints: 21817
1692.86/1697.98 c #Conflicts: 505000 | #Constraints: 22817
1692.86/1697.98 c #Conflicts: 506000 | #Constraints: 23817
1692.86/1697.98 c #Conflicts: 507000 | #Constraints: 24817
1692.86/1697.98 c #Conflicts: 508000 | #Constraints: 25817
1692.86/1697.98 c #Conflicts: 509000 | #Constraints: 26817
1692.86/1697.98 c #Conflicts: 510000 | #Constraints: 27817
1692.86/1697.98 c #Conflicts: 511000 | #Constraints: 28817
1692.86/1697.98 c #Conflicts: 512000 | #Constraints: 29817
1692.86/1697.98 c #Conflicts: 513000 | #Constraints: 30817
1962.40/1968.20 c #Conflicts: 514000 | #Constraints: 31817
1962.40/1968.20 c #Conflicts: 515000 | #Constraints: 32817
1962.40/1968.20 c #Conflicts: 516000 | #Constraints: 33817
1962.40/1968.20 c INPROCESSING
1962.40/1968.20 c GARBAGE COLLECT
1962.40/1968.20 c #Conflicts: 517000 | #Constraints: 20603
1962.40/1968.20 c #Conflicts: 518000 | #Constraints: 21603
1962.40/1968.20 c #Conflicts: 519000 | #Constraints: 22603
1962.40/1968.20 c #Conflicts: 520000 | #Constraints: 23603
1962.40/1968.20 c #Conflicts: 521000 | #Constraints: 24603
1962.40/1968.20 c #Conflicts: 522000 | #Constraints: 25603
1962.40/1968.20 c #Conflicts: 523000 | #Constraints: 26603
1962.40/1968.20 c #Conflicts: 524000 | #Constraints: 27603
1962.40/1968.20 c #Conflicts: 525000 | #Constraints: 28603
1962.40/1968.20 c #Conflicts: 526000 | #Constraints: 29603
1962.40/1968.20 c #Conflicts: 527000 | #Constraints: 30603
1962.40/1968.20 c #Conflicts: 528000 | #Constraints: 31603
1962.40/1968.20 c #Conflicts: 529000 | #Constraints: 32603
1962.40/1968.20 c #Conflicts: 530000 | #Constraints: 33603
1962.40/1968.20 c #Conflicts: 531000 | #Constraints: 34603
1962.40/1968.20 c INPROCESSING
1962.40/1968.20 c GARBAGE COLLECT
1962.40/1968.20 c #Conflicts: 532000 | #Constraints: 21222
1962.40/1968.20 c #Conflicts: 533000 | #Constraints: 22222
1962.40/1968.20 c #Conflicts: 534000 | #Constraints: 23222
1962.40/1968.20 c #Conflicts: 535000 | #Constraints: 24222
1962.40/1968.20 c #Conflicts: 536000 | #Constraints: 25222
1962.40/1968.20 c #Conflicts: 537000 | #Constraints: 26222
1962.40/1968.20 c #Conflicts: 538000 | #Constraints: 27222
1962.40/1968.20 c #Conflicts: 539000 | #Constraints: 28222
1962.40/1968.20 c #Conflicts: 540000 | #Constraints: 29222
1962.40/1968.20 c #Conflicts: 541000 | #Constraints: 30222
1962.40/1968.20 c #Conflicts: 542000 | #Constraints: 31222
1962.40/1968.20 c #Conflicts: 543000 | #Constraints: 32222
1962.40/1968.20 c #Conflicts: 544000 | #Constraints: 33222
1962.40/1968.20 c #Conflicts: 545000 | #Constraints: 34222
1962.40/1968.20 c #Conflicts: 546000 | #Constraints: 35222
1962.40/1968.20 c INPROCESSING
1962.40/1968.20 c GARBAGE COLLECT
1962.40/1968.20 c #Conflicts: 547000 | #Constraints: 21620
1962.40/1968.20 c #Conflicts: 548000 | #Constraints: 22620
1962.40/1968.20 c #Conflicts: 549000 | #Constraints: 23620
1962.40/1968.20 c #Conflicts: 550000 | #Constraints: 24620
1962.40/1968.20 c #Conflicts: 551000 | #Constraints: 25620
1962.40/1968.20 c #Conflicts: 552000 | #Constraints: 26620
1962.40/1968.20 c #Conflicts: 553000 | #Constraints: 27620
1962.40/1968.20 c #Conflicts: 554000 | #Constraints: 28620
1962.40/1968.20 c #Conflicts: 555000 | #Constraints: 29620
1962.40/1968.20 c #Conflicts: 556000 | #Constraints: 30620
1962.40/1968.20 c #Conflicts: 557000 | #Constraints: 31620
1962.40/1968.20 c #Conflicts: 558000 | #Constraints: 32620
1962.40/1968.20 c #Conflicts: 559000 | #Constraints: 33620
1962.40/1968.20 c #Conflicts: 560000 | #Constraints: 34620
1962.40/1968.20 c #Conflicts: 561000 | #Constraints: 35620
1962.40/1968.20 c INPROCESSING
1962.40/1968.20 c GARBAGE COLLECT
1962.40/1968.20 c #Conflicts: 562000 | #Constraints: 21824
1962.40/1968.20 c #Conflicts: 563000 | #Constraints: 22824
1962.40/1968.20 c #Conflicts: 564000 | #Constraints: 23824
1962.40/1968.20 c #Conflicts: 565000 | #Constraints: 24824
1962.40/1968.20 c #Conflicts: 566000 | #Constraints: 25824
1962.40/1968.20 c #Conflicts: 567000 | #Constraints: 26824
1962.40/1968.20 c #Conflicts: 568000 | #Constraints: 27824
1962.40/1968.20 c #Conflicts: 569000 | #Constraints: 28824
1962.40/1968.20 c #Conflicts: 570000 | #Constraints: 29824
1962.40/1968.20 c #Conflicts: 571000 | #Constraints: 30824
1962.40/1968.20 c #Conflicts: 572000 | #Constraints: 31824
1962.40/1968.20 c #Conflicts: 573000 | #Constraints: 32824
1962.40/1968.20 c #Conflicts: 574000 | #Constraints: 33824
1962.40/1968.20 c #Conflicts: 575000 | #Constraints: 34824
1962.40/1968.20 c #Conflicts: 576000 | #Constraints: 35824
1962.40/1968.20 c INPROCESSING
1962.40/1968.20 c GARBAGE COLLECT
1962.40/1968.20 c #Conflicts: 577000 | #Constraints: 21822
1962.40/1968.20 c #Conflicts: 578000 | #Constraints: 22822
1962.40/1968.20 c #Conflicts: 579000 | #Constraints: 23822
1962.40/1968.20 c #Conflicts: 580000 | #Constraints: 24822
1962.40/1968.20 c #Conflicts: 581000 | #Constraints: 25822
1962.40/1968.20 c #Conflicts: 582000 | #Constraints: 26822
1962.40/1968.20 c #Conflicts: 583000 | #Constraints: 27822
1962.40/1968.20 c #Conflicts: 584000 | #Constraints: 28822
1962.40/1968.20 c #Conflicts: 585000 | #Constraints: 29822
1962.40/1968.20 c #Conflicts: 586000 | #Constraints: 30822
1962.40/1968.20 c #Conflicts: 587000 | #Constraints: 31822
1962.40/1968.20 c #Conflicts: 588000 | #Constraints: 32822
2226.96/2233.33 c #Conflicts: 589000 | #Constraints: 33822
2226.96/2233.33 c #Conflicts: 590000 | #Constraints: 34822
2226.96/2233.33 c #Conflicts: 591000 | #Constraints: 35822
2226.96/2233.33 c INPROCESSING
2226.96/2233.33 c GARBAGE COLLECT
2226.96/2233.33 c #Conflicts: 592000 | #Constraints: 21628
2226.96/2233.33 c #Conflicts: 593000 | #Constraints: 22628
2226.96/2233.33 c #Conflicts: 594000 | #Constraints: 23628
2226.96/2233.33 c #Conflicts: 595000 | #Constraints: 24628
2226.96/2233.33 c #Conflicts: 596000 | #Constraints: 25628
2226.96/2233.33 c #Conflicts: 597000 | #Constraints: 26628
2226.96/2233.33 c #Conflicts: 598000 | #Constraints: 27628
2226.96/2233.33 c #Conflicts: 599000 | #Constraints: 28628
2226.96/2233.33 c #Conflicts: 600000 | #Constraints: 29628
2226.96/2233.33 c #Conflicts: 601000 | #Constraints: 30628
2226.96/2233.33 c #Conflicts: 602000 | #Constraints: 31628
2226.96/2233.33 c #Conflicts: 603000 | #Constraints: 32628
2226.96/2233.33 c #Conflicts: 604000 | #Constraints: 33628
2226.96/2233.33 c #Conflicts: 605000 | #Constraints: 34628
2226.96/2233.33 c #Conflicts: 606000 | #Constraints: 35628
2226.96/2233.33 c #Conflicts: 607000 | #Constraints: 36628
2226.96/2233.33 c INPROCESSING
2226.96/2233.33 c GARBAGE COLLECT
2226.96/2233.33 c #Conflicts: 608000 | #Constraints: 22227
2226.96/2233.33 c #Conflicts: 609000 | #Constraints: 23227
2226.96/2233.33 c #Conflicts: 610000 | #Constraints: 24227
2226.96/2233.33 c #Conflicts: 611000 | #Constraints: 25227
2226.96/2233.33 c #Conflicts: 612000 | #Constraints: 26227
2226.96/2233.33 c #Conflicts: 613000 | #Constraints: 27227
2226.96/2233.33 c #Conflicts: 614000 | #Constraints: 28227
2226.96/2233.33 c #Conflicts: 615000 | #Constraints: 29227
2226.96/2233.33 c #Conflicts: 616000 | #Constraints: 30227
2226.96/2233.33 c #Conflicts: 617000 | #Constraints: 31227
2226.96/2233.33 c #Conflicts: 618000 | #Constraints: 32227
2226.96/2233.33 c #Conflicts: 619000 | #Constraints: 33227
2226.96/2233.33 c #Conflicts: 620000 | #Constraints: 34227
2226.96/2233.33 c #Conflicts: 621000 | #Constraints: 35227
2226.96/2233.33 c #Conflicts: 622000 | #Constraints: 36227
2226.96/2233.33 c #Conflicts: 623000 | #Constraints: 37227
2226.96/2233.33 c INPROCESSING
2226.96/2233.33 c GARBAGE COLLECT
2226.96/2233.33 c #Conflicts: 624000 | #Constraints: 22626
2226.96/2233.33 c #Conflicts: 625000 | #Constraints: 23626
2226.96/2233.33 c #Conflicts: 626000 | #Constraints: 24626
2226.96/2233.33 c #Conflicts: 627000 | #Constraints: 25626
2226.96/2233.33 c #Conflicts: 628000 | #Constraints: 26626
2226.96/2233.33 c #Conflicts: 629000 | #Constraints: 27626
2226.96/2233.33 c #Conflicts: 630000 | #Constraints: 28626
2226.96/2233.33 c #Conflicts: 631000 | #Constraints: 29626
2226.96/2233.33 c #Conflicts: 632000 | #Constraints: 30626
2226.96/2233.33 c #Conflicts: 633000 | #Constraints: 31626
2226.96/2233.33 c #Conflicts: 634000 | #Constraints: 32626
2226.96/2233.33 c #Conflicts: 635000 | #Constraints: 33626
2226.96/2233.33 c #Conflicts: 636000 | #Constraints: 34626
2226.96/2233.33 c #Conflicts: 637000 | #Constraints: 35626
2226.96/2233.33 c #Conflicts: 638000 | #Constraints: 36626
2226.96/2233.33 c #Conflicts: 639000 | #Constraints: 37626
2226.96/2233.33 c INPROCESSING
2226.96/2233.33 c GARBAGE COLLECT
2226.96/2233.33 c #Conflicts: 640000 | #Constraints: 22822
2226.96/2233.33 c #Conflicts: 641000 | #Constraints: 23822
2226.96/2233.33 c #Conflicts: 642000 | #Constraints: 24822
2226.96/2233.33 c #Conflicts: 643000 | #Constraints: 25822
2226.96/2233.33 c #Conflicts: 644000 | #Constraints: 26822
2226.96/2233.33 c #Conflicts: 645000 | #Constraints: 27822
2226.96/2233.33 c #Conflicts: 646000 | #Constraints: 28822
2226.96/2233.33 c #Conflicts: 647000 | #Constraints: 29822
2226.96/2233.33 c #Conflicts: 648000 | #Constraints: 30822
2226.96/2233.33 c #Conflicts: 649000 | #Constraints: 31822
2226.96/2233.33 c #Conflicts: 650000 | #Constraints: 32822
2226.96/2233.33 c #Conflicts: 651000 | #Constraints: 33822
2226.96/2233.33 c #Conflicts: 652000 | #Constraints: 34822
2226.96/2233.33 c #Conflicts: 653000 | #Constraints: 35822
2226.96/2233.33 c #Conflicts: 654000 | #Constraints: 36822
2226.96/2233.33 c #Conflicts: 655000 | #Constraints: 37822
2226.96/2233.33 c INPROCESSING
2226.96/2233.33 c GARBAGE COLLECT
2226.96/2233.33 c #Conflicts: 656000 | #Constraints: 22829
2226.96/2233.33 c #Conflicts: 657000 | #Constraints: 23829
2226.96/2233.33 c #Conflicts: 658000 | #Constraints: 24829
2226.96/2233.33 c #Conflicts: 659000 | #Constraints: 25829
2226.96/2233.33 c #Conflicts: 660000 | #Constraints: 26829
2226.96/2233.33 c #Conflicts: 661000 | #Constraints: 27829
2226.96/2233.33 c #Conflicts: 662000 | #Constraints: 28829
2226.96/2233.33 c #Conflicts: 663000 | #Constraints: 29829
2226.96/2233.33 c #Conflicts: 664000 | #Constraints: 30829
2614.01/2621.32 c #Conflicts: 665000 | #Constraints: 31829
2614.01/2621.32 c #Conflicts: 666000 | #Constraints: 32829
2614.01/2621.32 c #Conflicts: 667000 | #Constraints: 33829
2614.01/2621.32 c #Conflicts: 668000 | #Constraints: 34829
2614.01/2621.32 c #Conflicts: 669000 | #Constraints: 35829
2614.01/2621.32 c #Conflicts: 670000 | #Constraints: 36829
2614.01/2621.32 c #Conflicts: 671000 | #Constraints: 37829
2614.01/2621.32 c INPROCESSING
2614.01/2621.32 c GARBAGE COLLECT
2614.01/2621.32 c #Conflicts: 672000 | #Constraints: 22625
2614.01/2621.32 c #Conflicts: 673000 | #Constraints: 23625
2614.01/2621.32 c #Conflicts: 674000 | #Constraints: 24625
2614.01/2621.32 c #Conflicts: 675000 | #Constraints: 25625
2614.01/2621.32 c #Conflicts: 676000 | #Constraints: 26625
2614.01/2621.32 c #Conflicts: 677000 | #Constraints: 27625
2614.01/2621.32 c #Conflicts: 678000 | #Constraints: 28625
2614.01/2621.32 c #Conflicts: 679000 | #Constraints: 29625
2614.01/2621.32 c #Conflicts: 680000 | #Constraints: 30625
2614.01/2621.32 c #Conflicts: 681000 | #Constraints: 31625
2614.01/2621.32 c #Conflicts: 682000 | #Constraints: 32625
2614.01/2621.32 c #Conflicts: 683000 | #Constraints: 33625
2614.01/2621.32 c #Conflicts: 684000 | #Constraints: 34625
2614.01/2621.32 c #Conflicts: 685000 | #Constraints: 35625
2614.01/2621.32 c #Conflicts: 686000 | #Constraints: 36625
2614.01/2621.32 c #Conflicts: 687000 | #Constraints: 37625
2614.01/2621.32 c #Conflicts: 688000 | #Constraints: 38625
2614.01/2621.32 c INPROCESSING
2614.01/2621.32 c GARBAGE COLLECT
2614.01/2621.32 c #Conflicts: 689000 | #Constraints: 23214
2614.01/2621.32 c #Conflicts: 690000 | #Constraints: 24214
2614.01/2621.32 c #Conflicts: 691000 | #Constraints: 25214
2614.01/2621.32 c #Conflicts: 692000 | #Constraints: 26214
2614.01/2621.32 c #Conflicts: 693000 | #Constraints: 27214
2614.01/2621.32 c #Conflicts: 694000 | #Constraints: 28214
2614.01/2621.32 c #Conflicts: 695000 | #Constraints: 29214
2614.01/2621.32 c #Conflicts: 696000 | #Constraints: 30214
2614.01/2621.32 c #Conflicts: 697000 | #Constraints: 31214
2614.01/2621.32 c #Conflicts: 698000 | #Constraints: 32214
2614.01/2621.32 c #Conflicts: 699000 | #Constraints: 33214
2614.01/2621.32 c #Conflicts: 700000 | #Constraints: 34214
2614.01/2621.32 c #Conflicts: 701000 | #Constraints: 35214
2614.01/2621.32 c #Conflicts: 702000 | #Constraints: 36214
2614.01/2621.32 c #Conflicts: 703000 | #Constraints: 37214
2614.01/2621.32 c #Conflicts: 704000 | #Constraints: 38214
2614.01/2621.32 c #Conflicts: 705000 | #Constraints: 39214
2614.01/2621.32 c INPROCESSING
2614.01/2621.32 c GARBAGE COLLECT
2614.01/2621.32 c #Conflicts: 706000 | #Constraints: 23623
2614.01/2621.32 c #Conflicts: 707000 | #Constraints: 24623
2614.01/2621.32 c #Conflicts: 708000 | #Constraints: 25623
2614.01/2621.32 c #Conflicts: 709000 | #Constraints: 26623
2614.01/2621.32 c #Conflicts: 710000 | #Constraints: 27623
2614.01/2621.32 c #Conflicts: 711000 | #Constraints: 28623
2614.01/2621.32 c #Conflicts: 712000 | #Constraints: 29623
2614.01/2621.32 c #Conflicts: 713000 | #Constraints: 30623
2614.01/2621.32 c #Conflicts: 714000 | #Constraints: 31623
2614.01/2621.32 c #Conflicts: 715000 | #Constraints: 32623
2614.01/2621.32 c #Conflicts: 716000 | #Constraints: 33623
2614.01/2621.32 c #Conflicts: 717000 | #Constraints: 34623
2614.01/2621.32 c #Conflicts: 718000 | #Constraints: 35623
2614.01/2621.32 c #Conflicts: 719000 | #Constraints: 36623
2614.01/2621.32 c #Conflicts: 720000 | #Constraints: 37623
2614.01/2621.32 c #Conflicts: 721000 | #Constraints: 38623
2614.01/2621.32 c #Conflicts: 722000 | #Constraints: 39623
2614.01/2621.32 c INPROCESSING
2614.01/2621.32 c GARBAGE COLLECT
2614.01/2621.32 c #Conflicts: 723000 | #Constraints: 23838
2614.01/2621.32 c #Conflicts: 724000 | #Constraints: 24838
2614.01/2621.32 c #Conflicts: 725000 | #Constraints: 25838
2614.01/2621.32 c #Conflicts: 726000 | #Constraints: 26838
2614.01/2621.32 c #Conflicts: 727000 | #Constraints: 27838
2614.01/2621.32 c #Conflicts: 728000 | #Constraints: 28838
2614.01/2621.32 c #Conflicts: 729000 | #Constraints: 29838
2614.01/2621.32 c #Conflicts: 730000 | #Constraints: 30838
2614.01/2621.32 c #Conflicts: 731000 | #Constraints: 31838
2614.01/2621.32 c #Conflicts: 732000 | #Constraints: 32838
2614.01/2621.32 c #Conflicts: 733000 | #Constraints: 33838
2614.01/2621.32 c #Conflicts: 734000 | #Constraints: 34838
2614.01/2621.32 c #Conflicts: 735000 | #Constraints: 35838
2614.01/2621.32 c #Conflicts: 736000 | #Constraints: 36838
2614.01/2621.32 c #Conflicts: 737000 | #Constraints: 37838
2614.01/2621.32 c #Conflicts: 738000 | #Constraints: 38838
2614.01/2621.32 c #Conflicts: 739000 | #Constraints: 39838
2614.01/2621.32 c INPROCESSING
2614.01/2621.32 c GARBAGE COLLECT
2984.01/2992.26 c #Conflicts: 740000 | #Constraints: 23843
2984.01/2992.26 c #Conflicts: 741000 | #Constraints: 24843
2984.01/2992.26 c #Conflicts: 742000 | #Constraints: 25843
2984.01/2992.26 c #Conflicts: 743000 | #Constraints: 26843
2984.01/2992.26 c #Conflicts: 744000 | #Constraints: 27843
2984.01/2992.26 c #Conflicts: 745000 | #Constraints: 28843
2984.01/2992.26 c #Conflicts: 746000 | #Constraints: 29843
2984.01/2992.26 c #Conflicts: 747000 | #Constraints: 30843
2984.01/2992.26 c #Conflicts: 748000 | #Constraints: 31843
2984.01/2992.26 c #Conflicts: 749000 | #Constraints: 32843
2984.01/2992.26 c #Conflicts: 750000 | #Constraints: 33843
2984.01/2992.26 c #Conflicts: 751000 | #Constraints: 34843
2984.01/2992.26 c #Conflicts: 752000 | #Constraints: 35843
2984.01/2992.26 c #Conflicts: 753000 | #Constraints: 36843
2984.01/2992.26 c #Conflicts: 754000 | #Constraints: 37843
2984.01/2992.26 c #Conflicts: 755000 | #Constraints: 38843
2984.01/2992.26 c #Conflicts: 756000 | #Constraints: 39843
2984.01/2992.26 c INPROCESSING
2984.01/2992.26 c GARBAGE COLLECT
2984.01/2992.26 c #Conflicts: 757000 | #Constraints: 23627
2984.01/2992.26 c #Conflicts: 758000 | #Constraints: 24627
2984.01/2992.26 c #Conflicts: 759000 | #Constraints: 25627
2984.01/2992.26 c #Conflicts: 760000 | #Constraints: 26627
2984.01/2992.26 c #Conflicts: 761000 | #Constraints: 27627
2984.01/2992.26 c #Conflicts: 762000 | #Constraints: 28627
2984.01/2992.26 c #Conflicts: 763000 | #Constraints: 29627
2984.01/2992.26 c #Conflicts: 764000 | #Constraints: 30627
2984.01/2992.26 c #Conflicts: 765000 | #Constraints: 31627
2984.01/2992.26 c #Conflicts: 766000 | #Constraints: 32627
2984.01/2992.26 c #Conflicts: 767000 | #Constraints: 33627
2984.01/2992.26 c #Conflicts: 768000 | #Constraints: 34627
2984.01/2992.26 c #Conflicts: 769000 | #Constraints: 35627
2984.01/2992.26 c #Conflicts: 770000 | #Constraints: 36627
2984.01/2992.26 c #Conflicts: 771000 | #Constraints: 37627
2984.01/2992.26 c #Conflicts: 772000 | #Constraints: 38627
2984.01/2992.26 c #Conflicts: 773000 | #Constraints: 39627
2984.01/2992.26 c #Conflicts: 774000 | #Constraints: 40627
2984.01/2992.26 c INPROCESSING
2984.01/2992.26 c GARBAGE COLLECT
2984.01/2992.26 c #Conflicts: 775000 | #Constraints: 24213
2984.01/2992.26 c #Conflicts: 776000 | #Constraints: 25213
2984.01/2992.26 c #Conflicts: 777000 | #Constraints: 26213
2984.01/2992.26 c #Conflicts: 778000 | #Constraints: 27213
2984.01/2992.26 c #Conflicts: 779000 | #Constraints: 28213
2984.01/2992.26 c #Conflicts: 780000 | #Constraints: 29213
2984.01/2992.26 c #Conflicts: 781000 | #Constraints: 30213
2984.01/2992.26 c #Conflicts: 782000 | #Constraints: 31213
2984.01/2992.26 c #Conflicts: 783000 | #Constraints: 32213
2984.01/2992.26 c #Conflicts: 784000 | #Constraints: 33213
2984.01/2992.26 c #Conflicts: 785000 | #Constraints: 34213
2984.01/2992.26 c #Conflicts: 786000 | #Constraints: 35213
2984.01/2992.26 c #Conflicts: 787000 | #Constraints: 36213
2984.01/2992.26 c #Conflicts: 788000 | #Constraints: 37213
2984.01/2992.26 c #Conflicts: 789000 | #Constraints: 38213
2984.01/2992.26 c #Conflicts: 790000 | #Constraints: 39213
2984.01/2992.26 c #Conflicts: 791000 | #Constraints: 40213
2984.01/2992.26 c #Conflicts: 792000 | #Constraints: 41213
2984.01/2992.26 c INPROCESSING
2984.01/2992.26 c GARBAGE COLLECT
2984.01/2992.26 c #Conflicts: 793000 | #Constraints: 24620
2984.01/2992.26 c #Conflicts: 794000 | #Constraints: 25620
2984.01/2992.26 c #Conflicts: 795000 | #Constraints: 26620
2984.01/2992.26 c #Conflicts: 796000 | #Constraints: 27620
2984.01/2992.26 c #Conflicts: 797000 | #Constraints: 28620
2984.01/2992.26 c #Conflicts: 798000 | #Constraints: 29620
2984.01/2992.26 c #Conflicts: 799000 | #Constraints: 30620
2984.01/2992.26 c #Conflicts: 800000 | #Constraints: 31620
2984.01/2992.26 c #Conflicts: 801000 | #Constraints: 32620
2984.01/2992.26 c #Conflicts: 802000 | #Constraints: 33620
2984.01/2992.26 c #Conflicts: 803000 | #Constraints: 34620
2984.01/2992.26 c #Conflicts: 804000 | #Constraints: 35620
2984.01/2992.26 c #Conflicts: 805000 | #Constraints: 36620
2984.01/2992.26 c #Conflicts: 806000 | #Constraints: 37620
2984.01/2992.26 c #Conflicts: 807000 | #Constraints: 38620
2984.01/2992.26 c #Conflicts: 808000 | #Constraints: 39620
2984.01/2992.26 c #Conflicts: 809000 | #Constraints: 40620
2984.01/2992.26 c #Conflicts: 810000 | #Constraints: 41620
2984.01/2992.26 c INPROCESSING
2984.01/2992.26 c GARBAGE COLLECT
2984.01/2992.26 c #Conflicts: 811000 | #Constraints: 24832
2984.01/2992.26 c #Conflicts: 812000 | #Constraints: 25832
2984.01/2992.26 c #Conflicts: 813000 | #Constraints: 26832
2984.01/2992.26 c #Conflicts: 814000 | #Constraints: 27832
2984.01/2992.26 c #Conflicts: 815000 | #Constraints: 28832
2984.01/2992.26 c #Conflicts: 816000 | #Constraints: 29832
3254.15/3263.03 c #Conflicts: 817000 | #Constraints: 30832
3254.15/3263.03 c #Conflicts: 818000 | #Constraints: 31832
3254.15/3263.03 c #Conflicts: 819000 | #Constraints: 32832
3254.15/3263.03 c #Conflicts: 820000 | #Constraints: 33832
3254.15/3263.03 c #Conflicts: 821000 | #Constraints: 34832
3254.15/3263.03 c #Conflicts: 822000 | #Constraints: 35832
3254.15/3263.03 c #Conflicts: 823000 | #Constraints: 36832
3254.15/3263.03 c #Conflicts: 824000 | #Constraints: 37832
3254.15/3263.03 c #Conflicts: 825000 | #Constraints: 38832
3254.15/3263.03 c #Conflicts: 826000 | #Constraints: 39832
3254.15/3263.03 c #Conflicts: 827000 | #Constraints: 40832
3254.15/3263.03 c #Conflicts: 828000 | #Constraints: 41832
3254.15/3263.03 c INPROCESSING
3254.15/3263.03 c GARBAGE COLLECT
3254.15/3263.03 c #Conflicts: 829000 | #Constraints: 24834
3254.15/3263.03 c #Conflicts: 830000 | #Constraints: 25834
3254.15/3263.03 c #Conflicts: 831000 | #Constraints: 26834
3254.15/3263.03 c #Conflicts: 832000 | #Constraints: 27834
3254.15/3263.03 c #Conflicts: 833000 | #Constraints: 28834
3254.15/3263.03 c #Conflicts: 834000 | #Constraints: 29834
3254.15/3263.03 c #Conflicts: 835000 | #Constraints: 30834
3254.15/3263.03 c #Conflicts: 836000 | #Constraints: 31834
3254.15/3263.03 c #Conflicts: 837000 | #Constraints: 32834
3254.15/3263.03 c #Conflicts: 838000 | #Constraints: 33834
3254.15/3263.03 c #Conflicts: 839000 | #Constraints: 34834
3254.15/3263.03 c #Conflicts: 840000 | #Constraints: 35834
3254.15/3263.03 c #Conflicts: 841000 | #Constraints: 36834
3254.15/3263.03 c #Conflicts: 842000 | #Constraints: 37834
3254.15/3263.03 c #Conflicts: 843000 | #Constraints: 38834
3254.15/3263.03 c #Conflicts: 844000 | #Constraints: 39834
3254.15/3263.03 c #Conflicts: 845000 | #Constraints: 40834
3254.15/3263.03 c #Conflicts: 846000 | #Constraints: 41834
3254.15/3263.03 c INPROCESSING
3254.15/3263.03 c GARBAGE COLLECT
3254.15/3263.03 c #Conflicts: 847000 | #Constraints: 24613
3254.15/3263.03 c #Conflicts: 848000 | #Constraints: 25613
3254.15/3263.03 c #Conflicts: 849000 | #Constraints: 26613
3254.15/3263.03 c #Conflicts: 850000 | #Constraints: 27613
3254.15/3263.03 c #Conflicts: 851000 | #Constraints: 28613
3254.15/3263.03 c #Conflicts: 852000 | #Constraints: 29613
3254.15/3263.03 c #Conflicts: 853000 | #Constraints: 30613
3254.15/3263.03 c #Conflicts: 854000 | #Constraints: 31613
3254.15/3263.03 c #Conflicts: 855000 | #Constraints: 32613
3254.15/3263.03 c #Conflicts: 856000 | #Constraints: 33613
3254.15/3263.03 c #Conflicts: 857000 | #Constraints: 34613
3254.15/3263.03 c #Conflicts: 858000 | #Constraints: 35613
3254.15/3263.03 c #Conflicts: 859000 | #Constraints: 36613
3254.15/3263.03 c #Conflicts: 860000 | #Constraints: 37613
3254.15/3263.03 c #Conflicts: 861000 | #Constraints: 38613
3254.15/3263.03 c #Conflicts: 862000 | #Constraints: 39613
3254.15/3263.03 c #Conflicts: 863000 | #Constraints: 40613
3254.15/3263.03 c #Conflicts: 864000 | #Constraints: 41613
3254.15/3263.03 c #Conflicts: 865000 | #Constraints: 42613
3254.15/3263.03 c INPROCESSING
3254.15/3263.03 c GARBAGE COLLECT
3254.15/3263.03 c #Conflicts: 866000 | #Constraints: 25225
3254.15/3263.03 c #Conflicts: 867000 | #Constraints: 26225
3254.15/3263.03 c #Conflicts: 868000 | #Constraints: 27225
3254.15/3263.03 c #Conflicts: 869000 | #Constraints: 28225
3254.15/3263.03 c #Conflicts: 870000 | #Constraints: 29225
3254.15/3263.03 c #Conflicts: 871000 | #Constraints: 30225
3254.15/3263.03 c #Conflicts: 872000 | #Constraints: 31225
3254.15/3263.03 c #Conflicts: 873000 | #Constraints: 32225
3254.15/3263.03 c #Conflicts: 874000 | #Constraints: 33225
3254.15/3263.03 c #Conflicts: 875000 | #Constraints: 34225
3254.15/3263.03 c #Conflicts: 876000 | #Constraints: 35225
3254.15/3263.03 c #Conflicts: 877000 | #Constraints: 36225
3254.15/3263.03 c #Conflicts: 878000 | #Constraints: 37225
3254.15/3263.03 c #Conflicts: 879000 | #Constraints: 38225
3254.15/3263.03 c #Conflicts: 880000 | #Constraints: 39225
3254.15/3263.03 c #Conflicts: 881000 | #Constraints: 40225
3254.15/3263.03 c #Conflicts: 882000 | #Constraints: 41225
3254.15/3263.03 c #Conflicts: 883000 | #Constraints: 42225
3254.15/3263.03 c #Conflicts: 884000 | #Constraints: 43225
3254.15/3263.03 c INPROCESSING
3254.15/3263.03 c GARBAGE COLLECT
3254.15/3263.03 c #Conflicts: 885000 | #Constraints: 25635
3254.15/3263.03 c #Conflicts: 886000 | #Constraints: 26635
3254.15/3263.03 c #Conflicts: 887000 | #Constraints: 27635
3254.15/3263.03 c #Conflicts: 888000 | #Constraints: 28635
3254.15/3263.03 c #Conflicts: 889000 | #Constraints: 29635
3254.15/3263.03 c #Conflicts: 890000 | #Constraints: 30635
3254.15/3263.03 c #Conflicts: 891000 | #Constraints: 31635
3254.15/3263.03 c #Conflicts: 892000 | #Constraints: 32635
3600.09/3609.80 c #Conflicts: 893000 | #Constraints: 33635
3600.09/3609.80 c #Conflicts: 894000 | #Constraints: 34635
3600.09/3609.80 c #Conflicts: 895000 | #Constraints: 35635
3600.09/3609.80 c #Conflicts: 896000 | #Constraints: 36635
3600.09/3609.80 c #Conflicts: 897000 | #Constraints: 37635
3600.09/3609.80 c #Conflicts: 898000 | #Constraints: 38635
3600.09/3609.80 c #Conflicts: 899000 | #Constraints: 39635
3600.09/3609.80 c #Conflicts: 900000 | #Constraints: 40635
3600.09/3609.80 c #Conflicts: 901000 | #Constraints: 41635
3600.09/3609.80 c #Conflicts: 902000 | #Constraints: 42635
3600.09/3609.80 c #Conflicts: 903000 | #Constraints: 43635
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 904000 | #Constraints: 25845
3600.09/3609.80 c #Conflicts: 905000 | #Constraints: 26845
3600.09/3609.80 c #Conflicts: 906000 | #Constraints: 27845
3600.09/3609.80 c #Conflicts: 907000 | #Constraints: 28845
3600.09/3609.80 c #Conflicts: 908000 | #Constraints: 29845
3600.09/3609.80 c #Conflicts: 909000 | #Constraints: 30845
3600.09/3609.80 c #Conflicts: 910000 | #Constraints: 31845
3600.09/3609.80 c #Conflicts: 911000 | #Constraints: 32845
3600.09/3609.80 c #Conflicts: 912000 | #Constraints: 33845
3600.09/3609.80 c #Conflicts: 913000 | #Constraints: 34845
3600.09/3609.80 c #Conflicts: 914000 | #Constraints: 35845
3600.09/3609.80 c #Conflicts: 915000 | #Constraints: 36845
3600.09/3609.80 c #Conflicts: 916000 | #Constraints: 37845
3600.09/3609.80 c #Conflicts: 917000 | #Constraints: 38845
3600.09/3609.80 c #Conflicts: 918000 | #Constraints: 39845
3600.09/3609.80 c #Conflicts: 919000 | #Constraints: 40845
3600.09/3609.80 c #Conflicts: 920000 | #Constraints: 41845
3600.09/3609.80 c #Conflicts: 921000 | #Constraints: 42845
3600.09/3609.80 c #Conflicts: 922000 | #Constraints: 43845
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 923000 | #Constraints: 25842
3600.09/3609.80 c #Conflicts: 924000 | #Constraints: 26842
3600.09/3609.80 c #Conflicts: 925000 | #Constraints: 27842
3600.09/3609.80 c #Conflicts: 926000 | #Constraints: 28842
3600.09/3609.80 c #Conflicts: 927000 | #Constraints: 29842
3600.09/3609.80 c #Conflicts: 928000 | #Constraints: 30842
3600.09/3609.80 c #Conflicts: 929000 | #Constraints: 31842
3600.09/3609.80 c #Conflicts: 930000 | #Constraints: 32842
3600.09/3609.80 c #Conflicts: 931000 | #Constraints: 33842
3600.09/3609.80 c #Conflicts: 932000 | #Constraints: 34842
3600.09/3609.80 c #Conflicts: 933000 | #Constraints: 35842
3600.09/3609.80 c #Conflicts: 934000 | #Constraints: 36842
3600.09/3609.80 c #Conflicts: 935000 | #Constraints: 37842
3600.09/3609.80 c #Conflicts: 936000 | #Constraints: 38842
3600.09/3609.80 c #Conflicts: 937000 | #Constraints: 39842
3600.09/3609.80 c #Conflicts: 938000 | #Constraints: 40842
3600.09/3609.80 c #Conflicts: 939000 | #Constraints: 41842
3600.09/3609.80 c #Conflicts: 940000 | #Constraints: 42842
3600.09/3609.80 c #Conflicts: 941000 | #Constraints: 43842
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 942000 | #Constraints: 25652
3600.09/3609.80 c #Conflicts: 943000 | #Constraints: 26652
3600.09/3609.80 c #Conflicts: 944000 | #Constraints: 27652
3600.09/3609.80 c #Conflicts: 945000 | #Constraints: 28652
3600.09/3609.80 c #Conflicts: 946000 | #Constraints: 29652
3600.09/3609.80 c #Conflicts: 947000 | #Constraints: 30652
3600.09/3609.80 c #Conflicts: 948000 | #Constraints: 31652
3600.09/3609.80 c #Conflicts: 949000 | #Constraints: 32652
3600.09/3609.80 c #Conflicts: 950000 | #Constraints: 33652
3600.09/3609.80 c #Conflicts: 951000 | #Constraints: 34652
3600.09/3609.80 c #Conflicts: 952000 | #Constraints: 35652
3600.09/3609.80 c #Conflicts: 953000 | #Constraints: 36652
3600.09/3609.80 c #Conflicts: 954000 | #Constraints: 37652
3600.09/3609.80 c #Conflicts: 955000 | #Constraints: 38652
3600.09/3609.80 c #Conflicts: 956000 | #Constraints: 39652
3600.09/3609.80 c #Conflicts: 957000 | #Constraints: 40652
3600.09/3609.80 c #Conflicts: 958000 | #Constraints: 41652
3600.09/3609.80 c #Conflicts: 959000 | #Constraints: 42652
3600.09/3609.80 c #Conflicts: 960000 | #Constraints: 43652
3600.09/3609.80 c #Conflicts: 961000 | #Constraints: 44652
3600.09/3609.80 c INPROCESSING
3600.09/3609.80 c GARBAGE COLLECT
3600.09/3609.80 c #Conflicts: 962000 | #Constraints: 26223
3600.09/3609.80 c cpu time 3586.86 s
3600.09/3609.80 c deterministic time 1 1.00e+00
3600.09/3609.80 c optimization time 3586.84 s
3600.09/3609.80 c total solve time 0 s
3600.09/3609.80 c core-guided solve time 0 s
3600.09/3609.80 c propagation time 0.002137 s
3600.09/3609.80 c conflict analysis time 0 s
3600.09/3609.80 c propagations 0
3600.09/3609.80 c resolve steps 0
3600.09/3609.80 c decisions 0
3600.09/3609.80 c conflicts 0
3600.09/3609.80 c restarts 0
3600.09/3609.80 c inprocessing phases 0
3600.09/3609.80 c garbage collections 0 ,( -nan )
3600.09/3609.80 c input clauses 5940 ,( 100.00 )
3600.09/3609.80 c input cardinalities 0 ,( 0.00 )
3600.09/3609.80 c input general constraints 0 ,( 0.00 )
3600.09/3609.80 c input average constraint length 2.00
3600.09/3609.80 c input average constraint degree 1.00
3600.09/3609.80 c learned clauses 0 ,( 0.00 )
3600.09/3609.80 c learned cardinalities 0 ,( 0.00 )
3600.09/3609.80 c learned general constraints 0 ,( 0.00 )
3600.09/3609.80 c learned average constraint length 0.00
3600.09/3609.80 c learned average constraint degree 0.00
3600.09/3609.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3609.80 c watched constraints 0 ,( -nan )
3600.09/3609.80 c counting constraints 0 ,( -nan )
3600.09/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3609.80 c gcd simplifications 0
3600.09/3609.80 c detected cardinalities 0
3600.09/3609.80 c weakened non-implied lits 0
3600.09/3609.80 c weakened non-implying lits 0
3600.09/3609.80 c original variables 2970
3600.09/3609.80 c clausal propagations 0
3600.09/3609.80 c cardinality propagations 0
3600.09/3609.80 c watched propagations 0
3600.09/3609.80 c counting propagations 0
3600.09/3609.80 c watch lookups 0
3600.09/3609.80 c watch backjump lookups 0
3600.09/3609.80 c watch checks 0
3600.09/3609.80 c propagation checks 0
3600.09/3609.80 c constraint additions 0
3600.09/3609.80 c trail pops 0
3600.09/3609.80 c formula constraints 5940
3600.09/3609.80 c learned constraints 0
3600.09/3609.80 c bound constraints 0
3600.09/3609.80 c core-guided constraints 0
3600.09/3609.80 c encountered formula constraints 0
3600.09/3609.80 c encountered learned constraints 0
3600.09/3609.80 c encountered bound constraints 0
3600.09/3609.80 c encountered core-guided constraints 0
3600.09/3609.80 c LP total time 0 s
3600.09/3609.80 c LP solve time 0 s
3600.09/3609.80 c LP constraints added 0
3600.09/3609.80 c LP constraints removed 0
3600.09/3609.80 c LP pivots internal 0
3600.09/3609.80 c LP pivots root 0
3600.09/3609.80 c LP calls 0
3600.09/3609.80 c LP optimalities 0
3600.09/3609.80 c LP no pivot count 0
3600.09/3609.80 c LP infeasibilities 0
3600.09/3609.80 c LP valid Farkas constraints 0
3600.09/3609.80 c LP learned Farkas constraints 0
3600.09/3609.80 c LP basis resets 0
3600.09/3609.80 c LP cycling count 0
3600.09/3609.80 c LP singular count 0
3600.09/3609.80 c LP no primal count 0
3600.09/3609.80 c LP no farkas count 0
3600.09/3609.80 c LP other issue count 0
3600.09/3609.80 c LP Gomory cuts 0
3600.09/3609.80 c LP learned cuts 0
3600.09/3609.80 c LP deleted cuts 0
3600.09/3609.80 c LP encountered Gomory constraints 0
3600.09/3609.80 c LP encountered Farkas constraints 0
3600.09/3609.80 c LP encountered learned Farkas constraints 0
3600.09/3609.80 c CG auxiliary variables introduced 0
3600.09/3609.80 c CG solutions found 0
3600.09/3609.80 c CG cores constructed 0
3600.09/3609.80 c CG core cardinality constraints returned 0
3600.09/3609.80 c CG unit cores 0
3600.09/3609.80 c CG single cores 0
3600.09/3609.80 c CG blocks removed during cardinality reduction 0
3600.09/3609.80 c CG first core best 0
3600.09/3609.80 c CG decision core best 0
3600.09/3609.80 c CG core reduction tie 0
3600.09/3609.80 c CG core degree average 0.00
3600.09/3609.80 c CG core slack average 0.00
3600.09/3609.80 c CG core upper bound improvements 0
3600.09/3609.80 c STR number of successful calls 0
3600.09/3609.80 c STR number of unsuccessful calls 0
3600.09/3609.80 c STR number of inconclusive calls 0
3600.09/3609.80 c STR number of successful attempts 0
3600.09/3609.80 c STR number of unsuccessful attempts 0
3600.09/3609.80 c STR number of inconclusive attempts 0
3600.09/3609.80 c STR average degree increase per successful call inf
3600.09/3609.80 c STR average degree increase per successful attempt inf
3600.09/3609.80 c STR total number of conflicts for successful attempts 0
3600.09/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.80 c STR average number of conflicts per successful attempt inf
3600.09/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.80 c AVG.sumWPerc -nan
3600.09/3609.80 c bigint constraints 0
3600.09/3609.80 s UNKNOWN
3600.09/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61180 MiB free)
memory of node 1: 64465 MiB (62849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521584-1751589206/watcher-4521584-1751589206 -o /tmp/evaluation-result-4521584-1751589206/solver-4521584-1751589206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84119 --watchdog 3760 run-opt.sh HOME/instance-4521584-1751589206.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84542, runsolver pid=84538
[startup+0.10006 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126991900/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=73552 memory=29208 CPUtime=0.08 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 4746 0 0 0 6 2 0 0 20 0 1 0 74543139 75317248 7302 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 18388 7302 2368 1147 0 5815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77744 KiB
Current children cumulated memory: 32280 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126981820/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=82496 memory=38436 CPUtime=0.18 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 6506 0 0 0 16 2 0 0 20 0 1 0 74543139 84475904 9609 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 20624 9609 2400 1147 0 8051 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86688 KiB
Current children cumulated memory: 41508 KiB
[startup+0.30546 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126962668/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=98184 memory=50852 CPUtime=0.29 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 9639 0 0 0 26 3 0 0 20 0 1 0 74543139 100540416 12713 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 24546 12713 2400 1147 0 11973 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102376 KiB
Current children cumulated memory: 53924 KiB
[startup+0.700183 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126947768/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=125076 memory=78800 CPUtime=0.67 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 15075 0 0 0 63 4 0 0 20 0 1 0 74543139 128077824 19700 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 31269 19700 2400 1147 0 18696 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 129268 KiB
Current children cumulated memory: 81872 KiB
[startup+1.50019 s]
/proc/loadavg: 4.14 4.11 4.05 4/263 84557
/proc/meminfo: memFree=127496720/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=174080 memory=120184 CPUtime=1.47 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 22882 0 0 0 140 7 0 0 20 0 1 0 74543139 178257920 30046 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 43520 30046 2400 1147 0 30947 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 178272 KiB
Current children cumulated memory: 123256 KiB
[startup+3.10539 s]
/proc/loadavg: 4.13 4.11 4.05 6/268 84641
/proc/meminfo: memFree=127568300/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=174240 memory=125120 CPUtime=3.07 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 23598 0 0 0 298 9 0 0 20 0 1 0 74543139 178421760 31280 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 43560 31280 2400 1147 0 30987 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 178432 KiB
Current children cumulated memory: 128192 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127389812/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=248520 memory=170788 CPUtime=6.26 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 33479 0 0 0 613 13 0 0 20 0 1 0 74543139 254484480 42697 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 62130 42697 2400 1147 0 49557 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 252712 KiB
Current children cumulated memory: 173860 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 84642
/proc/meminfo: memFree=127358188/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=251144 memory=182760 CPUtime=12.64 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 34964 0 0 0 1244 20 0 0 20 0 1 0 74543139 257171456 45690 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 62786 45690 2400 1147 0 50213 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 255336 KiB
Current children cumulated memory: 185832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.05 5/268 84642
/proc/meminfo: memFree=127181728/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=284524 memory=200188 CPUtime=25.4 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 37775 0 0 0 2509 31 0 0 20 0 1 0 74543139 291352576 50047 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 71131 50047 2400 1147 0 58558 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 288716 KiB
Current children cumulated memory: 203260 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.10 4.04 5/268 84642
/proc/meminfo: memFree=126959128/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=287784 memory=207268 CPUtime=50.94 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 39060 0 0 0 5041 53 0 0 20 0 1 0 74543139 294690816 51817 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 71946 51817 2400 1147 0 59373 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 291976 KiB
Current children cumulated memory: 210340 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/269 84645
/proc/meminfo: memFree=126789460/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=320212 memory=255956 CPUtime=101.99 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 45162 0 0 0 10101 98 0 0 20 0 1 0 74543139 327897088 63989 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 80053 63989 2400 1147 0 67480 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 324404 KiB
Current children cumulated memory: 259028 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/269 84647
/proc/meminfo: memFree=126582548/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=435532 memory=344284 CPUtime=161.83 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 56410 0 0 0 16051 132 0 0 20 0 1 0 74543139 445984768 86071 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 108883 86071 2400 1147 0 96310 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 439724 KiB
Current children cumulated memory: 347356 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 84649
/proc/meminfo: memFree=126547724/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=436568 memory=362332 CPUtime=221.67 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 56642 0 0 0 22009 158 0 0 20 0 1 0 74543139 447045632 90583 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 109142 90583 2400 1147 0 96569 0
################
# More data... #
################
/proc/84544/statm: 246898 208399 2400 1147 0 234325 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 991784 KiB
Current children cumulated memory: 836668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 84801
/proc/meminfo: memFree=124859348/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3093.84 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118355 0 0 0 308181 1203 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 84804
/proc/meminfo: memFree=124821220/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3153.69 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118355 0 0 0 314149 1220 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 84806
/proc/meminfo: memFree=124827404/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3213.54 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118355 0 0 0 320118 1236 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 84808
/proc/meminfo: memFree=124830880/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3273.4 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118356 0 0 0 326087 1253 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 84810
/proc/meminfo: memFree=124831700/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3333.25 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118358 0 0 0 332055 1270 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 84812
/proc/meminfo: memFree=124829220/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3393.1 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118359 0 0 0 338024 1286 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 84815
/proc/meminfo: memFree=124830104/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=988104 memory=833852 CPUtime=3452.96 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118449 0 0 0 343995 1301 0 0 20 0 1 0 74543139 1011818496 208463 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247026 208463 2400 1147 0 234453 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 992296 KiB
Current children cumulated memory: 836924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 84820
/proc/meminfo: memFree=124836796/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=989128 memory=834492 CPUtime=3512.81 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 118614 0 0 0 349971 1310 0 0 20 0 1 0 74543139 1012867072 208623 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 247282 208623 2400 1147 0 234709 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 993320 KiB
Current children cumulated memory: 837564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 84827
/proc/meminfo: memFree=124789216/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=1061836 memory=885892 CPUtime=3572.66 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 128914 0 0 0 355949 1317 0 0 20 0 1 0 74543139 1087320064 221473 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 265459 221473 2400 1147 0 252886 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1066028 KiB
Current children cumulated memory: 888964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 84828
/proc/meminfo: memFree=124769092/131250000 swapFree=33010684/33010684
[pid=84542] ppid=84538 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84542/stat : 84542 (run-opt.sh) S 84538 84542 84107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74543139 4292608 768 18446744073709551615 94650599694336 94650600588869 140724146128480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650600827920 94650600875664 94650615250944 140724146137453 140724146137576 140724146137576 140724146143178 0
/proc/84542/statm: 1048 768 704 219 0 110 0
[pid=84544] ppid=84542 vsize=1072588 memory=903904 CPUtime=3600.09 cores=1,3
/proc/84544/stat : 84544 (roundingsat) R 84542 84542 84107 0 -1 4194304 130863 0 0 0 358685 1324 0 0 20 0 1 0 74543139 1098330112 225976 18446744073709551615 4227072 8923433 140725368850032 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31277056 140725368859042 140725368859176 140725368859176 140725368864746 0
/proc/84544/statm: 268147 225976 2400 1147 0 255574 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1076780 KiB
Current children cumulated memory: 906976 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 84542 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002521 s, system=0 s
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 84544 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.87 s, system=13.2524 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.12
CPU user time (s): 3586.87
CPU system time (s): 13.2524
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 1076780
Max. memory (cumulated for all children) (KiB): 906976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.87
system time used= 13.2524
maximum resident set size= 904288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353
involuntary context switches= 5658
# summary of solver processes directly reported to runsolver:
# pid: 84542,84544
# total CPU time (s): 3600.12
# total CPU user time (s): 3586.87
# total CPU system time (s): 13.2524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38528 second user time and 15.9034 second system time
The end
Begin job on nodeC028 at 2025-07-04 02:33:26
IDJOB=4521584
IDBENCH=178385
IDSOLVER=3350
FILE ID=nodeC028/4521584-1751589206
RUNJOBID= nodeC028-1751585596-84119
SLURM_JOB_ID= 9598831
Free space on /tmp= 431452 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521584-1751589206/watcher-4521584-1751589206 -o /tmp/evaluation-result-4521584-1751589206/solver-4521584-1751589206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84119 --watchdog 3760 run-opt.sh HOME/instance-4521584-1751589206.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8209c0ad8f9bd935962228118681b22b
RANDOM SEED=1337679129
nodeC028 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.793
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 : 7000.16
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 : 3600.773
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 : 7000.16
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 : 3858.245
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.050
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 : 7000.16
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 : 3600.081
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
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 : 7000.16
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 : 3620.570
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.323
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127006708 kB
MemAvailable: 128926400 kB
Buffers: 3280 kB
Cached: 2720872 kB
SwapCached: 0 kB
Active: 1214732 kB
Inactive: 2411596 kB
Active(anon): 920264 kB
Inactive(anon): 0 kB
Active(file): 294468 kB
Inactive(file): 2411596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14412 kB
Writeback: 60 kB
AnonPages: 901296 kB
Mapped: 113912 kB
Shmem: 18068 kB
KReclaimable: 105736 kB
Slab: 195208 kB
SReclaimable: 105736 kB
SUnreclaim: 89472 kB
KernelStack: 4264 kB
PageTables: 4736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1384308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 827392 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431452 MiB
End job on nodeC028 at 2025-07-04 03:33:36