0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.67/0.71 c #variables 945 #constraints 58245
0.67/0.71 c objective is ce32
0.87/1.00 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.87/1.00 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.87/1.00 c GLOBAL bounds - >= -945 @ 0.751653
0.87/1.01 c GLOBAL bounds - >= -945 @ 0.753338
0.87/1.01 c GLOBAL bounds - >= -945 @ 0.753943
0.98/1.01 c GLOBAL bounds - >= -945 @ 0.753943
0.98/1.03 c GLOBAL bounds - >= -945 @ 0.771394
0.98/1.04 c GLOBAL bounds - >= -945 @ 0.784956
0.98/1.05 c GLOBAL bounds - >= -945 @ 0.786909
0.98/1.05 c GLOBAL bounds - >= -945 @ 0.788661
0.98/1.05 c GLOBAL bounds - >= -945 @ 0.793668
0.98/1.06 c GLOBAL bounds - >= -945 @ 0.798021
0.98/1.06 c GLOBAL bounds - >= -945 @ 0.798774
0.98/1.06 c GLOBAL bounds - >= -945 @ 0.800301
0.98/1.07 c GLOBAL bounds - >= -945 @ 0.803315
0.98/1.10 c GLOBAL bounds - >= -945 @ 0.840021
0.98/1.10 c GLOBAL bounds - >= -945 @ 0.840575
1.08/1.11 c GLOBAL bounds - >= -945 @ 0.85078
1.08/1.12 c GLOBAL bounds - >= -945 @ 0.855364
1.08/1.12 c GLOBAL bounds - >= -945 @ 0.860093
1.08/1.14 c GLOBAL bounds - >= -945 @ 0.871479
1.08/1.14 c GLOBAL bounds - >= -945 @ 0.878031
1.08/1.14 c GLOBAL bounds - >= -945 @ 0.878729
1.08/1.15 c GLOBAL bounds - >= -945 @ 0.880665
1.08/1.15 c GLOBAL bounds - >= -945 @ 0.881705
1.08/1.16 c GLOBAL bounds - >= -945 @ 0.890832
1.08/1.16 c GLOBAL bounds - >= -945 @ 0.892821
1.08/1.16 c GLOBAL bounds - >= -945 @ 0.895997
1.08/1.16 c GLOBAL bounds - >= -945 @ 0.897945
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.899779
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.901611
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.902727
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.904587
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.90525
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.905696
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.906593
1.08/1.17 c GLOBAL bounds - >= -945 @ 0.908295
1.08/1.18 c GLOBAL bounds - >= -945 @ 0.908331
1.08/1.18 c GLOBAL bounds - >= -945 @ 0.912405
1.16/1.21 c GLOBAL bounds - >= -945 @ 0.938549
198.02/198.74 c #Conflicts: 1000 | #Constraints: 59317
198.02/198.74 c #Conflicts: 2000 | #Constraints: 60317
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 3000 | #Constraints: 60322
198.02/198.74 c #Conflicts: 4000 | #Constraints: 61322
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 5000 | #Constraints: 60726
198.02/198.74 c #Conflicts: 6000 | #Constraints: 61726
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 7000 | #Constraints: 60728
198.02/198.74 c #Conflicts: 8000 | #Constraints: 61728
198.02/198.74 c #Conflicts: 9000 | #Constraints: 62728
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 10000 | #Constraints: 61431
198.02/198.74 c #Conflicts: 11000 | #Constraints: 62431
198.02/198.74 c #Conflicts: 12000 | #Constraints: 63431
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 13000 | #Constraints: 61882
198.02/198.74 c #Conflicts: 14000 | #Constraints: 62882
198.02/198.74 c #Conflicts: 15000 | #Constraints: 63882
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 16000 | #Constraints: 62106
198.02/198.74 c #Conflicts: 17000 | #Constraints: 63106
198.02/198.74 c #Conflicts: 18000 | #Constraints: 64106
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 19000 | #Constraints: 62117
198.02/198.74 c #Conflicts: 20000 | #Constraints: 63117
198.02/198.74 c #Conflicts: 21000 | #Constraints: 64117
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 22000 | #Constraints: 61925
198.02/198.74 c #Conflicts: 23000 | #Constraints: 62925
198.02/198.74 c #Conflicts: 24000 | #Constraints: 63925
198.02/198.74 c #Conflicts: 25000 | #Constraints: 64925
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 26000 | #Constraints: 62529
198.02/198.74 c #Conflicts: 27000 | #Constraints: 63529
198.02/198.74 c #Conflicts: 28000 | #Constraints: 64529
198.02/198.74 c #Conflicts: 29000 | #Constraints: 65529
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 30000 | #Constraints: 62928
198.02/198.74 c #Conflicts: 31000 | #Constraints: 63928
198.02/198.74 c #Conflicts: 32000 | #Constraints: 64928
198.02/198.74 c #Conflicts: 33000 | #Constraints: 65928
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 34000 | #Constraints: 63130
198.02/198.74 c #Conflicts: 35000 | #Constraints: 64130
198.02/198.74 c #Conflicts: 36000 | #Constraints: 65130
198.02/198.74 c #Conflicts: 37000 | #Constraints: 66130
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 38000 | #Constraints: 63132
198.02/198.74 c #Conflicts: 39000 | #Constraints: 64132
198.02/198.74 c #Conflicts: 40000 | #Constraints: 65132
198.02/198.74 c #Conflicts: 41000 | #Constraints: 66132
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 42000 | #Constraints: 62931
198.02/198.74 c #Conflicts: 43000 | #Constraints: 63931
198.02/198.74 c #Conflicts: 44000 | #Constraints: 64931
198.02/198.74 c #Conflicts: 45000 | #Constraints: 65931
198.02/198.74 c #Conflicts: 46000 | #Constraints: 66931
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 47000 | #Constraints: 63532
198.02/198.74 c #Conflicts: 48000 | #Constraints: 64532
198.02/198.74 c #Conflicts: 49000 | #Constraints: 65532
198.02/198.74 c #Conflicts: 50000 | #Constraints: 66532
198.02/198.74 c #Conflicts: 51000 | #Constraints: 67532
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 52000 | #Constraints: 63931
198.02/198.74 c #Conflicts: 53000 | #Constraints: 64931
198.02/198.74 c #Conflicts: 54000 | #Constraints: 65931
198.02/198.74 c #Conflicts: 55000 | #Constraints: 66931
198.02/198.74 c #Conflicts: 56000 | #Constraints: 67931
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 57000 | #Constraints: 64132
198.02/198.74 c #Conflicts: 58000 | #Constraints: 65132
198.02/198.74 c #Conflicts: 59000 | #Constraints: 66132
198.02/198.74 c #Conflicts: 60000 | #Constraints: 67132
198.02/198.74 c #Conflicts: 61000 | #Constraints: 68132
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 62000 | #Constraints: 64132
198.02/198.74 c #Conflicts: 63000 | #Constraints: 65132
198.02/198.74 c #Conflicts: 64000 | #Constraints: 66132
198.02/198.74 c #Conflicts: 65000 | #Constraints: 67132
198.02/198.74 c #Conflicts: 66000 | #Constraints: 68132
198.02/198.74 c INPROCESSING
198.02/198.74 c GARBAGE COLLECT
198.02/198.74 c #Conflicts: 67000 | #Constraints: 63930
198.02/198.74 c #Conflicts: 68000 | #Constraints: 64930
540.09/541.84 c #Conflicts: 69000 | #Constraints: 65930
540.09/541.84 c #Conflicts: 70000 | #Constraints: 66930
540.09/541.84 c #Conflicts: 71000 | #Constraints: 67930
540.09/541.84 c #Conflicts: 72000 | #Constraints: 68930
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 73000 | #Constraints: 64532
540.09/541.84 c #Conflicts: 74000 | #Constraints: 65532
540.09/541.84 c #Conflicts: 75000 | #Constraints: 66532
540.09/541.84 c #Conflicts: 76000 | #Constraints: 67532
540.09/541.84 c #Conflicts: 77000 | #Constraints: 68532
540.09/541.84 c #Conflicts: 78000 | #Constraints: 69532
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 79000 | #Constraints: 64931
540.09/541.84 c #Conflicts: 80000 | #Constraints: 65931
540.09/541.84 c #Conflicts: 81000 | #Constraints: 66931
540.09/541.84 c #Conflicts: 82000 | #Constraints: 67931
540.09/541.84 c #Conflicts: 83000 | #Constraints: 68931
540.09/541.84 c #Conflicts: 84000 | #Constraints: 69931
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 85000 | #Constraints: 65130
540.09/541.84 c #Conflicts: 86000 | #Constraints: 66130
540.09/541.84 c #Conflicts: 87000 | #Constraints: 67130
540.09/541.84 c #Conflicts: 88000 | #Constraints: 68130
540.09/541.84 c #Conflicts: 89000 | #Constraints: 69130
540.09/541.84 c #Conflicts: 90000 | #Constraints: 70130
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 91000 | #Constraints: 65131
540.09/541.84 c #Conflicts: 92000 | #Constraints: 66131
540.09/541.84 c #Conflicts: 93000 | #Constraints: 67131
540.09/541.84 c #Conflicts: 94000 | #Constraints: 68131
540.09/541.84 c #Conflicts: 95000 | #Constraints: 69131
540.09/541.84 c #Conflicts: 96000 | #Constraints: 70131
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 97000 | #Constraints: 64935
540.09/541.84 c #Conflicts: 98000 | #Constraints: 65935
540.09/541.84 c #Conflicts: 99000 | #Constraints: 66935
540.09/541.84 c #Conflicts: 100000 | #Constraints: 67935
540.09/541.84 c #Conflicts: 101000 | #Constraints: 68935
540.09/541.84 c #Conflicts: 102000 | #Constraints: 69935
540.09/541.84 c #Conflicts: 103000 | #Constraints: 70935
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 104000 | #Constraints: 65536
540.09/541.84 c #Conflicts: 105000 | #Constraints: 66536
540.09/541.84 c #Conflicts: 106000 | #Constraints: 67536
540.09/541.84 c #Conflicts: 107000 | #Constraints: 68536
540.09/541.84 c #Conflicts: 108000 | #Constraints: 69536
540.09/541.84 c #Conflicts: 109000 | #Constraints: 70536
540.09/541.84 c #Conflicts: 110000 | #Constraints: 71536
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 111000 | #Constraints: 65933
540.09/541.84 c #Conflicts: 112000 | #Constraints: 66933
540.09/541.84 c #Conflicts: 113000 | #Constraints: 67933
540.09/541.84 c #Conflicts: 114000 | #Constraints: 68933
540.09/541.84 c #Conflicts: 115000 | #Constraints: 69933
540.09/541.84 c #Conflicts: 116000 | #Constraints: 70933
540.09/541.84 c #Conflicts: 117000 | #Constraints: 71933
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 118000 | #Constraints: 66133
540.09/541.84 c #Conflicts: 119000 | #Constraints: 67133
540.09/541.84 c #Conflicts: 120000 | #Constraints: 68133
540.09/541.84 c #Conflicts: 121000 | #Constraints: 69133
540.09/541.84 c #Conflicts: 122000 | #Constraints: 70133
540.09/541.84 c #Conflicts: 123000 | #Constraints: 71133
540.09/541.84 c #Conflicts: 124000 | #Constraints: 72133
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 125000 | #Constraints: 66133
540.09/541.84 c #Conflicts: 126000 | #Constraints: 67133
540.09/541.84 c #Conflicts: 127000 | #Constraints: 68133
540.09/541.84 c #Conflicts: 128000 | #Constraints: 69133
540.09/541.84 c #Conflicts: 129000 | #Constraints: 70133
540.09/541.84 c #Conflicts: 130000 | #Constraints: 71133
540.09/541.84 c #Conflicts: 131000 | #Constraints: 72133
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 132000 | #Constraints: 65934
540.09/541.84 c #Conflicts: 133000 | #Constraints: 66934
540.09/541.84 c #Conflicts: 134000 | #Constraints: 67934
540.09/541.84 c #Conflicts: 135000 | #Constraints: 68934
540.09/541.84 c #Conflicts: 136000 | #Constraints: 69934
540.09/541.84 c #Conflicts: 137000 | #Constraints: 70934
540.09/541.84 c #Conflicts: 138000 | #Constraints: 71934
540.09/541.84 c #Conflicts: 139000 | #Constraints: 72934
540.09/541.84 c INPROCESSING
540.09/541.84 c GARBAGE COLLECT
540.09/541.84 c #Conflicts: 140000 | #Constraints: 66530
986.13/989.06 c #Conflicts: 141000 | #Constraints: 67530
986.13/989.06 c #Conflicts: 142000 | #Constraints: 68530
986.13/989.06 c #Conflicts: 143000 | #Constraints: 69530
986.13/989.06 c #Conflicts: 144000 | #Constraints: 70530
986.13/989.06 c #Conflicts: 145000 | #Constraints: 71530
986.13/989.06 c #Conflicts: 146000 | #Constraints: 72530
986.13/989.06 c #Conflicts: 147000 | #Constraints: 73530
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 148000 | #Constraints: 66934
986.13/989.06 c #Conflicts: 149000 | #Constraints: 67934
986.13/989.06 c #Conflicts: 150000 | #Constraints: 68934
986.13/989.06 c #Conflicts: 151000 | #Constraints: 69934
986.13/989.06 c #Conflicts: 152000 | #Constraints: 70934
986.13/989.06 c #Conflicts: 153000 | #Constraints: 71934
986.13/989.06 c #Conflicts: 154000 | #Constraints: 72934
986.13/989.06 c #Conflicts: 155000 | #Constraints: 73934
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 156000 | #Constraints: 67132
986.13/989.06 c #Conflicts: 157000 | #Constraints: 68132
986.13/989.06 c #Conflicts: 158000 | #Constraints: 69132
986.13/989.06 c #Conflicts: 159000 | #Constraints: 70132
986.13/989.06 c #Conflicts: 160000 | #Constraints: 71132
986.13/989.06 c #Conflicts: 161000 | #Constraints: 72132
986.13/989.06 c #Conflicts: 162000 | #Constraints: 73132
986.13/989.06 c #Conflicts: 163000 | #Constraints: 74132
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 164000 | #Constraints: 67130
986.13/989.06 c #Conflicts: 165000 | #Constraints: 68130
986.13/989.06 c #Conflicts: 166000 | #Constraints: 69130
986.13/989.06 c #Conflicts: 167000 | #Constraints: 70130
986.13/989.06 c #Conflicts: 168000 | #Constraints: 71130
986.13/989.06 c #Conflicts: 169000 | #Constraints: 72130
986.13/989.06 c #Conflicts: 170000 | #Constraints: 73130
986.13/989.06 c #Conflicts: 171000 | #Constraints: 74130
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 172000 | #Constraints: 66932
986.13/989.06 c #Conflicts: 173000 | #Constraints: 67932
986.13/989.06 c #Conflicts: 174000 | #Constraints: 68932
986.13/989.06 c #Conflicts: 175000 | #Constraints: 69932
986.13/989.06 c #Conflicts: 176000 | #Constraints: 70932
986.13/989.06 c #Conflicts: 177000 | #Constraints: 71932
986.13/989.06 c #Conflicts: 178000 | #Constraints: 72932
986.13/989.06 c #Conflicts: 179000 | #Constraints: 73932
986.13/989.06 c #Conflicts: 180000 | #Constraints: 74932
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 181000 | #Constraints: 67534
986.13/989.06 c #Conflicts: 182000 | #Constraints: 68534
986.13/989.06 c #Conflicts: 183000 | #Constraints: 69534
986.13/989.06 c #Conflicts: 184000 | #Constraints: 70534
986.13/989.06 c #Conflicts: 185000 | #Constraints: 71534
986.13/989.06 c #Conflicts: 186000 | #Constraints: 72534
986.13/989.06 c #Conflicts: 187000 | #Constraints: 73534
986.13/989.06 c #Conflicts: 188000 | #Constraints: 74534
986.13/989.06 c #Conflicts: 189000 | #Constraints: 75534
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 190000 | #Constraints: 67932
986.13/989.06 c #Conflicts: 191000 | #Constraints: 68932
986.13/989.06 c #Conflicts: 192000 | #Constraints: 69932
986.13/989.06 c #Conflicts: 193000 | #Constraints: 70932
986.13/989.06 c #Conflicts: 194000 | #Constraints: 71932
986.13/989.06 c #Conflicts: 195000 | #Constraints: 72932
986.13/989.06 c #Conflicts: 196000 | #Constraints: 73932
986.13/989.06 c #Conflicts: 197000 | #Constraints: 74932
986.13/989.06 c #Conflicts: 198000 | #Constraints: 75932
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 199000 | #Constraints: 68133
986.13/989.06 c #Conflicts: 200000 | #Constraints: 69133
986.13/989.06 c #Conflicts: 201000 | #Constraints: 70133
986.13/989.06 c #Conflicts: 202000 | #Constraints: 71133
986.13/989.06 c #Conflicts: 203000 | #Constraints: 72133
986.13/989.06 c #Conflicts: 204000 | #Constraints: 73133
986.13/989.06 c #Conflicts: 205000 | #Constraints: 74133
986.13/989.06 c #Conflicts: 206000 | #Constraints: 75133
986.13/989.06 c #Conflicts: 207000 | #Constraints: 76133
986.13/989.06 c INPROCESSING
986.13/989.06 c GARBAGE COLLECT
986.13/989.06 c #Conflicts: 208000 | #Constraints: 68135
986.13/989.06 c #Conflicts: 209000 | #Constraints: 69135
986.13/989.06 c #Conflicts: 210000 | #Constraints: 70135
986.13/989.06 c #Conflicts: 211000 | #Constraints: 71135
986.13/989.06 c #Conflicts: 212000 | #Constraints: 72135
986.13/989.06 c #Conflicts: 213000 | #Constraints: 73135
1518.52/1523.00 c #Conflicts: 214000 | #Constraints: 74135
1518.52/1523.00 c #Conflicts: 215000 | #Constraints: 75135
1518.52/1523.00 c #Conflicts: 216000 | #Constraints: 76135
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 217000 | #Constraints: 67933
1518.52/1523.00 c #Conflicts: 218000 | #Constraints: 68933
1518.52/1523.00 c #Conflicts: 219000 | #Constraints: 69933
1518.52/1523.00 c #Conflicts: 220000 | #Constraints: 70933
1518.52/1523.00 c #Conflicts: 221000 | #Constraints: 71933
1518.52/1523.00 c #Conflicts: 222000 | #Constraints: 72933
1518.52/1523.00 c #Conflicts: 223000 | #Constraints: 73933
1518.52/1523.00 c #Conflicts: 224000 | #Constraints: 74933
1518.52/1523.00 c #Conflicts: 225000 | #Constraints: 75933
1518.52/1523.00 c #Conflicts: 226000 | #Constraints: 76933
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 227000 | #Constraints: 68534
1518.52/1523.00 c #Conflicts: 228000 | #Constraints: 69534
1518.52/1523.00 c #Conflicts: 229000 | #Constraints: 70534
1518.52/1523.00 c #Conflicts: 230000 | #Constraints: 71534
1518.52/1523.00 c #Conflicts: 231000 | #Constraints: 72534
1518.52/1523.00 c #Conflicts: 232000 | #Constraints: 73534
1518.52/1523.00 c #Conflicts: 233000 | #Constraints: 74534
1518.52/1523.00 c #Conflicts: 234000 | #Constraints: 75534
1518.52/1523.00 c #Conflicts: 235000 | #Constraints: 76534
1518.52/1523.00 c #Conflicts: 236000 | #Constraints: 77534
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 237000 | #Constraints: 68935
1518.52/1523.00 c #Conflicts: 238000 | #Constraints: 69935
1518.52/1523.00 c #Conflicts: 239000 | #Constraints: 70935
1518.52/1523.00 c #Conflicts: 240000 | #Constraints: 71935
1518.52/1523.00 c #Conflicts: 241000 | #Constraints: 72935
1518.52/1523.00 c #Conflicts: 242000 | #Constraints: 73935
1518.52/1523.00 c #Conflicts: 243000 | #Constraints: 74935
1518.52/1523.00 c #Conflicts: 244000 | #Constraints: 75935
1518.52/1523.00 c #Conflicts: 245000 | #Constraints: 76935
1518.52/1523.00 c #Conflicts: 246000 | #Constraints: 77935
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 247000 | #Constraints: 69137
1518.52/1523.00 c #Conflicts: 248000 | #Constraints: 70137
1518.52/1523.00 c #Conflicts: 249000 | #Constraints: 71137
1518.52/1523.00 c #Conflicts: 250000 | #Constraints: 72137
1518.52/1523.00 c #Conflicts: 251000 | #Constraints: 73137
1518.52/1523.00 c #Conflicts: 252000 | #Constraints: 74137
1518.52/1523.00 c #Conflicts: 253000 | #Constraints: 75137
1518.52/1523.00 c #Conflicts: 254000 | #Constraints: 76137
1518.52/1523.00 c #Conflicts: 255000 | #Constraints: 77137
1518.52/1523.00 c #Conflicts: 256000 | #Constraints: 78137
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 257000 | #Constraints: 69135
1518.52/1523.00 c #Conflicts: 258000 | #Constraints: 70135
1518.52/1523.00 c #Conflicts: 259000 | #Constraints: 71135
1518.52/1523.00 c #Conflicts: 260000 | #Constraints: 72135
1518.52/1523.00 c #Conflicts: 261000 | #Constraints: 73135
1518.52/1523.00 c #Conflicts: 262000 | #Constraints: 74135
1518.52/1523.00 c #Conflicts: 263000 | #Constraints: 75135
1518.52/1523.00 c #Conflicts: 264000 | #Constraints: 76135
1518.52/1523.00 c #Conflicts: 265000 | #Constraints: 77135
1518.52/1523.00 c #Conflicts: 266000 | #Constraints: 78135
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 267000 | #Constraints: 68932
1518.52/1523.00 c #Conflicts: 268000 | #Constraints: 69932
1518.52/1523.00 c #Conflicts: 269000 | #Constraints: 70932
1518.52/1523.00 c #Conflicts: 270000 | #Constraints: 71932
1518.52/1523.00 c #Conflicts: 271000 | #Constraints: 72932
1518.52/1523.00 c #Conflicts: 272000 | #Constraints: 73932
1518.52/1523.00 c #Conflicts: 273000 | #Constraints: 74932
1518.52/1523.00 c #Conflicts: 274000 | #Constraints: 75932
1518.52/1523.00 c #Conflicts: 275000 | #Constraints: 76932
1518.52/1523.00 c #Conflicts: 276000 | #Constraints: 77932
1518.52/1523.00 c #Conflicts: 277000 | #Constraints: 78932
1518.52/1523.00 c INPROCESSING
1518.52/1523.00 c GARBAGE COLLECT
1518.52/1523.00 c #Conflicts: 278000 | #Constraints: 69533
1518.52/1523.00 c #Conflicts: 279000 | #Constraints: 70533
1518.52/1523.00 c #Conflicts: 280000 | #Constraints: 71533
1518.52/1523.00 c #Conflicts: 281000 | #Constraints: 72533
1518.52/1523.00 c #Conflicts: 282000 | #Constraints: 73533
1518.52/1523.00 c #Conflicts: 283000 | #Constraints: 74533
1518.52/1523.00 c #Conflicts: 284000 | #Constraints: 75533
1518.52/1523.00 c #Conflicts: 285000 | #Constraints: 76533
1518.52/1523.00 c #Conflicts: 286000 | #Constraints: 77533
1518.52/1523.00 c #Conflicts: 287000 | #Constraints: 78533
1518.52/1523.00 c #Conflicts: 288000 | #Constraints: 79533
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 289000 | #Constraints: 69936
2125.29/2131.47 c #Conflicts: 290000 | #Constraints: 70936
2125.29/2131.47 c #Conflicts: 291000 | #Constraints: 71936
2125.29/2131.47 c #Conflicts: 292000 | #Constraints: 72936
2125.29/2131.47 c #Conflicts: 293000 | #Constraints: 73936
2125.29/2131.47 c #Conflicts: 294000 | #Constraints: 74936
2125.29/2131.47 c #Conflicts: 295000 | #Constraints: 75936
2125.29/2131.47 c #Conflicts: 296000 | #Constraints: 76936
2125.29/2131.47 c #Conflicts: 297000 | #Constraints: 77936
2125.29/2131.47 c #Conflicts: 298000 | #Constraints: 78936
2125.29/2131.47 c #Conflicts: 299000 | #Constraints: 79936
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 300000 | #Constraints: 70132
2125.29/2131.47 c #Conflicts: 301000 | #Constraints: 71132
2125.29/2131.47 c #Conflicts: 302000 | #Constraints: 72132
2125.29/2131.47 c #Conflicts: 303000 | #Constraints: 73132
2125.29/2131.47 c #Conflicts: 304000 | #Constraints: 74132
2125.29/2131.47 c #Conflicts: 305000 | #Constraints: 75132
2125.29/2131.47 c #Conflicts: 306000 | #Constraints: 76132
2125.29/2131.47 c #Conflicts: 307000 | #Constraints: 77132
2125.29/2131.47 c #Conflicts: 308000 | #Constraints: 78132
2125.29/2131.47 c #Conflicts: 309000 | #Constraints: 79132
2125.29/2131.47 c #Conflicts: 310000 | #Constraints: 80132
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 311000 | #Constraints: 70133
2125.29/2131.47 c #Conflicts: 312000 | #Constraints: 71133
2125.29/2131.47 c #Conflicts: 313000 | #Constraints: 72133
2125.29/2131.47 c #Conflicts: 314000 | #Constraints: 73133
2125.29/2131.47 c #Conflicts: 315000 | #Constraints: 74133
2125.29/2131.47 c #Conflicts: 316000 | #Constraints: 75133
2125.29/2131.47 c #Conflicts: 317000 | #Constraints: 76133
2125.29/2131.47 c #Conflicts: 318000 | #Constraints: 77133
2125.29/2131.47 c #Conflicts: 319000 | #Constraints: 78133
2125.29/2131.47 c #Conflicts: 320000 | #Constraints: 79133
2125.29/2131.47 c #Conflicts: 321000 | #Constraints: 80133
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 322000 | #Constraints: 69935
2125.29/2131.47 c #Conflicts: 323000 | #Constraints: 70935
2125.29/2131.47 c #Conflicts: 324000 | #Constraints: 71935
2125.29/2131.47 c #Conflicts: 325000 | #Constraints: 72935
2125.29/2131.47 c #Conflicts: 326000 | #Constraints: 73935
2125.29/2131.47 c #Conflicts: 327000 | #Constraints: 74935
2125.29/2131.47 c #Conflicts: 328000 | #Constraints: 75935
2125.29/2131.47 c #Conflicts: 329000 | #Constraints: 76935
2125.29/2131.47 c #Conflicts: 330000 | #Constraints: 77935
2125.29/2131.47 c #Conflicts: 331000 | #Constraints: 78935
2125.29/2131.47 c #Conflicts: 332000 | #Constraints: 79935
2125.29/2131.47 c #Conflicts: 333000 | #Constraints: 80935
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 334000 | #Constraints: 70531
2125.29/2131.47 c #Conflicts: 335000 | #Constraints: 71531
2125.29/2131.47 c #Conflicts: 336000 | #Constraints: 72531
2125.29/2131.47 c #Conflicts: 337000 | #Constraints: 73531
2125.29/2131.47 c #Conflicts: 338000 | #Constraints: 74531
2125.29/2131.47 c #Conflicts: 339000 | #Constraints: 75531
2125.29/2131.47 c #Conflicts: 340000 | #Constraints: 76531
2125.29/2131.47 c #Conflicts: 341000 | #Constraints: 77531
2125.29/2131.47 c #Conflicts: 342000 | #Constraints: 78531
2125.29/2131.47 c #Conflicts: 343000 | #Constraints: 79531
2125.29/2131.47 c #Conflicts: 344000 | #Constraints: 80531
2125.29/2131.47 c #Conflicts: 345000 | #Constraints: 81531
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 346000 | #Constraints: 70933
2125.29/2131.47 c #Conflicts: 347000 | #Constraints: 71933
2125.29/2131.47 c #Conflicts: 348000 | #Constraints: 72933
2125.29/2131.47 c #Conflicts: 349000 | #Constraints: 73933
2125.29/2131.47 c #Conflicts: 350000 | #Constraints: 74933
2125.29/2131.47 c #Conflicts: 351000 | #Constraints: 75933
2125.29/2131.47 c #Conflicts: 352000 | #Constraints: 76933
2125.29/2131.47 c #Conflicts: 353000 | #Constraints: 77933
2125.29/2131.47 c #Conflicts: 354000 | #Constraints: 78933
2125.29/2131.47 c #Conflicts: 355000 | #Constraints: 79933
2125.29/2131.47 c #Conflicts: 356000 | #Constraints: 80933
2125.29/2131.47 c #Conflicts: 357000 | #Constraints: 81933
2125.29/2131.47 c INPROCESSING
2125.29/2131.47 c GARBAGE COLLECT
2125.29/2131.47 c #Conflicts: 358000 | #Constraints: 71134
2125.29/2131.47 c #Conflicts: 359000 | #Constraints: 72134
2125.29/2131.47 c #Conflicts: 360000 | #Constraints: 73134
2125.29/2131.47 c #Conflicts: 361000 | #Constraints: 74134
2125.29/2131.47 c #Conflicts: 362000 | #Constraints: 75134
2832.52/2840.67 c #Conflicts: 363000 | #Constraints: 76134
2832.52/2840.67 c #Conflicts: 364000 | #Constraints: 77134
2832.52/2840.67 c #Conflicts: 365000 | #Constraints: 78134
2832.52/2840.67 c #Conflicts: 366000 | #Constraints: 79134
2832.52/2840.67 c #Conflicts: 367000 | #Constraints: 80134
2832.52/2840.67 c #Conflicts: 368000 | #Constraints: 81134
2832.52/2840.67 c #Conflicts: 369000 | #Constraints: 82134
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 370000 | #Constraints: 71135
2832.52/2840.67 c #Conflicts: 371000 | #Constraints: 72135
2832.52/2840.67 c #Conflicts: 372000 | #Constraints: 73135
2832.52/2840.67 c #Conflicts: 373000 | #Constraints: 74135
2832.52/2840.67 c #Conflicts: 374000 | #Constraints: 75135
2832.52/2840.67 c #Conflicts: 375000 | #Constraints: 76135
2832.52/2840.67 c #Conflicts: 376000 | #Constraints: 77135
2832.52/2840.67 c #Conflicts: 377000 | #Constraints: 78135
2832.52/2840.67 c #Conflicts: 378000 | #Constraints: 79135
2832.52/2840.67 c #Conflicts: 379000 | #Constraints: 80135
2832.52/2840.67 c #Conflicts: 380000 | #Constraints: 81135
2832.52/2840.67 c #Conflicts: 381000 | #Constraints: 82135
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 382000 | #Constraints: 70934
2832.52/2840.67 c #Conflicts: 383000 | #Constraints: 71934
2832.52/2840.67 c #Conflicts: 384000 | #Constraints: 72934
2832.52/2840.67 c #Conflicts: 385000 | #Constraints: 73934
2832.52/2840.67 c #Conflicts: 386000 | #Constraints: 74934
2832.52/2840.67 c #Conflicts: 387000 | #Constraints: 75934
2832.52/2840.67 c #Conflicts: 388000 | #Constraints: 76934
2832.52/2840.67 c #Conflicts: 389000 | #Constraints: 77934
2832.52/2840.67 c #Conflicts: 390000 | #Constraints: 78934
2832.52/2840.67 c #Conflicts: 391000 | #Constraints: 79934
2832.52/2840.67 c #Conflicts: 392000 | #Constraints: 80934
2832.52/2840.67 c #Conflicts: 393000 | #Constraints: 81934
2832.52/2840.67 c #Conflicts: 394000 | #Constraints: 82934
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 395000 | #Constraints: 71532
2832.52/2840.67 c #Conflicts: 396000 | #Constraints: 72532
2832.52/2840.67 c #Conflicts: 397000 | #Constraints: 73532
2832.52/2840.67 c #Conflicts: 398000 | #Constraints: 74532
2832.52/2840.67 c #Conflicts: 399000 | #Constraints: 75532
2832.52/2840.67 c #Conflicts: 400000 | #Constraints: 76532
2832.52/2840.67 c #Conflicts: 401000 | #Constraints: 77532
2832.52/2840.67 c #Conflicts: 402000 | #Constraints: 78532
2832.52/2840.67 c #Conflicts: 403000 | #Constraints: 79532
2832.52/2840.67 c #Conflicts: 404000 | #Constraints: 80532
2832.52/2840.67 c #Conflicts: 405000 | #Constraints: 81532
2832.52/2840.67 c #Conflicts: 406000 | #Constraints: 82532
2832.52/2840.67 c #Conflicts: 407000 | #Constraints: 83532
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 408000 | #Constraints: 71931
2832.52/2840.67 c #Conflicts: 409000 | #Constraints: 72931
2832.52/2840.67 c #Conflicts: 410000 | #Constraints: 73931
2832.52/2840.67 c #Conflicts: 411000 | #Constraints: 74931
2832.52/2840.67 c #Conflicts: 412000 | #Constraints: 75931
2832.52/2840.67 c #Conflicts: 413000 | #Constraints: 76931
2832.52/2840.67 c #Conflicts: 414000 | #Constraints: 77931
2832.52/2840.67 c #Conflicts: 415000 | #Constraints: 78931
2832.52/2840.67 c #Conflicts: 416000 | #Constraints: 79931
2832.52/2840.67 c #Conflicts: 417000 | #Constraints: 80931
2832.52/2840.67 c #Conflicts: 418000 | #Constraints: 81931
2832.52/2840.67 c #Conflicts: 419000 | #Constraints: 82931
2832.52/2840.67 c #Conflicts: 420000 | #Constraints: 83931
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 421000 | #Constraints: 72134
2832.52/2840.67 c #Conflicts: 422000 | #Constraints: 73134
2832.52/2840.67 c #Conflicts: 423000 | #Constraints: 74134
2832.52/2840.67 c #Conflicts: 424000 | #Constraints: 75134
2832.52/2840.67 c #Conflicts: 425000 | #Constraints: 76134
2832.52/2840.67 c #Conflicts: 426000 | #Constraints: 77134
2832.52/2840.67 c #Conflicts: 427000 | #Constraints: 78134
2832.52/2840.67 c #Conflicts: 428000 | #Constraints: 79134
2832.52/2840.67 c #Conflicts: 429000 | #Constraints: 80134
2832.52/2840.67 c #Conflicts: 430000 | #Constraints: 81134
2832.52/2840.67 c #Conflicts: 431000 | #Constraints: 82134
2832.52/2840.67 c #Conflicts: 432000 | #Constraints: 83134
2832.52/2840.67 c #Conflicts: 433000 | #Constraints: 84134
2832.52/2840.67 c INPROCESSING
2832.52/2840.67 c GARBAGE COLLECT
2832.52/2840.67 c #Conflicts: 434000 | #Constraints: 72132
2832.52/2840.67 c #Conflicts: 435000 | #Constraints: 73132
2832.52/2840.67 c #Conflicts: 436000 | #Constraints: 74132
2832.52/2840.67 c #Conflicts: 437000 | #Constraints: 75132
3583.03/3593.14 c #Conflicts: 438000 | #Constraints: 76132
3583.03/3593.14 c #Conflicts: 439000 | #Constraints: 77132
3583.03/3593.14 c #Conflicts: 440000 | #Constraints: 78132
3583.03/3593.14 c #Conflicts: 441000 | #Constraints: 79132
3583.03/3593.14 c #Conflicts: 442000 | #Constraints: 80132
3583.03/3593.14 c #Conflicts: 443000 | #Constraints: 81132
3583.03/3593.14 c #Conflicts: 444000 | #Constraints: 82132
3583.03/3593.14 c #Conflicts: 445000 | #Constraints: 83132
3583.03/3593.14 c #Conflicts: 446000 | #Constraints: 84132
3583.03/3593.14 c INPROCESSING
3583.03/3593.14 c GARBAGE COLLECT
3583.03/3593.14 c #Conflicts: 447000 | #Constraints: 71933
3583.03/3593.14 c #Conflicts: 448000 | #Constraints: 72933
3583.03/3593.14 c #Conflicts: 449000 | #Constraints: 73933
3583.03/3593.14 c #Conflicts: 450000 | #Constraints: 74933
3583.03/3593.14 c #Conflicts: 451000 | #Constraints: 75933
3583.03/3593.14 c #Conflicts: 452000 | #Constraints: 76933
3583.03/3593.14 c #Conflicts: 453000 | #Constraints: 77933
3583.03/3593.14 c #Conflicts: 454000 | #Constraints: 78933
3583.03/3593.14 c #Conflicts: 455000 | #Constraints: 79933
3583.03/3593.14 c #Conflicts: 456000 | #Constraints: 80933
3583.03/3593.14 c #Conflicts: 457000 | #Constraints: 81933
3583.03/3593.14 c #Conflicts: 458000 | #Constraints: 82933
3583.03/3593.14 c #Conflicts: 459000 | #Constraints: 83933
3583.03/3593.14 c #Conflicts: 460000 | #Constraints: 84933
3583.03/3593.14 c INPROCESSING
3583.03/3593.14 c GARBAGE COLLECT
3583.03/3593.14 c #Conflicts: 461000 | #Constraints: 72532
3583.03/3593.14 c #Conflicts: 462000 | #Constraints: 73532
3583.03/3593.14 c #Conflicts: 463000 | #Constraints: 74532
3583.03/3593.14 c #Conflicts: 464000 | #Constraints: 75532
3583.03/3593.14 c #Conflicts: 465000 | #Constraints: 76532
3583.03/3593.14 c #Conflicts: 466000 | #Constraints: 77532
3583.03/3593.14 c #Conflicts: 467000 | #Constraints: 78532
3583.03/3593.14 c #Conflicts: 468000 | #Constraints: 79532
3583.03/3593.14 c #Conflicts: 469000 | #Constraints: 80532
3583.03/3593.14 c #Conflicts: 470000 | #Constraints: 81532
3583.03/3593.14 c #Conflicts: 471000 | #Constraints: 82532
3583.03/3593.14 c #Conflicts: 472000 | #Constraints: 83532
3583.03/3593.14 c #Conflicts: 473000 | #Constraints: 84532
3583.03/3593.14 c #Conflicts: 474000 | #Constraints: 85532
3583.03/3593.14 c INPROCESSING
3583.03/3593.14 c GARBAGE COLLECT
3583.03/3593.14 c #Conflicts: 475000 | #Constraints: 72929
3583.03/3593.14 c #Conflicts: 476000 | #Constraints: 73929
3583.03/3593.14 c #Conflicts: 477000 | #Constraints: 74929
3583.03/3593.14 c #Conflicts: 478000 | #Constraints: 75929
3583.03/3593.14 c #Conflicts: 479000 | #Constraints: 76929
3583.03/3593.14 c #Conflicts: 480000 | #Constraints: 77929
3583.03/3593.14 c #Conflicts: 481000 | #Constraints: 78929
3583.03/3593.14 c #Conflicts: 482000 | #Constraints: 79929
3583.03/3593.14 c #Conflicts: 483000 | #Constraints: 80929
3583.03/3593.14 c #Conflicts: 484000 | #Constraints: 81929
3583.03/3593.14 c #Conflicts: 485000 | #Constraints: 82929
3583.03/3593.14 c #Conflicts: 486000 | #Constraints: 83929
3583.03/3593.14 c #Conflicts: 487000 | #Constraints: 84929
3583.03/3593.14 c #Conflicts: 488000 | #Constraints: 85929
3583.03/3593.14 c INPROCESSING
3583.03/3593.14 c GARBAGE COLLECT
3583.03/3593.14 c #Conflicts: 489000 | #Constraints: 73131
3583.03/3593.14 c #Conflicts: 490000 | #Constraints: 74131
3583.03/3593.14 c #Conflicts: 491000 | #Constraints: 75131
3583.03/3593.14 c #Conflicts: 492000 | #Constraints: 76131
3583.03/3593.14 c #Conflicts: 493000 | #Constraints: 77131
3583.03/3593.14 c #Conflicts: 494000 | #Constraints: 78131
3583.03/3593.14 c #Conflicts: 495000 | #Constraints: 79131
3583.03/3593.14 c #Conflicts: 496000 | #Constraints: 80131
3583.03/3593.14 c #Conflicts: 497000 | #Constraints: 81131
3583.03/3593.14 c #Conflicts: 498000 | #Constraints: 82131
3583.03/3593.14 c #Conflicts: 499000 | #Constraints: 83131
3583.03/3593.14 c #Conflicts: 500000 | #Constraints: 84131
3583.03/3593.14 c #Conflicts: 501000 | #Constraints: 85131
3583.03/3593.14 c #Conflicts: 502000 | #Constraints: 86131
3583.03/3593.14 c INPROCESSING
3583.03/3593.14 c GARBAGE COLLECT
3583.03/3593.14 c #Conflicts: 503000 | #Constraints: 73129
3583.03/3593.14 c #Conflicts: 504000 | #Constraints: 74129
3583.03/3593.14 c #Conflicts: 505000 | #Constraints: 75129
3583.03/3593.14 c #Conflicts: 506000 | #Constraints: 76129
3583.03/3593.14 c #Conflicts: 507000 | #Constraints: 77129
3583.03/3593.14 c #Conflicts: 508000 | #Constraints: 78129
3583.03/3593.14 c #Conflicts: 509000 | #Constraints: 79129
3583.03/3593.14 c #Conflicts: 510000 | #Constraints: 80129
3583.03/3593.14 c #Conflicts: 511000 | #Constraints: 81129
3583.03/3593.14 c #Conflicts: 512000 | #Constraints: 82129
3583.03/3593.14 c #Conflicts: 513000 | #Constraints: 83129
3600.07/3610.20 c #Conflicts: 514000 | #Constraints: 84129
3600.07/3610.20 c cpu time 3596.18 s
3600.07/3610.20 c deterministic time 1 1.00e+00
3600.07/3610.20 c optimization time 3595.63 s
3600.07/3610.20 c total solve time 0 s
3600.07/3610.20 c core-guided solve time 0 s
3600.07/3610.20 c propagation time 0.055426 s
3600.07/3610.20 c conflict analysis time 0 s
3600.07/3610.20 c propagations 0
3600.07/3610.20 c resolve steps 0
3600.07/3610.20 c decisions 0
3600.07/3610.20 c conflicts 0
3600.07/3610.20 c restarts 0
3600.07/3610.20 c inprocessing phases 0
3600.07/3610.20 c garbage collections 0 ,( -nan )
3600.07/3610.20 c input clauses 58245 ,( 100.00 )
3600.07/3610.20 c input cardinalities 0 ,( 0.00 )
3600.07/3610.20 c input general constraints 0 ,( 0.00 )
3600.07/3610.20 c input average constraint length 2.00
3600.07/3610.20 c input average constraint degree 1.00
3600.07/3610.20 c learned clauses 0 ,( 0.00 )
3600.07/3610.20 c learned cardinalities 0 ,( 0.00 )
3600.07/3610.20 c learned general constraints 0 ,( 0.00 )
3600.07/3610.20 c learned average constraint length 0.00
3600.07/3610.20 c learned average constraint degree 0.00
3600.07/3610.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.20 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3610.20 c watched constraints 0 ,( -nan )
3600.07/3610.20 c counting constraints 0 ,( -nan )
3600.07/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3610.20 c gcd simplifications 0
3600.07/3610.20 c detected cardinalities 0
3600.07/3610.20 c weakened non-implied lits 0
3600.07/3610.20 c weakened non-implying lits 0
3600.07/3610.20 c original variables 945
3600.07/3610.20 c clausal propagations 0
3600.07/3610.20 c cardinality propagations 0
3600.07/3610.20 c watched propagations 0
3600.07/3610.20 c counting propagations 0
3600.07/3610.20 c watch lookups 0
3600.07/3610.20 c watch backjump lookups 0
3600.07/3610.20 c watch checks 0
3600.07/3610.20 c propagation checks 0
3600.07/3610.20 c constraint additions 0
3600.07/3610.20 c trail pops 0
3600.07/3610.20 c formula constraints 58245
3600.07/3610.20 c learned constraints 0
3600.07/3610.20 c bound constraints 0
3600.07/3610.20 c core-guided constraints 0
3600.07/3610.20 c encountered formula constraints 0
3600.07/3610.20 c encountered learned constraints 0
3600.07/3610.20 c encountered bound constraints 0
3600.07/3610.20 c encountered core-guided constraints 0
3600.07/3610.20 c LP total time 0 s
3600.07/3610.20 c LP solve time 0 s
3600.07/3610.20 c LP constraints added 0
3600.07/3610.20 c LP constraints removed 0
3600.07/3610.20 c LP pivots internal 0
3600.07/3610.20 c LP pivots root 0
3600.07/3610.20 c LP calls 0
3600.07/3610.20 c LP optimalities 0
3600.07/3610.20 c LP no pivot count 0
3600.07/3610.20 c LP infeasibilities 0
3600.07/3610.20 c LP valid Farkas constraints 0
3600.07/3610.20 c LP learned Farkas constraints 0
3600.07/3610.20 c LP basis resets 0
3600.07/3610.20 c LP cycling count 0
3600.07/3610.20 c LP singular count 0
3600.07/3610.20 c LP no primal count 0
3600.07/3610.20 c LP no farkas count 0
3600.07/3610.20 c LP other issue count 0
3600.07/3610.20 c LP Gomory cuts 0
3600.07/3610.20 c LP learned cuts 0
3600.07/3610.20 c LP deleted cuts 0
3600.07/3610.20 c LP encountered Gomory constraints 0
3600.07/3610.20 c LP encountered Farkas constraints 0
3600.07/3610.20 c LP encountered learned Farkas constraints 0
3600.07/3610.20 c CG auxiliary variables introduced 0
3600.07/3610.20 c CG solutions found 0
3600.07/3610.20 c CG cores constructed 0
3600.07/3610.20 c CG core cardinality constraints returned 0
3600.07/3610.20 c CG unit cores 0
3600.07/3610.20 c CG single cores 0
3600.07/3610.20 c CG blocks removed during cardinality reduction 0
3600.07/3610.20 c CG first core best 0
3600.07/3610.20 c CG decision core best 0
3600.07/3610.20 c CG core reduction tie 0
3600.07/3610.20 c CG core degree average 0.00
3600.07/3610.20 c CG core slack average 0.00
3600.07/3610.20 c CG core upper bound improvements 0
3600.07/3610.20 c STR number of successful calls 0
3600.07/3610.20 c STR number of unsuccessful calls 0
3600.07/3610.20 c STR number of inconclusive calls 0
3600.07/3610.20 c STR number of successful attempts 0
3600.07/3610.20 c STR number of unsuccessful attempts 0
3600.07/3610.20 c STR number of inconclusive attempts 0
3600.07/3610.20 c STR average degree increase per successful call inf
3600.07/3610.20 c STR average degree increase per successful attempt inf
3600.07/3610.20 c STR total number of conflicts for successful attempts 0
3600.07/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.20 c STR average number of conflicts per successful attempt inf
3600.07/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.20 c AVG.sumWPerc -nan
3600.07/3610.20 c bigint constraints 0
3600.07/3610.20 s UNKNOWN
3600.07/3610.20 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: 63837 MiB (63101 MiB free)
memory of node 1: 64465 MiB (62249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484999-1751299466/watcher-4484999-1751299466 -o /tmp/evaluation-result-4484999-1751299466/solver-4484999-1751299466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39154 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484999-1751299466.opb PROOFDIR/proof-4484999-1751299466
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40021, runsolver pid=40018
[startup+0.100096 s]*
/proc/loadavg: 4.11 4.13 4.13 5/257 40023
/proc/meminfo: memFree=128355164/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=56652 memory=11860 CPUtime=0.09 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 724 0 0 0 7 2 0 0 20 0 1 0 45626015 58011648 2965 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 14163 2965 1952 1147 0 1590 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60844 KiB
Current children cumulated memory: 14804 KiB
[startup+0.213596 s]*
/proc/loadavg: 4.11 4.13 4.13 5/257 40023
/proc/meminfo: memFree=128355164/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=58032 memory=13268 CPUtime=0.2 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 1148 0 0 0 15 5 0 0 20 0 1 0 45626015 59424768 3317 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 14508 3317 1952 1147 0 1935 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62224 KiB
Current children cumulated memory: 16212 KiB
[startup+0.313058 s]*
/proc/loadavg: 4.11 4.13 4.13 5/257 40023
/proc/meminfo: memFree=128355164/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=59452 memory=14460 CPUtime=0.3 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 1506 0 0 0 22 8 0 0 20 0 1 0 45626015 60878848 3615 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 14863 3615 1952 1147 0 2290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63644 KiB
Current children cumulated memory: 17404 KiB
[startup+0.7004 s]
/proc/loadavg: 4.11 4.13 4.13 5/257 40023
/proc/meminfo: memFree=128351068/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=100520 memory=53488 CPUtime=0.67 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 6102 0 0 0 54 13 0 0 20 0 1 0 45626015 102932480 13372 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 25130 13372 2240 1147 0 12557 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 104712 KiB
Current children cumulated memory: 56432 KiB
[startup+1.50039 s]
/proc/loadavg: 4.11 4.13 4.13 5/257 40023
/proc/meminfo: memFree=128274516/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=141828 memory=97192 CPUtime=1.47 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 16595 0 0 0 122 25 0 0 20 0 1 0 45626015 145231872 24298 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 35457 24298 2368 1147 0 22884 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 146020 KiB
Current children cumulated memory: 100136 KiB
[startup+3.11317 s]
/proc/loadavg: 4.18 4.15 4.13 4/252 40031
/proc/meminfo: memFree=128700500/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=160504 memory=112028 CPUtime=3.08 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 16716 0 0 0 282 26 0 0 20 0 1 0 45626015 164356096 28007 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 40126 28007 2368 1147 0 27553 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 164696 KiB
Current children cumulated memory: 114972 KiB
[startup+6.30038 s]
/proc/loadavg: 4.18 4.15 4.13 5/257 40069
/proc/meminfo: memFree=128766844/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=172180 memory=119120 CPUtime=6.25 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 17467 0 0 0 598 27 0 0 20 0 1 0 45626015 176312320 29780 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 43045 29780 2368 1147 0 30472 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 176372 KiB
Current children cumulated memory: 122064 KiB
[startup+12.7004 s]
/proc/loadavg: 4.31 4.17 4.14 5/256 40069
/proc/meminfo: memFree=128737048/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=172180 memory=123220 CPUtime=12.63 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 17472 0 0 0 1234 29 0 0 20 0 1 0 45626015 176312320 30805 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 43045 30805 2368 1147 0 30472 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 176372 KiB
Current children cumulated memory: 126164 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.22 4.16 5/257 40071
/proc/meminfo: memFree=128720092/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=191148 memory=131644 CPUtime=25.39 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 18046 0 0 0 2505 34 0 0 20 0 1 0 45626015 195735552 32911 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 47787 32911 2368 1147 0 35214 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 195340 KiB
Current children cumulated memory: 134588 KiB
[startup+51.1134 s]
/proc/loadavg: 4.67 4.28 4.18 5/258 40072
/proc/meminfo: memFree=128678968/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=191848 memory=136388 CPUtime=50.92 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 18226 0 0 0 5052 40 0 0 20 0 1 0 45626015 196452352 34097 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 47962 34097 2368 1147 0 35389 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 196040 KiB
Current children cumulated memory: 139332 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.27 4.18 5/258 40074
/proc/meminfo: memFree=128621320/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=202960 memory=155628 CPUtime=101.94 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 20479 0 0 0 10142 52 0 0 20 0 1 0 45626015 207831040 38907 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 50740 38907 2368 1147 0 38167 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 207152 KiB
Current children cumulated memory: 158572 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.26 4.18 5/257 40122
/proc/meminfo: memFree=128981284/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=240844 memory=168604 CPUtime=161.74 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 22701 0 0 0 16108 66 0 0 20 0 1 0 45626015 246624256 42151 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 60211 42151 2368 1147 0 47638 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 245036 KiB
Current children cumulated memory: 171548 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/256 40124
/proc/meminfo: memFree=128918868/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=248024 memory=180988 CPUtime=221.54 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 24269 0 0 0 22077 77 0 0 20 0 1 0 45626015 253976576 45247 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 62006 45247 2368 1147 0 49433 0
################
# More data... #
################
/proc/40023/statm: 128373 100821 2368 1147 0 115800 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 517684 KiB
Current children cumulated memory: 406228 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/256 40268
/proc/meminfo: memFree=127940152/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=515844 memory=405204 CPUtime=3093.51 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 52727 0 0 0 308994 357 0 0 20 0 1 0 45626015 528224256 101301 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 128961 101301 2368 1147 0 116388 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 520036 KiB
Current children cumulated memory: 408148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.14 4.11 5/255 40270
/proc/meminfo: memFree=127915492/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=516308 memory=405460 CPUtime=3153.35 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 52786 0 0 0 314974 361 0 0 20 0 1 0 45626015 528699392 101365 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 129077 101365 2368 1147 0 116504 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 520500 KiB
Current children cumulated memory: 408404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/253 40272
/proc/meminfo: memFree=127911224/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=521088 memory=413152 CPUtime=3213.19 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 53878 0 0 0 320954 365 0 0 20 0 1 0 45626015 533594112 103288 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 130272 103288 2368 1147 0 117699 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 525280 KiB
Current children cumulated memory: 416096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/253 40274
/proc/meminfo: memFree=127868424/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=521600 memory=413792 CPUtime=3273.04 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 54038 0 0 0 326935 369 0 0 20 0 1 0 45626015 534118400 103448 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 130400 103448 2368 1147 0 117827 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 525792 KiB
Current children cumulated memory: 416736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/254 40277
/proc/meminfo: memFree=127854052/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=527360 memory=424048 CPUtime=3332.87 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55043 0 0 0 332915 372 0 0 20 0 1 0 45626015 540016640 106012 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 131840 106012 2368 1147 0 119267 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 531552 KiB
Current children cumulated memory: 426992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/254 40290
/proc/meminfo: memFree=127850424/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=527360 memory=424048 CPUtime=3392.72 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55063 0 0 0 338895 377 0 0 20 0 1 0 45626015 540016640 106012 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 131840 106012 2368 1147 0 119267 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 531552 KiB
Current children cumulated memory: 426992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 40299
/proc/meminfo: memFree=127848900/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=528256 memory=424560 CPUtime=3452.56 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55170 0 0 0 344876 380 0 0 20 0 1 0 45626015 540934144 106140 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 132064 106140 2368 1147 0 119491 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 532448 KiB
Current children cumulated memory: 427504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 40301
/proc/meminfo: memFree=127832544/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=530436 memory=426352 CPUtime=3512.4 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55640 0 0 0 350857 383 0 0 20 0 1 0 45626015 543166464 106588 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 132609 106588 2368 1147 0 120036 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 534628 KiB
Current children cumulated memory: 429296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 40303
/proc/meminfo: memFree=127814016/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=530436 memory=426608 CPUtime=3572.24 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55685 0 0 0 356837 387 0 0 20 0 1 0 45626015 543166464 106652 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 132609 106652 2368 1147 0 120036 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 534628 KiB
Current children cumulated memory: 429552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 40311
/proc/meminfo: memFree=128231260/131382116 swapFree=33010684/33010684
[pid=40021] ppid=40018 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40021/stat : 40021 (run-opt-log.sh) S 40018 40021 39143 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45626014 4292608 736 18446744073709551615 94435108024320 94435108918853 140727979982048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94435109157904 94435109205648 94435111247872 140727979985185 140727979985380 140727979985380 140727979990982 0
/proc/40021/statm: 1048 736 672 219 0 110 0
[pid=40023] ppid=40021 vsize=531840 memory=427248 CPUtime=3600.07 cores=4,6
/proc/40023/stat : 40023 (roundingsat) R 40021 40021 39143 0 -1 4194304 55868 0 0 0 359617 390 0 0 20 0 1 0 45626015 544604160 106812 18446744073709551615 4227072 8923433 140733243242336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16478208 140733243251026 140733243251240 140733243251240 140733243256810 0
/proc/40023/statm: 132960 106812 2368 1147 0 120387 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 536032 KiB
Current children cumulated memory: 430192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 40021 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001375 s, system=0.003617 s
[startup+3610.22 s]
# the end of solver process 40023 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.19 s, system=3.9084 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): 3610.22
CPU time (s): 3600.1
CPU user time (s): 3596.19
CPU system time (s): 3.9084
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 536032
Max. memory (cumulated for all children) (KiB): 430192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.19
system time used= 3.9084
maximum resident set size= 427632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 175520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268
involuntary context switches= 5841
# summary of solver processes directly reported to runsolver:
# pid: 40021,40023
# total CPU time (s): 3600.1
# total CPU user time (s): 3596.19
# total CPU system time (s): 3.9084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0976 second user time and 37.4025 second system time
The end
Begin job on nodeC010 at 2025-06-30 18:04:26
IDJOB=4484999
IDBENCH=146684
IDSOLVER=3351
FILE ID=nodeC010/4484999-1751299466
RUNJOBID= nodeC010-1751292234-39154
SLURM_JOB_ID= 9594261
Free space on /tmp= 432664 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484999-1751299466/watcher-4484999-1751299466 -o /tmp/evaluation-result-4484999-1751299466/solver-4484999-1751299466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751292234-39154 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484999-1751299466.opb PROOFDIR/proof-4484999-1751299466
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=781912770
nodeC010 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 : 3092.631
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.36
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 : 3591.434
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.36
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 : 1197.601
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.36
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.678
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.36
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 : 1197.486
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.36
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 : 3691.220
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.36
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.148
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.36
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.620
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128359164 kB
MemAvailable: 128914916 kB
Buffers: 3280 kB
Cached: 1363596 kB
SwapCached: 0 kB
Active: 1396568 kB
Inactive: 1058700 kB
Active(anon): 1106472 kB
Inactive(anon): 0 kB
Active(file): 290096 kB
Inactive(file): 1058700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18968 kB
Writeback: 0 kB
AnonPages: 1089496 kB
Mapped: 117120 kB
Shmem: 17960 kB
KReclaimable: 93164 kB
Slab: 176708 kB
SReclaimable: 93164 kB
SUnreclaim: 83544 kB
KernelStack: 4128 kB
PageTables: 5336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1547604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 929792 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC010 at 2025-06-30 19:04:37