0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.06/0.11 c #variables 9570 #constraints 1914
0.06/0.11 c objective is ce32
0.06/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.14 c initial counting CF 32, 64, 128, Arb: 1871 , 0 , 0 , 0
0.06/0.14 c GLOBAL bounds - >= 0 @ 0.07307
0.06/0.16 c GLOBAL bounds - >= 0 @ 0.089044
284.86/285.88 c #Conflicts: 1000 | #Constraints: 2914
284.86/285.88 c #Conflicts: 2000 | #Constraints: 3914
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 3000 | #Constraints: 3986
284.86/285.88 c #Conflicts: 4000 | #Constraints: 4986
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 5000 | #Constraints: 4389
284.86/285.88 c #Conflicts: 6000 | #Constraints: 5389
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 7000 | #Constraints: 4430
284.86/285.88 c #Conflicts: 8000 | #Constraints: 5430
284.86/285.88 c #Conflicts: 9000 | #Constraints: 6430
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 10000 | #Constraints: 5165
284.86/285.88 c #Conflicts: 11000 | #Constraints: 6165
284.86/285.88 c #Conflicts: 12000 | #Constraints: 7165
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 13000 | #Constraints: 5612
284.86/285.88 c #Conflicts: 14000 | #Constraints: 6612
284.86/285.88 c #Conflicts: 15000 | #Constraints: 7612
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 16000 | #Constraints: 5830
284.86/285.88 c #Conflicts: 17000 | #Constraints: 6830
284.86/285.88 c #Conflicts: 18000 | #Constraints: 7830
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 19000 | #Constraints: 5833
284.86/285.88 c #Conflicts: 20000 | #Constraints: 6833
284.86/285.88 c #Conflicts: 21000 | #Constraints: 7833
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 22000 | #Constraints: 5648
284.86/285.88 c #Conflicts: 23000 | #Constraints: 6648
284.86/285.88 c #Conflicts: 24000 | #Constraints: 7648
284.86/285.88 c #Conflicts: 25000 | #Constraints: 8648
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 26000 | #Constraints: 6236
284.86/285.88 c #Conflicts: 27000 | #Constraints: 7236
284.86/285.88 c #Conflicts: 28000 | #Constraints: 8236
284.86/285.88 c #Conflicts: 29000 | #Constraints: 9236
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 30000 | #Constraints: 6641
284.86/285.88 c #Conflicts: 31000 | #Constraints: 7641
284.86/285.88 c #Conflicts: 32000 | #Constraints: 8641
284.86/285.88 c #Conflicts: 33000 | #Constraints: 9641
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 34000 | #Constraints: 6893
284.86/285.88 c #Conflicts: 35000 | #Constraints: 7893
284.86/285.88 c #Conflicts: 36000 | #Constraints: 8893
284.86/285.88 c #Conflicts: 37000 | #Constraints: 9893
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 38000 | #Constraints: 6882
284.86/285.88 c #Conflicts: 39000 | #Constraints: 7882
284.86/285.88 c #Conflicts: 40000 | #Constraints: 8882
284.86/285.88 c #Conflicts: 41000 | #Constraints: 9882
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 42000 | #Constraints: 6689
284.86/285.88 c #Conflicts: 43000 | #Constraints: 7689
284.86/285.88 c #Conflicts: 44000 | #Constraints: 8689
284.86/285.88 c #Conflicts: 45000 | #Constraints: 9689
284.86/285.88 c #Conflicts: 46000 | #Constraints: 10689
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 47000 | #Constraints: 7271
284.86/285.88 c #Conflicts: 48000 | #Constraints: 8271
284.86/285.88 c #Conflicts: 49000 | #Constraints: 9271
284.86/285.88 c #Conflicts: 50000 | #Constraints: 10271
284.86/285.88 c #Conflicts: 51000 | #Constraints: 11271
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 52000 | #Constraints: 7685
284.86/285.88 c #Conflicts: 53000 | #Constraints: 8685
284.86/285.88 c #Conflicts: 54000 | #Constraints: 9685
284.86/285.88 c #Conflicts: 55000 | #Constraints: 10685
284.86/285.88 c #Conflicts: 56000 | #Constraints: 11685
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 57000 | #Constraints: 7903
284.86/285.88 c #Conflicts: 58000 | #Constraints: 8903
284.86/285.88 c #Conflicts: 59000 | #Constraints: 9903
284.86/285.88 c #Conflicts: 60000 | #Constraints: 10903
284.86/285.88 c #Conflicts: 61000 | #Constraints: 11903
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 62000 | #Constraints: 7889
284.86/285.88 c #Conflicts: 63000 | #Constraints: 8889
284.86/285.88 c #Conflicts: 64000 | #Constraints: 9889
284.86/285.88 c #Conflicts: 65000 | #Constraints: 10889
284.86/285.88 c #Conflicts: 66000 | #Constraints: 11889
284.86/285.88 c INPROCESSING
284.86/285.88 c GARBAGE COLLECT
284.86/285.88 c #Conflicts: 67000 | #Constraints: 7699
284.86/285.88 c #Conflicts: 68000 | #Constraints: 8699
630.62/632.96 c #Conflicts: 69000 | #Constraints: 9699
630.62/632.96 c #Conflicts: 70000 | #Constraints: 10699
630.62/632.96 c #Conflicts: 71000 | #Constraints: 11699
630.62/632.96 c #Conflicts: 72000 | #Constraints: 12699
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 73000 | #Constraints: 8303
630.62/632.96 c #Conflicts: 74000 | #Constraints: 9303
630.62/632.96 c #Conflicts: 75000 | #Constraints: 10303
630.62/632.96 c #Conflicts: 76000 | #Constraints: 11303
630.62/632.96 c #Conflicts: 77000 | #Constraints: 12303
630.62/632.96 c #Conflicts: 78000 | #Constraints: 13303
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 79000 | #Constraints: 8749
630.62/632.96 c #Conflicts: 80000 | #Constraints: 9749
630.62/632.96 c #Conflicts: 81000 | #Constraints: 10749
630.62/632.96 c #Conflicts: 82000 | #Constraints: 11749
630.62/632.96 c #Conflicts: 83000 | #Constraints: 12749
630.62/632.96 c #Conflicts: 84000 | #Constraints: 13749
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 85000 | #Constraints: 8946
630.62/632.96 c #Conflicts: 86000 | #Constraints: 9946
630.62/632.96 c #Conflicts: 87000 | #Constraints: 10946
630.62/632.96 c #Conflicts: 88000 | #Constraints: 11946
630.62/632.96 c #Conflicts: 89000 | #Constraints: 12946
630.62/632.96 c #Conflicts: 90000 | #Constraints: 13946
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 91000 | #Constraints: 8931
630.62/632.96 c #Conflicts: 92000 | #Constraints: 9931
630.62/632.96 c #Conflicts: 93000 | #Constraints: 10931
630.62/632.96 c #Conflicts: 94000 | #Constraints: 11931
630.62/632.96 c #Conflicts: 95000 | #Constraints: 12931
630.62/632.96 c #Conflicts: 96000 | #Constraints: 13931
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 97000 | #Constraints: 8725
630.62/632.96 c #Conflicts: 98000 | #Constraints: 9725
630.62/632.96 c #Conflicts: 99000 | #Constraints: 10725
630.62/632.96 c #Conflicts: 100000 | #Constraints: 11725
630.62/632.96 c #Conflicts: 101000 | #Constraints: 12725
630.62/632.96 c #Conflicts: 102000 | #Constraints: 13725
630.62/632.96 c #Conflicts: 103000 | #Constraints: 14725
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 104000 | #Constraints: 9301
630.62/632.96 c #Conflicts: 105000 | #Constraints: 10301
630.62/632.96 c #Conflicts: 106000 | #Constraints: 11301
630.62/632.96 c #Conflicts: 107000 | #Constraints: 12301
630.62/632.96 c #Conflicts: 108000 | #Constraints: 13301
630.62/632.96 c #Conflicts: 109000 | #Constraints: 14301
630.62/632.96 c #Conflicts: 110000 | #Constraints: 15301
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 111000 | #Constraints: 9726
630.62/632.96 c #Conflicts: 112000 | #Constraints: 10726
630.62/632.96 c #Conflicts: 113000 | #Constraints: 11726
630.62/632.96 c #Conflicts: 114000 | #Constraints: 12726
630.62/632.96 c #Conflicts: 115000 | #Constraints: 13726
630.62/632.96 c #Conflicts: 116000 | #Constraints: 14726
630.62/632.96 c #Conflicts: 117000 | #Constraints: 15726
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 118000 | #Constraints: 9930
630.62/632.96 c #Conflicts: 119000 | #Constraints: 10930
630.62/632.96 c #Conflicts: 120000 | #Constraints: 11930
630.62/632.96 c #Conflicts: 121000 | #Constraints: 12930
630.62/632.96 c #Conflicts: 122000 | #Constraints: 13930
630.62/632.96 c #Conflicts: 123000 | #Constraints: 14930
630.62/632.96 c #Conflicts: 124000 | #Constraints: 15930
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 125000 | #Constraints: 9972
630.62/632.96 c #Conflicts: 126000 | #Constraints: 10972
630.62/632.96 c #Conflicts: 127000 | #Constraints: 11972
630.62/632.96 c #Conflicts: 128000 | #Constraints: 12972
630.62/632.96 c #Conflicts: 129000 | #Constraints: 13972
630.62/632.96 c #Conflicts: 130000 | #Constraints: 14972
630.62/632.96 c #Conflicts: 131000 | #Constraints: 15972
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 132000 | #Constraints: 9733
630.62/632.96 c #Conflicts: 133000 | #Constraints: 10733
630.62/632.96 c #Conflicts: 134000 | #Constraints: 11733
630.62/632.96 c #Conflicts: 135000 | #Constraints: 12733
630.62/632.96 c #Conflicts: 136000 | #Constraints: 13733
630.62/632.96 c #Conflicts: 137000 | #Constraints: 14733
630.62/632.96 c #Conflicts: 138000 | #Constraints: 15733
630.62/632.96 c #Conflicts: 139000 | #Constraints: 16733
630.62/632.96 c INPROCESSING
630.62/632.96 c GARBAGE COLLECT
630.62/632.96 c #Conflicts: 140000 | #Constraints: 10357
992.51/995.91 c #Conflicts: 141000 | #Constraints: 11357
992.51/995.91 c #Conflicts: 142000 | #Constraints: 12357
992.51/995.91 c #Conflicts: 143000 | #Constraints: 13357
992.51/995.91 c #Conflicts: 144000 | #Constraints: 14357
992.51/995.91 c #Conflicts: 145000 | #Constraints: 15357
992.51/995.91 c #Conflicts: 146000 | #Constraints: 16357
992.51/995.91 c #Conflicts: 147000 | #Constraints: 17357
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 148000 | #Constraints: 10737
992.51/995.91 c #Conflicts: 149000 | #Constraints: 11737
992.51/995.91 c #Conflicts: 150000 | #Constraints: 12737
992.51/995.91 c #Conflicts: 151000 | #Constraints: 13737
992.51/995.91 c #Conflicts: 152000 | #Constraints: 14737
992.51/995.91 c #Conflicts: 153000 | #Constraints: 15737
992.51/995.91 c #Conflicts: 154000 | #Constraints: 16737
992.51/995.91 c #Conflicts: 155000 | #Constraints: 17737
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 156000 | #Constraints: 10962
992.51/995.91 c #Conflicts: 157000 | #Constraints: 11962
992.51/995.91 c #Conflicts: 158000 | #Constraints: 12962
992.51/995.91 c #Conflicts: 159000 | #Constraints: 13962
992.51/995.91 c #Conflicts: 160000 | #Constraints: 14962
992.51/995.91 c #Conflicts: 161000 | #Constraints: 15962
992.51/995.91 c #Conflicts: 162000 | #Constraints: 16962
992.51/995.91 c #Conflicts: 163000 | #Constraints: 17962
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 164000 | #Constraints: 10982
992.51/995.91 c #Conflicts: 165000 | #Constraints: 11982
992.51/995.91 c #Conflicts: 166000 | #Constraints: 12982
992.51/995.91 c #Conflicts: 167000 | #Constraints: 13982
992.51/995.91 c #Conflicts: 168000 | #Constraints: 14982
992.51/995.91 c #Conflicts: 169000 | #Constraints: 15982
992.51/995.91 c #Conflicts: 170000 | #Constraints: 16982
992.51/995.91 c #Conflicts: 171000 | #Constraints: 17982
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 172000 | #Constraints: 10767
992.51/995.91 c #Conflicts: 173000 | #Constraints: 11767
992.51/995.91 c #Conflicts: 174000 | #Constraints: 12767
992.51/995.91 c #Conflicts: 175000 | #Constraints: 13767
992.51/995.91 c #Conflicts: 176000 | #Constraints: 14767
992.51/995.91 c #Conflicts: 177000 | #Constraints: 15767
992.51/995.91 c #Conflicts: 178000 | #Constraints: 16767
992.51/995.91 c #Conflicts: 179000 | #Constraints: 17767
992.51/995.91 c #Conflicts: 180000 | #Constraints: 18767
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 181000 | #Constraints: 11332
992.51/995.91 c #Conflicts: 182000 | #Constraints: 12332
992.51/995.91 c #Conflicts: 183000 | #Constraints: 13332
992.51/995.91 c #Conflicts: 184000 | #Constraints: 14332
992.51/995.91 c #Conflicts: 185000 | #Constraints: 15332
992.51/995.91 c #Conflicts: 186000 | #Constraints: 16332
992.51/995.91 c #Conflicts: 187000 | #Constraints: 17332
992.51/995.91 c #Conflicts: 188000 | #Constraints: 18332
992.51/995.91 c #Conflicts: 189000 | #Constraints: 19332
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 190000 | #Constraints: 11778
992.51/995.91 c #Conflicts: 191000 | #Constraints: 12778
992.51/995.91 c #Conflicts: 192000 | #Constraints: 13778
992.51/995.91 c #Conflicts: 193000 | #Constraints: 14778
992.51/995.91 c #Conflicts: 194000 | #Constraints: 15778
992.51/995.91 c #Conflicts: 195000 | #Constraints: 16778
992.51/995.91 c #Conflicts: 196000 | #Constraints: 17778
992.51/995.91 c #Conflicts: 197000 | #Constraints: 18778
992.51/995.91 c #Conflicts: 198000 | #Constraints: 19778
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 199000 | #Constraints: 11966
992.51/995.91 c #Conflicts: 200000 | #Constraints: 12966
992.51/995.91 c #Conflicts: 201000 | #Constraints: 13966
992.51/995.91 c #Conflicts: 202000 | #Constraints: 14966
992.51/995.91 c #Conflicts: 203000 | #Constraints: 15966
992.51/995.91 c #Conflicts: 204000 | #Constraints: 16966
992.51/995.91 c #Conflicts: 205000 | #Constraints: 17966
992.51/995.91 c #Conflicts: 206000 | #Constraints: 18966
992.51/995.91 c #Conflicts: 207000 | #Constraints: 19966
992.51/995.91 c INPROCESSING
992.51/995.91 c GARBAGE COLLECT
992.51/995.91 c #Conflicts: 208000 | #Constraints: 11946
992.51/995.91 c #Conflicts: 209000 | #Constraints: 12946
992.51/995.91 c #Conflicts: 210000 | #Constraints: 13946
992.51/995.91 c #Conflicts: 211000 | #Constraints: 14946
992.51/995.91 c #Conflicts: 212000 | #Constraints: 15946
992.51/995.91 c #Conflicts: 213000 | #Constraints: 16946
1432.45/1437.22 c #Conflicts: 214000 | #Constraints: 17946
1432.45/1437.22 c #Conflicts: 215000 | #Constraints: 18946
1432.45/1437.22 c #Conflicts: 216000 | #Constraints: 19946
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 217000 | #Constraints: 11713
1432.45/1437.22 c #Conflicts: 218000 | #Constraints: 12713
1432.45/1437.22 c #Conflicts: 219000 | #Constraints: 13713
1432.45/1437.22 c #Conflicts: 220000 | #Constraints: 14713
1432.45/1437.22 c #Conflicts: 221000 | #Constraints: 15713
1432.45/1437.22 c #Conflicts: 222000 | #Constraints: 16713
1432.45/1437.22 c #Conflicts: 223000 | #Constraints: 17713
1432.45/1437.22 c #Conflicts: 224000 | #Constraints: 18713
1432.45/1437.22 c #Conflicts: 225000 | #Constraints: 19713
1432.45/1437.22 c #Conflicts: 226000 | #Constraints: 20713
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 227000 | #Constraints: 12321
1432.45/1437.22 c #Conflicts: 228000 | #Constraints: 13321
1432.45/1437.22 c #Conflicts: 229000 | #Constraints: 14321
1432.45/1437.22 c #Conflicts: 230000 | #Constraints: 15321
1432.45/1437.22 c #Conflicts: 231000 | #Constraints: 16321
1432.45/1437.22 c #Conflicts: 232000 | #Constraints: 17321
1432.45/1437.22 c #Conflicts: 233000 | #Constraints: 18321
1432.45/1437.22 c #Conflicts: 234000 | #Constraints: 19321
1432.45/1437.22 c #Conflicts: 235000 | #Constraints: 20321
1432.45/1437.22 c #Conflicts: 236000 | #Constraints: 21321
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 237000 | #Constraints: 12740
1432.45/1437.22 c #Conflicts: 238000 | #Constraints: 13740
1432.45/1437.22 c #Conflicts: 239000 | #Constraints: 14740
1432.45/1437.22 c #Conflicts: 240000 | #Constraints: 15740
1432.45/1437.22 c #Conflicts: 241000 | #Constraints: 16740
1432.45/1437.22 c #Conflicts: 242000 | #Constraints: 17740
1432.45/1437.22 c #Conflicts: 243000 | #Constraints: 18740
1432.45/1437.22 c #Conflicts: 244000 | #Constraints: 19740
1432.45/1437.22 c #Conflicts: 245000 | #Constraints: 20740
1432.45/1437.22 c #Conflicts: 246000 | #Constraints: 21740
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 247000 | #Constraints: 12950
1432.45/1437.22 c #Conflicts: 248000 | #Constraints: 13950
1432.45/1437.22 c #Conflicts: 249000 | #Constraints: 14950
1432.45/1437.22 c #Conflicts: 250000 | #Constraints: 15950
1432.45/1437.22 c #Conflicts: 251000 | #Constraints: 16950
1432.45/1437.22 c #Conflicts: 252000 | #Constraints: 17950
1432.45/1437.22 c #Conflicts: 253000 | #Constraints: 18950
1432.45/1437.22 c #Conflicts: 254000 | #Constraints: 19950
1432.45/1437.22 c #Conflicts: 255000 | #Constraints: 20950
1432.45/1437.22 c #Conflicts: 256000 | #Constraints: 21950
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 257000 | #Constraints: 12967
1432.45/1437.22 c #Conflicts: 258000 | #Constraints: 13967
1432.45/1437.22 c #Conflicts: 259000 | #Constraints: 14967
1432.45/1437.22 c #Conflicts: 260000 | #Constraints: 15967
1432.45/1437.22 c #Conflicts: 261000 | #Constraints: 16967
1432.45/1437.22 c #Conflicts: 262000 | #Constraints: 17967
1432.45/1437.22 c #Conflicts: 263000 | #Constraints: 18967
1432.45/1437.22 c #Conflicts: 264000 | #Constraints: 19967
1432.45/1437.22 c #Conflicts: 265000 | #Constraints: 20967
1432.45/1437.22 c #Conflicts: 266000 | #Constraints: 21967
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 267000 | #Constraints: 12757
1432.45/1437.22 c #Conflicts: 268000 | #Constraints: 13757
1432.45/1437.22 c #Conflicts: 269000 | #Constraints: 14757
1432.45/1437.22 c #Conflicts: 270000 | #Constraints: 15757
1432.45/1437.22 c #Conflicts: 271000 | #Constraints: 16757
1432.45/1437.22 c #Conflicts: 272000 | #Constraints: 17757
1432.45/1437.22 c #Conflicts: 273000 | #Constraints: 18757
1432.45/1437.22 c #Conflicts: 274000 | #Constraints: 19757
1432.45/1437.22 c #Conflicts: 275000 | #Constraints: 20757
1432.45/1437.22 c #Conflicts: 276000 | #Constraints: 21757
1432.45/1437.22 c #Conflicts: 277000 | #Constraints: 22757
1432.45/1437.22 c INPROCESSING
1432.45/1437.22 c GARBAGE COLLECT
1432.45/1437.22 c #Conflicts: 278000 | #Constraints: 13336
1432.45/1437.22 c #Conflicts: 279000 | #Constraints: 14336
1432.45/1437.22 c #Conflicts: 280000 | #Constraints: 15336
1432.45/1437.22 c #Conflicts: 281000 | #Constraints: 16336
1432.45/1437.22 c #Conflicts: 282000 | #Constraints: 17336
1432.45/1437.22 c #Conflicts: 283000 | #Constraints: 18336
1432.45/1437.22 c #Conflicts: 284000 | #Constraints: 19336
1432.45/1437.22 c #Conflicts: 285000 | #Constraints: 20336
1432.45/1437.22 c #Conflicts: 286000 | #Constraints: 21336
1432.45/1437.22 c #Conflicts: 287000 | #Constraints: 22336
1432.45/1437.22 c #Conflicts: 288000 | #Constraints: 23336
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 289000 | #Constraints: 13755
1902.21/1908.43 c #Conflicts: 290000 | #Constraints: 14755
1902.21/1908.43 c #Conflicts: 291000 | #Constraints: 15755
1902.21/1908.43 c #Conflicts: 292000 | #Constraints: 16755
1902.21/1908.43 c #Conflicts: 293000 | #Constraints: 17755
1902.21/1908.43 c #Conflicts: 294000 | #Constraints: 18755
1902.21/1908.43 c #Conflicts: 295000 | #Constraints: 19755
1902.21/1908.43 c #Conflicts: 296000 | #Constraints: 20755
1902.21/1908.43 c #Conflicts: 297000 | #Constraints: 21755
1902.21/1908.43 c #Conflicts: 298000 | #Constraints: 22755
1902.21/1908.43 c #Conflicts: 299000 | #Constraints: 23755
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 300000 | #Constraints: 14001
1902.21/1908.43 c #Conflicts: 301000 | #Constraints: 15001
1902.21/1908.43 c #Conflicts: 302000 | #Constraints: 16001
1902.21/1908.43 c #Conflicts: 303000 | #Constraints: 17001
1902.21/1908.43 c #Conflicts: 304000 | #Constraints: 18001
1902.21/1908.43 c #Conflicts: 305000 | #Constraints: 19001
1902.21/1908.43 c #Conflicts: 306000 | #Constraints: 20001
1902.21/1908.43 c #Conflicts: 307000 | #Constraints: 21001
1902.21/1908.43 c #Conflicts: 308000 | #Constraints: 22001
1902.21/1908.43 c #Conflicts: 309000 | #Constraints: 23001
1902.21/1908.43 c #Conflicts: 310000 | #Constraints: 24001
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 311000 | #Constraints: 14012
1902.21/1908.43 c #Conflicts: 312000 | #Constraints: 15012
1902.21/1908.43 c #Conflicts: 313000 | #Constraints: 16012
1902.21/1908.43 c #Conflicts: 314000 | #Constraints: 17012
1902.21/1908.43 c #Conflicts: 315000 | #Constraints: 18012
1902.21/1908.43 c #Conflicts: 316000 | #Constraints: 19012
1902.21/1908.43 c #Conflicts: 317000 | #Constraints: 20012
1902.21/1908.43 c #Conflicts: 318000 | #Constraints: 21012
1902.21/1908.43 c #Conflicts: 319000 | #Constraints: 22012
1902.21/1908.43 c #Conflicts: 320000 | #Constraints: 23012
1902.21/1908.43 c #Conflicts: 321000 | #Constraints: 24012
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 322000 | #Constraints: 13755
1902.21/1908.43 c #Conflicts: 323000 | #Constraints: 14755
1902.21/1908.43 c #Conflicts: 324000 | #Constraints: 15755
1902.21/1908.43 c #Conflicts: 325000 | #Constraints: 16755
1902.21/1908.43 c #Conflicts: 326000 | #Constraints: 17755
1902.21/1908.43 c #Conflicts: 327000 | #Constraints: 18755
1902.21/1908.43 c #Conflicts: 328000 | #Constraints: 19755
1902.21/1908.43 c #Conflicts: 329000 | #Constraints: 20755
1902.21/1908.43 c #Conflicts: 330000 | #Constraints: 21755
1902.21/1908.43 c #Conflicts: 331000 | #Constraints: 22755
1902.21/1908.43 c #Conflicts: 332000 | #Constraints: 23755
1902.21/1908.43 c #Conflicts: 333000 | #Constraints: 24755
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 334000 | #Constraints: 14355
1902.21/1908.43 c #Conflicts: 335000 | #Constraints: 15355
1902.21/1908.43 c #Conflicts: 336000 | #Constraints: 16355
1902.21/1908.43 c #Conflicts: 337000 | #Constraints: 17355
1902.21/1908.43 c #Conflicts: 338000 | #Constraints: 18355
1902.21/1908.43 c #Conflicts: 339000 | #Constraints: 19355
1902.21/1908.43 c #Conflicts: 340000 | #Constraints: 20355
1902.21/1908.43 c #Conflicts: 341000 | #Constraints: 21355
1902.21/1908.43 c #Conflicts: 342000 | #Constraints: 22355
1902.21/1908.43 c #Conflicts: 343000 | #Constraints: 23355
1902.21/1908.43 c #Conflicts: 344000 | #Constraints: 24355
1902.21/1908.43 c #Conflicts: 345000 | #Constraints: 25355
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 346000 | #Constraints: 14810
1902.21/1908.43 c #Conflicts: 347000 | #Constraints: 15810
1902.21/1908.43 c #Conflicts: 348000 | #Constraints: 16810
1902.21/1908.43 c #Conflicts: 349000 | #Constraints: 17810
1902.21/1908.43 c #Conflicts: 350000 | #Constraints: 18810
1902.21/1908.43 c #Conflicts: 351000 | #Constraints: 19810
1902.21/1908.43 c #Conflicts: 352000 | #Constraints: 20810
1902.21/1908.43 c #Conflicts: 353000 | #Constraints: 21810
1902.21/1908.43 c #Conflicts: 354000 | #Constraints: 22810
1902.21/1908.43 c #Conflicts: 355000 | #Constraints: 23810
1902.21/1908.43 c #Conflicts: 356000 | #Constraints: 24810
1902.21/1908.43 c #Conflicts: 357000 | #Constraints: 25810
1902.21/1908.43 c INPROCESSING
1902.21/1908.43 c GARBAGE COLLECT
1902.21/1908.43 c #Conflicts: 358000 | #Constraints: 14949
1902.21/1908.43 c #Conflicts: 359000 | #Constraints: 15949
1902.21/1908.43 c #Conflicts: 360000 | #Constraints: 16949
1902.21/1908.43 c #Conflicts: 361000 | #Constraints: 17949
1902.21/1908.43 c #Conflicts: 362000 | #Constraints: 18949
2389.23/2396.85 c #Conflicts: 363000 | #Constraints: 19949
2389.23/2396.85 c #Conflicts: 364000 | #Constraints: 20949
2389.23/2396.85 c #Conflicts: 365000 | #Constraints: 21949
2389.23/2396.85 c #Conflicts: 366000 | #Constraints: 22949
2389.23/2396.85 c #Conflicts: 367000 | #Constraints: 23949
2389.23/2396.85 c #Conflicts: 368000 | #Constraints: 24949
2389.23/2396.85 c #Conflicts: 369000 | #Constraints: 25949
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 370000 | #Constraints: 14978
2389.23/2396.85 c #Conflicts: 371000 | #Constraints: 15978
2389.23/2396.85 c #Conflicts: 372000 | #Constraints: 16978
2389.23/2396.85 c #Conflicts: 373000 | #Constraints: 17978
2389.23/2396.85 c #Conflicts: 374000 | #Constraints: 18978
2389.23/2396.85 c #Conflicts: 375000 | #Constraints: 19978
2389.23/2396.85 c #Conflicts: 376000 | #Constraints: 20978
2389.23/2396.85 c #Conflicts: 377000 | #Constraints: 21978
2389.23/2396.85 c #Conflicts: 378000 | #Constraints: 22978
2389.23/2396.85 c #Conflicts: 379000 | #Constraints: 23978
2389.23/2396.85 c #Conflicts: 380000 | #Constraints: 24978
2389.23/2396.85 c #Conflicts: 381000 | #Constraints: 25978
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 382000 | #Constraints: 14781
2389.23/2396.85 c #Conflicts: 383000 | #Constraints: 15781
2389.23/2396.85 c #Conflicts: 384000 | #Constraints: 16781
2389.23/2396.85 c #Conflicts: 385000 | #Constraints: 17781
2389.23/2396.85 c #Conflicts: 386000 | #Constraints: 18781
2389.23/2396.85 c #Conflicts: 387000 | #Constraints: 19781
2389.23/2396.85 c #Conflicts: 388000 | #Constraints: 20781
2389.23/2396.85 c #Conflicts: 389000 | #Constraints: 21781
2389.23/2396.85 c #Conflicts: 390000 | #Constraints: 22781
2389.23/2396.85 c #Conflicts: 391000 | #Constraints: 23781
2389.23/2396.85 c #Conflicts: 392000 | #Constraints: 24781
2389.23/2396.85 c #Conflicts: 393000 | #Constraints: 25781
2389.23/2396.85 c #Conflicts: 394000 | #Constraints: 26781
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 395000 | #Constraints: 15386
2389.23/2396.85 c #Conflicts: 396000 | #Constraints: 16386
2389.23/2396.85 c #Conflicts: 397000 | #Constraints: 17386
2389.23/2396.85 c #Conflicts: 398000 | #Constraints: 18386
2389.23/2396.85 c #Conflicts: 399000 | #Constraints: 19386
2389.23/2396.85 c #Conflicts: 400000 | #Constraints: 20386
2389.23/2396.85 c #Conflicts: 401000 | #Constraints: 21386
2389.23/2396.85 c #Conflicts: 402000 | #Constraints: 22386
2389.23/2396.85 c #Conflicts: 403000 | #Constraints: 23386
2389.23/2396.85 c #Conflicts: 404000 | #Constraints: 24386
2389.23/2396.85 c #Conflicts: 405000 | #Constraints: 25386
2389.23/2396.85 c #Conflicts: 406000 | #Constraints: 26386
2389.23/2396.85 c #Conflicts: 407000 | #Constraints: 27386
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 408000 | #Constraints: 15752
2389.23/2396.85 c #Conflicts: 409000 | #Constraints: 16752
2389.23/2396.85 c #Conflicts: 410000 | #Constraints: 17752
2389.23/2396.85 c #Conflicts: 411000 | #Constraints: 18752
2389.23/2396.85 c #Conflicts: 412000 | #Constraints: 19752
2389.23/2396.85 c #Conflicts: 413000 | #Constraints: 20752
2389.23/2396.85 c #Conflicts: 414000 | #Constraints: 21752
2389.23/2396.85 c #Conflicts: 415000 | #Constraints: 22752
2389.23/2396.85 c #Conflicts: 416000 | #Constraints: 23752
2389.23/2396.85 c #Conflicts: 417000 | #Constraints: 24752
2389.23/2396.85 c #Conflicts: 418000 | #Constraints: 25752
2389.23/2396.85 c #Conflicts: 419000 | #Constraints: 26752
2389.23/2396.85 c #Conflicts: 420000 | #Constraints: 27752
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 421000 | #Constraints: 15954
2389.23/2396.85 c #Conflicts: 422000 | #Constraints: 16954
2389.23/2396.85 c #Conflicts: 423000 | #Constraints: 17954
2389.23/2396.85 c #Conflicts: 424000 | #Constraints: 18954
2389.23/2396.85 c #Conflicts: 425000 | #Constraints: 19954
2389.23/2396.85 c #Conflicts: 426000 | #Constraints: 20954
2389.23/2396.85 c #Conflicts: 427000 | #Constraints: 21954
2389.23/2396.85 c #Conflicts: 428000 | #Constraints: 22954
2389.23/2396.85 c #Conflicts: 429000 | #Constraints: 23954
2389.23/2396.85 c #Conflicts: 430000 | #Constraints: 24954
2389.23/2396.85 c #Conflicts: 431000 | #Constraints: 25954
2389.23/2396.85 c #Conflicts: 432000 | #Constraints: 26954
2389.23/2396.85 c #Conflicts: 433000 | #Constraints: 27954
2389.23/2396.85 c INPROCESSING
2389.23/2396.85 c GARBAGE COLLECT
2389.23/2396.85 c #Conflicts: 434000 | #Constraints: 15990
2389.23/2396.85 c #Conflicts: 435000 | #Constraints: 16990
2389.23/2396.85 c #Conflicts: 436000 | #Constraints: 17990
2389.23/2396.85 c #Conflicts: 437000 | #Constraints: 18990
2767.84/2776.63 c #Conflicts: 438000 | #Constraints: 19990
2767.84/2776.63 c #Conflicts: 439000 | #Constraints: 20990
2767.84/2776.63 c #Conflicts: 440000 | #Constraints: 21990
2767.84/2776.63 c #Conflicts: 441000 | #Constraints: 22990
2767.84/2776.63 c #Conflicts: 442000 | #Constraints: 23990
2767.84/2776.63 c #Conflicts: 443000 | #Constraints: 24990
2767.84/2776.63 c #Conflicts: 444000 | #Constraints: 25990
2767.84/2776.63 c #Conflicts: 445000 | #Constraints: 26990
2767.84/2776.63 c #Conflicts: 446000 | #Constraints: 27990
2767.84/2776.63 c INPROCESSING
2767.84/2776.63 c GARBAGE COLLECT
2767.84/2776.63 c #Conflicts: 447000 | #Constraints: 15805
2767.84/2776.63 c #Conflicts: 448000 | #Constraints: 16805
2767.84/2776.63 c #Conflicts: 449000 | #Constraints: 17805
2767.84/2776.63 c #Conflicts: 450000 | #Constraints: 18805
2767.84/2776.63 c #Conflicts: 451000 | #Constraints: 19805
2767.84/2776.63 c #Conflicts: 452000 | #Constraints: 20805
2767.84/2776.63 c #Conflicts: 453000 | #Constraints: 21805
2767.84/2776.63 c #Conflicts: 454000 | #Constraints: 22805
2767.84/2776.63 c #Conflicts: 455000 | #Constraints: 23805
2767.84/2776.63 c #Conflicts: 456000 | #Constraints: 24805
2767.84/2776.63 c #Conflicts: 457000 | #Constraints: 25805
2767.84/2776.63 c #Conflicts: 458000 | #Constraints: 26805
2767.84/2776.63 c #Conflicts: 459000 | #Constraints: 27805
2767.84/2776.63 c #Conflicts: 460000 | #Constraints: 28805
2767.84/2776.63 c INPROCESSING
2767.84/2776.63 c GARBAGE COLLECT
2767.84/2776.63 c #Conflicts: 461000 | #Constraints: 16393
2767.84/2776.63 c #Conflicts: 462000 | #Constraints: 17393
2767.84/2776.63 c #Conflicts: 463000 | #Constraints: 18393
2767.84/2776.63 c #Conflicts: 464000 | #Constraints: 19393
2767.84/2776.63 c #Conflicts: 465000 | #Constraints: 20393
2767.84/2776.63 c #Conflicts: 466000 | #Constraints: 21393
2767.84/2776.63 c #Conflicts: 467000 | #Constraints: 22393
2767.84/2776.63 c #Conflicts: 468000 | #Constraints: 23393
2767.84/2776.63 c #Conflicts: 469000 | #Constraints: 24393
2767.84/2776.63 c #Conflicts: 470000 | #Constraints: 25393
2767.84/2776.63 c #Conflicts: 471000 | #Constraints: 26393
2767.84/2776.63 c #Conflicts: 472000 | #Constraints: 27393
2767.84/2776.63 c #Conflicts: 473000 | #Constraints: 28393
2767.84/2776.63 c #Conflicts: 474000 | #Constraints: 29393
2767.84/2776.63 c INPROCESSING
2767.84/2776.63 c GARBAGE COLLECT
2767.84/2776.63 c #Conflicts: 475000 | #Constraints: 16757
2767.84/2776.63 c #Conflicts: 476000 | #Constraints: 17757
2767.84/2776.63 c #Conflicts: 477000 | #Constraints: 18757
2767.84/2776.63 c #Conflicts: 478000 | #Constraints: 19757
2767.84/2776.63 c #Conflicts: 479000 | #Constraints: 20757
2767.84/2776.63 c #Conflicts: 480000 | #Constraints: 21757
2767.84/2776.63 c #Conflicts: 481000 | #Constraints: 22757
2767.84/2776.63 c #Conflicts: 482000 | #Constraints: 23757
2767.84/2776.63 c #Conflicts: 483000 | #Constraints: 24757
2767.84/2776.63 c #Conflicts: 484000 | #Constraints: 25757
2767.84/2776.63 c #Conflicts: 485000 | #Constraints: 26757
2767.84/2776.63 c #Conflicts: 486000 | #Constraints: 27757
2767.84/2776.63 c #Conflicts: 487000 | #Constraints: 28757
2767.84/2776.63 c #Conflicts: 488000 | #Constraints: 29757
2767.84/2776.63 c INPROCESSING
2767.84/2776.63 c GARBAGE COLLECT
2767.84/2776.63 c #Conflicts: 489000 | #Constraints: 16929
2767.84/2776.63 c #Conflicts: 490000 | #Constraints: 17929
2767.84/2776.63 c #Conflicts: 491000 | #Constraints: 18929
2767.84/2776.63 c #Conflicts: 492000 | #Constraints: 19929
2767.84/2776.63 c #Conflicts: 493000 | #Constraints: 20929
2767.84/2776.63 c #Conflicts: 494000 | #Constraints: 21929
2767.84/2776.63 c #Conflicts: 495000 | #Constraints: 22929
2767.84/2776.63 c #Conflicts: 496000 | #Constraints: 23929
2767.84/2776.63 c #Conflicts: 497000 | #Constraints: 24929
2767.84/2776.63 c #Conflicts: 498000 | #Constraints: 25929
2767.84/2776.63 c #Conflicts: 499000 | #Constraints: 26929
2767.84/2776.63 c #Conflicts: 500000 | #Constraints: 27929
2767.84/2776.63 c #Conflicts: 501000 | #Constraints: 28929
2767.84/2776.63 c #Conflicts: 502000 | #Constraints: 29929
2767.84/2776.63 c INPROCESSING
2767.84/2776.63 c GARBAGE COLLECT
2767.84/2776.63 c #Conflicts: 503000 | #Constraints: 16917
2767.84/2776.63 c #Conflicts: 504000 | #Constraints: 17917
2767.84/2776.63 c #Conflicts: 505000 | #Constraints: 18917
2767.84/2776.63 c #Conflicts: 506000 | #Constraints: 19917
2767.84/2776.63 c #Conflicts: 507000 | #Constraints: 20917
2767.84/2776.63 c #Conflicts: 508000 | #Constraints: 21917
2767.84/2776.63 c #Conflicts: 509000 | #Constraints: 22917
2767.84/2776.63 c #Conflicts: 510000 | #Constraints: 23917
2767.84/2776.63 c #Conflicts: 511000 | #Constraints: 24917
2767.84/2776.63 c #Conflicts: 512000 | #Constraints: 25917
2767.84/2776.63 c #Conflicts: 513000 | #Constraints: 26917
3320.70/3331.22 c #Conflicts: 514000 | #Constraints: 27917
3320.70/3331.22 c #Conflicts: 515000 | #Constraints: 28917
3320.70/3331.22 c #Conflicts: 516000 | #Constraints: 29917
3320.70/3331.22 c INPROCESSING
3320.70/3331.22 c GARBAGE COLLECT
3320.70/3331.22 c #Conflicts: 517000 | #Constraints: 16715
3320.70/3331.22 c #Conflicts: 518000 | #Constraints: 17715
3320.70/3331.22 c #Conflicts: 519000 | #Constraints: 18715
3320.70/3331.22 c #Conflicts: 520000 | #Constraints: 19715
3320.70/3331.22 c #Conflicts: 521000 | #Constraints: 20715
3320.70/3331.22 c #Conflicts: 522000 | #Constraints: 21715
3320.70/3331.22 c #Conflicts: 523000 | #Constraints: 22715
3320.70/3331.22 c #Conflicts: 524000 | #Constraints: 23715
3320.70/3331.22 c #Conflicts: 525000 | #Constraints: 24715
3320.70/3331.22 c #Conflicts: 526000 | #Constraints: 25715
3320.70/3331.22 c #Conflicts: 527000 | #Constraints: 26715
3320.70/3331.22 c #Conflicts: 528000 | #Constraints: 27715
3320.70/3331.22 c #Conflicts: 529000 | #Constraints: 28715
3320.70/3331.22 c #Conflicts: 530000 | #Constraints: 29715
3320.70/3331.22 c #Conflicts: 531000 | #Constraints: 30715
3320.70/3331.22 c INPROCESSING
3320.70/3331.22 c GARBAGE COLLECT
3320.70/3331.22 c #Conflicts: 532000 | #Constraints: 17334
3320.70/3331.22 c #Conflicts: 533000 | #Constraints: 18334
3320.70/3331.22 c #Conflicts: 534000 | #Constraints: 19334
3320.70/3331.22 c #Conflicts: 535000 | #Constraints: 20334
3320.70/3331.22 c #Conflicts: 536000 | #Constraints: 21334
3320.70/3331.22 c #Conflicts: 537000 | #Constraints: 22334
3320.70/3331.22 c #Conflicts: 538000 | #Constraints: 23334
3320.70/3331.22 c #Conflicts: 539000 | #Constraints: 24334
3320.70/3331.22 c #Conflicts: 540000 | #Constraints: 25334
3320.70/3331.22 c #Conflicts: 541000 | #Constraints: 26334
3320.70/3331.22 c #Conflicts: 542000 | #Constraints: 27334
3320.70/3331.22 c #Conflicts: 543000 | #Constraints: 28334
3320.70/3331.22 c #Conflicts: 544000 | #Constraints: 29334
3320.70/3331.22 c #Conflicts: 545000 | #Constraints: 30334
3320.70/3331.22 c #Conflicts: 546000 | #Constraints: 31334
3320.70/3331.22 c INPROCESSING
3320.70/3331.22 c GARBAGE COLLECT
3320.70/3331.22 c #Conflicts: 547000 | #Constraints: 17803
3320.70/3331.22 c #Conflicts: 548000 | #Constraints: 18803
3320.70/3331.22 c #Conflicts: 549000 | #Constraints: 19803
3320.70/3331.22 c #Conflicts: 550000 | #Constraints: 20803
3320.70/3331.22 c #Conflicts: 551000 | #Constraints: 21803
3320.70/3331.22 c #Conflicts: 552000 | #Constraints: 22803
3320.70/3331.22 c #Conflicts: 553000 | #Constraints: 23803
3320.70/3331.22 c #Conflicts: 554000 | #Constraints: 24803
3320.70/3331.22 c #Conflicts: 555000 | #Constraints: 25803
3320.70/3331.22 c #Conflicts: 556000 | #Constraints: 26803
3320.70/3331.22 c #Conflicts: 557000 | #Constraints: 27803
3320.70/3331.22 c #Conflicts: 558000 | #Constraints: 28803
3320.70/3331.22 c #Conflicts: 559000 | #Constraints: 29803
3320.70/3331.22 c #Conflicts: 560000 | #Constraints: 30803
3320.70/3331.22 c #Conflicts: 561000 | #Constraints: 31803
3320.70/3331.22 c INPROCESSING
3320.70/3331.22 c GARBAGE COLLECT
3320.70/3331.22 c #Conflicts: 562000 | #Constraints: 17977
3320.70/3331.22 c #Conflicts: 563000 | #Constraints: 18977
3320.70/3331.22 c #Conflicts: 564000 | #Constraints: 19977
3320.70/3331.22 c #Conflicts: 565000 | #Constraints: 20977
3320.70/3331.22 c #Conflicts: 566000 | #Constraints: 21977
3320.70/3331.22 c #Conflicts: 567000 | #Constraints: 22977
3320.70/3331.22 c #Conflicts: 568000 | #Constraints: 23977
3320.70/3331.22 c #Conflicts: 569000 | #Constraints: 24977
3320.70/3331.22 c #Conflicts: 570000 | #Constraints: 25977
3320.70/3331.22 c #Conflicts: 571000 | #Constraints: 26977
3320.70/3331.22 c #Conflicts: 572000 | #Constraints: 27977
3320.70/3331.22 c #Conflicts: 573000 | #Constraints: 28977
3320.70/3331.22 c #Conflicts: 574000 | #Constraints: 29977
3320.70/3331.22 c #Conflicts: 575000 | #Constraints: 30977
3320.70/3331.22 c #Conflicts: 576000 | #Constraints: 31977
3320.70/3331.22 c INPROCESSING
3320.70/3331.22 c GARBAGE COLLECT
3320.70/3331.22 c #Conflicts: 577000 | #Constraints: 17891
3320.70/3331.22 c #Conflicts: 578000 | #Constraints: 18891
3320.70/3331.22 c #Conflicts: 579000 | #Constraints: 19891
3320.70/3331.22 c #Conflicts: 580000 | #Constraints: 20891
3320.70/3331.22 c #Conflicts: 581000 | #Constraints: 21891
3320.70/3331.22 c #Conflicts: 582000 | #Constraints: 22891
3320.70/3331.22 c #Conflicts: 583000 | #Constraints: 23891
3320.70/3331.22 c #Conflicts: 584000 | #Constraints: 24891
3320.70/3331.22 c #Conflicts: 585000 | #Constraints: 25891
3320.70/3331.22 c #Conflicts: 586000 | #Constraints: 26891
3320.70/3331.22 c #Conflicts: 587000 | #Constraints: 27891
3320.70/3331.22 c #Conflicts: 588000 | #Constraints: 28891
3600.07/3611.40 c #Conflicts: 589000 | #Constraints: 29891
3600.07/3611.40 c #Conflicts: 590000 | #Constraints: 30891
3600.07/3611.40 c #Conflicts: 591000 | #Constraints: 31891
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 592000 | #Constraints: 17731
3600.07/3611.40 c #Conflicts: 593000 | #Constraints: 18731
3600.07/3611.40 c #Conflicts: 594000 | #Constraints: 19731
3600.07/3611.40 c #Conflicts: 595000 | #Constraints: 20731
3600.07/3611.40 c #Conflicts: 596000 | #Constraints: 21731
3600.07/3611.40 c #Conflicts: 597000 | #Constraints: 22731
3600.07/3611.40 c #Conflicts: 598000 | #Constraints: 23731
3600.07/3611.40 c #Conflicts: 599000 | #Constraints: 24731
3600.07/3611.40 c #Conflicts: 600000 | #Constraints: 25731
3600.07/3611.40 c #Conflicts: 601000 | #Constraints: 26731
3600.07/3611.40 c #Conflicts: 602000 | #Constraints: 27731
3600.07/3611.40 c #Conflicts: 603000 | #Constraints: 28731
3600.07/3611.40 c #Conflicts: 604000 | #Constraints: 29731
3600.07/3611.40 c #Conflicts: 605000 | #Constraints: 30731
3600.07/3611.40 c #Conflicts: 606000 | #Constraints: 31731
3600.07/3611.40 c #Conflicts: 607000 | #Constraints: 32731
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 608000 | #Constraints: 18339
3600.07/3611.40 c #Conflicts: 609000 | #Constraints: 19339
3600.07/3611.40 c #Conflicts: 610000 | #Constraints: 20339
3600.07/3611.40 c #Conflicts: 611000 | #Constraints: 21339
3600.07/3611.40 c #Conflicts: 612000 | #Constraints: 22339
3600.07/3611.40 c #Conflicts: 613000 | #Constraints: 23339
3600.07/3611.40 c #Conflicts: 614000 | #Constraints: 24339
3600.07/3611.40 c #Conflicts: 615000 | #Constraints: 25339
3600.07/3611.40 c #Conflicts: 616000 | #Constraints: 26339
3600.07/3611.40 c #Conflicts: 617000 | #Constraints: 27339
3600.07/3611.40 c #Conflicts: 618000 | #Constraints: 28339
3600.07/3611.40 c #Conflicts: 619000 | #Constraints: 29339
3600.07/3611.40 c #Conflicts: 620000 | #Constraints: 30339
3600.07/3611.40 c #Conflicts: 621000 | #Constraints: 31339
3600.07/3611.40 c #Conflicts: 622000 | #Constraints: 32339
3600.07/3611.40 c #Conflicts: 623000 | #Constraints: 33339
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 624000 | #Constraints: 18730
3600.07/3611.40 c #Conflicts: 625000 | #Constraints: 19730
3600.07/3611.40 c #Conflicts: 626000 | #Constraints: 20730
3600.07/3611.40 c cpu time 3574.53 s
3600.07/3611.40 c deterministic time 1 1.00e+00
3600.07/3611.40 c optimization time 3574.47 s
3600.07/3611.40 c total solve time 0 s
3600.07/3611.40 c core-guided solve time 0 s
3600.07/3611.40 c propagation time 0.002468 s
3600.07/3611.40 c conflict analysis time 0 s
3600.07/3611.40 c propagations 0
3600.07/3611.40 c resolve steps 0
3600.07/3611.40 c decisions 0
3600.07/3611.40 c conflicts 0
3600.07/3611.40 c restarts 0
3600.07/3611.40 c inprocessing phases 0
3600.07/3611.40 c garbage collections 0 ,( -nan )
3600.07/3611.40 c input clauses 0 ,( 0.00 )
3600.07/3611.40 c input cardinalities 44 ,( 2.30 )
3600.07/3611.40 c input general constraints 1870 ,( 97.70 )
3600.07/3611.40 c input average constraint length 14.77
3600.07/3611.40 c input average constraint degree 9.84
3600.07/3611.40 c learned clauses 0 ,( 0.00 )
3600.07/3611.40 c learned cardinalities 0 ,( 0.00 )
3600.07/3611.40 c learned general constraints 0 ,( 0.00 )
3600.07/3611.40 c learned average constraint length 0.00
3600.07/3611.40 c learned average constraint degree 0.00
3600.07/3611.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3611.40 c counting CF 32, 64, 128, Arb: 1871 , 0 , 0 , 0
3600.07/3611.40 c watched constraints 0 ,( 0.00 )
3600.07/3611.40 c counting constraints 1870 ,( 100.00 )
3600.07/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.40 c gcd simplifications 44
3600.07/3611.40 c detected cardinalities 0
3600.07/3611.40 c weakened non-implied lits 0
3600.07/3611.40 c weakened non-implying lits 0
3600.07/3611.40 c original variables 9570
3600.07/3611.40 c clausal propagations 0
3600.07/3611.40 c cardinality propagations 0
3600.07/3611.40 c watched propagations 0
3600.07/3611.40 c counting propagations 0
3600.07/3611.40 c watch lookups 0
3600.07/3611.40 c watch backjump lookups 0
3600.07/3611.40 c watch checks 0
3600.07/3611.40 c propagation checks 0
3600.07/3611.40 c constraint additions 0
3600.07/3611.40 c trail pops 0
3600.07/3611.40 c formula constraints 1914
3600.07/3611.40 c learned constraints 0
3600.07/3611.40 c bound constraints 0
3600.07/3611.40 c core-guided constraints 0
3600.07/3611.40 c encountered formula constraints 0
3600.07/3611.40 c encountered learned constraints 0
3600.07/3611.40 c encountered bound constraints 0
3600.07/3611.40 c encountered core-guided constraints 0
3600.07/3611.40 c LP total time 0 s
3600.07/3611.40 c LP solve time 0 s
3600.07/3611.40 c LP constraints added 0
3600.07/3611.40 c LP constraints removed 0
3600.07/3611.40 c LP pivots internal 0
3600.07/3611.40 c LP pivots root 0
3600.07/3611.40 c LP calls 0
3600.07/3611.40 c LP optimalities 0
3600.07/3611.40 c LP no pivot count 0
3600.07/3611.40 c LP infeasibilities 0
3600.07/3611.40 c LP valid Farkas constraints 0
3600.07/3611.40 c LP learned Farkas constraints 0
3600.07/3611.40 c LP basis resets 0
3600.07/3611.40 c LP cycling count 0
3600.07/3611.40 c LP singular count 0
3600.07/3611.40 c LP no primal count 0
3600.07/3611.40 c LP no farkas count 0
3600.07/3611.40 c LP other issue count 0
3600.07/3611.40 c LP Gomory cuts 0
3600.07/3611.40 c LP learned cuts 0
3600.07/3611.40 c LP deleted cuts 0
3600.07/3611.40 c LP encountered Gomory constraints 0
3600.07/3611.40 c LP encountered Farkas constraints 0
3600.07/3611.40 c LP encountered learned Farkas constraints 0
3600.07/3611.40 c CG auxiliary variables introduced 0
3600.07/3611.40 c CG solutions found 0
3600.07/3611.40 c CG cores constructed 0
3600.07/3611.40 c CG core cardinality constraints returned 0
3600.07/3611.40 c CG unit cores 0
3600.07/3611.40 c CG single cores 0
3600.07/3611.40 c CG blocks removed during cardinality reduction 0
3600.07/3611.40 c CG first core best 0
3600.07/3611.40 c CG decision core best 0
3600.07/3611.40 c CG core reduction tie 0
3600.07/3611.40 c CG core degree average 0.00
3600.07/3611.40 c CG core slack average 0.00
3600.07/3611.40 c CG core upper bound improvements 0
3600.07/3611.40 c STR number of successful calls 0
3600.07/3611.40 c STR number of unsuccessful calls 0
3600.07/3611.40 c STR number of inconclusive calls 0
3600.07/3611.40 c STR number of successful attempts 0
3600.07/3611.40 c STR number of unsuccessful attempts 0
3600.07/3611.40 c STR number of inconclusive attempts 0
3600.07/3611.40 c STR average degree increase per successful call inf
3600.07/3611.40 c STR average degree increase per successful attempt inf
3600.07/3611.40 c STR total number of conflicts for successful attempts 0
3600.07/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.40 c STR average number of conflicts per successful attempt inf
3600.07/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.40 c AVG.sumWPerc 73.33
3600.07/3611.40 c bigint constraints 0
3600.07/3611.40 s UNKNOWN
3600.07/3611.40 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: 63794 MiB (54061 MiB free)
memory of node 1: 64507 MiB (63027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520159-1751566528/watcher-4520159-1751566528 -o /tmp/evaluation-result-4520159-1751566528/solver-4520159-1751566528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80735 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520159-1751566528.opb PROOFDIR/proof-4520159-1751566528
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81116, runsolver pid=81113
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.16 4.19 7/254 81118
/proc/meminfo: memFree=119891424/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=62096 memory=18504 CPUtime=0.06 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 2728 0 0 0 5 1 0 0 20 0 1 0 72331657 63586304 4626 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 15524 4626 2272 1147 0 2951 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66288 KiB
Current children cumulated memory: 21448 KiB
[startup+0.213382 s]*
/proc/loadavg: 4.09 4.16 4.19 6/254 81118
/proc/meminfo: memFree=119886132/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=70864 memory=24008 CPUtime=0.17 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 4056 0 0 0 13 4 0 0 20 0 1 0 72331657 72564736 6002 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 17716 6002 2336 1147 0 5143 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 75056 KiB
Current children cumulated memory: 26952 KiB
[startup+0.314296 s]*
/proc/loadavg: 4.09 4.16 4.19 6/254 81121
/proc/meminfo: memFree=119881328/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=75024 memory=30480 CPUtime=0.27 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 5180 0 0 0 22 5 0 0 20 0 1 0 72331657 76824576 7620 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 18756 7620 2336 1147 0 6183 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79216 KiB
Current children cumulated memory: 33424 KiB
[startup+0.700454 s]
/proc/loadavg: 4.09 4.16 4.19 5/251 81124
/proc/meminfo: memFree=119854140/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=93292 memory=48016 CPUtime=0.64 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 9564 0 0 0 57 7 0 0 20 0 1 0 72331657 95531008 12004 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 23323 12004 2336 1147 0 10750 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 97484 KiB
Current children cumulated memory: 50960 KiB
[startup+1.50035 s]
/proc/loadavg: 4.09 4.16 4.19 6/251 81124
/proc/meminfo: memFree=119904396/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=97712 memory=54452 CPUtime=1.44 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 10129 0 0 0 135 9 0 0 20 0 1 0 72331657 100057088 13613 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 24428 13613 2336 1147 0 11855 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 57396 KiB
[startup+3.11419 s]
/proc/loadavg: 4.09 4.16 4.19 5/252 81144
/proc/meminfo: memFree=121282788/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=195348 memory=136404 CPUtime=3.04 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 26533 0 0 0 290 14 0 0 20 0 1 0 72331657 200036352 34101 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 48837 34101 2336 1147 0 36264 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 199540 KiB
Current children cumulated memory: 139348 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.16 4.19 5/255 81150
/proc/meminfo: memFree=120900276/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=356248 memory=263432 CPUtime=6.22 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 47585 0 0 0 599 23 0 0 20 0 1 0 72331657 364797952 65858 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 89062 65858 2336 1147 0 76489 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 360440 KiB
Current children cumulated memory: 266376 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.17 4.19 5/253 81150
/proc/meminfo: memFree=120368356/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=503912 memory=415180 CPUtime=12.6 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 75304 0 0 0 1222 38 0 0 20 0 1 0 72331657 516005888 103795 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 125978 103795 2336 1147 0 113405 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 508104 KiB
Current children cumulated memory: 418124 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.16 4.19 5/257 81177
/proc/meminfo: memFree=126492236/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=882252 memory=712556 CPUtime=25.35 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 130748 0 0 0 2472 63 0 0 20 0 1 0 72331657 903426048 178139 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 220563 178139 2336 1147 0 207990 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 886444 KiB
Current children cumulated memory: 715500 KiB
[startup+51.1143 s]
/proc/loadavg: 4.08 4.15 4.18 5/258 81179
/proc/meminfo: memFree=125326352/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=1020916 memory=843596 CPUtime=50.9 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 148685 0 0 0 4991 99 0 0 20 0 1 0 72331657 1045417984 210899 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 255229 210899 2336 1147 0 242656 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1025108 KiB
Current children cumulated memory: 846540 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/260 81182
/proc/meminfo: memFree=123429500/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=1023284 memory=963852 CPUtime=101.95 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 160939 0 0 0 10050 145 0 0 20 0 1 0 72331657 1047842816 240963 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 255821 240963 2336 1147 0 243248 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1027476 KiB
Current children cumulated memory: 966796 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.18 5/261 81189
/proc/meminfo: memFree=121458832/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=1807876 memory=1350796 CPUtime=161.76 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 247961 0 0 0 15962 214 0 0 20 0 1 0 72331657 1851265024 337699 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 451969 337699 2336 1147 0 439396 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1812068 KiB
Current children cumulated memory: 1353740 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.18 5/261 81191
/proc/meminfo: memFree=120412416/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=1807876 memory=1350796 CPUtime=221.56 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 248001 0 0 0 21892 264 0 0 20 0 1 0 72331657 1851265024 337699 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 451969 337699 2336 1147 0 439396 0
################
# More data... #
################
[pid=81118] ppid=81116 vsize=5799980 memory=4801092 CPUtime=3092.49 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 868021 0 0 0 306952 2297 0 0 20 0 1 0 72331657 5939179520 1200273 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1200273 2336 1147 0 1437422 0
Current children cumulated CPU time: 3092.49 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4804036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.24 4.19 5/262 81353
/proc/meminfo: memFree=81240264/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4801092 CPUtime=3152.31 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 869453 0 0 0 312907 2324 0 0 20 0 1 0 72331657 5939179520 1200273 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1200273 2336 1147 0 1437422 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4804036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.61 4.35 4.23 5/259 81355
/proc/meminfo: memFree=80734384/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4801220 CPUtime=3212.13 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 869865 0 0 0 318860 2353 0 0 20 0 1 0 72331657 5939179520 1200305 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1200305 2336 1147 0 1437422 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4804164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.45 4.34 4.23 5/259 81357
/proc/meminfo: memFree=80246600/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4801220 CPUtime=3271.95 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 870579 0 0 0 324808 2387 0 0 20 0 1 0 72331657 5939179520 1200305 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1200305 2336 1147 0 1437422 0
Current children cumulated CPU time: 3271.95 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4804164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.29 4.22 5/260 81361
/proc/meminfo: memFree=79770448/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4801220 CPUtime=3331.77 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 871053 0 0 0 330762 2415 0 0 20 0 1 0 72331657 5939179520 1200305 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1200305 2336 1147 0 1437422 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4804164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.25 4.21 5/261 81364
/proc/meminfo: memFree=79305296/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4816616 CPUtime=3391.61 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 871409 0 0 0 336714 2447 0 0 20 0 1 0 72331657 5939179520 1204154 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1204154 2336 1147 0 1437422 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4819560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/261 81366
/proc/meminfo: memFree=78788176/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4816616 CPUtime=3451.43 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 872464 0 0 0 342667 2476 0 0 20 0 1 0 72331657 5939179520 1204154 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1204154 2336 1147 0 1437422 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4819560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/261 81370
/proc/meminfo: memFree=78057724/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4816616 CPUtime=3511.24 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 872548 0 0 0 348615 2509 0 0 20 0 1 0 72331657 5939179520 1204154 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1204154 2336 1147 0 1437422 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4819560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.19 5/260 81372
/proc/meminfo: memFree=77643104/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4816616 CPUtime=3571.07 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 872855 0 0 0 354569 2538 0 0 20 0 1 0 72331657 5939179520 1204154 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1204154 2336 1147 0 1437422 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4819560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.09 4.18 4.18 5/259 81373
/proc/meminfo: memFree=81180560/131382112 swapFree=33009904/33010684
[pid=81116] ppid=81113 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/81116/stat : 81116 (run-opt-log.sh) S 81113 81116 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72331656 4292608 736 18446744073709551615 94686562131968 94686563026501 140731270178560 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94686563265552 94686563313296 94686573342720 140731270187297 140731270187492 140731270187492 140731270193094 0
/proc/81116/statm: 1048 736 672 219 0 110 0
[pid=81118] ppid=81116 vsize=5799980 memory=4816872 CPUtime=3600.07 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81116 81116 80700 0 -1 4194304 873106 0 0 0 357452 2555 0 0 20 0 1 0 72331657 5939179520 1204218 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 1449995 1204218 2336 1147 0 1437422 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5804172 KiB
Current children cumulated memory: 4819816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 81116 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002053 s, system=0.003088 s
[startup+3611.62 s]
# the end of solver process 81118 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.54 s, system=25.6708 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.61 s]
/proc/loadavg: 4.09 4.18 4.18 3/254 81381
/proc/meminfo: memFree=85597588/131382112 swapFree=33009904/33010684
[pid=81118] ppid=81113 vsize=2247804 memory=249524 CPUtime=3600.19 cores=5,7
/proc/81118/stat : 81118 (roundingsat) R 81113 81116 80700 0 -1 4194304 873115 0 0 0 357453 2566 0 0 20 0 1 0 72331657 2301751296 62381 18446744073709551615 4227072 8923433 140726062252544 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42549248 140726062258514 140726062258728 140726062258728 140726062264298 0
/proc/81118/statm: 561951 62381 2432 1147 0 549378 0
Current cumulated CPU time of completed processes: 0.005141 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 2247804 KiB
Current children cumulated memory: 249524 KiB
Child status: 2
Real time (s): 3611.62
CPU time (s): 3600.21
CPU user time (s): 3574.54
CPU system time (s): 25.6708
CPU usage (%): 99.6842
Max. virtual memory (cumulated for all children) (KiB): 5804172
Max. memory (cumulated for all children) (KiB): 4819816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.54
system time used= 25.6708
maximum resident set size= 4817256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 873338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17765968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6014
involuntary context switches= 6473
# summary of solver processes directly reported to runsolver:
# pid: 81116,81118
# total CPU time (s): 3600.21
# total CPU user time (s): 3574.54
# total CPU system time (s): 25.6708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2726 second user time and 37.6619 second system time
The end
Begin job on nodeC001 at 2025-07-03 20:15:28
IDJOB=4520159
IDBENCH=177787
IDSOLVER=3351
FILE ID=nodeC001/4520159-1751566528
RUNJOBID= nodeC001-1751562911-80735
SLURM_JOB_ID= 9598765
Free space on /tmp= 432252 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520159-1751566528/watcher-4520159-1751566528 -o /tmp/evaluation-result-4520159-1751566528/solver-4520159-1751566528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80735 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520159-1751566528.opb PROOFDIR/proof-4520159-1751566528
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 634cf2f74b34e10d67868995492f13c6
RANDOM SEED=3209382
nodeC001 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 : 0xb00001f
cpu MHz : 2793.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1496.479
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1995.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.560
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 2992.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.183
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.494
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 119913412 kB
MemAvailable: 129932012 kB
Buffers: 1668 kB
Cached: 10803768 kB
SwapCached: 128 kB
Active: 327528 kB
Inactive: 10566040 kB
Active(anon): 77700 kB
Inactive(anon): 28268 kB
Active(file): 249828 kB
Inactive(file): 10537772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17296 kB
Writeback: 12 kB
AnonPages: 91248 kB
Mapped: 108332 kB
Shmem: 17776 kB
KReclaimable: 140868 kB
Slab: 226460 kB
SReclaimable: 140868 kB
SUnreclaim: 85592 kB
KernelStack: 4112 kB
PageTables: 3412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 395664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC001 at 2025-07-03 21:15:40