0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.97/3.08 c #variables 1272 #constraints 94127
0.97/3.08 c objective is ce32
1.67/3.70 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.67/3.70 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.67/3.70 c GLOBAL bounds - >= -1272 @ 1.29663
1.67/3.71 c GLOBAL bounds - >= -1272 @ 1.29767
1.67/3.71 c GLOBAL bounds - >= -1272 @ 1.29859
1.67/3.71 c GLOBAL bounds - >= -1272 @ 1.30084
1.67/3.74 c GLOBAL bounds - >= -1272 @ 1.32896
1.67/3.77 c GLOBAL bounds - >= -1272 @ 1.34864
1.67/3.77 c GLOBAL bounds - >= -1272 @ 1.34994
1.67/3.77 c GLOBAL bounds - >= -1272 @ 1.35199
1.67/3.78 c GLOBAL bounds - >= -1272 @ 1.35881
1.76/3.81 c GLOBAL bounds - >= -1272 @ 1.38664
1.76/3.81 c GLOBAL bounds - >= -1272 @ 1.3877
1.76/3.84 c GLOBAL bounds - >= -1272 @ 1.41845
1.76/3.85 c GLOBAL bounds - >= -1272 @ 1.41978
1.76/3.85 c GLOBAL bounds - >= -1272 @ 1.4233
1.76/3.87 c GLOBAL bounds - >= -1272 @ 1.43737
1.86/3.94 c GLOBAL bounds - >= -1272 @ 1.50754
1.86/3.94 c GLOBAL bounds - >= -1272 @ 1.51086
1.86/3.95 c GLOBAL bounds - >= -1272 @ 1.51838
1.86/3.97 c GLOBAL bounds - >= -1272 @ 1.53544
1.86/3.97 c GLOBAL bounds - >= -1272 @ 1.53743
1.86/3.97 c GLOBAL bounds - >= -1272 @ 1.53902
1.86/3.98 c GLOBAL bounds - >= -1272 @ 1.54063
1.86/3.98 c GLOBAL bounds - >= -1272 @ 1.54275
1.86/3.99 c GLOBAL bounds - >= -1272 @ 1.55412
1.86/4.00 c GLOBAL bounds - >= -1272 @ 1.56043
1.86/4.00 c GLOBAL bounds - >= -1272 @ 1.56206
1.98/4.01 c GLOBAL bounds - >= -1272 @ 1.57292
1.98/4.01 c GLOBAL bounds - >= -1272 @ 1.57455
1.98/4.02 c GLOBAL bounds - >= -1272 @ 1.57701
1.98/4.02 c GLOBAL bounds - >= -1272 @ 1.57892
1.98/4.02 c GLOBAL bounds - >= -1272 @ 1.58239
1.98/4.03 c GLOBAL bounds - >= -1272 @ 1.5851
1.98/4.03 c GLOBAL bounds - >= -1272 @ 1.58674
1.98/4.03 c GLOBAL bounds - >= -1272 @ 1.58714
1.98/4.03 c GLOBAL bounds - >= -1272 @ 1.58963
1.98/4.03 c GLOBAL bounds - >= -1272 @ 1.5923
1.98/4.04 c GLOBAL bounds - >= -1272 @ 1.59508
1.98/4.04 c GLOBAL bounds - >= -1272 @ 1.59791
1.98/4.04 c GLOBAL bounds - >= -1272 @ 1.60074
1.98/4.05 c GLOBAL bounds - >= -1272 @ 1.60491
1.98/4.06 c GLOBAL bounds - >= -1272 @ 1.61292
1.98/4.06 c GLOBAL bounds - >= -1272 @ 1.6212
1.98/4.07 c GLOBAL bounds - >= -1272 @ 1.63066
2.66/4.74 c #Conflicts: 1000 | #Constraints: 95209
2.66/4.74 c GLOBAL bounds - >= -1272 @ 2.28665
287.87/290.75 c #Conflicts: 2000 | #Constraints: 96211
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 3000 | #Constraints: 96212
287.87/290.75 c #Conflicts: 4000 | #Constraints: 97212
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 5000 | #Constraints: 96616
287.87/290.75 c #Conflicts: 6000 | #Constraints: 97616
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 7000 | #Constraints: 96620
287.87/290.75 c #Conflicts: 8000 | #Constraints: 97620
287.87/290.75 c #Conflicts: 9000 | #Constraints: 98620
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 10000 | #Constraints: 97319
287.87/290.75 c #Conflicts: 11000 | #Constraints: 98319
287.87/290.75 c #Conflicts: 12000 | #Constraints: 99319
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 13000 | #Constraints: 97768
287.87/290.75 c #Conflicts: 14000 | #Constraints: 98768
287.87/290.75 c #Conflicts: 15000 | #Constraints: 99768
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 16000 | #Constraints: 97997
287.87/290.75 c #Conflicts: 17000 | #Constraints: 98997
287.87/290.75 c #Conflicts: 18000 | #Constraints: 99997
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 19000 | #Constraints: 98013
287.87/290.75 c #Conflicts: 20000 | #Constraints: 99013
287.87/290.75 c #Conflicts: 21000 | #Constraints: 100013
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 22000 | #Constraints: 97819
287.87/290.75 c #Conflicts: 23000 | #Constraints: 98819
287.87/290.75 c #Conflicts: 24000 | #Constraints: 99819
287.87/290.75 c #Conflicts: 25000 | #Constraints: 100819
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 26000 | #Constraints: 98423
287.87/290.75 c #Conflicts: 27000 | #Constraints: 99423
287.87/290.75 c #Conflicts: 28000 | #Constraints: 100423
287.87/290.75 c #Conflicts: 29000 | #Constraints: 101423
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 30000 | #Constraints: 98826
287.87/290.75 c #Conflicts: 31000 | #Constraints: 99826
287.87/290.75 c #Conflicts: 32000 | #Constraints: 100826
287.87/290.75 c #Conflicts: 33000 | #Constraints: 101826
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 34000 | #Constraints: 99026
287.87/290.75 c #Conflicts: 35000 | #Constraints: 100026
287.87/290.75 c #Conflicts: 36000 | #Constraints: 101026
287.87/290.75 c #Conflicts: 37000 | #Constraints: 102026
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 38000 | #Constraints: 99027
287.87/290.75 c #Conflicts: 39000 | #Constraints: 100027
287.87/290.75 c #Conflicts: 40000 | #Constraints: 101027
287.87/290.75 c #Conflicts: 41000 | #Constraints: 102027
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 42000 | #Constraints: 98830
287.87/290.75 c #Conflicts: 43000 | #Constraints: 99830
287.87/290.75 c #Conflicts: 44000 | #Constraints: 100830
287.87/290.75 c #Conflicts: 45000 | #Constraints: 101830
287.87/290.75 c #Conflicts: 46000 | #Constraints: 102830
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 47000 | #Constraints: 99429
287.87/290.75 c #Conflicts: 48000 | #Constraints: 100429
287.87/290.75 c #Conflicts: 49000 | #Constraints: 101429
287.87/290.75 c #Conflicts: 50000 | #Constraints: 102429
287.87/290.75 c #Conflicts: 51000 | #Constraints: 103429
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 52000 | #Constraints: 99826
287.87/290.75 c #Conflicts: 53000 | #Constraints: 100826
287.87/290.75 c #Conflicts: 54000 | #Constraints: 101826
287.87/290.75 c #Conflicts: 55000 | #Constraints: 102826
287.87/290.75 c #Conflicts: 56000 | #Constraints: 103826
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 57000 | #Constraints: 100024
287.87/290.75 c #Conflicts: 58000 | #Constraints: 101024
287.87/290.75 c #Conflicts: 59000 | #Constraints: 102024
287.87/290.75 c #Conflicts: 60000 | #Constraints: 103024
287.87/290.75 c #Conflicts: 61000 | #Constraints: 104024
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 62000 | #Constraints: 100025
287.87/290.75 c #Conflicts: 63000 | #Constraints: 101025
287.87/290.75 c #Conflicts: 64000 | #Constraints: 102025
287.87/290.75 c #Conflicts: 65000 | #Constraints: 103025
287.87/290.75 c #Conflicts: 66000 | #Constraints: 104025
287.87/290.75 c INPROCESSING
287.87/290.75 c GARBAGE COLLECT
287.87/290.75 c #Conflicts: 67000 | #Constraints: 99824
287.87/290.75 c #Conflicts: 68000 | #Constraints: 100824
287.87/290.75 c #Conflicts: 69000 | #Constraints: 101824
595.32/599.06 c #Conflicts: 70000 | #Constraints: 102824
595.32/599.06 c #Conflicts: 71000 | #Constraints: 103824
595.32/599.06 c #Conflicts: 72000 | #Constraints: 104824
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 73000 | #Constraints: 100426
595.32/599.06 c #Conflicts: 74000 | #Constraints: 101426
595.32/599.06 c #Conflicts: 75000 | #Constraints: 102426
595.32/599.06 c #Conflicts: 76000 | #Constraints: 103426
595.32/599.06 c #Conflicts: 77000 | #Constraints: 104426
595.32/599.06 c #Conflicts: 78000 | #Constraints: 105426
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 79000 | #Constraints: 100827
595.32/599.06 c #Conflicts: 80000 | #Constraints: 101827
595.32/599.06 c #Conflicts: 81000 | #Constraints: 102827
595.32/599.06 c #Conflicts: 82000 | #Constraints: 103827
595.32/599.06 c #Conflicts: 83000 | #Constraints: 104827
595.32/599.06 c #Conflicts: 84000 | #Constraints: 105827
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 85000 | #Constraints: 101029
595.32/599.06 c #Conflicts: 86000 | #Constraints: 102029
595.32/599.06 c #Conflicts: 87000 | #Constraints: 103029
595.32/599.06 c #Conflicts: 88000 | #Constraints: 104029
595.32/599.06 c #Conflicts: 89000 | #Constraints: 105029
595.32/599.06 c #Conflicts: 90000 | #Constraints: 106029
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 91000 | #Constraints: 101025
595.32/599.06 c #Conflicts: 92000 | #Constraints: 102025
595.32/599.06 c #Conflicts: 93000 | #Constraints: 103025
595.32/599.06 c #Conflicts: 94000 | #Constraints: 104025
595.32/599.06 c #Conflicts: 95000 | #Constraints: 105025
595.32/599.06 c #Conflicts: 96000 | #Constraints: 106025
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 97000 | #Constraints: 100827
595.32/599.06 c #Conflicts: 98000 | #Constraints: 101827
595.32/599.06 c #Conflicts: 99000 | #Constraints: 102827
595.32/599.06 c #Conflicts: 100000 | #Constraints: 103827
595.32/599.06 c #Conflicts: 101000 | #Constraints: 104827
595.32/599.06 c #Conflicts: 102000 | #Constraints: 105827
595.32/599.06 c #Conflicts: 103000 | #Constraints: 106827
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 104000 | #Constraints: 101426
595.32/599.06 c #Conflicts: 105000 | #Constraints: 102426
595.32/599.06 c #Conflicts: 106000 | #Constraints: 103426
595.32/599.06 c #Conflicts: 107000 | #Constraints: 104426
595.32/599.06 c #Conflicts: 108000 | #Constraints: 105426
595.32/599.06 c #Conflicts: 109000 | #Constraints: 106426
595.32/599.06 c #Conflicts: 110000 | #Constraints: 107426
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 111000 | #Constraints: 101824
595.32/599.06 c #Conflicts: 112000 | #Constraints: 102824
595.32/599.06 c #Conflicts: 113000 | #Constraints: 103824
595.32/599.06 c #Conflicts: 114000 | #Constraints: 104824
595.32/599.06 c #Conflicts: 115000 | #Constraints: 105824
595.32/599.06 c #Conflicts: 116000 | #Constraints: 106824
595.32/599.06 c #Conflicts: 117000 | #Constraints: 107824
595.32/599.06 c INPROCESSING
595.32/599.06 c GARBAGE COLLECT
595.32/599.06 c #Conflicts: 118000 | #Constraints: 102024
595.32/599.06 c GLOBAL bounds - >= -1272 @ 594.017
1083.88/1088.94 c #Conflicts: 119000 | #Constraints: 103026
1083.88/1088.94 c #Conflicts: 120000 | #Constraints: 104026
1083.88/1088.94 c #Conflicts: 121000 | #Constraints: 105026
1083.88/1088.94 c #Conflicts: 122000 | #Constraints: 106026
1083.88/1088.94 c #Conflicts: 123000 | #Constraints: 107026
1083.88/1088.94 c #Conflicts: 124000 | #Constraints: 108026
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 125000 | #Constraints: 102027
1083.88/1088.94 c #Conflicts: 126000 | #Constraints: 103027
1083.88/1088.94 c #Conflicts: 127000 | #Constraints: 104027
1083.88/1088.94 c #Conflicts: 128000 | #Constraints: 105027
1083.88/1088.94 c #Conflicts: 129000 | #Constraints: 106027
1083.88/1088.94 c #Conflicts: 130000 | #Constraints: 107027
1083.88/1088.94 c #Conflicts: 131000 | #Constraints: 108027
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 132000 | #Constraints: 101829
1083.88/1088.94 c #Conflicts: 133000 | #Constraints: 102829
1083.88/1088.94 c #Conflicts: 134000 | #Constraints: 103829
1083.88/1088.94 c #Conflicts: 135000 | #Constraints: 104829
1083.88/1088.94 c #Conflicts: 136000 | #Constraints: 105829
1083.88/1088.94 c #Conflicts: 137000 | #Constraints: 106829
1083.88/1088.94 c #Conflicts: 138000 | #Constraints: 107829
1083.88/1088.94 c #Conflicts: 139000 | #Constraints: 108829
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 140000 | #Constraints: 102429
1083.88/1088.94 c #Conflicts: 141000 | #Constraints: 103429
1083.88/1088.94 c #Conflicts: 142000 | #Constraints: 104429
1083.88/1088.94 c #Conflicts: 143000 | #Constraints: 105429
1083.88/1088.94 c #Conflicts: 144000 | #Constraints: 106429
1083.88/1088.94 c #Conflicts: 145000 | #Constraints: 107429
1083.88/1088.94 c #Conflicts: 146000 | #Constraints: 108429
1083.88/1088.94 c #Conflicts: 147000 | #Constraints: 109429
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 148000 | #Constraints: 102830
1083.88/1088.94 c #Conflicts: 149000 | #Constraints: 103830
1083.88/1088.94 c #Conflicts: 150000 | #Constraints: 104830
1083.88/1088.94 c #Conflicts: 151000 | #Constraints: 105830
1083.88/1088.94 c #Conflicts: 152000 | #Constraints: 106830
1083.88/1088.94 c #Conflicts: 153000 | #Constraints: 107830
1083.88/1088.94 c #Conflicts: 154000 | #Constraints: 108830
1083.88/1088.94 c #Conflicts: 155000 | #Constraints: 109830
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 156000 | #Constraints: 103032
1083.88/1088.94 c #Conflicts: 157000 | #Constraints: 104032
1083.88/1088.94 c #Conflicts: 158000 | #Constraints: 105032
1083.88/1088.94 c #Conflicts: 159000 | #Constraints: 106032
1083.88/1088.94 c #Conflicts: 160000 | #Constraints: 107032
1083.88/1088.94 c #Conflicts: 161000 | #Constraints: 108032
1083.88/1088.94 c #Conflicts: 162000 | #Constraints: 109032
1083.88/1088.94 c #Conflicts: 163000 | #Constraints: 110032
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 164000 | #Constraints: 103029
1083.88/1088.94 c #Conflicts: 165000 | #Constraints: 104029
1083.88/1088.94 c #Conflicts: 166000 | #Constraints: 105029
1083.88/1088.94 c #Conflicts: 167000 | #Constraints: 106029
1083.88/1088.94 c #Conflicts: 168000 | #Constraints: 107029
1083.88/1088.94 c #Conflicts: 169000 | #Constraints: 108029
1083.88/1088.94 c #Conflicts: 170000 | #Constraints: 109029
1083.88/1088.94 c #Conflicts: 171000 | #Constraints: 110029
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 172000 | #Constraints: 102829
1083.88/1088.94 c #Conflicts: 173000 | #Constraints: 103829
1083.88/1088.94 c #Conflicts: 174000 | #Constraints: 104829
1083.88/1088.94 c #Conflicts: 175000 | #Constraints: 105829
1083.88/1088.94 c #Conflicts: 176000 | #Constraints: 106829
1083.88/1088.94 c #Conflicts: 177000 | #Constraints: 107829
1083.88/1088.94 c #Conflicts: 178000 | #Constraints: 108829
1083.88/1088.94 c #Conflicts: 179000 | #Constraints: 109829
1083.88/1088.94 c #Conflicts: 180000 | #Constraints: 110829
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 181000 | #Constraints: 103431
1083.88/1088.94 c #Conflicts: 182000 | #Constraints: 104431
1083.88/1088.94 c #Conflicts: 183000 | #Constraints: 105431
1083.88/1088.94 c #Conflicts: 184000 | #Constraints: 106431
1083.88/1088.94 c #Conflicts: 185000 | #Constraints: 107431
1083.88/1088.94 c #Conflicts: 186000 | #Constraints: 108431
1083.88/1088.94 c #Conflicts: 187000 | #Constraints: 109431
1083.88/1088.94 c #Conflicts: 188000 | #Constraints: 110431
1083.88/1088.94 c #Conflicts: 189000 | #Constraints: 111431
1083.88/1088.94 c INPROCESSING
1083.88/1088.94 c GARBAGE COLLECT
1083.88/1088.94 c #Conflicts: 190000 | #Constraints: 103828
1083.88/1088.94 c #Conflicts: 191000 | #Constraints: 104828
1083.88/1088.94 c #Conflicts: 192000 | #Constraints: 105828
1831.92/1839.23 c #Conflicts: 193000 | #Constraints: 106828
1831.92/1839.23 c #Conflicts: 194000 | #Constraints: 107828
1831.92/1839.23 c #Conflicts: 195000 | #Constraints: 108828
1831.92/1839.23 c #Conflicts: 196000 | #Constraints: 109828
1831.92/1839.23 c #Conflicts: 197000 | #Constraints: 110828
1831.92/1839.23 c #Conflicts: 198000 | #Constraints: 111828
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 199000 | #Constraints: 104027
1831.92/1839.23 c #Conflicts: 200000 | #Constraints: 105027
1831.92/1839.23 c #Conflicts: 201000 | #Constraints: 106027
1831.92/1839.23 c #Conflicts: 202000 | #Constraints: 107027
1831.92/1839.23 c #Conflicts: 203000 | #Constraints: 108027
1831.92/1839.23 c #Conflicts: 204000 | #Constraints: 109027
1831.92/1839.23 c #Conflicts: 205000 | #Constraints: 110027
1831.92/1839.23 c #Conflicts: 206000 | #Constraints: 111027
1831.92/1839.23 c #Conflicts: 207000 | #Constraints: 112027
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 208000 | #Constraints: 104022
1831.92/1839.23 c #Conflicts: 209000 | #Constraints: 105022
1831.92/1839.23 c #Conflicts: 210000 | #Constraints: 106022
1831.92/1839.23 c #Conflicts: 211000 | #Constraints: 107022
1831.92/1839.23 c #Conflicts: 212000 | #Constraints: 108022
1831.92/1839.23 c #Conflicts: 213000 | #Constraints: 109022
1831.92/1839.23 c #Conflicts: 214000 | #Constraints: 110022
1831.92/1839.23 c #Conflicts: 215000 | #Constraints: 111022
1831.92/1839.23 c #Conflicts: 216000 | #Constraints: 112022
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 217000 | #Constraints: 103819
1831.92/1839.23 c #Conflicts: 218000 | #Constraints: 104819
1831.92/1839.23 c #Conflicts: 219000 | #Constraints: 105819
1831.92/1839.23 c #Conflicts: 220000 | #Constraints: 106819
1831.92/1839.23 c #Conflicts: 221000 | #Constraints: 107819
1831.92/1839.23 c #Conflicts: 222000 | #Constraints: 108819
1831.92/1839.23 c #Conflicts: 223000 | #Constraints: 109819
1831.92/1839.23 c #Conflicts: 224000 | #Constraints: 110819
1831.92/1839.23 c #Conflicts: 225000 | #Constraints: 111819
1831.92/1839.23 c #Conflicts: 226000 | #Constraints: 112819
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 227000 | #Constraints: 104424
1831.92/1839.23 c #Conflicts: 228000 | #Constraints: 105424
1831.92/1839.23 c #Conflicts: 229000 | #Constraints: 106424
1831.92/1839.23 c #Conflicts: 230000 | #Constraints: 107424
1831.92/1839.23 c #Conflicts: 231000 | #Constraints: 108424
1831.92/1839.23 c #Conflicts: 232000 | #Constraints: 109424
1831.92/1839.23 c #Conflicts: 233000 | #Constraints: 110424
1831.92/1839.23 c #Conflicts: 234000 | #Constraints: 111424
1831.92/1839.23 c #Conflicts: 235000 | #Constraints: 112424
1831.92/1839.23 c #Conflicts: 236000 | #Constraints: 113424
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 237000 | #Constraints: 104826
1831.92/1839.23 c #Conflicts: 238000 | #Constraints: 105826
1831.92/1839.23 c #Conflicts: 239000 | #Constraints: 106826
1831.92/1839.23 c #Conflicts: 240000 | #Constraints: 107826
1831.92/1839.23 c #Conflicts: 241000 | #Constraints: 108826
1831.92/1839.23 c #Conflicts: 242000 | #Constraints: 109826
1831.92/1839.23 c #Conflicts: 243000 | #Constraints: 110826
1831.92/1839.23 c #Conflicts: 244000 | #Constraints: 111826
1831.92/1839.23 c #Conflicts: 245000 | #Constraints: 112826
1831.92/1839.23 c #Conflicts: 246000 | #Constraints: 113826
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 247000 | #Constraints: 105024
1831.92/1839.23 c #Conflicts: 248000 | #Constraints: 106024
1831.92/1839.23 c #Conflicts: 249000 | #Constraints: 107024
1831.92/1839.23 c #Conflicts: 250000 | #Constraints: 108024
1831.92/1839.23 c #Conflicts: 251000 | #Constraints: 109024
1831.92/1839.23 c #Conflicts: 252000 | #Constraints: 110024
1831.92/1839.23 c #Conflicts: 253000 | #Constraints: 111024
1831.92/1839.23 c #Conflicts: 254000 | #Constraints: 112024
1831.92/1839.23 c #Conflicts: 255000 | #Constraints: 113024
1831.92/1839.23 c #Conflicts: 256000 | #Constraints: 114024
1831.92/1839.23 c INPROCESSING
1831.92/1839.23 c GARBAGE COLLECT
1831.92/1839.23 c #Conflicts: 257000 | #Constraints: 105028
1831.92/1839.23 c #Conflicts: 258000 | #Constraints: 106028
1831.92/1839.23 c #Conflicts: 259000 | #Constraints: 107028
1831.92/1839.23 c #Conflicts: 260000 | #Constraints: 108028
1831.92/1839.23 c #Conflicts: 261000 | #Constraints: 109028
1831.92/1839.23 c #Conflicts: 262000 | #Constraints: 110028
1831.92/1839.23 c #Conflicts: 263000 | #Constraints: 111028
1831.92/1839.23 c #Conflicts: 264000 | #Constraints: 112028
1831.92/1839.23 c #Conflicts: 265000 | #Constraints: 113028
1831.92/1839.23 c #Conflicts: 266000 | #Constraints: 114028
2660.01/2669.80 c INPROCESSING
2660.01/2669.80 c GARBAGE COLLECT
2660.01/2669.80 c #Conflicts: 267000 | #Constraints: 104830
2660.01/2669.80 c #Conflicts: 268000 | #Constraints: 105830
2660.01/2669.80 c #Conflicts: 269000 | #Constraints: 106830
2660.01/2669.80 c #Conflicts: 270000 | #Constraints: 107830
2660.01/2669.80 c #Conflicts: 271000 | #Constraints: 108830
2660.01/2669.80 c #Conflicts: 272000 | #Constraints: 109830
2660.01/2669.80 c #Conflicts: 273000 | #Constraints: 110830
2660.01/2669.80 c #Conflicts: 274000 | #Constraints: 111830
2660.01/2669.80 c #Conflicts: 275000 | #Constraints: 112830
2660.01/2669.80 c #Conflicts: 276000 | #Constraints: 113830
2660.01/2669.80 c #Conflicts: 277000 | #Constraints: 114830
2660.01/2669.80 c INPROCESSING
2660.01/2669.80 c GARBAGE COLLECT
2660.01/2669.80 c #Conflicts: 278000 | #Constraints: 105426
2660.01/2669.80 c #Conflicts: 279000 | #Constraints: 106426
2660.01/2669.80 c #Conflicts: 280000 | #Constraints: 107426
2660.01/2669.80 c #Conflicts: 281000 | #Constraints: 108426
2660.01/2669.80 c #Conflicts: 282000 | #Constraints: 109426
2660.01/2669.80 c #Conflicts: 283000 | #Constraints: 110426
2660.01/2669.80 c #Conflicts: 284000 | #Constraints: 111426
2660.01/2669.80 c #Conflicts: 285000 | #Constraints: 112426
2660.01/2669.80 c #Conflicts: 286000 | #Constraints: 113426
2660.01/2669.80 c #Conflicts: 287000 | #Constraints: 114426
2660.01/2669.80 c #Conflicts: 288000 | #Constraints: 115426
2660.01/2669.80 c INPROCESSING
2660.01/2669.80 c GARBAGE COLLECT
2660.01/2669.80 c #Conflicts: 289000 | #Constraints: 105828
2660.01/2669.80 c #Conflicts: 290000 | #Constraints: 106828
2660.01/2669.80 c #Conflicts: 291000 | #Constraints: 107828
2660.01/2669.80 c #Conflicts: 292000 | #Constraints: 108828
2660.01/2669.80 c #Conflicts: 293000 | #Constraints: 109828
2660.01/2669.80 c #Conflicts: 294000 | #Constraints: 110828
2660.01/2669.80 c #Conflicts: 295000 | #Constraints: 111828
2660.01/2669.80 c #Conflicts: 296000 | #Constraints: 112828
2660.01/2669.80 c #Conflicts: 297000 | #Constraints: 113828
2660.01/2669.80 c #Conflicts: 298000 | #Constraints: 114828
2660.01/2669.80 c #Conflicts: 299000 | #Constraints: 115828
2660.01/2669.80 c INPROCESSING
2660.01/2669.80 c GARBAGE COLLECT
2660.01/2669.80 c #Conflicts: 300000 | #Constraints: 106031
2660.01/2669.80 c #Conflicts: 301000 | #Constraints: 107031
2660.01/2669.80 c #Conflicts: 302000 | #Constraints: 108031
2660.01/2669.80 c #Conflicts: 303000 | #Constraints: 109031
2660.01/2669.80 c #Conflicts: 304000 | #Constraints: 110031
2660.01/2669.80 c #Conflicts: 305000 | #Constraints: 111031
2660.01/2669.80 c #Conflicts: 306000 | #Constraints: 112031
2660.01/2669.80 c #Conflicts: 307000 | #Constraints: 113031
2660.01/2669.80 c #Conflicts: 308000 | #Constraints: 114031
2660.01/2669.80 c #Conflicts: 309000 | #Constraints: 115031
2660.01/2669.80 c #Conflicts: 310000 | #Constraints: 116031
2660.01/2669.80 c INPROCESSING
2660.01/2669.80 c GARBAGE COLLECT
2660.01/2669.80 c #Conflicts: 311000 | #Constraints: 106030
2660.01/2669.80 c #Conflicts: 312000 | #Constraints: 107030
2660.01/2669.80 c #Conflicts: 313000 | #Constraints: 108030
2660.01/2669.80 c #Conflicts: 314000 | #Constraints: 109030
2660.01/2669.80 c #Conflicts: 315000 | #Constraints: 110030
2660.01/2669.80 c #Conflicts: 316000 | #Constraints: 111030
2660.01/2669.80 c #Conflicts: 317000 | #Constraints: 112030
2660.01/2669.80 c #Conflicts: 318000 | #Constraints: 113030
2660.01/2669.80 c #Conflicts: 319000 | #Constraints: 114030
2660.01/2669.80 c #Conflicts: 320000 | #Constraints: 115030
2660.01/2669.80 c #Conflicts: 321000 | #Constraints: 116030
2660.01/2669.80 c INPROCESSING
2660.01/2669.81 c GARBAGE COLLECT
2660.01/2669.81 c #Conflicts: 322000 | #Constraints: 105830
2660.01/2669.81 c #Conflicts: 323000 | #Constraints: 106830
2660.01/2669.81 c #Conflicts: 324000 | #Constraints: 107830
2660.01/2669.81 c #Conflicts: 325000 | #Constraints: 108830
2660.01/2669.81 c #Conflicts: 326000 | #Constraints: 109830
2660.01/2669.81 c #Conflicts: 327000 | #Constraints: 110830
2660.01/2669.81 c #Conflicts: 328000 | #Constraints: 111830
2660.01/2669.81 c #Conflicts: 329000 | #Constraints: 112830
2660.01/2669.81 c #Conflicts: 330000 | #Constraints: 113830
2660.01/2669.81 c #Conflicts: 331000 | #Constraints: 114830
2660.01/2669.81 c #Conflicts: 332000 | #Constraints: 115830
2660.01/2669.81 c #Conflicts: 333000 | #Constraints: 116830
2660.01/2669.81 c INPROCESSING
2660.01/2669.81 c GARBAGE COLLECT
2660.01/2669.81 c #Conflicts: 334000 | #Constraints: 106431
2660.01/2669.81 c #Conflicts: 335000 | #Constraints: 107431
2660.01/2669.81 c #Conflicts: 336000 | #Constraints: 108431
2660.01/2669.81 c #Conflicts: 337000 | #Constraints: 109431
2660.01/2669.81 c #Conflicts: 338000 | #Constraints: 110431
2660.01/2669.81 c #Conflicts: 339000 | #Constraints: 111431
2660.01/2669.81 c #Conflicts: 340000 | #Constraints: 112431
3425.34/3437.23 c #Conflicts: 341000 | #Constraints: 113431
3425.34/3437.23 c #Conflicts: 342000 | #Constraints: 114431
3425.34/3437.23 c #Conflicts: 343000 | #Constraints: 115431
3425.34/3437.23 c #Conflicts: 344000 | #Constraints: 116431
3425.34/3437.23 c #Conflicts: 345000 | #Constraints: 117431
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c #Conflicts: 346000 | #Constraints: 106829
3425.34/3437.23 c #Conflicts: 347000 | #Constraints: 107829
3425.34/3437.23 c #Conflicts: 348000 | #Constraints: 108829
3425.34/3437.23 c #Conflicts: 349000 | #Constraints: 109829
3425.34/3437.23 c #Conflicts: 350000 | #Constraints: 110829
3425.34/3437.23 c #Conflicts: 351000 | #Constraints: 111829
3425.34/3437.23 c #Conflicts: 352000 | #Constraints: 112829
3425.34/3437.23 c #Conflicts: 353000 | #Constraints: 113829
3425.34/3437.23 c #Conflicts: 354000 | #Constraints: 114829
3425.34/3437.23 c #Conflicts: 355000 | #Constraints: 115829
3425.34/3437.23 c #Conflicts: 356000 | #Constraints: 116829
3425.34/3437.23 c #Conflicts: 357000 | #Constraints: 117829
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c #Conflicts: 358000 | #Constraints: 107030
3425.34/3437.23 c #Conflicts: 359000 | #Constraints: 108030
3425.34/3437.23 c #Conflicts: 360000 | #Constraints: 109030
3425.34/3437.23 c #Conflicts: 361000 | #Constraints: 110030
3425.34/3437.23 c #Conflicts: 362000 | #Constraints: 111030
3425.34/3437.23 c #Conflicts: 363000 | #Constraints: 112030
3425.34/3437.23 c #Conflicts: 364000 | #Constraints: 113030
3425.34/3437.23 c #Conflicts: 365000 | #Constraints: 114030
3425.34/3437.23 c #Conflicts: 366000 | #Constraints: 115030
3425.34/3437.23 c #Conflicts: 367000 | #Constraints: 116030
3425.34/3437.23 c #Conflicts: 368000 | #Constraints: 117030
3425.34/3437.23 c #Conflicts: 369000 | #Constraints: 118030
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c #Conflicts: 370000 | #Constraints: 107028
3425.34/3437.23 c #Conflicts: 371000 | #Constraints: 108028
3425.34/3437.23 c #Conflicts: 372000 | #Constraints: 109028
3425.34/3437.23 c #Conflicts: 373000 | #Constraints: 110028
3425.34/3437.23 c #Conflicts: 374000 | #Constraints: 111028
3425.34/3437.23 c #Conflicts: 375000 | #Constraints: 112028
3425.34/3437.23 c #Conflicts: 376000 | #Constraints: 113028
3425.34/3437.23 c #Conflicts: 377000 | #Constraints: 114028
3425.34/3437.23 c #Conflicts: 378000 | #Constraints: 115028
3425.34/3437.23 c #Conflicts: 379000 | #Constraints: 116028
3425.34/3437.23 c #Conflicts: 380000 | #Constraints: 117028
3425.34/3437.23 c #Conflicts: 381000 | #Constraints: 118028
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c #Conflicts: 382000 | #Constraints: 106828
3425.34/3437.23 c #Conflicts: 383000 | #Constraints: 107828
3425.34/3437.23 c #Conflicts: 384000 | #Constraints: 108828
3425.34/3437.23 c #Conflicts: 385000 | #Constraints: 109828
3425.34/3437.23 c #Conflicts: 386000 | #Constraints: 110828
3425.34/3437.23 c #Conflicts: 387000 | #Constraints: 111828
3425.34/3437.23 c #Conflicts: 388000 | #Constraints: 112828
3425.34/3437.23 c #Conflicts: 389000 | #Constraints: 113828
3425.34/3437.23 c #Conflicts: 390000 | #Constraints: 114828
3425.34/3437.23 c #Conflicts: 391000 | #Constraints: 115828
3425.34/3437.23 c #Conflicts: 392000 | #Constraints: 116828
3425.34/3437.23 c #Conflicts: 393000 | #Constraints: 117828
3425.34/3437.23 c #Conflicts: 394000 | #Constraints: 118828
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c #Conflicts: 395000 | #Constraints: 107431
3425.34/3437.23 c #Conflicts: 396000 | #Constraints: 108431
3425.34/3437.23 c #Conflicts: 397000 | #Constraints: 109431
3425.34/3437.23 c #Conflicts: 398000 | #Constraints: 110431
3425.34/3437.23 c #Conflicts: 399000 | #Constraints: 111431
3425.34/3437.23 c #Conflicts: 400000 | #Constraints: 112431
3425.34/3437.23 c #Conflicts: 401000 | #Constraints: 113431
3425.34/3437.23 c #Conflicts: 402000 | #Constraints: 114431
3425.34/3437.23 c #Conflicts: 403000 | #Constraints: 115431
3425.34/3437.23 c #Conflicts: 404000 | #Constraints: 116431
3425.34/3437.23 c #Conflicts: 405000 | #Constraints: 117431
3425.34/3437.23 c #Conflicts: 406000 | #Constraints: 118431
3425.34/3437.23 c #Conflicts: 407000 | #Constraints: 119431
3425.34/3437.23 c INPROCESSING
3425.34/3437.23 c GARBAGE COLLECT
3425.34/3437.23 c GLOBAL bounds - >= -1272 @ 3421.58
3600.07/3612.40 c #Conflicts: 408000 | #Constraints: 107830
3600.07/3612.40 c #Conflicts: 409000 | #Constraints: 108830
3600.07/3612.40 c #Conflicts: 410000 | #Constraints: 109830
3600.07/3612.40 c #Conflicts: 411000 | #Constraints: 110830
3600.07/3612.40 c #Conflicts: 412000 | #Constraints: 111830
3600.07/3612.40 c #Conflicts: 413000 | #Constraints: 112830
3600.07/3612.40 c #Conflicts: 414000 | #Constraints: 113830
3600.07/3612.40 c #Conflicts: 415000 | #Constraints: 114830
3600.07/3612.40 c #Conflicts: 416000 | #Constraints: 115830
3600.07/3612.40 c #Conflicts: 417000 | #Constraints: 116830
3600.07/3612.40 c #Conflicts: 418000 | #Constraints: 117830
3600.07/3612.40 c #Conflicts: 419000 | #Constraints: 118830
3600.07/3612.40 c #Conflicts: 420000 | #Constraints: 119830
3600.07/3612.40 c INPROCESSING
3600.07/3612.40 c GARBAGE COLLECT
3600.07/3612.40 c #Conflicts: 421000 | #Constraints: 108032
3600.07/3612.40 c cpu time 3596.18 s
3600.07/3612.40 c deterministic time 1 1.00e+00
3600.07/3612.40 c optimization time 3595.32 s
3600.07/3612.40 c total solve time 0 s
3600.07/3612.40 c core-guided solve time 0 s
3600.07/3612.40 c propagation time 0.083407 s
3600.07/3612.40 c conflict analysis time 0 s
3600.07/3612.40 c propagations 0
3600.07/3612.40 c resolve steps 0
3600.07/3612.40 c decisions 0
3600.07/3612.40 c conflicts 0
3600.07/3612.40 c restarts 0
3600.07/3612.40 c inprocessing phases 0
3600.07/3612.40 c garbage collections 0 ,( -nan )
3600.07/3612.40 c input clauses 94127 ,( 100.00 )
3600.07/3612.40 c input cardinalities 0 ,( 0.00 )
3600.07/3612.40 c input general constraints 0 ,( 0.00 )
3600.07/3612.40 c input average constraint length 2.00
3600.07/3612.40 c input average constraint degree 1.00
3600.07/3612.40 c learned clauses 0 ,( 0.00 )
3600.07/3612.40 c learned cardinalities 0 ,( 0.00 )
3600.07/3612.40 c learned general constraints 0 ,( 0.00 )
3600.07/3612.40 c learned average constraint length 0.00
3600.07/3612.40 c learned average constraint degree 0.00
3600.07/3612.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3612.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3612.40 c watched constraints 0 ,( -nan )
3600.07/3612.40 c counting constraints 0 ,( -nan )
3600.07/3612.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3612.40 c gcd simplifications 0
3600.07/3612.40 c detected cardinalities 0
3600.07/3612.40 c weakened non-implied lits 0
3600.07/3612.40 c weakened non-implying lits 0
3600.07/3612.40 c original variables 1272
3600.07/3612.40 c clausal propagations 0
3600.07/3612.40 c cardinality propagations 0
3600.07/3612.40 c watched propagations 0
3600.07/3612.40 c counting propagations 0
3600.07/3612.40 c watch lookups 0
3600.07/3612.40 c watch backjump lookups 0
3600.07/3612.40 c watch checks 0
3600.07/3612.40 c propagation checks 0
3600.07/3612.40 c constraint additions 0
3600.07/3612.40 c trail pops 0
3600.07/3612.40 c formula constraints 94127
3600.07/3612.40 c learned constraints 0
3600.07/3612.40 c bound constraints 0
3600.07/3612.40 c core-guided constraints 0
3600.07/3612.40 c encountered formula constraints 0
3600.07/3612.40 c encountered learned constraints 0
3600.07/3612.40 c encountered bound constraints 0
3600.07/3612.40 c encountered core-guided constraints 0
3600.07/3612.40 c LP total time 0 s
3600.07/3612.40 c LP solve time 0 s
3600.07/3612.40 c LP constraints added 0
3600.07/3612.40 c LP constraints removed 0
3600.07/3612.40 c LP pivots internal 0
3600.07/3612.40 c LP pivots root 0
3600.07/3612.40 c LP calls 0
3600.07/3612.40 c LP optimalities 0
3600.07/3612.40 c LP no pivot count 0
3600.07/3612.40 c LP infeasibilities 0
3600.07/3612.40 c LP valid Farkas constraints 0
3600.07/3612.40 c LP learned Farkas constraints 0
3600.07/3612.40 c LP basis resets 0
3600.07/3612.40 c LP cycling count 0
3600.07/3612.40 c LP singular count 0
3600.07/3612.40 c LP no primal count 0
3600.07/3612.40 c LP no farkas count 0
3600.07/3612.40 c LP other issue count 0
3600.07/3612.40 c LP Gomory cuts 0
3600.07/3612.40 c LP learned cuts 0
3600.07/3612.40 c LP deleted cuts 0
3600.07/3612.40 c LP encountered Gomory constraints 0
3600.07/3612.40 c LP encountered Farkas constraints 0
3600.07/3612.40 c LP encountered learned Farkas constraints 0
3600.07/3612.40 c CG auxiliary variables introduced 0
3600.07/3612.40 c CG solutions found 0
3600.07/3612.40 c CG cores constructed 0
3600.07/3612.40 c CG core cardinality constraints returned 0
3600.07/3612.40 c CG unit cores 0
3600.07/3612.40 c CG single cores 0
3600.07/3612.40 c CG blocks removed during cardinality reduction 0
3600.07/3612.40 c CG first core best 0
3600.07/3612.40 c CG decision core best 0
3600.07/3612.40 c CG core reduction tie 0
3600.07/3612.40 c CG core degree average 0.00
3600.07/3612.40 c CG core slack average 0.00
3600.07/3612.40 c CG core upper bound improvements 0
3600.07/3612.40 c STR number of successful calls 0
3600.07/3612.40 c STR number of unsuccessful calls 0
3600.07/3612.40 c STR number of inconclusive calls 0
3600.07/3612.40 c STR number of successful attempts 0
3600.07/3612.40 c STR number of unsuccessful attempts 0
3600.07/3612.40 c STR number of inconclusive attempts 0
3600.07/3612.40 c STR average degree increase per successful call inf
3600.07/3612.40 c STR average degree increase per successful attempt inf
3600.07/3612.40 c STR total number of conflicts for successful attempts 0
3600.07/3612.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.40 c STR average number of conflicts per successful attempt inf
3600.07/3612.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.40 c AVG.sumWPerc -nan
3600.07/3612.40 c bigint constraints 0
3600.07/3612.40 s UNKNOWN
3600.07/3612.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: 63837 MiB (63093 MiB free)
memory of node 1: 64465 MiB (40640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484815-1751295852/watcher-4484815-1751295852 -o /tmp/evaluation-result-4484815-1751295852/solver-4484815-1751295852 -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-4484815-1751295852.opb PROOFDIR/proof-4484815-1751295852
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39674, runsolver pid=39671
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106218908/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/39676/stat : 39676 (roundingsat) D 39674 39674 39143 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 45264647 52015104 1856 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.206806 s]*
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106210844/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/39676/stat : 39676 (roundingsat) D 39674 39674 39143 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 45264647 52015104 1856 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.306689 s]*
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106210844/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/39676/stat : 39676 (roundingsat) D 39674 39674 39143 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 45264647 52015104 1856 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.700315 s]
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106210992/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/39676/stat : 39676 (roundingsat) D 39674 39674 39143 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 45264647 52015104 1856 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+1.50034 s]
/proc/loadavg: 4.27 4.13 4.10 3/254 39676
/proc/meminfo: memFree=106210992/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/39676/stat : 39676 (roundingsat) D 39674 39674 39143 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 45264647 52015104 1856 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+3.1083 s]
/proc/loadavg: 4.27 4.13 4.10 5/254 39676
/proc/meminfo: memFree=113520980/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=154092 memory=89508 CPUtime=1.07 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 10439 0 0 0 87 20 0 0 20 0 1 0 45264647 157790208 22377 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 38523 22377 2272 1147 0 25950 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 158284 KiB
Current children cumulated memory: 92580 KiB
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 4.32 4.14 4.11 5/260 39697
/proc/meminfo: memFree=128476284/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=207556 memory=147288 CPUtime=4.26 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 24516 0 0 0 383 43 0 0 20 0 1 0 45264647 212537344 36822 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 51889 36822 2304 1147 0 39316 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 211748 KiB
Current children cumulated memory: 150360 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.30 4.14 4.11 5/260 39697
/proc/meminfo: memFree=128459016/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=256876 memory=179476 CPUtime=10.64 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 24871 0 0 0 1018 46 0 0 20 0 1 0 45264647 263041024 44869 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 64219 44869 2304 1147 0 51646 0
Current children cumulated CPU time: 10.64 s
Current children cumulated vsize: 261068 KiB
Current children cumulated memory: 182548 KiB
[startup+25.5004 s]
/proc/loadavg: 4.30 4.15 4.11 5/260 39697
/proc/meminfo: memFree=128372188/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=256876 memory=187676 CPUtime=23.41 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 24894 0 0 0 2291 50 0 0 20 0 1 0 45264647 263041024 46919 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 64219 46919 2304 1147 0 51646 0
Current children cumulated CPU time: 23.41 s
Current children cumulated vsize: 261068 KiB
Current children cumulated memory: 190748 KiB
[startup+51.114 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 39697
/proc/meminfo: memFree=128333140/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=256876 memory=195880 CPUtime=48.96 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 24901 0 0 0 4841 55 0 0 20 0 1 0 45264647 263041024 48970 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 64219 48970 2304 1147 0 51646 0
Current children cumulated CPU time: 48.96 s
Current children cumulated vsize: 261068 KiB
Current children cumulated memory: 198952 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 6/259 39699
/proc/meminfo: memFree=128263768/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=287696 memory=205200 CPUtime=100.01 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 25191 0 0 0 9934 67 0 0 20 0 1 0 45264647 294600704 51300 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 71924 51300 2304 1147 0 59351 0
Current children cumulated CPU time: 100.01 s
Current children cumulated vsize: 291888 KiB
Current children cumulated memory: 208272 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 39747
/proc/meminfo: memFree=128701812/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=290304 memory=215832 CPUtime=159.83 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 25824 0 0 0 15907 76 0 0 20 0 1 0 45264647 297271296 53958 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 72576 53958 2304 1147 0 60003 0
Current children cumulated CPU time: 159.83 s
Current children cumulated vsize: 294496 KiB
Current children cumulated memory: 218904 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 39749
/proc/meminfo: memFree=128629288/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=297340 memory=232804 CPUtime=219.66 cores=4,6
################
# More data... #
################
/proc/39676/statm: 142071 118731 2304 1147 0 129498 0
Current children cumulated CPU time: 3031.5 s
Current children cumulated vsize: 572476 KiB
Current children cumulated memory: 477996 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.22 4.15 5/254 39894
/proc/meminfo: memFree=127418964/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=569364 memory=475436 CPUtime=3091.33 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 59359 0 0 0 308780 353 0 0 20 0 1 0 45264647 583028736 118859 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 142341 118859 2304 1147 0 129768 0
Current children cumulated CPU time: 3091.33 s
Current children cumulated vsize: 573556 KiB
Current children cumulated memory: 478508 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/254 39897
/proc/meminfo: memFree=127400920/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=573408 memory=478892 CPUtime=3151.18 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 60220 0 0 0 314759 359 0 0 20 0 1 0 45264647 587169792 119723 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 143352 119723 2304 1147 0 130779 0
Current children cumulated CPU time: 3151.18 s
Current children cumulated vsize: 577600 KiB
Current children cumulated memory: 481964 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/254 39899
/proc/meminfo: memFree=127400112/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=573408 memory=478892 CPUtime=3211.02 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 60221 0 0 0 320739 363 0 0 20 0 1 0 45264647 587169792 119723 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 143352 119723 2304 1147 0 130779 0
Current children cumulated CPU time: 3211.02 s
Current children cumulated vsize: 577600 KiB
Current children cumulated memory: 481964 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/254 39901
/proc/meminfo: memFree=127371932/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=573408 memory=479148 CPUtime=3270.86 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 60278 0 0 0 326718 368 0 0 20 0 1 0 45264647 587169792 119787 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 143352 119787 2304 1147 0 130779 0
Current children cumulated CPU time: 3270.86 s
Current children cumulated vsize: 577600 KiB
Current children cumulated memory: 482220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/255 39904
/proc/meminfo: memFree=127352920/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=573920 memory=479660 CPUtime=3330.7 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 60406 0 0 0 332697 373 0 0 20 0 1 0 45264647 587694080 119915 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 143480 119915 2304 1147 0 130907 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 578112 KiB
Current children cumulated memory: 482732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/255 39906
/proc/meminfo: memFree=127357072/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=573920 memory=479660 CPUtime=3390.54 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 60406 0 0 0 338677 377 0 0 20 0 1 0 45264647 587694080 119915 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 143480 119915 2304 1147 0 130907 0
Current children cumulated CPU time: 3390.54 s
Current children cumulated vsize: 578112 KiB
Current children cumulated memory: 482732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 39926
/proc/meminfo: memFree=127324200/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=576740 memory=486660 CPUtime=3450.38 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 61112 0 0 0 344655 383 0 0 20 0 1 0 45264647 590581760 121665 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 144185 121665 2304 1147 0 131612 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 580932 KiB
Current children cumulated memory: 489732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/257 39929
/proc/meminfo: memFree=127324252/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=577816 memory=487172 CPUtime=3510.22 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 61269 0 0 0 350636 386 0 0 20 0 1 0 45264647 591683584 121793 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 144454 121793 2304 1147 0 131881 0
Current children cumulated CPU time: 3510.22 s
Current children cumulated vsize: 582008 KiB
Current children cumulated memory: 490244 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/257 39931
/proc/meminfo: memFree=127310236/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=580632 memory=489220 CPUtime=3570.05 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 61765 0 0 0 356617 388 0 0 20 0 1 0 45264647 594567168 122305 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 145158 122305 2304 1147 0 132585 0
Current children cumulated CPU time: 3570.05 s
Current children cumulated vsize: 584824 KiB
Current children cumulated memory: 492292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.11 4.13 4.13 5/257 39977
/proc/meminfo: memFree=127928004/131382116 swapFree=33010684/33010684
[pid=39674] ppid=39671 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/39674/stat : 39674 (run-opt-log.sh) S 39671 39674 39143 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45264646 4292608 768 18446744073709551615 94722952015872 94722952910405 140726719487648 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94722953149456 94722953197200 94722979495936 140726719490337 140726719490532 140726719490532 140726719496134 0
/proc/39674/statm: 1048 768 704 219 0 110 0
[pid=39676] ppid=39674 vsize=584168 memory=496592 CPUtime=3600.07 cores=4,6
/proc/39676/stat : 39676 (roundingsat) R 39674 39674 39143 0 -1 4194304 62592 0 0 0 359617 390 0 0 20 0 1 0 45264647 598188032 124148 18446744073709551615 4227072 8923433 140736515127872 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25612288 140736515135826 140736515136040 140736515136040 140736515141610 0
/proc/39676/statm: 146042 124148 2304 1147 0 133469 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 588360 KiB
Current children cumulated memory: 499664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.41 s]
# the end of solver process 39674 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001391 s, system=0.003638 s
[startup+3612.42 s]
# the end of solver process 39676 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.19 s, system=3.91645 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): 3612.42
CPU time (s): 3600.11
CPU user time (s): 3596.19
CPU system time (s): 3.91645
CPU usage (%): 99.6592
Max. virtual memory (cumulated for all children) (KiB): 588360
Max. memory (cumulated for all children) (KiB): 499664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.19
system time used= 3.91645
maximum resident set size= 497104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 156248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 5852
# summary of solver processes directly reported to runsolver:
# pid: 39674,39676
# total CPU time (s): 3600.11
# total CPU user time (s): 3596.19
# total CPU system time (s): 3.91645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3296 second user time and 37.8175 second system time
The end
Begin job on nodeC010 at 2025-06-30 17:04:12
IDJOB=4484815
IDBENCH=146671
IDSOLVER=3351
FILE ID=nodeC010/4484815-1751295852
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/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484815-1751295852/watcher-4484815-1751295852 -o /tmp/evaluation-result-4484815-1751295852/solver-4484815-1751295852 -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-4484815-1751295852.opb PROOFDIR/proof-4484815-1751295852
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=869255825
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 : 2394.336
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 : 1197.648
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.282
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.635
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.142
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 : 3662.438
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 : 2992.992
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.167
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: 106239388 kB
MemAvailable: 129279548 kB
Buffers: 3280 kB
Cached: 23822528 kB
SwapCached: 0 kB
Active: 1016680 kB
Inactive: 23517744 kB
Active(anon): 726584 kB
Inactive(anon): 0 kB
Active(file): 290096 kB
Inactive(file): 23517744 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12240 kB
Writeback: 28 kB
AnonPages: 711720 kB
Mapped: 112928 kB
Shmem: 17960 kB
KReclaimable: 143892 kB
Slab: 228476 kB
SReclaimable: 143892 kB
SUnreclaim: 84584 kB
KernelStack: 4112 kB
PageTables: 4176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1186420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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= 432656 MiB
End job on nodeC010 at 2025-06-30 18:04:25