0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 1802 #constraints 3604
0.00/0.04 c SMALL=long long, LARGE=int128
0.00/0.04 c bounds - >= -17179869183 @ 0.022185
0.00/0.04 c stratification level: 4294967296
66.69/66.90 c bounds - >= -12884901887 @ 0.022652
66.69/66.90 c #Conflicts: 1000 | #Constraints: 4605
66.69/66.90 c #Conflicts: 2000 | #Constraints: 5605
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 3000 | #Constraints: 5644
66.69/66.90 c #Conflicts: 4000 | #Constraints: 6644
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 5000 | #Constraints: 6092
66.69/66.90 c #Conflicts: 6000 | #Constraints: 7092
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 7000 | #Constraints: 6129
66.69/66.90 c #Conflicts: 8000 | #Constraints: 7129
66.69/66.90 c #Conflicts: 9000 | #Constraints: 8129
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 10000 | #Constraints: 6848
66.69/66.90 c #Conflicts: 11000 | #Constraints: 7848
66.69/66.90 c #Conflicts: 12000 | #Constraints: 8848
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 13000 | #Constraints: 7311
66.69/66.90 c #Conflicts: 14000 | #Constraints: 8311
66.69/66.90 c #Conflicts: 15000 | #Constraints: 9311
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 16000 | #Constraints: 7542
66.69/66.90 c #Conflicts: 17000 | #Constraints: 8542
66.69/66.90 c #Conflicts: 18000 | #Constraints: 9542
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 19000 | #Constraints: 7581
66.69/66.90 c #Conflicts: 20000 | #Constraints: 8581
66.69/66.90 c #Conflicts: 21000 | #Constraints: 9581
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 22000 | #Constraints: 7389
66.69/66.90 c #Conflicts: 23000 | #Constraints: 8389
66.69/66.90 c #Conflicts: 24000 | #Constraints: 9389
66.69/66.90 c #Conflicts: 25000 | #Constraints: 10389
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 26000 | #Constraints: 8003
66.69/66.90 c #Conflicts: 27000 | #Constraints: 9003
66.69/66.90 c #Conflicts: 28000 | #Constraints: 10003
66.69/66.90 c #Conflicts: 29000 | #Constraints: 11003
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 30000 | #Constraints: 8418
66.69/66.90 c #Conflicts: 31000 | #Constraints: 9418
66.69/66.90 c #Conflicts: 32000 | #Constraints: 10418
66.69/66.90 c #Conflicts: 33000 | #Constraints: 11418
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 34000 | #Constraints: 8627
66.69/66.90 c #Conflicts: 35000 | #Constraints: 9627
66.69/66.90 c #Conflicts: 36000 | #Constraints: 10627
66.69/66.90 c #Conflicts: 37000 | #Constraints: 11627
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 38000 | #Constraints: 8645
66.69/66.90 c #Conflicts: 39000 | #Constraints: 9645
66.69/66.90 c #Conflicts: 40000 | #Constraints: 10645
66.69/66.90 c #Conflicts: 41000 | #Constraints: 11645
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 42000 | #Constraints: 8447
66.69/66.90 c #Conflicts: 43000 | #Constraints: 9447
66.69/66.90 c #Conflicts: 44000 | #Constraints: 10447
66.69/66.90 c #Conflicts: 45000 | #Constraints: 11447
66.69/66.90 c #Conflicts: 46000 | #Constraints: 12447
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 47000 | #Constraints: 9052
66.69/66.90 c #Conflicts: 48000 | #Constraints: 10052
66.69/66.90 c #Conflicts: 49000 | #Constraints: 11052
66.69/66.90 c #Conflicts: 50000 | #Constraints: 12052
66.69/66.90 c #Conflicts: 51000 | #Constraints: 13052
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 52000 | #Constraints: 9459
66.69/66.90 c #Conflicts: 53000 | #Constraints: 10459
66.69/66.90 c #Conflicts: 54000 | #Constraints: 11459
66.69/66.90 c #Conflicts: 55000 | #Constraints: 12459
66.69/66.90 c #Conflicts: 56000 | #Constraints: 13459
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 57000 | #Constraints: 9653
66.69/66.90 c #Conflicts: 58000 | #Constraints: 10653
66.69/66.90 c #Conflicts: 59000 | #Constraints: 11653
66.69/66.90 c #Conflicts: 60000 | #Constraints: 12653
66.69/66.90 c #Conflicts: 61000 | #Constraints: 13653
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 62000 | #Constraints: 9674
66.69/66.90 c #Conflicts: 63000 | #Constraints: 10674
66.69/66.90 c #Conflicts: 64000 | #Constraints: 11674
66.69/66.90 c #Conflicts: 65000 | #Constraints: 12674
66.69/66.90 c #Conflicts: 66000 | #Constraints: 13674
66.69/66.90 c INPROCESSING
66.69/66.90 c GARBAGE COLLECT
66.69/66.90 c #Conflicts: 67000 | #Constraints: 9473
235.80/236.58 c #Conflicts: 68000 | #Constraints: 10473
235.80/236.58 c #Conflicts: 69000 | #Constraints: 11473
235.80/236.58 c #Conflicts: 70000 | #Constraints: 12473
235.80/236.58 c #Conflicts: 71000 | #Constraints: 13473
235.80/236.58 c #Conflicts: 72000 | #Constraints: 14473
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 73000 | #Constraints: 10087
235.80/236.58 c #Conflicts: 74000 | #Constraints: 11087
235.80/236.58 c #Conflicts: 75000 | #Constraints: 12087
235.80/236.58 c #Conflicts: 76000 | #Constraints: 13087
235.80/236.58 c #Conflicts: 77000 | #Constraints: 14087
235.80/236.58 c #Conflicts: 78000 | #Constraints: 15087
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 79000 | #Constraints: 10486
235.80/236.58 c #Conflicts: 80000 | #Constraints: 11486
235.80/236.58 c #Conflicts: 81000 | #Constraints: 12486
235.80/236.58 c #Conflicts: 82000 | #Constraints: 13486
235.80/236.58 c #Conflicts: 83000 | #Constraints: 14486
235.80/236.58 c #Conflicts: 84000 | #Constraints: 15486
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 85000 | #Constraints: 10678
235.80/236.58 c #Conflicts: 86000 | #Constraints: 11678
235.80/236.58 c #Conflicts: 87000 | #Constraints: 12678
235.80/236.58 c #Conflicts: 88000 | #Constraints: 13678
235.80/236.58 c #Conflicts: 89000 | #Constraints: 14678
235.80/236.58 c #Conflicts: 90000 | #Constraints: 15678
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 91000 | #Constraints: 10699
235.80/236.58 c #Conflicts: 92000 | #Constraints: 11699
235.80/236.58 c #Conflicts: 93000 | #Constraints: 12699
235.80/236.58 c #Conflicts: 94000 | #Constraints: 13699
235.80/236.58 c #Conflicts: 95000 | #Constraints: 14699
235.80/236.58 c #Conflicts: 96000 | #Constraints: 15699
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 97000 | #Constraints: 10498
235.80/236.58 c #Conflicts: 98000 | #Constraints: 11498
235.80/236.58 c #Conflicts: 99000 | #Constraints: 12498
235.80/236.58 c #Conflicts: 100000 | #Constraints: 13498
235.80/236.58 c #Conflicts: 101000 | #Constraints: 14498
235.80/236.58 c #Conflicts: 102000 | #Constraints: 15498
235.80/236.58 c #Conflicts: 103000 | #Constraints: 16498
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 104000 | #Constraints: 11097
235.80/236.58 c #Conflicts: 105000 | #Constraints: 12097
235.80/236.58 c #Conflicts: 106000 | #Constraints: 13097
235.80/236.58 c #Conflicts: 107000 | #Constraints: 14097
235.80/236.58 c #Conflicts: 108000 | #Constraints: 15097
235.80/236.58 c #Conflicts: 109000 | #Constraints: 16097
235.80/236.58 c #Conflicts: 110000 | #Constraints: 17097
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 111000 | #Constraints: 11510
235.80/236.58 c #Conflicts: 112000 | #Constraints: 12510
235.80/236.58 c #Conflicts: 113000 | #Constraints: 13510
235.80/236.58 c #Conflicts: 114000 | #Constraints: 14510
235.80/236.58 c #Conflicts: 115000 | #Constraints: 15510
235.80/236.58 c #Conflicts: 116000 | #Constraints: 16510
235.80/236.58 c #Conflicts: 117000 | #Constraints: 17510
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 118000 | #Constraints: 11712
235.80/236.58 c #Conflicts: 119000 | #Constraints: 12712
235.80/236.58 c #Conflicts: 120000 | #Constraints: 13712
235.80/236.58 c #Conflicts: 121000 | #Constraints: 14712
235.80/236.58 c #Conflicts: 122000 | #Constraints: 15712
235.80/236.58 c #Conflicts: 123000 | #Constraints: 16712
235.80/236.58 c #Conflicts: 124000 | #Constraints: 17712
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 125000 | #Constraints: 11708
235.80/236.58 c #Conflicts: 126000 | #Constraints: 12708
235.80/236.58 c #Conflicts: 127000 | #Constraints: 13708
235.80/236.58 c #Conflicts: 128000 | #Constraints: 14708
235.80/236.58 c #Conflicts: 129000 | #Constraints: 15708
235.80/236.58 c #Conflicts: 130000 | #Constraints: 16708
235.80/236.58 c #Conflicts: 131000 | #Constraints: 17708
235.80/236.58 c INPROCESSING
235.80/236.58 c GARBAGE COLLECT
235.80/236.58 c #Conflicts: 132000 | #Constraints: 11519
235.80/236.58 c #Conflicts: 133000 | #Constraints: 12519
235.80/236.58 c #Conflicts: 134000 | #Constraints: 13519
235.80/236.58 c #Conflicts: 135000 | #Constraints: 14519
235.80/236.58 c #Conflicts: 136000 | #Constraints: 15519
235.80/236.58 c #Conflicts: 137000 | #Constraints: 16519
235.80/236.58 c #Conflicts: 138000 | #Constraints: 17519
235.80/236.58 c #Conflicts: 139000 | #Constraints: 18519
235.80/236.58 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 140000 | #Constraints: 12116
542.95/544.53 c #Conflicts: 141000 | #Constraints: 13116
542.95/544.53 c #Conflicts: 142000 | #Constraints: 14116
542.95/544.53 c #Conflicts: 143000 | #Constraints: 15116
542.95/544.53 c #Conflicts: 144000 | #Constraints: 16116
542.95/544.53 c #Conflicts: 145000 | #Constraints: 17116
542.95/544.53 c #Conflicts: 146000 | #Constraints: 18116
542.95/544.53 c #Conflicts: 147000 | #Constraints: 19116
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 148000 | #Constraints: 12535
542.95/544.53 c #Conflicts: 149000 | #Constraints: 13535
542.95/544.53 c #Conflicts: 150000 | #Constraints: 14535
542.95/544.53 c #Conflicts: 151000 | #Constraints: 15535
542.95/544.53 c #Conflicts: 152000 | #Constraints: 16535
542.95/544.53 c #Conflicts: 153000 | #Constraints: 17535
542.95/544.53 c #Conflicts: 154000 | #Constraints: 18535
542.95/544.53 c #Conflicts: 155000 | #Constraints: 19535
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 156000 | #Constraints: 12743
542.95/544.53 c #Conflicts: 157000 | #Constraints: 13743
542.95/544.53 c #Conflicts: 158000 | #Constraints: 14743
542.95/544.53 c #Conflicts: 159000 | #Constraints: 15743
542.95/544.53 c #Conflicts: 160000 | #Constraints: 16743
542.95/544.53 c #Conflicts: 161000 | #Constraints: 17743
542.95/544.53 c #Conflicts: 162000 | #Constraints: 18743
542.95/544.53 c #Conflicts: 163000 | #Constraints: 19743
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 164000 | #Constraints: 12741
542.95/544.53 c #Conflicts: 165000 | #Constraints: 13741
542.95/544.53 c #Conflicts: 166000 | #Constraints: 14741
542.95/544.53 c #Conflicts: 167000 | #Constraints: 15741
542.95/544.53 c #Conflicts: 168000 | #Constraints: 16741
542.95/544.53 c #Conflicts: 169000 | #Constraints: 17741
542.95/544.53 c #Conflicts: 170000 | #Constraints: 18741
542.95/544.53 c #Conflicts: 171000 | #Constraints: 19741
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 172000 | #Constraints: 12526
542.95/544.53 c #Conflicts: 173000 | #Constraints: 13526
542.95/544.53 c #Conflicts: 174000 | #Constraints: 14526
542.95/544.53 c #Conflicts: 175000 | #Constraints: 15526
542.95/544.53 c #Conflicts: 176000 | #Constraints: 16526
542.95/544.53 c #Conflicts: 177000 | #Constraints: 17526
542.95/544.53 c #Conflicts: 178000 | #Constraints: 18526
542.95/544.53 c #Conflicts: 179000 | #Constraints: 19526
542.95/544.53 c #Conflicts: 180000 | #Constraints: 20526
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 181000 | #Constraints: 13130
542.95/544.53 c #Conflicts: 182000 | #Constraints: 14130
542.95/544.53 c #Conflicts: 183000 | #Constraints: 15130
542.95/544.53 c #Conflicts: 184000 | #Constraints: 16130
542.95/544.53 c #Conflicts: 185000 | #Constraints: 17130
542.95/544.53 c #Conflicts: 186000 | #Constraints: 18130
542.95/544.53 c #Conflicts: 187000 | #Constraints: 19130
542.95/544.53 c #Conflicts: 188000 | #Constraints: 20130
542.95/544.53 c #Conflicts: 189000 | #Constraints: 21130
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 190000 | #Constraints: 13541
542.95/544.53 c #Conflicts: 191000 | #Constraints: 14541
542.95/544.53 c #Conflicts: 192000 | #Constraints: 15541
542.95/544.53 c #Conflicts: 193000 | #Constraints: 16541
542.95/544.53 c #Conflicts: 194000 | #Constraints: 17541
542.95/544.53 c #Conflicts: 195000 | #Constraints: 18541
542.95/544.53 c #Conflicts: 196000 | #Constraints: 19541
542.95/544.53 c #Conflicts: 197000 | #Constraints: 20541
542.95/544.53 c #Conflicts: 198000 | #Constraints: 21541
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 199000 | #Constraints: 13744
542.95/544.53 c #Conflicts: 200000 | #Constraints: 14744
542.95/544.53 c #Conflicts: 201000 | #Constraints: 15744
542.95/544.53 c #Conflicts: 202000 | #Constraints: 16744
542.95/544.53 c #Conflicts: 203000 | #Constraints: 17744
542.95/544.53 c #Conflicts: 204000 | #Constraints: 18744
542.95/544.53 c #Conflicts: 205000 | #Constraints: 19744
542.95/544.53 c #Conflicts: 206000 | #Constraints: 20744
542.95/544.53 c #Conflicts: 207000 | #Constraints: 21744
542.95/544.53 c INPROCESSING
542.95/544.53 c GARBAGE COLLECT
542.95/544.53 c #Conflicts: 208000 | #Constraints: 13744
542.95/544.53 c #Conflicts: 209000 | #Constraints: 14744
542.95/544.53 c #Conflicts: 210000 | #Constraints: 15744
542.95/544.53 c #Conflicts: 211000 | #Constraints: 16744
542.95/544.53 c #Conflicts: 212000 | #Constraints: 17744
542.95/544.53 c #Conflicts: 213000 | #Constraints: 18744
1021.04/1023.98 c #Conflicts: 214000 | #Constraints: 19744
1021.04/1023.98 c #Conflicts: 215000 | #Constraints: 20744
1021.04/1023.98 c #Conflicts: 216000 | #Constraints: 21744
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 217000 | #Constraints: 13545
1021.04/1023.98 c #Conflicts: 218000 | #Constraints: 14545
1021.04/1023.98 c #Conflicts: 219000 | #Constraints: 15545
1021.04/1023.98 c #Conflicts: 220000 | #Constraints: 16545
1021.04/1023.98 c #Conflicts: 221000 | #Constraints: 17545
1021.04/1023.98 c #Conflicts: 222000 | #Constraints: 18545
1021.04/1023.98 c #Conflicts: 223000 | #Constraints: 19545
1021.04/1023.98 c #Conflicts: 224000 | #Constraints: 20545
1021.04/1023.98 c #Conflicts: 225000 | #Constraints: 21545
1021.04/1023.98 c #Conflicts: 226000 | #Constraints: 22545
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 227000 | #Constraints: 14153
1021.04/1023.98 c #Conflicts: 228000 | #Constraints: 15153
1021.04/1023.98 c #Conflicts: 229000 | #Constraints: 16153
1021.04/1023.98 c #Conflicts: 230000 | #Constraints: 17153
1021.04/1023.98 c #Conflicts: 231000 | #Constraints: 18153
1021.04/1023.98 c #Conflicts: 232000 | #Constraints: 19153
1021.04/1023.98 c #Conflicts: 233000 | #Constraints: 20153
1021.04/1023.98 c #Conflicts: 234000 | #Constraints: 21153
1021.04/1023.98 c #Conflicts: 235000 | #Constraints: 22153
1021.04/1023.98 c #Conflicts: 236000 | #Constraints: 23153
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 237000 | #Constraints: 14538
1021.04/1023.98 c #Conflicts: 238000 | #Constraints: 15538
1021.04/1023.98 c #Conflicts: 239000 | #Constraints: 16538
1021.04/1023.98 c #Conflicts: 240000 | #Constraints: 17538
1021.04/1023.98 c #Conflicts: 241000 | #Constraints: 18538
1021.04/1023.98 c #Conflicts: 242000 | #Constraints: 19538
1021.04/1023.98 c #Conflicts: 243000 | #Constraints: 20538
1021.04/1023.98 c #Conflicts: 244000 | #Constraints: 21538
1021.04/1023.98 c #Conflicts: 245000 | #Constraints: 22538
1021.04/1023.98 c #Conflicts: 246000 | #Constraints: 23538
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 247000 | #Constraints: 14759
1021.04/1023.98 c #Conflicts: 248000 | #Constraints: 15759
1021.04/1023.98 c #Conflicts: 249000 | #Constraints: 16759
1021.04/1023.98 c #Conflicts: 250000 | #Constraints: 17759
1021.04/1023.98 c #Conflicts: 251000 | #Constraints: 18759
1021.04/1023.98 c #Conflicts: 252000 | #Constraints: 19759
1021.04/1023.98 c #Conflicts: 253000 | #Constraints: 20759
1021.04/1023.98 c #Conflicts: 254000 | #Constraints: 21759
1021.04/1023.98 c #Conflicts: 255000 | #Constraints: 22759
1021.04/1023.98 c #Conflicts: 256000 | #Constraints: 23759
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 257000 | #Constraints: 14744
1021.04/1023.98 c #Conflicts: 258000 | #Constraints: 15744
1021.04/1023.98 c #Conflicts: 259000 | #Constraints: 16744
1021.04/1023.98 c #Conflicts: 260000 | #Constraints: 17744
1021.04/1023.98 c #Conflicts: 261000 | #Constraints: 18744
1021.04/1023.98 c #Conflicts: 262000 | #Constraints: 19744
1021.04/1023.98 c #Conflicts: 263000 | #Constraints: 20744
1021.04/1023.98 c #Conflicts: 264000 | #Constraints: 21744
1021.04/1023.98 c #Conflicts: 265000 | #Constraints: 22744
1021.04/1023.98 c #Conflicts: 266000 | #Constraints: 23744
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 267000 | #Constraints: 14535
1021.04/1023.98 c #Conflicts: 268000 | #Constraints: 15535
1021.04/1023.98 c #Conflicts: 269000 | #Constraints: 16535
1021.04/1023.98 c #Conflicts: 270000 | #Constraints: 17535
1021.04/1023.98 c #Conflicts: 271000 | #Constraints: 18535
1021.04/1023.98 c #Conflicts: 272000 | #Constraints: 19535
1021.04/1023.98 c #Conflicts: 273000 | #Constraints: 20535
1021.04/1023.98 c #Conflicts: 274000 | #Constraints: 21535
1021.04/1023.98 c #Conflicts: 275000 | #Constraints: 22535
1021.04/1023.98 c #Conflicts: 276000 | #Constraints: 23535
1021.04/1023.98 c #Conflicts: 277000 | #Constraints: 24535
1021.04/1023.98 c INPROCESSING
1021.04/1023.98 c GARBAGE COLLECT
1021.04/1023.98 c #Conflicts: 278000 | #Constraints: 15127
1021.04/1023.98 c #Conflicts: 279000 | #Constraints: 16127
1021.04/1023.98 c #Conflicts: 280000 | #Constraints: 17127
1021.04/1023.98 c #Conflicts: 281000 | #Constraints: 18127
1021.04/1023.98 c #Conflicts: 282000 | #Constraints: 19127
1021.04/1023.98 c #Conflicts: 283000 | #Constraints: 20127
1021.04/1023.98 c #Conflicts: 284000 | #Constraints: 21127
1021.04/1023.98 c #Conflicts: 285000 | #Constraints: 22127
1021.04/1023.98 c #Conflicts: 286000 | #Constraints: 23127
1021.04/1023.98 c #Conflicts: 287000 | #Constraints: 24127
1723.10/1727.88 c #Conflicts: 288000 | #Constraints: 25127
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 289000 | #Constraints: 15536
1723.10/1727.88 c #Conflicts: 290000 | #Constraints: 16536
1723.10/1727.88 c #Conflicts: 291000 | #Constraints: 17536
1723.10/1727.88 c #Conflicts: 292000 | #Constraints: 18536
1723.10/1727.88 c #Conflicts: 293000 | #Constraints: 19536
1723.10/1727.88 c #Conflicts: 294000 | #Constraints: 20536
1723.10/1727.88 c #Conflicts: 295000 | #Constraints: 21536
1723.10/1727.88 c #Conflicts: 296000 | #Constraints: 22536
1723.10/1727.88 c #Conflicts: 297000 | #Constraints: 23536
1723.10/1727.88 c #Conflicts: 298000 | #Constraints: 24536
1723.10/1727.88 c #Conflicts: 299000 | #Constraints: 25536
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 300000 | #Constraints: 15755
1723.10/1727.88 c #Conflicts: 301000 | #Constraints: 16755
1723.10/1727.88 c #Conflicts: 302000 | #Constraints: 17755
1723.10/1727.88 c #Conflicts: 303000 | #Constraints: 18755
1723.10/1727.88 c #Conflicts: 304000 | #Constraints: 19755
1723.10/1727.88 c #Conflicts: 305000 | #Constraints: 20755
1723.10/1727.88 c #Conflicts: 306000 | #Constraints: 21755
1723.10/1727.88 c #Conflicts: 307000 | #Constraints: 22755
1723.10/1727.88 c #Conflicts: 308000 | #Constraints: 23755
1723.10/1727.88 c #Conflicts: 309000 | #Constraints: 24755
1723.10/1727.88 c #Conflicts: 310000 | #Constraints: 25755
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 311000 | #Constraints: 15748
1723.10/1727.88 c #Conflicts: 312000 | #Constraints: 16748
1723.10/1727.88 c #Conflicts: 313000 | #Constraints: 17748
1723.10/1727.88 c #Conflicts: 314000 | #Constraints: 18748
1723.10/1727.88 c #Conflicts: 315000 | #Constraints: 19748
1723.10/1727.88 c #Conflicts: 316000 | #Constraints: 20748
1723.10/1727.88 c #Conflicts: 317000 | #Constraints: 21748
1723.10/1727.88 c #Conflicts: 318000 | #Constraints: 22748
1723.10/1727.88 c #Conflicts: 319000 | #Constraints: 23748
1723.10/1727.88 c #Conflicts: 320000 | #Constraints: 24748
1723.10/1727.88 c #Conflicts: 321000 | #Constraints: 25748
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 322000 | #Constraints: 15536
1723.10/1727.88 c #Conflicts: 323000 | #Constraints: 16536
1723.10/1727.88 c #Conflicts: 324000 | #Constraints: 17536
1723.10/1727.88 c #Conflicts: 325000 | #Constraints: 18536
1723.10/1727.88 c #Conflicts: 326000 | #Constraints: 19536
1723.10/1727.88 c #Conflicts: 327000 | #Constraints: 20536
1723.10/1727.88 c #Conflicts: 328000 | #Constraints: 21536
1723.10/1727.88 c #Conflicts: 329000 | #Constraints: 22536
1723.10/1727.88 c #Conflicts: 330000 | #Constraints: 23536
1723.10/1727.88 c #Conflicts: 331000 | #Constraints: 24536
1723.10/1727.88 c #Conflicts: 332000 | #Constraints: 25536
1723.10/1727.88 c #Conflicts: 333000 | #Constraints: 26536
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 334000 | #Constraints: 16145
1723.10/1727.88 c #Conflicts: 335000 | #Constraints: 17145
1723.10/1727.88 c #Conflicts: 336000 | #Constraints: 18145
1723.10/1727.88 c #Conflicts: 337000 | #Constraints: 19145
1723.10/1727.88 c #Conflicts: 338000 | #Constraints: 20145
1723.10/1727.88 c #Conflicts: 339000 | #Constraints: 21145
1723.10/1727.88 c #Conflicts: 340000 | #Constraints: 22145
1723.10/1727.88 c #Conflicts: 341000 | #Constraints: 23145
1723.10/1727.88 c #Conflicts: 342000 | #Constraints: 24145
1723.10/1727.88 c #Conflicts: 343000 | #Constraints: 25145
1723.10/1727.88 c #Conflicts: 344000 | #Constraints: 26145
1723.10/1727.88 c #Conflicts: 345000 | #Constraints: 27145
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 346000 | #Constraints: 16548
1723.10/1727.88 c #Conflicts: 347000 | #Constraints: 17548
1723.10/1727.88 c #Conflicts: 348000 | #Constraints: 18548
1723.10/1727.88 c #Conflicts: 349000 | #Constraints: 19548
1723.10/1727.88 c #Conflicts: 350000 | #Constraints: 20548
1723.10/1727.88 c #Conflicts: 351000 | #Constraints: 21548
1723.10/1727.88 c #Conflicts: 352000 | #Constraints: 22548
1723.10/1727.88 c #Conflicts: 353000 | #Constraints: 23548
1723.10/1727.88 c #Conflicts: 354000 | #Constraints: 24548
1723.10/1727.88 c #Conflicts: 355000 | #Constraints: 25548
1723.10/1727.88 c #Conflicts: 356000 | #Constraints: 26548
1723.10/1727.88 c #Conflicts: 357000 | #Constraints: 27548
1723.10/1727.88 c INPROCESSING
1723.10/1727.88 c GARBAGE COLLECT
1723.10/1727.88 c #Conflicts: 358000 | #Constraints: 16762
1723.10/1727.88 c #Conflicts: 359000 | #Constraints: 17762
1723.10/1727.88 c #Conflicts: 360000 | #Constraints: 18762
1723.10/1727.88 c #Conflicts: 361000 | #Constraints: 19762
2643.51/2650.64 c #Conflicts: 362000 | #Constraints: 20762
2643.51/2650.64 c #Conflicts: 363000 | #Constraints: 21762
2643.51/2650.64 c #Conflicts: 364000 | #Constraints: 22762
2643.51/2650.64 c #Conflicts: 365000 | #Constraints: 23762
2643.51/2650.64 c #Conflicts: 366000 | #Constraints: 24762
2643.51/2650.64 c #Conflicts: 367000 | #Constraints: 25762
2643.51/2650.64 c #Conflicts: 368000 | #Constraints: 26762
2643.51/2650.64 c #Conflicts: 369000 | #Constraints: 27762
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 370000 | #Constraints: 16782
2643.51/2650.64 c #Conflicts: 371000 | #Constraints: 17782
2643.51/2650.64 c #Conflicts: 372000 | #Constraints: 18782
2643.51/2650.64 c #Conflicts: 373000 | #Constraints: 19782
2643.51/2650.64 c #Conflicts: 374000 | #Constraints: 20782
2643.51/2650.64 c #Conflicts: 375000 | #Constraints: 21782
2643.51/2650.64 c #Conflicts: 376000 | #Constraints: 22782
2643.51/2650.64 c #Conflicts: 377000 | #Constraints: 23782
2643.51/2650.64 c #Conflicts: 378000 | #Constraints: 24782
2643.51/2650.64 c #Conflicts: 379000 | #Constraints: 25782
2643.51/2650.64 c #Conflicts: 380000 | #Constraints: 26782
2643.51/2650.64 c #Conflicts: 381000 | #Constraints: 27782
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 382000 | #Constraints: 16584
2643.51/2650.64 c #Conflicts: 383000 | #Constraints: 17584
2643.51/2650.64 c #Conflicts: 384000 | #Constraints: 18584
2643.51/2650.64 c #Conflicts: 385000 | #Constraints: 19584
2643.51/2650.64 c #Conflicts: 386000 | #Constraints: 20584
2643.51/2650.64 c #Conflicts: 387000 | #Constraints: 21584
2643.51/2650.64 c #Conflicts: 388000 | #Constraints: 22584
2643.51/2650.64 c #Conflicts: 389000 | #Constraints: 23584
2643.51/2650.64 c #Conflicts: 390000 | #Constraints: 24584
2643.51/2650.64 c #Conflicts: 391000 | #Constraints: 25584
2643.51/2650.64 c #Conflicts: 392000 | #Constraints: 26584
2643.51/2650.64 c #Conflicts: 393000 | #Constraints: 27584
2643.51/2650.64 c #Conflicts: 394000 | #Constraints: 28584
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 395000 | #Constraints: 17172
2643.51/2650.64 c #Conflicts: 396000 | #Constraints: 18172
2643.51/2650.64 c #Conflicts: 397000 | #Constraints: 19172
2643.51/2650.64 c #Conflicts: 398000 | #Constraints: 20172
2643.51/2650.64 c #Conflicts: 399000 | #Constraints: 21172
2643.51/2650.64 c #Conflicts: 400000 | #Constraints: 22172
2643.51/2650.64 c #Conflicts: 401000 | #Constraints: 23172
2643.51/2650.64 c #Conflicts: 402000 | #Constraints: 24172
2643.51/2650.64 c #Conflicts: 403000 | #Constraints: 25172
2643.51/2650.64 c #Conflicts: 404000 | #Constraints: 26172
2643.51/2650.64 c #Conflicts: 405000 | #Constraints: 27172
2643.51/2650.64 c #Conflicts: 406000 | #Constraints: 28172
2643.51/2650.64 c #Conflicts: 407000 | #Constraints: 29172
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 408000 | #Constraints: 17561
2643.51/2650.64 c #Conflicts: 409000 | #Constraints: 18561
2643.51/2650.64 c #Conflicts: 410000 | #Constraints: 19561
2643.51/2650.64 c #Conflicts: 411000 | #Constraints: 20561
2643.51/2650.64 c #Conflicts: 412000 | #Constraints: 21561
2643.51/2650.64 c #Conflicts: 413000 | #Constraints: 22561
2643.51/2650.64 c #Conflicts: 414000 | #Constraints: 23561
2643.51/2650.64 c #Conflicts: 415000 | #Constraints: 24561
2643.51/2650.64 c #Conflicts: 416000 | #Constraints: 25561
2643.51/2650.64 c #Conflicts: 417000 | #Constraints: 26561
2643.51/2650.64 c #Conflicts: 418000 | #Constraints: 27561
2643.51/2650.64 c #Conflicts: 419000 | #Constraints: 28561
2643.51/2650.64 c #Conflicts: 420000 | #Constraints: 29561
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 421000 | #Constraints: 17757
2643.51/2650.64 c #Conflicts: 422000 | #Constraints: 18757
2643.51/2650.64 c #Conflicts: 423000 | #Constraints: 19757
2643.51/2650.64 c #Conflicts: 424000 | #Constraints: 20757
2643.51/2650.64 c #Conflicts: 425000 | #Constraints: 21757
2643.51/2650.64 c #Conflicts: 426000 | #Constraints: 22757
2643.51/2650.64 c #Conflicts: 427000 | #Constraints: 23757
2643.51/2650.64 c #Conflicts: 428000 | #Constraints: 24757
2643.51/2650.64 c #Conflicts: 429000 | #Constraints: 25757
2643.51/2650.64 c #Conflicts: 430000 | #Constraints: 26757
2643.51/2650.64 c #Conflicts: 431000 | #Constraints: 27757
2643.51/2650.64 c #Conflicts: 432000 | #Constraints: 28757
2643.51/2650.64 c #Conflicts: 433000 | #Constraints: 29757
2643.51/2650.64 c INPROCESSING
2643.51/2650.64 c GARBAGE COLLECT
2643.51/2650.64 c #Conflicts: 434000 | #Constraints: 17775
2643.51/2650.64 c #Conflicts: 435000 | #Constraints: 18775
2643.51/2650.64 c #Conflicts: 436000 | #Constraints: 19775
3600.06/3609.90 c #Conflicts: 437000 | #Constraints: 20775
3600.06/3609.90 c #Conflicts: 438000 | #Constraints: 21775
3600.06/3609.90 c #Conflicts: 439000 | #Constraints: 22775
3600.06/3609.90 c #Conflicts: 440000 | #Constraints: 23775
3600.06/3609.90 c #Conflicts: 441000 | #Constraints: 24775
3600.06/3609.90 c #Conflicts: 442000 | #Constraints: 25775
3600.06/3609.90 c #Conflicts: 443000 | #Constraints: 26775
3600.06/3609.90 c #Conflicts: 444000 | #Constraints: 27775
3600.06/3609.90 c #Conflicts: 445000 | #Constraints: 28775
3600.06/3609.90 c #Conflicts: 446000 | #Constraints: 29775
3600.06/3609.90 c INPROCESSING
3600.06/3609.90 c GARBAGE COLLECT
3600.06/3609.90 c #Conflicts: 447000 | #Constraints: 17572
3600.06/3609.90 c #Conflicts: 448000 | #Constraints: 18572
3600.06/3609.90 c #Conflicts: 449000 | #Constraints: 19572
3600.06/3609.90 c #Conflicts: 450000 | #Constraints: 20572
3600.06/3609.90 c #Conflicts: 451000 | #Constraints: 21572
3600.06/3609.90 c #Conflicts: 452000 | #Constraints: 22572
3600.06/3609.90 c #Conflicts: 453000 | #Constraints: 23572
3600.06/3609.90 c #Conflicts: 454000 | #Constraints: 24572
3600.06/3609.90 c #Conflicts: 455000 | #Constraints: 25572
3600.06/3609.90 c #Conflicts: 456000 | #Constraints: 26572
3600.06/3609.90 c #Conflicts: 457000 | #Constraints: 27572
3600.06/3609.90 c #Conflicts: 458000 | #Constraints: 28572
3600.06/3609.90 c #Conflicts: 459000 | #Constraints: 29572
3600.06/3609.90 c #Conflicts: 460000 | #Constraints: 30572
3600.06/3609.90 c INPROCESSING
3600.06/3609.90 c GARBAGE COLLECT
3600.06/3609.90 c #Conflicts: 461000 | #Constraints: 18175
3600.06/3609.90 c #Conflicts: 462000 | #Constraints: 19175
3600.06/3609.90 c #Conflicts: 463000 | #Constraints: 20175
3600.06/3609.90 c #Conflicts: 464000 | #Constraints: 21175
3600.06/3609.90 c #Conflicts: 465000 | #Constraints: 22175
3600.06/3609.90 c #Conflicts: 466000 | #Constraints: 23175
3600.06/3609.90 c #Conflicts: 467000 | #Constraints: 24175
3600.06/3609.90 c #Conflicts: 468000 | #Constraints: 25175
3600.06/3609.90 c #Conflicts: 469000 | #Constraints: 26175
3600.06/3609.90 c #Conflicts: 470000 | #Constraints: 27175
3600.06/3609.90 c #Conflicts: 471000 | #Constraints: 28175
3600.06/3609.90 c #Conflicts: 472000 | #Constraints: 29175
3600.06/3609.90 c #Conflicts: 473000 | #Constraints: 30175
3600.06/3609.90 c #Conflicts: 474000 | #Constraints: 31175
3600.06/3609.91 c INPROCESSING
3600.06/3609.91 c GARBAGE COLLECT
3600.06/3609.91 c #Conflicts: 475000 | #Constraints: 18588
3600.06/3609.91 c #Conflicts: 476000 | #Constraints: 19588
3600.06/3609.91 c #Conflicts: 477000 | #Constraints: 20588
3600.06/3609.91 c #Conflicts: 478000 | #Constraints: 21588
3600.06/3609.91 c #Conflicts: 479000 | #Constraints: 22588
3600.06/3609.91 c #Conflicts: 480000 | #Constraints: 23588
3600.06/3609.91 c #Conflicts: 481000 | #Constraints: 24588
3600.06/3609.91 c #Conflicts: 482000 | #Constraints: 25588
3600.06/3609.91 c #Conflicts: 483000 | #Constraints: 26588
3600.06/3609.91 c #Conflicts: 484000 | #Constraints: 27588
3600.06/3609.91 c #Conflicts: 485000 | #Constraints: 28588
3600.06/3609.91 c #Conflicts: 486000 | #Constraints: 29588
3600.06/3609.91 c #Conflicts: 487000 | #Constraints: 30588
3600.06/3609.91 c #Conflicts: 488000 | #Constraints: 31588
3600.06/3609.91 c INPROCESSING
3600.06/3609.91 c GARBAGE COLLECT
3600.06/3609.91 c #Conflicts: 489000 | #Constraints: 18771
3600.06/3609.91 c #Conflicts: 490000 | #Constraints: 19771
3600.06/3609.91 c #Conflicts: 491000 | #Constraints: 20771
3600.06/3609.91 c #Conflicts: 492000 | #Constraints: 21771
3600.06/3609.91 c #Conflicts: 493000 | #Constraints: 22771
3600.06/3609.91 c #Conflicts: 494000 | #Constraints: 23771
3600.06/3609.91 c #Conflicts: 495000 | #Constraints: 24771
3600.06/3609.91 c #Conflicts: 496000 | #Constraints: 25771
3600.06/3609.91 c #Conflicts: 497000 | #Constraints: 26771
3600.06/3609.91 c #Conflicts: 498000 | #Constraints: 27771
3600.06/3609.91 c #Conflicts: 499000 | #Constraints: 28771
3600.06/3609.91 c Program interrupted by user.
3600.06/3609.91 c cpu time 3595.99 s
3600.06/3609.91 c deterministic time 292159193399 2.92e+11
3600.06/3609.91 c optimization time 158.11 s
3600.06/3609.91 c total solve time 3437.86 s
3600.06/3609.91 c core-guided solve time 3437.86 s
3600.06/3609.91 c propagation time 3079.61 s
3600.06/3609.91 c conflict analysis time 500.919 s
3600.06/3609.91 c propagations 184723034
3600.06/3609.91 c resolve steps 25042976
3600.06/3609.91 c decisions 1918725
3600.06/3609.91 c conflicts 499448
3600.06/3609.91 c restarts 1022
3600.06/3609.91 c inprocessing phases 61
3600.06/3609.91 c input clauses 2516
3600.06/3609.91 c input cardinalities 0
3600.06/3609.91 c input general constraints 1089
3600.06/3609.91 c input average constraint length 3.07
3600.06/3609.91 c input average constraint degree 1191393.35
3600.06/3609.91 c learned clauses 100318
3600.06/3609.91 c learned cardinalities 69
3600.06/3609.91 c learned general constraints 399061
3600.06/3609.91 c learned average constraint length 243.61
3600.06/3609.91 c learned average constraint degree 206213646.02
3600.06/3609.91 c watched constraints 397356
3600.06/3609.91 c counting constraints 2794
3600.06/3609.91 c gcd simplifications 35701
3600.06/3609.91 c detected cardinalities 7
3600.06/3609.91 c weakened non-implied lits 12253965
3600.06/3609.91 c weakened non-implying lits 277295
3600.06/3609.91 c original variables 1802
3600.06/3609.91 c clausal propagations 78621191
3600.06/3609.91 c cardinality propagations 13341
3600.06/3609.91 c watched propagations 31601010
3600.06/3609.91 c counting propagations 74279959
3600.06/3609.91 c watch lookups 66415477796
3600.06/3609.91 c watch backjump lookups 61258830033
3600.06/3609.91 c watch checks 120774519482
3600.06/3609.91 c propagation checks 42776719437
3600.06/3609.91 c constraint additions 559864842
3600.06/3609.91 c trail pops 187140049
3600.06/3609.91 c formula constraints 3604
3600.06/3609.91 c learned constraints 499448
3600.06/3609.91 c bound constraints 1
3600.06/3609.91 c core-guided constraints 0
3600.06/3609.91 c encountered formula constraints 18086704
3600.06/3609.91 c encountered learned constraints 7455720
3600.06/3609.91 c encountered bound constraints 0
3600.06/3609.91 c encountered core-guided constraints 0
3600.06/3609.91 c LP total time 0 s
3600.06/3609.91 c LP solve time 0 s
3600.06/3609.91 c LP constraints added 0
3600.06/3609.91 c LP constraints removed 0
3600.06/3609.91 c LP pivots internal 0
3600.06/3609.91 c LP pivots root 0
3600.06/3609.91 c LP calls 0
3600.06/3609.91 c LP optimalities 0
3600.06/3609.91 c LP no pivot count 0
3600.06/3609.91 c LP infeasibilities 0
3600.06/3609.91 c LP valid Farkas constraints 0
3600.06/3609.91 c LP learned Farkas constraints 0
3600.06/3609.91 c LP basis resets 0
3600.06/3609.91 c LP cycling count 0
3600.06/3609.91 c LP singular count 0
3600.06/3609.91 c LP no primal count 0
3600.06/3609.91 c LP no farkas count 0
3600.06/3609.91 c LP other issue count 0
3600.06/3609.91 c LP Gomory cuts 0
3600.06/3609.91 c LP learned cuts 0
3600.06/3609.91 c LP deleted cuts 0
3600.06/3609.91 c LP encountered Gomory constraints 0
3600.06/3609.91 c LP encountered Farkas constraints 0
3600.06/3609.91 c LP encountered learned Farkas constraints 0
3600.06/3609.91 c CG auxiliary variables introduced 0
3600.06/3609.91 c CG solutions found 0
3600.06/3609.91 c CG cores constructed 1
3600.06/3609.91 c CG core cardinality constraints returned 0
3600.06/3609.91 c CG unit cores 0
3600.06/3609.91 c CG single cores 1
3600.06/3609.91 c CG blocks removed during cardinality reduction 0
3600.06/3609.91 c CG first core best 0
3600.06/3609.91 c CG decision core best 0
3600.06/3609.91 c CG core reduction tie 0
3600.06/3609.91 c CG core degree average 1.00
3600.06/3609.91 c CG core slack average 3.00
3600.06/3609.91 c CG exhausted 0
3600.06/3609.91 c CG exhaust time 0 s
3600.06/3609.91 c CG trimmed 0
3600.06/3609.91 c CG trim time 4.5e-05 s
3600.06/3609.91 c CG minimized 0
3600.06/3609.91 c CG minimize time 0 s
3600.06/3609.91 c CG am1 prop time 3.9e-05 s
3600.06/3609.91 c CG # am1s reformulated 0
3600.06/3609.91 c CG lower bound derived from am1s 0
3600.06/3609.91 c CG # clausal cores 1
3600.06/3609.91 c CG # cardinality cores 0
3600.06/3609.91 c CG # pb cores 0
3600.06/3609.91 c CG # pb reforms 0
3600.06/3609.91 c CG # cores discarded because of pb reform 0
3600.06/3609.91 d LOWERBOUND -12884901887
3600.06/3609.91 d NCORES 1
3600.06/3609.91 d NPBCORES 0
3600.06/3609.91 d NPBREFORM 0
3600.06/3609.91 d NTRIMMED 0
3600.06/3609.91 d NEXHAUSTED 0
3600.06/3609.91 d NAM1S 0
3600.06/3609.91 d AM1LB 0
3600.06/3609.91 s UNKNOWN
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 (62785 MiB free)
memory of node 1: 64465 MiB (63671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519050-1751549576/watcher-4519050-1751549576 -o /tmp/evaluation-result-4519050-1751549576/solver-4519050-1751549576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76163 --watchdog 3760 pb-oll-rs HOME/instance-4519050-1751549576.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=76782, runsolver pid=76779
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129491356/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=20732 memory=8972 CPUtime=0.1 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 546 0 0 0 9 1 0 0 20 0 1 0 70636766 21229568 2243 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5183 2243 1376 243 0 1432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20732 KiB
Current children cumulated memory: 8972 KiB
[startup+0.213176 s]*
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129491608/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=20860 memory=9100 CPUtime=0.21 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 580 0 0 0 20 1 0 0 20 0 1 0 70636766 21360640 2275 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5215 2275 1376 243 0 1464 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20860 KiB
Current children cumulated memory: 9100 KiB
[startup+0.31299 s]*
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129491608/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=20860 memory=9100 CPUtime=0.31 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 598 0 0 0 29 2 0 0 20 0 1 0 70636766 21360640 2275 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5215 2275 1376 243 0 1464 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20860 KiB
Current children cumulated memory: 9100 KiB
[startup+0.700305 s]
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129487512/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=21120 memory=9356 CPUtime=0.68 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 661 0 0 0 66 2 0 0 20 0 1 0 70636766 21626880 2339 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5280 2339 1376 243 0 1529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21120 KiB
Current children cumulated memory: 9356 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129479448/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=21672 memory=9868 CPUtime=1.48 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 796 0 0 0 145 3 0 0 20 0 1 0 70636766 22192128 2467 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5418 2467 1376 243 0 1667 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21672 KiB
Current children cumulated memory: 9868 KiB
[startup+3.11261 s]
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129479956/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=23772 memory=13196 CPUtime=3.08 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 1620 0 0 0 303 5 0 0 20 0 1 0 70636766 24342528 3299 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 5943 3299 1376 243 0 2192 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23772 KiB
Current children cumulated memory: 13196 KiB
[startup+6.3003 s]
/proc/loadavg: 4.09 3.32 2.15 5/252 76783
/proc/meminfo: memFree=129490912/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=24804 memory=15116 CPUtime=6.26 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 2116 0 0 0 617 9 0 0 20 0 1 0 70636766 25399296 3779 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 6201 3779 1376 243 0 2450 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 24804 KiB
Current children cumulated memory: 15116 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 3.33 2.16 5/252 76783
/proc/meminfo: memFree=129494640/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=28520 memory=17292 CPUtime=12.65 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 2709 0 0 0 1251 14 0 0 20 0 1 0 70636766 29204480 4323 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 7130 4323 1376 243 0 3379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 17292 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 3.38 2.20 5/250 76783
/proc/meminfo: memFree=129483988/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=35612 memory=21900 CPUtime=25.41 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 3928 0 0 0 2520 21 0 0 20 0 1 0 70636766 36466688 5475 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 8903 5475 1376 243 0 5152 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35612 KiB
Current children cumulated memory: 21900 KiB
[startup+51.1126 s]
/proc/loadavg: 4.16 3.45 2.25 5/250 76784
/proc/meminfo: memFree=129449604/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=38736 memory=27900 CPUtime=50.95 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 5007 0 0 0 5062 33 0 0 20 0 1 0 70636766 39665664 6975 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 9684 6975 1376 243 0 5933 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 38736 KiB
Current children cumulated memory: 27900 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.55 2.35 5/250 76786
/proc/meminfo: memFree=129404592/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=48780 memory=31868 CPUtime=101.99 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 6089 0 0 0 10144 55 0 0 20 0 1 0 70636766 49950720 7967 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 12195 7967 1376 243 0 8444 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 48780 KiB
Current children cumulated memory: 31868 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 3.68 2.47 5/250 76788
/proc/meminfo: memFree=129407960/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=52472 memory=39848 CPUtime=161.82 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 7191 0 0 0 16103 79 0 0 20 0 1 0 70636766 53731328 9962 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 13118 9962 1376 243 0 9367 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 52472 KiB
Current children cumulated memory: 39848 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.75 2.58 5/250 76793
/proc/meminfo: memFree=129400116/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=53720 memory=41084 CPUtime=221.64 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 7629 0 0 0 22068 96 0 0 20 0 1 0 70636766 55009280 10271 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 13430 10271 1376 243 0 9679 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 53720 KiB
Current children cumulated memory: 41084 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.82 2.67 5/250 76795
/proc/meminfo: memFree=129360156/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=54476 memory=41836 CPUtime=281.48 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 7911 0 0 0 28035 113 0 0 20 0 1 0 70636766 55783424 10459 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 13619 10459 1376 243 0 9868 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 54476 KiB
Current children cumulated memory: 41836 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.88 2.77 5/250 76797
/proc/meminfo: memFree=129353492/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=68188 memory=45932 CPUtime=341.31 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 8978 0 0 0 34003 128 0 0 20 0 1 0 70636766 69824512 11483 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 17047 11483 1376 243 0 13296 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 68188 KiB
Current children cumulated memory: 45932 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.92 2.85 5/250 76798
/proc/meminfo: memFree=129337320/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=70308 memory=50156 CPUtime=401.12 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 9807 0 0 0 39970 142 0 0 20 0 1 0 70636766 71995392 12539 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 17577 12539 1376 243 0 13826 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 70308 KiB
Current children cumulated memory: 50156 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.97 2.94 5/250 76800
/proc/meminfo: memFree=129336796/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=71944 memory=53512 CPUtime=460.96 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 10155 0 0 0 45944 152 0 0 20 0 1 0 70636766 73670656 13378 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 17986 13378 1376 243 0 14235 0
################
# More data... #
################
Current children cumulated memory: 93940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/249 76928
/proc/meminfo: memFree=128981084/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=113584 memory=93940 CPUtime=2914.48 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 15543 0 0 0 291081 367 0 0 20 0 1 0 70636766 116310016 23485 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 28396 23485 1376 243 0 24645 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 93940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 76929
/proc/meminfo: memFree=128966856/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=113584 memory=93940 CPUtime=2974.33 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 15554 0 0 0 297063 370 0 0 20 0 1 0 70636766 116310016 23485 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 28396 23485 1376 243 0 24645 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 93940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 76931
/proc/meminfo: memFree=128964760/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=116980 memory=98080 CPUtime=3034.17 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16143 0 0 0 303044 373 0 0 20 0 1 0 70636766 119787520 24520 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29245 24520 1376 243 0 25494 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 116980 KiB
Current children cumulated memory: 98080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 76933
/proc/meminfo: memFree=128965640/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=116980 memory=98080 CPUtime=3094.01 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16143 0 0 0 309025 376 0 0 20 0 1 0 70636766 119787520 24520 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29245 24520 1376 243 0 25494 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 116980 KiB
Current children cumulated memory: 98080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 76936
/proc/meminfo: memFree=128956092/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=116980 memory=100384 CPUtime=3153.84 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16146 0 0 0 315005 379 0 0 20 0 1 0 70636766 119787520 25096 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29245 25096 1376 243 0 25494 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 116980 KiB
Current children cumulated memory: 100384 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129786820/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=116980 memory=100384 CPUtime=3213.65 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16151 0 0 0 320981 384 0 0 20 0 1 0 70636766 119787520 25096 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29245 25096 1376 243 0 25494 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 116980 KiB
Current children cumulated memory: 100384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 77077
/proc/meminfo: memFree=129689700/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=118364 memory=103252 CPUtime=3273.47 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16388 0 0 0 326960 387 0 0 20 0 1 0 70636766 121204736 25813 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29591 25813 1376 243 0 25840 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 103252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/250 77079
/proc/meminfo: memFree=129621412/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=118364 memory=104020 CPUtime=3333.28 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16389 0 0 0 332937 391 0 0 20 0 1 0 70636766 121204736 26005 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29591 26005 1376 243 0 25840 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 104020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 77081
/proc/meminfo: memFree=129589820/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=118364 memory=104020 CPUtime=3393.09 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16389 0 0 0 338916 393 0 0 20 0 1 0 70636766 121204736 26005 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29591 26005 1376 243 0 25840 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 104020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129590748/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=119388 memory=104660 CPUtime=3452.91 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16578 0 0 0 344893 398 0 0 20 0 1 0 70636766 122253312 26165 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29847 26165 1376 243 0 26096 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 104660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 77134
/proc/meminfo: memFree=129563188/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=119388 memory=104660 CPUtime=3512.72 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16578 0 0 0 350870 402 0 0 20 0 1 0 70636766 122253312 26165 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29847 26165 1376 243 0 26096 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 104660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 77136
/proc/meminfo: memFree=129510460/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=119388 memory=104660 CPUtime=3572.54 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16578 0 0 0 356848 406 0 0 20 0 1 0 70636766 122253312 26165 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29847 26165 1376 243 0 26096 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 104660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/249 77137
/proc/meminfo: memFree=129505888/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=119388 memory=104660 CPUtime=3600.06 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16578 0 0 0 359598 408 0 0 20 0 1 0 70636766 122253312 26165 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29847 26165 1376 243 0 26096 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 104660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 76782 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.99 s, system=4.08124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/249 77137
/proc/meminfo: memFree=129505888/131382120 swapFree=33010160/33010684
[pid=76782] ppid=76779 vsize=119388 memory=104660 CPUtime=3600.06 cores=1,3
/proc/76782/stat : 76782 (pb-oll-rs) R 76779 76782 76151 0 -1 4194304 16578 0 0 0 359598 408 0 0 20 0 1 0 70636766 122253312 26165 18446744073709551615 4218880 5211445 140724820317584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15126528 140724820322716 140724820322793 140724820322793 140724820328395 0
/proc/76782/statm: 29847 26165 1376 243 0 26096 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 104660 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3595.99
CPU system time (s): 4.08124
CPU usage (%): 99.7274
Max. virtual memory (cumulated for all children) (KiB): 119388
Max. memory (cumulated for all children) (KiB): 104660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.99
system time used= 4.08124
maximum resident set size= 104916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115
involuntary context switches= 2359
# summary of solver processes directly reported to runsolver:
# pid: 76782
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.99
# total CPU system time (s): 4.08124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0093 second user time and 34.5746 second system time
The end
Begin job on nodeC008 at 2025-07-03 15:32:57
IDJOB=4519050
IDBENCH=177146
IDSOLVER=3345
FILE ID=nodeC008/4519050-1751549576
RUNJOBID= nodeC008-1751549168-76163
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519050-1751549576/watcher-4519050-1751549576 -o /tmp/evaluation-result-4519050-1751549576/solver-4519050-1751549576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76163 --watchdog 3760 pb-oll-rs HOME/instance-4519050-1751549576.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57a440677409faa51cc887313df67959
RANDOM SEED=1949853713
nodeC008 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 : 3491.788
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.72
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.217
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.72
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.627
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.72
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 : 1196.924
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.72
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 : 3491.813
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.72
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 : 3660.581
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.72
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.212
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.72
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.239
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129491596 kB
MemAvailable: 129500560 kB
Buffers: 2128 kB
Cached: 804300 kB
SwapCached: 16 kB
Active: 958772 kB
Inactive: 285456 kB
Active(anon): 419312 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 249048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1624 kB
Writeback: 32 kB
AnonPages: 437920 kB
Mapped: 107536 kB
Shmem: 17920 kB
KReclaimable: 120168 kB
Slab: 204396 kB
SReclaimable: 120168 kB
SUnreclaim: 84228 kB
KernelStack: 4080 kB
PageTables: 3856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 835548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 172032 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 16:33:07