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.03 c [STEP] solving
0.00/0.03 c #variables 3380 #constraints 1507
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= -2002 @ 0.019949
0.00/0.03 c stratification level: 0
157.24/157.71 c #Conflicts: 1000 | #Constraints: 2583
157.24/157.71 c #Conflicts: 2000 | #Constraints: 3583
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 3000 | #Constraints: 3620
157.24/157.71 c #Conflicts: 4000 | #Constraints: 4620
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 5000 | #Constraints: 4030
157.24/157.71 c #Conflicts: 6000 | #Constraints: 5030
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 7000 | #Constraints: 4045
157.24/157.71 c #Conflicts: 8000 | #Constraints: 5045
157.24/157.71 c #Conflicts: 9000 | #Constraints: 6045
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 10000 | #Constraints: 4751
157.24/157.71 c #Conflicts: 11000 | #Constraints: 5751
157.24/157.71 c #Conflicts: 12000 | #Constraints: 6751
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 13000 | #Constraints: 5193
157.24/157.71 c #Conflicts: 14000 | #Constraints: 6193
157.24/157.71 c #Conflicts: 15000 | #Constraints: 7193
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 16000 | #Constraints: 5422
157.24/157.71 c #Conflicts: 17000 | #Constraints: 6422
157.24/157.71 c #Conflicts: 18000 | #Constraints: 7422
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 19000 | #Constraints: 5437
157.24/157.71 c #Conflicts: 20000 | #Constraints: 6437
157.24/157.71 c #Conflicts: 21000 | #Constraints: 7437
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 22000 | #Constraints: 5248
157.24/157.71 c #Conflicts: 23000 | #Constraints: 6248
157.24/157.71 c #Conflicts: 24000 | #Constraints: 7248
157.24/157.71 c #Conflicts: 25000 | #Constraints: 8248
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 26000 | #Constraints: 5853
157.24/157.71 c #Conflicts: 27000 | #Constraints: 6853
157.24/157.71 c #Conflicts: 28000 | #Constraints: 7853
157.24/157.71 c #Conflicts: 29000 | #Constraints: 8853
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 30000 | #Constraints: 6260
157.24/157.71 c #Conflicts: 31000 | #Constraints: 7260
157.24/157.71 c #Conflicts: 32000 | #Constraints: 8260
157.24/157.71 c #Conflicts: 33000 | #Constraints: 9260
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 34000 | #Constraints: 6465
157.24/157.71 c #Conflicts: 35000 | #Constraints: 7465
157.24/157.71 c #Conflicts: 36000 | #Constraints: 8465
157.24/157.71 c #Conflicts: 37000 | #Constraints: 9465
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 38000 | #Constraints: 6464
157.24/157.71 c #Conflicts: 39000 | #Constraints: 7464
157.24/157.71 c #Conflicts: 40000 | #Constraints: 8464
157.24/157.71 c #Conflicts: 41000 | #Constraints: 9464
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 42000 | #Constraints: 6271
157.24/157.71 c #Conflicts: 43000 | #Constraints: 7271
157.24/157.71 c #Conflicts: 44000 | #Constraints: 8271
157.24/157.71 c #Conflicts: 45000 | #Constraints: 9271
157.24/157.71 c #Conflicts: 46000 | #Constraints: 10271
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 47000 | #Constraints: 6874
157.24/157.71 c #Conflicts: 48000 | #Constraints: 7874
157.24/157.71 c #Conflicts: 49000 | #Constraints: 8874
157.24/157.71 c #Conflicts: 50000 | #Constraints: 9874
157.24/157.71 c #Conflicts: 51000 | #Constraints: 10874
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 52000 | #Constraints: 7259
157.24/157.71 c #Conflicts: 53000 | #Constraints: 8259
157.24/157.71 c #Conflicts: 54000 | #Constraints: 9259
157.24/157.71 c #Conflicts: 55000 | #Constraints: 10259
157.24/157.71 c #Conflicts: 56000 | #Constraints: 11259
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 57000 | #Constraints: 7469
157.24/157.71 c #Conflicts: 58000 | #Constraints: 8469
157.24/157.71 c #Conflicts: 59000 | #Constraints: 9469
157.24/157.71 c #Conflicts: 60000 | #Constraints: 10469
157.24/157.71 c #Conflicts: 61000 | #Constraints: 11469
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 62000 | #Constraints: 7471
157.24/157.71 c #Conflicts: 63000 | #Constraints: 8471
157.24/157.71 c #Conflicts: 64000 | #Constraints: 9471
157.24/157.71 c #Conflicts: 65000 | #Constraints: 10471
157.24/157.71 c #Conflicts: 66000 | #Constraints: 11471
157.24/157.71 c INPROCESSING
157.24/157.71 c GARBAGE COLLECT
157.24/157.71 c #Conflicts: 67000 | #Constraints: 7270
157.24/157.71 c #Conflicts: 68000 | #Constraints: 8270
483.86/485.29 c #Conflicts: 69000 | #Constraints: 9270
483.86/485.29 c #Conflicts: 70000 | #Constraints: 10270
483.86/485.29 c #Conflicts: 71000 | #Constraints: 11270
483.86/485.29 c #Conflicts: 72000 | #Constraints: 12270
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 73000 | #Constraints: 7875
483.86/485.29 c #Conflicts: 74000 | #Constraints: 8875
483.86/485.29 c #Conflicts: 75000 | #Constraints: 9875
483.86/485.29 c #Conflicts: 76000 | #Constraints: 10875
483.86/485.29 c #Conflicts: 77000 | #Constraints: 11875
483.86/485.29 c #Conflicts: 78000 | #Constraints: 12875
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 79000 | #Constraints: 8279
483.86/485.29 c #Conflicts: 80000 | #Constraints: 9279
483.86/485.29 c #Conflicts: 81000 | #Constraints: 10279
483.86/485.29 c #Conflicts: 82000 | #Constraints: 11279
483.86/485.29 c #Conflicts: 83000 | #Constraints: 12279
483.86/485.29 c #Conflicts: 84000 | #Constraints: 13279
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 85000 | #Constraints: 8472
483.86/485.29 c #Conflicts: 86000 | #Constraints: 9472
483.86/485.29 c #Conflicts: 87000 | #Constraints: 10472
483.86/485.29 c #Conflicts: 88000 | #Constraints: 11472
483.86/485.29 c #Conflicts: 89000 | #Constraints: 12472
483.86/485.29 c #Conflicts: 90000 | #Constraints: 13472
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 91000 | #Constraints: 8469
483.86/485.29 c #Conflicts: 92000 | #Constraints: 9469
483.86/485.29 c #Conflicts: 93000 | #Constraints: 10469
483.86/485.29 c #Conflicts: 94000 | #Constraints: 11469
483.86/485.29 c #Conflicts: 95000 | #Constraints: 12469
483.86/485.29 c #Conflicts: 96000 | #Constraints: 13469
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 97000 | #Constraints: 8282
483.86/485.29 c #Conflicts: 98000 | #Constraints: 9282
483.86/485.29 c #Conflicts: 99000 | #Constraints: 10282
483.86/485.29 c #Conflicts: 100000 | #Constraints: 11282
483.86/485.29 c #Conflicts: 101000 | #Constraints: 12282
483.86/485.29 c #Conflicts: 102000 | #Constraints: 13282
483.86/485.29 c #Conflicts: 103000 | #Constraints: 14282
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 104000 | #Constraints: 8886
483.86/485.29 c #Conflicts: 105000 | #Constraints: 9886
483.86/485.29 c #Conflicts: 106000 | #Constraints: 10886
483.86/485.29 c #Conflicts: 107000 | #Constraints: 11886
483.86/485.29 c #Conflicts: 108000 | #Constraints: 12886
483.86/485.29 c #Conflicts: 109000 | #Constraints: 13886
483.86/485.29 c #Conflicts: 110000 | #Constraints: 14886
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 111000 | #Constraints: 9286
483.86/485.29 c #Conflicts: 112000 | #Constraints: 10286
483.86/485.29 c #Conflicts: 113000 | #Constraints: 11286
483.86/485.29 c #Conflicts: 114000 | #Constraints: 12286
483.86/485.29 c #Conflicts: 115000 | #Constraints: 13286
483.86/485.29 c #Conflicts: 116000 | #Constraints: 14286
483.86/485.29 c #Conflicts: 117000 | #Constraints: 15286
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 118000 | #Constraints: 9481
483.86/485.29 c #Conflicts: 119000 | #Constraints: 10481
483.86/485.29 c #Conflicts: 120000 | #Constraints: 11481
483.86/485.29 c #Conflicts: 121000 | #Constraints: 12481
483.86/485.29 c #Conflicts: 122000 | #Constraints: 13481
483.86/485.29 c #Conflicts: 123000 | #Constraints: 14481
483.86/485.29 c #Conflicts: 124000 | #Constraints: 15481
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 125000 | #Constraints: 9490
483.86/485.29 c #Conflicts: 126000 | #Constraints: 10490
483.86/485.29 c #Conflicts: 127000 | #Constraints: 11490
483.86/485.29 c #Conflicts: 128000 | #Constraints: 12490
483.86/485.29 c #Conflicts: 129000 | #Constraints: 13490
483.86/485.29 c #Conflicts: 130000 | #Constraints: 14490
483.86/485.29 c #Conflicts: 131000 | #Constraints: 15490
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 132000 | #Constraints: 9287
483.86/485.29 c #Conflicts: 133000 | #Constraints: 10287
483.86/485.29 c #Conflicts: 134000 | #Constraints: 11287
483.86/485.29 c #Conflicts: 135000 | #Constraints: 12287
483.86/485.29 c #Conflicts: 136000 | #Constraints: 13287
483.86/485.29 c #Conflicts: 137000 | #Constraints: 14287
483.86/485.29 c #Conflicts: 138000 | #Constraints: 15287
483.86/485.29 c #Conflicts: 139000 | #Constraints: 16287
483.86/485.29 c INPROCESSING
483.86/485.29 c GARBAGE COLLECT
483.86/485.29 c #Conflicts: 140000 | #Constraints: 9887
1317.03/1320.65 c #Conflicts: 141000 | #Constraints: 10887
1317.03/1320.65 c #Conflicts: 142000 | #Constraints: 11887
1317.03/1320.65 c #Conflicts: 143000 | #Constraints: 12887
1317.03/1320.65 c #Conflicts: 144000 | #Constraints: 13887
1317.03/1320.65 c #Conflicts: 145000 | #Constraints: 14887
1317.03/1320.65 c #Conflicts: 146000 | #Constraints: 15887
1317.03/1320.65 c #Conflicts: 147000 | #Constraints: 16887
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 148000 | #Constraints: 10287
1317.03/1320.65 c #Conflicts: 149000 | #Constraints: 11287
1317.03/1320.65 c #Conflicts: 150000 | #Constraints: 12287
1317.03/1320.65 c #Conflicts: 151000 | #Constraints: 13287
1317.03/1320.65 c #Conflicts: 152000 | #Constraints: 14287
1317.03/1320.65 c #Conflicts: 153000 | #Constraints: 15287
1317.03/1320.65 c #Conflicts: 154000 | #Constraints: 16287
1317.03/1320.65 c #Conflicts: 155000 | #Constraints: 17287
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 156000 | #Constraints: 10487
1317.03/1320.65 c #Conflicts: 157000 | #Constraints: 11487
1317.03/1320.65 c #Conflicts: 158000 | #Constraints: 12487
1317.03/1320.65 c #Conflicts: 159000 | #Constraints: 13487
1317.03/1320.65 c #Conflicts: 160000 | #Constraints: 14487
1317.03/1320.65 c #Conflicts: 161000 | #Constraints: 15487
1317.03/1320.65 c #Conflicts: 162000 | #Constraints: 16487
1317.03/1320.65 c #Conflicts: 163000 | #Constraints: 17487
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 164000 | #Constraints: 10497
1317.03/1320.65 c #Conflicts: 165000 | #Constraints: 11497
1317.03/1320.65 c #Conflicts: 166000 | #Constraints: 12497
1317.03/1320.65 c #Conflicts: 167000 | #Constraints: 13497
1317.03/1320.65 c #Conflicts: 168000 | #Constraints: 14497
1317.03/1320.65 c #Conflicts: 169000 | #Constraints: 15497
1317.03/1320.65 c #Conflicts: 170000 | #Constraints: 16497
1317.03/1320.65 c #Conflicts: 171000 | #Constraints: 17497
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 172000 | #Constraints: 10294
1317.03/1320.65 c #Conflicts: 173000 | #Constraints: 11294
1317.03/1320.65 c #Conflicts: 174000 | #Constraints: 12294
1317.03/1320.65 c #Conflicts: 175000 | #Constraints: 13294
1317.03/1320.65 c #Conflicts: 176000 | #Constraints: 14294
1317.03/1320.65 c #Conflicts: 177000 | #Constraints: 15294
1317.03/1320.65 c #Conflicts: 178000 | #Constraints: 16294
1317.03/1320.65 c #Conflicts: 179000 | #Constraints: 17294
1317.03/1320.65 c #Conflicts: 180000 | #Constraints: 18294
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 181000 | #Constraints: 10893
1317.03/1320.65 c #Conflicts: 182000 | #Constraints: 11893
1317.03/1320.65 c #Conflicts: 183000 | #Constraints: 12893
1317.03/1320.65 c #Conflicts: 184000 | #Constraints: 13893
1317.03/1320.65 c #Conflicts: 185000 | #Constraints: 14893
1317.03/1320.65 c #Conflicts: 186000 | #Constraints: 15893
1317.03/1320.65 c #Conflicts: 187000 | #Constraints: 16893
1317.03/1320.65 c #Conflicts: 188000 | #Constraints: 17893
1317.03/1320.65 c #Conflicts: 189000 | #Constraints: 18893
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 190000 | #Constraints: 11298
1317.03/1320.65 c #Conflicts: 191000 | #Constraints: 12298
1317.03/1320.65 c #Conflicts: 192000 | #Constraints: 13298
1317.03/1320.65 c #Conflicts: 193000 | #Constraints: 14298
1317.03/1320.65 c #Conflicts: 194000 | #Constraints: 15298
1317.03/1320.65 c #Conflicts: 195000 | #Constraints: 16298
1317.03/1320.65 c #Conflicts: 196000 | #Constraints: 17298
1317.03/1320.65 c #Conflicts: 197000 | #Constraints: 18298
1317.03/1320.65 c #Conflicts: 198000 | #Constraints: 19298
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 199000 | #Constraints: 11499
1317.03/1320.65 c #Conflicts: 200000 | #Constraints: 12499
1317.03/1320.65 c #Conflicts: 201000 | #Constraints: 13499
1317.03/1320.65 c #Conflicts: 202000 | #Constraints: 14499
1317.03/1320.65 c #Conflicts: 203000 | #Constraints: 15499
1317.03/1320.65 c #Conflicts: 204000 | #Constraints: 16499
1317.03/1320.65 c #Conflicts: 205000 | #Constraints: 17499
1317.03/1320.65 c #Conflicts: 206000 | #Constraints: 18499
1317.03/1320.65 c #Conflicts: 207000 | #Constraints: 19499
1317.03/1320.65 c INPROCESSING
1317.03/1320.65 c GARBAGE COLLECT
1317.03/1320.65 c #Conflicts: 208000 | #Constraints: 11501
1317.03/1320.65 c #Conflicts: 209000 | #Constraints: 12501
1317.03/1320.65 c #Conflicts: 210000 | #Constraints: 13501
1317.03/1320.65 c #Conflicts: 211000 | #Constraints: 14501
1317.03/1320.65 c #Conflicts: 212000 | #Constraints: 15501
1317.03/1320.65 c #Conflicts: 213000 | #Constraints: 16501
2456.33/2463.05 c #Conflicts: 214000 | #Constraints: 17501
2456.33/2463.05 c #Conflicts: 215000 | #Constraints: 18501
2456.33/2463.05 c #Conflicts: 216000 | #Constraints: 19501
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 217000 | #Constraints: 11297
2456.33/2463.05 c #Conflicts: 218000 | #Constraints: 12297
2456.33/2463.05 c #Conflicts: 219000 | #Constraints: 13297
2456.33/2463.05 c #Conflicts: 220000 | #Constraints: 14297
2456.33/2463.05 c #Conflicts: 221000 | #Constraints: 15297
2456.33/2463.05 c #Conflicts: 222000 | #Constraints: 16297
2456.33/2463.05 c #Conflicts: 223000 | #Constraints: 17297
2456.33/2463.05 c #Conflicts: 224000 | #Constraints: 18297
2456.33/2463.05 c #Conflicts: 225000 | #Constraints: 19297
2456.33/2463.05 c #Conflicts: 226000 | #Constraints: 20297
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 227000 | #Constraints: 11905
2456.33/2463.05 c #Conflicts: 228000 | #Constraints: 12905
2456.33/2463.05 c #Conflicts: 229000 | #Constraints: 13905
2456.33/2463.05 c #Conflicts: 230000 | #Constraints: 14905
2456.33/2463.05 c #Conflicts: 231000 | #Constraints: 15905
2456.33/2463.05 c #Conflicts: 232000 | #Constraints: 16905
2456.33/2463.05 c #Conflicts: 233000 | #Constraints: 17905
2456.33/2463.05 c #Conflicts: 234000 | #Constraints: 18905
2456.33/2463.05 c #Conflicts: 235000 | #Constraints: 19905
2456.33/2463.05 c #Conflicts: 236000 | #Constraints: 20905
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 237000 | #Constraints: 12299
2456.33/2463.05 c #Conflicts: 238000 | #Constraints: 13299
2456.33/2463.05 c #Conflicts: 239000 | #Constraints: 14299
2456.33/2463.05 c #Conflicts: 240000 | #Constraints: 15299
2456.33/2463.05 c #Conflicts: 241000 | #Constraints: 16299
2456.33/2463.05 c #Conflicts: 242000 | #Constraints: 17299
2456.33/2463.05 c #Conflicts: 243000 | #Constraints: 18299
2456.33/2463.05 c #Conflicts: 244000 | #Constraints: 19299
2456.33/2463.05 c #Conflicts: 245000 | #Constraints: 20299
2456.33/2463.05 c #Conflicts: 246000 | #Constraints: 21299
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 247000 | #Constraints: 12493
2456.33/2463.05 c #Conflicts: 248000 | #Constraints: 13493
2456.33/2463.05 c #Conflicts: 249000 | #Constraints: 14493
2456.33/2463.05 c #Conflicts: 250000 | #Constraints: 15493
2456.33/2463.05 c #Conflicts: 251000 | #Constraints: 16493
2456.33/2463.05 c #Conflicts: 252000 | #Constraints: 17493
2456.33/2463.05 c #Conflicts: 253000 | #Constraints: 18493
2456.33/2463.05 c #Conflicts: 254000 | #Constraints: 19493
2456.33/2463.05 c #Conflicts: 255000 | #Constraints: 20493
2456.33/2463.05 c #Conflicts: 256000 | #Constraints: 21493
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 257000 | #Constraints: 12477
2456.33/2463.05 c #Conflicts: 258000 | #Constraints: 13477
2456.33/2463.05 c #Conflicts: 259000 | #Constraints: 14477
2456.33/2463.05 c #Conflicts: 260000 | #Constraints: 15477
2456.33/2463.05 c #Conflicts: 261000 | #Constraints: 16477
2456.33/2463.05 c #Conflicts: 262000 | #Constraints: 17477
2456.33/2463.05 c #Conflicts: 263000 | #Constraints: 18477
2456.33/2463.05 c #Conflicts: 264000 | #Constraints: 19477
2456.33/2463.05 c #Conflicts: 265000 | #Constraints: 20477
2456.33/2463.05 c #Conflicts: 266000 | #Constraints: 21477
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 267000 | #Constraints: 12277
2456.33/2463.05 c #Conflicts: 268000 | #Constraints: 13277
2456.33/2463.05 c #Conflicts: 269000 | #Constraints: 14277
2456.33/2463.05 c #Conflicts: 270000 | #Constraints: 15277
2456.33/2463.05 c #Conflicts: 271000 | #Constraints: 16277
2456.33/2463.05 c #Conflicts: 272000 | #Constraints: 17277
2456.33/2463.05 c #Conflicts: 273000 | #Constraints: 18277
2456.33/2463.05 c #Conflicts: 274000 | #Constraints: 19277
2456.33/2463.05 c #Conflicts: 275000 | #Constraints: 20277
2456.33/2463.05 c #Conflicts: 276000 | #Constraints: 21277
2456.33/2463.05 c #Conflicts: 277000 | #Constraints: 22277
2456.33/2463.05 c INPROCESSING
2456.33/2463.05 c GARBAGE COLLECT
2456.33/2463.05 c #Conflicts: 278000 | #Constraints: 12892
2456.33/2463.05 c #Conflicts: 279000 | #Constraints: 13892
2456.33/2463.05 c #Conflicts: 280000 | #Constraints: 14892
2456.33/2463.05 c #Conflicts: 281000 | #Constraints: 15892
2456.33/2463.05 c #Conflicts: 282000 | #Constraints: 16892
2456.33/2463.05 c #Conflicts: 283000 | #Constraints: 17892
2456.33/2463.05 c #Conflicts: 284000 | #Constraints: 18892
2456.33/2463.05 c #Conflicts: 285000 | #Constraints: 19892
2456.33/2463.05 c #Conflicts: 286000 | #Constraints: 20892
2456.33/2463.05 c #Conflicts: 287000 | #Constraints: 21892
2456.33/2463.05 c #Conflicts: 288000 | #Constraints: 22892
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 289000 | #Constraints: 13286
3475.32/3485.18 c #Conflicts: 290000 | #Constraints: 14286
3475.32/3485.18 c #Conflicts: 291000 | #Constraints: 15286
3475.32/3485.18 c #Conflicts: 292000 | #Constraints: 16286
3475.32/3485.18 c #Conflicts: 293000 | #Constraints: 17286
3475.32/3485.18 c #Conflicts: 294000 | #Constraints: 18286
3475.32/3485.18 c #Conflicts: 295000 | #Constraints: 19286
3475.32/3485.18 c #Conflicts: 296000 | #Constraints: 20286
3475.32/3485.18 c #Conflicts: 297000 | #Constraints: 21286
3475.32/3485.18 c #Conflicts: 298000 | #Constraints: 22286
3475.32/3485.18 c #Conflicts: 299000 | #Constraints: 23286
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 300000 | #Constraints: 13492
3475.32/3485.18 c #Conflicts: 301000 | #Constraints: 14492
3475.32/3485.18 c #Conflicts: 302000 | #Constraints: 15492
3475.32/3485.18 c #Conflicts: 303000 | #Constraints: 16492
3475.32/3485.18 c #Conflicts: 304000 | #Constraints: 17492
3475.32/3485.18 c #Conflicts: 305000 | #Constraints: 18492
3475.32/3485.18 c #Conflicts: 306000 | #Constraints: 19492
3475.32/3485.18 c #Conflicts: 307000 | #Constraints: 20492
3475.32/3485.18 c #Conflicts: 308000 | #Constraints: 21492
3475.32/3485.18 c #Conflicts: 309000 | #Constraints: 22492
3475.32/3485.18 c #Conflicts: 310000 | #Constraints: 23492
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 311000 | #Constraints: 13491
3475.32/3485.18 c #Conflicts: 312000 | #Constraints: 14491
3475.32/3485.18 c #Conflicts: 313000 | #Constraints: 15491
3475.32/3485.18 c #Conflicts: 314000 | #Constraints: 16491
3475.32/3485.18 c #Conflicts: 315000 | #Constraints: 17491
3475.32/3485.18 c #Conflicts: 316000 | #Constraints: 18491
3475.32/3485.18 c #Conflicts: 317000 | #Constraints: 19491
3475.32/3485.18 c #Conflicts: 318000 | #Constraints: 20491
3475.32/3485.18 c #Conflicts: 319000 | #Constraints: 21491
3475.32/3485.18 c #Conflicts: 320000 | #Constraints: 22491
3475.32/3485.18 c #Conflicts: 321000 | #Constraints: 23491
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 322000 | #Constraints: 13278
3475.32/3485.18 c #Conflicts: 323000 | #Constraints: 14278
3475.32/3485.18 c #Conflicts: 324000 | #Constraints: 15278
3475.32/3485.18 c #Conflicts: 325000 | #Constraints: 16278
3475.32/3485.18 c #Conflicts: 326000 | #Constraints: 17278
3475.32/3485.18 c #Conflicts: 327000 | #Constraints: 18278
3475.32/3485.18 c #Conflicts: 328000 | #Constraints: 19278
3475.32/3485.18 c #Conflicts: 329000 | #Constraints: 20278
3475.32/3485.18 c #Conflicts: 330000 | #Constraints: 21278
3475.32/3485.18 c #Conflicts: 331000 | #Constraints: 22278
3475.32/3485.18 c #Conflicts: 332000 | #Constraints: 23278
3475.32/3485.18 c #Conflicts: 333000 | #Constraints: 24278
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 334000 | #Constraints: 13883
3475.32/3485.18 c #Conflicts: 335000 | #Constraints: 14883
3475.32/3485.18 c #Conflicts: 336000 | #Constraints: 15883
3475.32/3485.18 c #Conflicts: 337000 | #Constraints: 16883
3475.32/3485.18 c #Conflicts: 338000 | #Constraints: 17883
3475.32/3485.18 c #Conflicts: 339000 | #Constraints: 18883
3475.32/3485.18 c #Conflicts: 340000 | #Constraints: 19883
3475.32/3485.18 c #Conflicts: 341000 | #Constraints: 20883
3475.32/3485.18 c #Conflicts: 342000 | #Constraints: 21883
3475.32/3485.18 c #Conflicts: 343000 | #Constraints: 22883
3475.32/3485.18 c #Conflicts: 344000 | #Constraints: 23883
3475.32/3485.18 c #Conflicts: 345000 | #Constraints: 24883
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 346000 | #Constraints: 14295
3475.32/3485.18 c #Conflicts: 347000 | #Constraints: 15295
3475.32/3485.18 c #Conflicts: 348000 | #Constraints: 16295
3475.32/3485.18 c #Conflicts: 349000 | #Constraints: 17295
3475.32/3485.18 c #Conflicts: 350000 | #Constraints: 18295
3475.32/3485.18 c #Conflicts: 351000 | #Constraints: 19295
3475.32/3485.18 c #Conflicts: 352000 | #Constraints: 20295
3475.32/3485.18 c #Conflicts: 353000 | #Constraints: 21295
3475.32/3485.18 c #Conflicts: 354000 | #Constraints: 22295
3475.32/3485.18 c #Conflicts: 355000 | #Constraints: 23295
3475.32/3485.18 c #Conflicts: 356000 | #Constraints: 24295
3475.32/3485.18 c #Conflicts: 357000 | #Constraints: 25295
3475.32/3485.18 c INPROCESSING
3475.32/3485.18 c GARBAGE COLLECT
3475.32/3485.18 c #Conflicts: 358000 | #Constraints: 14492
3475.32/3485.18 c #Conflicts: 359000 | #Constraints: 15492
3475.32/3485.18 c #Conflicts: 360000 | #Constraints: 16492
3475.32/3485.18 c #Conflicts: 361000 | #Constraints: 17492
3475.32/3485.18 c #Conflicts: 362000 | #Constraints: 18492
3600.02/3610.20 c #Conflicts: 363000 | #Constraints: 19492
3600.02/3610.20 c #Conflicts: 364000 | #Constraints: 20492
3600.02/3610.20 c #Conflicts: 365000 | #Constraints: 21492
3600.02/3610.20 c #Conflicts: 366000 | #Constraints: 22492
3600.02/3610.20 c #Conflicts: 367000 | #Constraints: 23492
3600.02/3610.20 c #Conflicts: 368000 | #Constraints: 24492
3600.02/3610.20 c #Conflicts: 369000 | #Constraints: 25492
3600.02/3610.20 c INPROCESSING
3600.02/3610.20 c GARBAGE COLLECT
3600.02/3610.20 c #Conflicts: 370000 | #Constraints: 14487
3600.02/3610.20 c #Conflicts: 371000 | #Constraints: 15487
3600.02/3610.20 c Program interrupted by user.
3600.02/3610.20 c cpu time 3589.83 s
3600.02/3610.20 c deterministic time 448206873452 4.48e+11
3600.02/3610.20 c optimization time 19.1788 s
3600.02/3610.20 c total solve time 3570.63 s
3600.02/3610.20 c core-guided solve time 3570.63 s
3600.02/3610.20 c propagation time 3485.1 s
3600.02/3610.20 c conflict analysis time 83.7011 s
3600.02/3610.20 c propagations 89521141
3600.02/3610.20 c resolve steps 1977533
3600.02/3610.20 c decisions 9075983
3600.02/3610.20 c conflicts 371389
3600.02/3610.20 c restarts 892
3600.02/3610.20 c inprocessing phases 52
3600.02/3610.20 c input clauses 1455
3600.02/3610.20 c input cardinalities 77
3600.02/3610.20 c input general constraints 52
3600.02/3610.20 c input average constraint length 6.84
3600.02/3610.20 c input average constraint degree 2.99
3600.02/3610.20 c learned clauses 66240
3600.02/3610.20 c learned cardinalities 121
3600.02/3610.20 c learned general constraints 305027
3600.02/3610.20 c learned average constraint length 461.55
3600.02/3610.20 c learned average constraint degree 18305.76
3600.02/3610.20 c watched constraints 299210
3600.02/3610.20 c counting constraints 5869
3600.02/3610.20 c gcd simplifications 19
3600.02/3610.20 c detected cardinalities 0
3600.02/3610.20 c weakened non-implied lits 12864282
3600.02/3610.20 c weakened non-implying lits 122
3600.02/3610.20 c original variables 3380
3600.02/3610.20 c clausal propagations 37539710
3600.02/3610.20 c cardinality propagations 18345263
3600.02/3610.20 c watched propagations 28997681
3600.02/3610.20 c counting propagations 4559774
3600.02/3610.20 c watch lookups 48290963276
3600.02/3610.20 c watch backjump lookups 45962738998
3600.02/3610.20 c watch checks 272959148123
3600.02/3610.20 c propagation checks 80311656887
3600.02/3610.20 c constraint additions 484801355
3600.02/3610.20 c trail pops 98967688
3600.02/3610.20 c formula constraints 1507
3600.02/3610.20 c learned constraints 371388
3600.02/3610.20 c bound constraints 0
3600.02/3610.20 c core-guided constraints 77
3600.02/3610.20 c encountered formula constraints 1156040
3600.02/3610.20 c encountered learned constraints 1185385
3600.02/3610.20 c encountered bound constraints 0
3600.02/3610.20 c encountered core-guided constraints 7497
3600.02/3610.20 c LP total time 0 s
3600.02/3610.20 c LP solve time 0 s
3600.02/3610.20 c LP constraints added 0
3600.02/3610.20 c LP constraints removed 0
3600.02/3610.20 c LP pivots internal 0
3600.02/3610.20 c LP pivots root 0
3600.02/3610.20 c LP calls 0
3600.02/3610.20 c LP optimalities 0
3600.02/3610.20 c LP no pivot count 0
3600.02/3610.20 c LP infeasibilities 0
3600.02/3610.20 c LP valid Farkas constraints 0
3600.02/3610.20 c LP learned Farkas constraints 0
3600.02/3610.20 c LP basis resets 0
3600.02/3610.20 c LP cycling count 0
3600.02/3610.20 c LP singular count 0
3600.02/3610.20 c LP no primal count 0
3600.02/3610.20 c LP no farkas count 0
3600.02/3610.20 c LP other issue count 0
3600.02/3610.20 c LP Gomory cuts 0
3600.02/3610.20 c LP learned cuts 0
3600.02/3610.20 c LP deleted cuts 0
3600.02/3610.20 c LP encountered Gomory constraints 0
3600.02/3610.20 c LP encountered Farkas constraints 0
3600.02/3610.20 c LP encountered learned Farkas constraints 0
3600.02/3610.20 c CG auxiliary variables introduced 77
3600.02/3610.20 c CG solutions found 0
3600.02/3610.20 c CG cores constructed 0
3600.02/3610.20 c CG core cardinality constraints returned 0
3600.02/3610.20 c CG unit cores 0
3600.02/3610.20 c CG single cores 0
3600.02/3610.20 c CG blocks removed during cardinality reduction 0
3600.02/3610.20 c CG first core best 0
3600.02/3610.20 c CG decision core best 0
3600.02/3610.20 c CG core reduction tie 0
3600.02/3610.20 c CG core degree average 0.00
3600.02/3610.20 c CG core slack average 0.00
3600.02/3610.20 c CG exhausted 0
3600.02/3610.20 c CG exhaust time 0 s
3600.02/3610.20 c CG trimmed 0
3600.02/3610.20 c CG trim time 0 s
3600.02/3610.20 c CG minimized 0
3600.02/3610.20 c CG minimize time 0 s
3600.02/3610.20 c CG am1 prop time 0.011155 s
3600.02/3610.20 c CG # am1s reformulated 77
3600.02/3610.20 c CG lower bound derived from am1s 1925
3600.02/3610.20 c CG # clausal cores 0
3600.02/3610.20 c CG # cardinality cores 0
3600.02/3610.20 c CG # pb cores 0
3600.02/3610.20 c CG # pb reforms 0
3600.02/3610.20 c CG # cores discarded because of pb reform 0
3600.02/3610.20 d LOWERBOUND 0
3600.02/3610.20 d NCORES 0
3600.02/3610.20 d NPBCORES 0
3600.02/3610.20 d NPBREFORM 0
3600.02/3610.20 d NTRIMMED 0
3600.02/3610.20 d NEXHAUSTED 0
3600.02/3610.20 d NAM1S 77
3600.02/3610.20 d AM1LB 1925
3600.02/3610.20 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 (62674 MiB free)
memory of node 1: 64465 MiB (63547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519556-1751555081/watcher-4519556-1751555081 -o /tmp/evaluation-result-4519556-1751555081/solver-4519556-1751555081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76163 --watchdog 3760 pb-oll-rs HOME/instance-4519556-1751555081.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77552, runsolver pid=77549
[startup+0.100071 s]*
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129249112/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=23924 memory=9728 CPUtime=0.1 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 1350 0 0 0 8 2 0 0 20 0 1 0 71187261 24498176 2432 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 5981 2432 1312 243 0 2230 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23924 KiB
Current children cumulated memory: 9728 KiB
[startup+0.213227 s]*
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129249368/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=24452 memory=10752 CPUtime=0.21 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 1610 0 0 0 16 5 0 0 20 0 1 0 71187261 25038848 2688 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 6113 2688 1312 243 0 2362 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24452 KiB
Current children cumulated memory: 10752 KiB
[startup+0.313 s]*
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129249368/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=25108 memory=13628 CPUtime=0.3 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 1838 0 0 0 24 6 0 0 20 0 1 0 71187261 25710592 3407 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 6277 3407 1312 243 0 2526 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25108 KiB
Current children cumulated memory: 13628 KiB
[startup+0.700322 s]
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129249368/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=27216 memory=15932 CPUtime=0.68 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 2404 0 0 0 58 10 0 0 20 0 1 0 71187261 27869184 3983 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 6804 3983 1312 243 0 3053 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27216 KiB
Current children cumulated memory: 15932 KiB
[startup+1.50034 s]
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129249368/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=38036 memory=23356 CPUtime=1.47 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 4273 0 0 0 132 15 0 0 20 0 1 0 71187261 38948864 5839 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 9509 5839 1312 243 0 5758 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38036 KiB
Current children cumulated memory: 23356 KiB
[startup+3.1127 s]
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129245272/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=41588 memory=29236 CPUtime=3.09 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 5230 0 0 0 288 21 0 0 20 0 1 0 71187261 42586112 7309 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 10397 7309 1312 243 0 6646 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41588 KiB
Current children cumulated memory: 29236 KiB
[startup+6.30032 s]
/proc/loadavg: 4.04 4.16 4.14 5/249 77553
/proc/meminfo: memFree=129225360/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=53436 memory=37644 CPUtime=6.26 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 6817 0 0 0 601 25 0 0 20 0 1 0 71187261 54718464 9411 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 13359 9411 1312 243 0 9608 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53436 KiB
Current children cumulated memory: 37644 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.16 4.13 5/249 77553
/proc/meminfo: memFree=129209420/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=61612 memory=48412 CPUtime=12.65 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 8481 0 0 0 1228 37 0 0 20 0 1 0 71187261 63090688 12103 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 15403 12103 1312 243 0 11652 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61612 KiB
Current children cumulated memory: 48412 KiB
[startup+25.5004 s]
/proc/loadavg: 4.03 4.15 4.13 5/249 77553
/proc/meminfo: memFree=129189196/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=77608 memory=56092 CPUtime=25.41 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 9883 0 0 0 2489 52 0 0 20 0 1 0 71187261 79470592 14023 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 19402 14023 1312 243 0 15651 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 77608 KiB
Current children cumulated memory: 56092 KiB
[startup+51.1128 s]
/proc/loadavg: 4.02 4.14 4.13 5/249 77553
/proc/meminfo: memFree=129182180/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=81884 memory=62020 CPUtime=50.95 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 10875 0 0 0 5020 75 0 0 20 0 1 0 71187261 83849216 15505 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 20471 15505 1312 243 0 16720 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 81884 KiB
Current children cumulated memory: 62020 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.13 4.12 6/249 77555
/proc/meminfo: memFree=129170728/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=88668 memory=73672 CPUtime=101.99 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 12266 0 0 0 10083 116 0 0 20 0 1 0 71187261 90796032 18418 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 22167 18418 1312 243 0 18416 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 88668 KiB
Current children cumulated memory: 73672 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 77560
/proc/meminfo: memFree=129147424/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=115892 memory=88560 CPUtime=161.83 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 14482 0 0 0 16024 159 0 0 20 0 1 0 71187261 118673408 22140 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 28973 22140 1312 243 0 25222 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 115892 KiB
Current children cumulated memory: 88560 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 77563
/proc/meminfo: memFree=129143020/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=116852 memory=89456 CPUtime=221.67 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 14718 0 0 0 21962 205 0 0 20 0 1 0 71187261 119656448 22364 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 29213 22364 1312 243 0 25462 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 116852 KiB
Current children cumulated memory: 89456 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/251 77565
/proc/meminfo: memFree=129103192/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=120084 memory=100208 CPUtime=281.48 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 15562 0 0 0 27905 243 0 0 20 0 1 0 71187261 122966016 25052 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 30021 25052 1312 243 0 26270 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 120084 KiB
Current children cumulated memory: 100208 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/251 77567
/proc/meminfo: memFree=129109208/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=121176 memory=100976 CPUtime=341.33 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 15776 0 0 0 33858 275 0 0 20 0 1 0 71187261 124084224 25244 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 30294 25244 1312 243 0 26543 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 121176 KiB
Current children cumulated memory: 100976 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/251 77570
/proc/meminfo: memFree=129108668/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=124716 memory=107256 CPUtime=401.17 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 16325 0 0 0 39812 305 0 0 20 0 1 0 71187261 127709184 26814 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 31179 26814 1312 243 0 27428 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 124716 KiB
Current children cumulated memory: 107256 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/250 77572
/proc/meminfo: memFree=129132396/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=127304 memory=108792 CPUtime=461.02 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 16719 0 0 0 45767 335 0 0 20 0 1 0 71187261 130359296 27198 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 31826 27198 1312 243 0 28075 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
Current children cumulated memory: 156604 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/249 77997
/proc/meminfo: memFree=128844864/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=197840 memory=156604 CPUtime=2854.42 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25013 0 0 0 284514 928 0 0 20 0 1 0 71187261 202588160 39151 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49460 39151 1312 243 0 45709 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 197840 KiB
Current children cumulated memory: 156604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.14 5/250 78004
/proc/meminfo: memFree=128778612/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=197840 memory=156604 CPUtime=2914.23 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25015 0 0 0 290488 935 0 0 20 0 1 0 71187261 202588160 39151 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49460 39151 1312 243 0 45709 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 197840 KiB
Current children cumulated memory: 156604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/250 78006
/proc/meminfo: memFree=128744748/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=197840 memory=156604 CPUtime=2974.05 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25016 0 0 0 296462 943 0 0 20 0 1 0 71187261 202588160 39151 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49460 39151 1312 243 0 45709 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 197840 KiB
Current children cumulated memory: 156604 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.14 5/250 78008
/proc/meminfo: memFree=128742400/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=198356 memory=156988 CPUtime=3033.86 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25095 0 0 0 302434 952 0 0 20 0 1 0 71187261 203116544 39247 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49589 39247 1312 243 0 45838 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 198356 KiB
Current children cumulated memory: 156988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/250 78010
/proc/meminfo: memFree=128730352/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=198224 memory=156988 CPUtime=3093.68 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25096 0 0 0 308409 959 0 0 20 0 1 0 71187261 202981376 39247 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49556 39247 1312 243 0 45805 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 198224 KiB
Current children cumulated memory: 156988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.46 4.19 4.16 5/251 78015
/proc/meminfo: memFree=128709932/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=199908 memory=157628 CPUtime=3153.49 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25342 0 0 0 314382 967 0 0 20 0 1 0 71187261 204705792 39407 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49977 39407 1312 243 0 46226 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 199908 KiB
Current children cumulated memory: 157628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.56 4.29 4.20 6/251 78017
/proc/meminfo: memFree=128692104/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=199908 memory=157628 CPUtime=3213.31 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25342 0 0 0 320355 976 0 0 20 0 1 0 71187261 204705792 39407 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49977 39407 1312 243 0 46226 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 199908 KiB
Current children cumulated memory: 157628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.25 4.19 5/251 78020
/proc/meminfo: memFree=128695960/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=199776 memory=157628 CPUtime=3273.12 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25350 0 0 0 326330 982 0 0 20 0 1 0 71187261 204570624 39407 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 49944 39407 1312 243 0 46193 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 199776 KiB
Current children cumulated memory: 157628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.22 4.18 5/251 78022
/proc/meminfo: memFree=128685284/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=200808 memory=158012 CPUtime=3332.94 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25532 0 0 0 332303 991 0 0 20 0 1 0 71187261 205627392 39503 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50202 39503 1312 243 0 46451 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 200808 KiB
Current children cumulated memory: 158012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/251 78035
/proc/meminfo: memFree=128679056/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=200808 memory=158012 CPUtime=3392.76 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25532 0 0 0 338279 997 0 0 20 0 1 0 71187261 205627392 39503 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50202 39503 1312 243 0 46451 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 200808 KiB
Current children cumulated memory: 158012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/250 78037
/proc/meminfo: memFree=128669444/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=200936 memory=160060 CPUtime=3452.58 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25579 0 0 0 344254 1004 0 0 20 0 1 0 71187261 205758464 40015 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50234 40015 1312 243 0 46483 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 200936 KiB
Current children cumulated memory: 160060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/250 78043
/proc/meminfo: memFree=128632256/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=200936 memory=160060 CPUtime=3512.4 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25579 0 0 0 350228 1012 0 0 20 0 1 0 71187261 205758464 40015 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50234 40015 1312 243 0 46483 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 200936 KiB
Current children cumulated memory: 160060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/249 78045
/proc/meminfo: memFree=128630212/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=201584 memory=160444 CPUtime=3572.21 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25681 0 0 0 356205 1016 0 0 20 0 1 0 71187261 206422016 40111 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50396 40111 1312 243 0 46645 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 201584 KiB
Current children cumulated memory: 160444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.15 4.16 5/249 78045
/proc/meminfo: memFree=128622912/131382120 swapFree=33010160/33010684
[pid=77552] ppid=77549 vsize=201844 memory=160444 CPUtime=3600.02 cores=1,3
/proc/77552/stat : 77552 (pb-oll-rs) R 77549 77552 76151 0 -1 4194304 25720 0 0 0 358982 1020 0 0 20 0 1 0 71187261 206688256 40111 18446744073709551615 4218880 5211445 140724523480368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 38658048 140724523485596 140724523485673 140724523485673 140724523491275 0
/proc/77552/statm: 50461 40111 1312 243 0 46710 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 201844 KiB
Current children cumulated memory: 160444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 77552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.83 s, system=10.2096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.04
CPU user time (s): 3589.83
CPU system time (s): 10.2096
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 201844
Max. memory (cumulated for all children) (KiB): 160444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.83
system time used= 10.2096
maximum resident set size= 160700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25735
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= 140
involuntary context switches= 2991
# summary of solver processes directly reported to runsolver:
# pid: 77552
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.83
# total CPU system time (s): 10.2096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1768 second user time and 36.2377 second system time
The end
Begin job on nodeC008 at 2025-07-03 17:04:42
IDJOB=4519556
IDBENCH=177275
IDSOLVER=3345
FILE ID=nodeC008/4519556-1751555081
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/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519556-1751555081/watcher-4519556-1751555081 -o /tmp/evaluation-result-4519556-1751555081/solver-4519556-1751555081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76163 --watchdog 3760 pb-oll-rs HOME/instance-4519556-1751555081.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51
RANDOM SEED=719139254
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.843
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.799
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.533
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 : 1197.206
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.853
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 : 3622.166
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 : 3700.000
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 : 1198.138
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: 129250876 kB
MemAvailable: 129271072 kB
Buffers: 2128 kB
Cached: 815376 kB
SwapCached: 16 kB
Active: 1260736 kB
Inactive: 296532 kB
Active(anon): 721276 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 260124 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1816 kB
Writeback: 0 kB
AnonPages: 738148 kB
Mapped: 107532 kB
Shmem: 17920 kB
KReclaimable: 120476 kB
Slab: 204916 kB
SReclaimable: 120476 kB
SUnreclaim: 84440 kB
KernelStack: 4032 kB
PageTables: 4576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1156676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 595968 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 18:04:52