0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.10 c [STEP] preprocessing with Papilo
0.08/0.15 c [STEP] solving with SCIP
299.32/300.20 c [STEP] preprocessing done, loading into solver
299.32/300.22 c [STEP] solving
299.32/300.22 c #variables 7311 #constraints 7573
299.32/300.22 c SMALL=int, LARGE=long long
299.32/300.22 d SCIPUB 2817761
299.32/300.22 c bounds - >= -85 @ 299.248
299.32/300.22 c stratification level: 2809856
465.54/466.96 c #Conflicts: 1000 | #Constraints: 8573
465.54/466.96 c #Conflicts: 2000 | #Constraints: 9573
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 3000 | #Constraints: 6690
465.54/466.96 c #Conflicts: 4000 | #Constraints: 7690
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 5000 | #Constraints: 7102
465.54/466.96 c #Conflicts: 6000 | #Constraints: 8102
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 7000 | #Constraints: 7130
465.54/466.96 c #Conflicts: 8000 | #Constraints: 8130
465.54/466.96 c #Conflicts: 9000 | #Constraints: 9130
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 10000 | #Constraints: 7827
465.54/466.96 c #Conflicts: 11000 | #Constraints: 8827
465.54/466.96 c #Conflicts: 12000 | #Constraints: 9827
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 13000 | #Constraints: 8316
465.54/466.96 c #Conflicts: 14000 | #Constraints: 9316
465.54/466.96 c #Conflicts: 15000 | #Constraints: 10316
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 16000 | #Constraints: 8540
465.54/466.96 c #Conflicts: 17000 | #Constraints: 9540
465.54/466.96 c #Conflicts: 18000 | #Constraints: 10540
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 19000 | #Constraints: 8588
465.54/466.96 c #Conflicts: 20000 | #Constraints: 9588
465.54/466.96 c #Conflicts: 21000 | #Constraints: 10588
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 22000 | #Constraints: 8346
465.54/466.96 c #Conflicts: 23000 | #Constraints: 9346
465.54/466.96 c #Conflicts: 24000 | #Constraints: 10346
465.54/466.96 c #Conflicts: 25000 | #Constraints: 11346
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 26000 | #Constraints: 8998
465.54/466.96 c #Conflicts: 27000 | #Constraints: 9998
465.54/466.96 c #Conflicts: 28000 | #Constraints: 10998
465.54/466.96 c #Conflicts: 29000 | #Constraints: 11998
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 30000 | #Constraints: 9455
465.54/466.96 c #Conflicts: 31000 | #Constraints: 10455
465.54/466.96 c #Conflicts: 32000 | #Constraints: 11455
465.54/466.96 c #Conflicts: 33000 | #Constraints: 12455
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 34000 | #Constraints: 9637
465.54/466.96 c #Conflicts: 35000 | #Constraints: 10637
465.54/466.96 c #Conflicts: 36000 | #Constraints: 11637
465.54/466.96 c #Conflicts: 37000 | #Constraints: 12637
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 38000 | #Constraints: 9635
465.54/466.96 c #Conflicts: 39000 | #Constraints: 10635
465.54/466.96 c #Conflicts: 40000 | #Constraints: 11635
465.54/466.96 c #Conflicts: 41000 | #Constraints: 12635
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 42000 | #Constraints: 9395
465.54/466.96 c #Conflicts: 43000 | #Constraints: 10395
465.54/466.96 c #Conflicts: 44000 | #Constraints: 11395
465.54/466.96 c #Conflicts: 45000 | #Constraints: 12395
465.54/466.96 c #Conflicts: 46000 | #Constraints: 13395
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 47000 | #Constraints: 10111
465.54/466.96 c #Conflicts: 48000 | #Constraints: 11111
465.54/466.96 c #Conflicts: 49000 | #Constraints: 12111
465.54/466.96 c #Conflicts: 50000 | #Constraints: 13111
465.54/466.96 c #Conflicts: 51000 | #Constraints: 14111
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 52000 | #Constraints: 10442
465.54/466.96 c #Conflicts: 53000 | #Constraints: 11442
465.54/466.96 c #Conflicts: 54000 | #Constraints: 12442
465.54/466.96 c #Conflicts: 55000 | #Constraints: 13442
465.54/466.96 c #Conflicts: 56000 | #Constraints: 14442
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 57000 | #Constraints: 10660
465.54/466.96 c #Conflicts: 58000 | #Constraints: 11660
465.54/466.96 c #Conflicts: 59000 | #Constraints: 12660
465.54/466.96 c #Conflicts: 60000 | #Constraints: 13660
465.54/466.96 c #Conflicts: 61000 | #Constraints: 14660
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 62000 | #Constraints: 10683
465.54/466.96 c #Conflicts: 63000 | #Constraints: 11683
465.54/466.96 c #Conflicts: 64000 | #Constraints: 12683
465.54/466.96 c #Conflicts: 65000 | #Constraints: 13683
465.54/466.96 c #Conflicts: 66000 | #Constraints: 14683
465.54/466.96 c INPROCESSING
465.54/466.96 c GARBAGE COLLECT
465.54/466.96 c #Conflicts: 67000 | #Constraints: 10478
465.54/466.96 c #Conflicts: 68000 | #Constraints: 11478
687.78/689.82 c #Conflicts: 69000 | #Constraints: 12478
687.78/689.82 c #Conflicts: 70000 | #Constraints: 13478
687.78/689.82 c #Conflicts: 71000 | #Constraints: 14478
687.78/689.82 c #Conflicts: 72000 | #Constraints: 15478
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 73000 | #Constraints: 11172
687.78/689.82 c #Conflicts: 74000 | #Constraints: 12172
687.78/689.82 c #Conflicts: 75000 | #Constraints: 13172
687.78/689.82 c #Conflicts: 76000 | #Constraints: 14172
687.78/689.82 c #Conflicts: 77000 | #Constraints: 15172
687.78/689.82 c #Conflicts: 78000 | #Constraints: 16172
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 79000 | #Constraints: 11575
687.78/689.82 c #Conflicts: 80000 | #Constraints: 12575
687.78/689.82 c #Conflicts: 81000 | #Constraints: 13575
687.78/689.82 c #Conflicts: 82000 | #Constraints: 14575
687.78/689.82 c #Conflicts: 83000 | #Constraints: 15575
687.78/689.82 c #Conflicts: 84000 | #Constraints: 16575
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 85000 | #Constraints: 11695
687.78/689.82 c #Conflicts: 86000 | #Constraints: 12695
687.78/689.82 c #Conflicts: 87000 | #Constraints: 13695
687.78/689.82 c #Conflicts: 88000 | #Constraints: 14695
687.78/689.82 c #Conflicts: 89000 | #Constraints: 15695
687.78/689.82 c #Conflicts: 90000 | #Constraints: 16695
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 91000 | #Constraints: 11716
687.78/689.82 c #Conflicts: 92000 | #Constraints: 12716
687.78/689.82 c #Conflicts: 93000 | #Constraints: 13716
687.78/689.82 c #Conflicts: 94000 | #Constraints: 14716
687.78/689.82 c #Conflicts: 95000 | #Constraints: 15716
687.78/689.82 c #Conflicts: 96000 | #Constraints: 16716
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 97000 | #Constraints: 11485
687.78/689.82 c #Conflicts: 98000 | #Constraints: 12485
687.78/689.82 c #Conflicts: 99000 | #Constraints: 13485
687.78/689.82 c #Conflicts: 100000 | #Constraints: 14485
687.78/689.82 c #Conflicts: 101000 | #Constraints: 15485
687.78/689.82 c #Conflicts: 102000 | #Constraints: 16485
687.78/689.82 c #Conflicts: 103000 | #Constraints: 17485
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 104000 | #Constraints: 12133
687.78/689.82 c #Conflicts: 105000 | #Constraints: 13133
687.78/689.82 c #Conflicts: 106000 | #Constraints: 14133
687.78/689.82 c #Conflicts: 107000 | #Constraints: 15133
687.78/689.82 c #Conflicts: 108000 | #Constraints: 16133
687.78/689.82 c #Conflicts: 109000 | #Constraints: 17133
687.78/689.82 c #Conflicts: 110000 | #Constraints: 18133
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 111000 | #Constraints: 12551
687.78/689.82 c #Conflicts: 112000 | #Constraints: 13551
687.78/689.82 c #Conflicts: 113000 | #Constraints: 14551
687.78/689.82 c #Conflicts: 114000 | #Constraints: 15551
687.78/689.82 c #Conflicts: 115000 | #Constraints: 16551
687.78/689.82 c #Conflicts: 116000 | #Constraints: 17551
687.78/689.82 c #Conflicts: 117000 | #Constraints: 18551
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 118000 | #Constraints: 12745
687.78/689.82 c #Conflicts: 119000 | #Constraints: 13745
687.78/689.82 c #Conflicts: 120000 | #Constraints: 14745
687.78/689.82 c #Conflicts: 121000 | #Constraints: 15745
687.78/689.82 c #Conflicts: 122000 | #Constraints: 16745
687.78/689.82 c #Conflicts: 123000 | #Constraints: 17745
687.78/689.82 c #Conflicts: 124000 | #Constraints: 18745
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 125000 | #Constraints: 12802
687.78/689.82 c #Conflicts: 126000 | #Constraints: 13802
687.78/689.82 c #Conflicts: 127000 | #Constraints: 14802
687.78/689.82 c #Conflicts: 128000 | #Constraints: 15802
687.78/689.82 c #Conflicts: 129000 | #Constraints: 16802
687.78/689.82 c #Conflicts: 130000 | #Constraints: 17802
687.78/689.82 c #Conflicts: 131000 | #Constraints: 18802
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 132000 | #Constraints: 12606
687.78/689.82 c #Conflicts: 133000 | #Constraints: 13606
687.78/689.82 c #Conflicts: 134000 | #Constraints: 14606
687.78/689.82 c #Conflicts: 135000 | #Constraints: 15606
687.78/689.82 c #Conflicts: 136000 | #Constraints: 16606
687.78/689.82 c #Conflicts: 137000 | #Constraints: 17606
687.78/689.82 c #Conflicts: 138000 | #Constraints: 18606
687.78/689.82 c #Conflicts: 139000 | #Constraints: 19606
687.78/689.82 c INPROCESSING
687.78/689.82 c GARBAGE COLLECT
687.78/689.82 c #Conflicts: 140000 | #Constraints: 13076
929.10/931.84 c #Conflicts: 141000 | #Constraints: 14076
929.10/931.84 c #Conflicts: 142000 | #Constraints: 15076
929.10/931.84 c #Conflicts: 143000 | #Constraints: 16076
929.10/931.84 c #Conflicts: 144000 | #Constraints: 17076
929.10/931.84 c #Conflicts: 145000 | #Constraints: 18076
929.10/931.84 c #Conflicts: 146000 | #Constraints: 19076
929.10/931.84 c #Conflicts: 147000 | #Constraints: 20076
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 148000 | #Constraints: 13454
929.10/931.84 c #Conflicts: 149000 | #Constraints: 14454
929.10/931.84 c #Conflicts: 150000 | #Constraints: 15454
929.10/931.84 c #Conflicts: 151000 | #Constraints: 16454
929.10/931.84 c #Conflicts: 152000 | #Constraints: 17454
929.10/931.84 c #Conflicts: 153000 | #Constraints: 18454
929.10/931.84 c #Conflicts: 154000 | #Constraints: 19454
929.10/931.84 c #Conflicts: 155000 | #Constraints: 20454
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 156000 | #Constraints: 13714
929.10/931.84 c #Conflicts: 157000 | #Constraints: 14714
929.10/931.84 c #Conflicts: 158000 | #Constraints: 15714
929.10/931.84 c #Conflicts: 159000 | #Constraints: 16714
929.10/931.84 c #Conflicts: 160000 | #Constraints: 17714
929.10/931.84 c #Conflicts: 161000 | #Constraints: 18714
929.10/931.84 c #Conflicts: 162000 | #Constraints: 19714
929.10/931.84 c #Conflicts: 163000 | #Constraints: 20714
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 164000 | #Constraints: 13759
929.10/931.84 c #Conflicts: 165000 | #Constraints: 14759
929.10/931.84 c #Conflicts: 166000 | #Constraints: 15759
929.10/931.84 c #Conflicts: 167000 | #Constraints: 16759
929.10/931.84 c #Conflicts: 168000 | #Constraints: 17759
929.10/931.84 c #Conflicts: 169000 | #Constraints: 18759
929.10/931.84 c #Conflicts: 170000 | #Constraints: 19759
929.10/931.84 c #Conflicts: 171000 | #Constraints: 20759
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 172000 | #Constraints: 13601
929.10/931.84 c #Conflicts: 173000 | #Constraints: 14601
929.10/931.84 c #Conflicts: 174000 | #Constraints: 15601
929.10/931.84 c #Conflicts: 175000 | #Constraints: 16601
929.10/931.84 c #Conflicts: 176000 | #Constraints: 17601
929.10/931.84 c #Conflicts: 177000 | #Constraints: 18601
929.10/931.84 c #Conflicts: 178000 | #Constraints: 19601
929.10/931.84 c #Conflicts: 179000 | #Constraints: 20601
929.10/931.84 c #Conflicts: 180000 | #Constraints: 21601
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 181000 | #Constraints: 14241
929.10/931.84 c #Conflicts: 182000 | #Constraints: 15241
929.10/931.84 c #Conflicts: 183000 | #Constraints: 16241
929.10/931.84 c #Conflicts: 184000 | #Constraints: 17241
929.10/931.84 c #Conflicts: 185000 | #Constraints: 18241
929.10/931.84 c #Conflicts: 186000 | #Constraints: 19241
929.10/931.84 c #Conflicts: 187000 | #Constraints: 20241
929.10/931.84 c #Conflicts: 188000 | #Constraints: 21241
929.10/931.84 c #Conflicts: 189000 | #Constraints: 22241
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 190000 | #Constraints: 14545
929.10/931.84 c #Conflicts: 191000 | #Constraints: 15545
929.10/931.84 c #Conflicts: 192000 | #Constraints: 16545
929.10/931.84 c #Conflicts: 193000 | #Constraints: 17545
929.10/931.84 c #Conflicts: 194000 | #Constraints: 18545
929.10/931.84 c #Conflicts: 195000 | #Constraints: 19545
929.10/931.84 c #Conflicts: 196000 | #Constraints: 20545
929.10/931.84 c #Conflicts: 197000 | #Constraints: 21545
929.10/931.84 c #Conflicts: 198000 | #Constraints: 22545
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 199000 | #Constraints: 14760
929.10/931.84 c #Conflicts: 200000 | #Constraints: 15760
929.10/931.84 c #Conflicts: 201000 | #Constraints: 16760
929.10/931.84 c #Conflicts: 202000 | #Constraints: 17760
929.10/931.84 c #Conflicts: 203000 | #Constraints: 18760
929.10/931.84 c #Conflicts: 204000 | #Constraints: 19760
929.10/931.84 c #Conflicts: 205000 | #Constraints: 20760
929.10/931.84 c #Conflicts: 206000 | #Constraints: 21760
929.10/931.84 c #Conflicts: 207000 | #Constraints: 22760
929.10/931.84 c INPROCESSING
929.10/931.84 c GARBAGE COLLECT
929.10/931.84 c #Conflicts: 208000 | #Constraints: 14679
929.10/931.84 c #Conflicts: 209000 | #Constraints: 15679
929.10/931.84 c #Conflicts: 210000 | #Constraints: 16679
929.10/931.84 c #Conflicts: 211000 | #Constraints: 17679
929.10/931.84 c #Conflicts: 212000 | #Constraints: 18679
929.10/931.84 c #Conflicts: 213000 | #Constraints: 19679
1220.49/1224.03 c #Conflicts: 214000 | #Constraints: 20679
1220.49/1224.03 c #Conflicts: 215000 | #Constraints: 21679
1220.49/1224.03 c #Conflicts: 216000 | #Constraints: 22679
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 217000 | #Constraints: 14513
1220.49/1224.03 c #Conflicts: 218000 | #Constraints: 15513
1220.49/1224.03 c #Conflicts: 219000 | #Constraints: 16513
1220.49/1224.03 c #Conflicts: 220000 | #Constraints: 17513
1220.49/1224.03 c #Conflicts: 221000 | #Constraints: 18513
1220.49/1224.03 c #Conflicts: 222000 | #Constraints: 19513
1220.49/1224.03 c #Conflicts: 223000 | #Constraints: 20513
1220.49/1224.03 c #Conflicts: 224000 | #Constraints: 21513
1220.49/1224.03 c #Conflicts: 225000 | #Constraints: 22513
1220.49/1224.03 c #Conflicts: 226000 | #Constraints: 23513
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 227000 | #Constraints: 15060
1220.49/1224.03 c #Conflicts: 228000 | #Constraints: 16060
1220.49/1224.03 c #Conflicts: 229000 | #Constraints: 17060
1220.49/1224.03 c #Conflicts: 230000 | #Constraints: 18060
1220.49/1224.03 c #Conflicts: 231000 | #Constraints: 19060
1220.49/1224.03 c #Conflicts: 232000 | #Constraints: 20060
1220.49/1224.03 c #Conflicts: 233000 | #Constraints: 21060
1220.49/1224.03 c #Conflicts: 234000 | #Constraints: 22060
1220.49/1224.03 c #Conflicts: 235000 | #Constraints: 23060
1220.49/1224.03 c #Conflicts: 236000 | #Constraints: 24060
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 237000 | #Constraints: 15474
1220.49/1224.03 c #Conflicts: 238000 | #Constraints: 16474
1220.49/1224.03 c #Conflicts: 239000 | #Constraints: 17474
1220.49/1224.03 c #Conflicts: 240000 | #Constraints: 18474
1220.49/1224.03 c #Conflicts: 241000 | #Constraints: 19474
1220.49/1224.03 c #Conflicts: 242000 | #Constraints: 20474
1220.49/1224.03 c #Conflicts: 243000 | #Constraints: 21474
1220.49/1224.03 c #Conflicts: 244000 | #Constraints: 22474
1220.49/1224.03 c #Conflicts: 245000 | #Constraints: 23474
1220.49/1224.03 c #Conflicts: 246000 | #Constraints: 24474
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 247000 | #Constraints: 15751
1220.49/1224.03 c #Conflicts: 248000 | #Constraints: 16751
1220.49/1224.03 c #Conflicts: 249000 | #Constraints: 17751
1220.49/1224.03 c #Conflicts: 250000 | #Constraints: 18751
1220.49/1224.03 c #Conflicts: 251000 | #Constraints: 19751
1220.49/1224.03 c #Conflicts: 252000 | #Constraints: 20751
1220.49/1224.03 c #Conflicts: 253000 | #Constraints: 21751
1220.49/1224.03 c #Conflicts: 254000 | #Constraints: 22751
1220.49/1224.03 c #Conflicts: 255000 | #Constraints: 23751
1220.49/1224.03 c #Conflicts: 256000 | #Constraints: 24751
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 257000 | #Constraints: 15814
1220.49/1224.03 c #Conflicts: 258000 | #Constraints: 16814
1220.49/1224.03 c #Conflicts: 259000 | #Constraints: 17814
1220.49/1224.03 c #Conflicts: 260000 | #Constraints: 18814
1220.49/1224.03 c #Conflicts: 261000 | #Constraints: 19814
1220.49/1224.03 c #Conflicts: 262000 | #Constraints: 20814
1220.49/1224.03 c #Conflicts: 263000 | #Constraints: 21814
1220.49/1224.03 c #Conflicts: 264000 | #Constraints: 22814
1220.49/1224.03 c #Conflicts: 265000 | #Constraints: 23814
1220.49/1224.03 c #Conflicts: 266000 | #Constraints: 24814
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 267000 | #Constraints: 15653
1220.49/1224.03 c #Conflicts: 268000 | #Constraints: 16653
1220.49/1224.03 c #Conflicts: 269000 | #Constraints: 17653
1220.49/1224.03 c #Conflicts: 270000 | #Constraints: 18653
1220.49/1224.03 c #Conflicts: 271000 | #Constraints: 19653
1220.49/1224.03 c #Conflicts: 272000 | #Constraints: 20653
1220.49/1224.03 c #Conflicts: 273000 | #Constraints: 21653
1220.49/1224.03 c #Conflicts: 274000 | #Constraints: 22653
1220.49/1224.03 c #Conflicts: 275000 | #Constraints: 23653
1220.49/1224.03 c #Conflicts: 276000 | #Constraints: 24653
1220.49/1224.03 c #Conflicts: 277000 | #Constraints: 25653
1220.49/1224.03 c INPROCESSING
1220.49/1224.03 c GARBAGE COLLECT
1220.49/1224.03 c #Conflicts: 278000 | #Constraints: 16245
1220.49/1224.03 c #Conflicts: 279000 | #Constraints: 17245
1220.49/1224.03 c #Conflicts: 280000 | #Constraints: 18245
1220.49/1224.03 c #Conflicts: 281000 | #Constraints: 19245
1220.49/1224.03 c #Conflicts: 282000 | #Constraints: 20245
1220.49/1224.03 c #Conflicts: 283000 | #Constraints: 21245
1220.49/1224.03 c #Conflicts: 284000 | #Constraints: 22245
1220.49/1224.03 c #Conflicts: 285000 | #Constraints: 23245
1220.49/1224.03 c #Conflicts: 286000 | #Constraints: 24245
1220.49/1224.03 c #Conflicts: 287000 | #Constraints: 25245
1220.49/1224.03 c #Conflicts: 288000 | #Constraints: 26245
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 289000 | #Constraints: 16494
1536.23/1540.69 c #Conflicts: 290000 | #Constraints: 17494
1536.23/1540.69 c #Conflicts: 291000 | #Constraints: 18494
1536.23/1540.69 c #Conflicts: 292000 | #Constraints: 19494
1536.23/1540.69 c #Conflicts: 293000 | #Constraints: 20494
1536.23/1540.69 c #Conflicts: 294000 | #Constraints: 21494
1536.23/1540.69 c #Conflicts: 295000 | #Constraints: 22494
1536.23/1540.69 c #Conflicts: 296000 | #Constraints: 23494
1536.23/1540.69 c #Conflicts: 297000 | #Constraints: 24494
1536.23/1540.69 c #Conflicts: 298000 | #Constraints: 25494
1536.23/1540.69 c #Conflicts: 299000 | #Constraints: 26494
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 300000 | #Constraints: 16779
1536.23/1540.69 c #Conflicts: 301000 | #Constraints: 17779
1536.23/1540.69 c #Conflicts: 302000 | #Constraints: 18779
1536.23/1540.69 c #Conflicts: 303000 | #Constraints: 19779
1536.23/1540.69 c #Conflicts: 304000 | #Constraints: 20779
1536.23/1540.69 c #Conflicts: 305000 | #Constraints: 21779
1536.23/1540.69 c #Conflicts: 306000 | #Constraints: 22779
1536.23/1540.69 c #Conflicts: 307000 | #Constraints: 23779
1536.23/1540.69 c #Conflicts: 308000 | #Constraints: 24779
1536.23/1540.69 c #Conflicts: 309000 | #Constraints: 25779
1536.23/1540.69 c #Conflicts: 310000 | #Constraints: 26779
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 311000 | #Constraints: 16738
1536.23/1540.69 c #Conflicts: 312000 | #Constraints: 17738
1536.23/1540.69 c #Conflicts: 313000 | #Constraints: 18738
1536.23/1540.69 c #Conflicts: 314000 | #Constraints: 19738
1536.23/1540.69 c #Conflicts: 315000 | #Constraints: 20738
1536.23/1540.69 c #Conflicts: 316000 | #Constraints: 21738
1536.23/1540.69 c #Conflicts: 317000 | #Constraints: 22738
1536.23/1540.69 c #Conflicts: 318000 | #Constraints: 23738
1536.23/1540.69 c #Conflicts: 319000 | #Constraints: 24738
1536.23/1540.69 c #Conflicts: 320000 | #Constraints: 25738
1536.23/1540.69 c #Conflicts: 321000 | #Constraints: 26738
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 322000 | #Constraints: 16510
1536.23/1540.69 c #Conflicts: 323000 | #Constraints: 17510
1536.23/1540.69 c #Conflicts: 324000 | #Constraints: 18510
1536.23/1540.69 c #Conflicts: 325000 | #Constraints: 19510
1536.23/1540.69 c #Conflicts: 326000 | #Constraints: 20510
1536.23/1540.69 c #Conflicts: 327000 | #Constraints: 21510
1536.23/1540.69 c #Conflicts: 328000 | #Constraints: 22510
1536.23/1540.69 c #Conflicts: 329000 | #Constraints: 23510
1536.23/1540.69 c #Conflicts: 330000 | #Constraints: 24510
1536.23/1540.69 c #Conflicts: 331000 | #Constraints: 25510
1536.23/1540.69 c #Conflicts: 332000 | #Constraints: 26510
1536.23/1540.69 c #Conflicts: 333000 | #Constraints: 27510
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 334000 | #Constraints: 17084
1536.23/1540.69 c #Conflicts: 335000 | #Constraints: 18084
1536.23/1540.69 c #Conflicts: 336000 | #Constraints: 19084
1536.23/1540.69 c #Conflicts: 337000 | #Constraints: 20084
1536.23/1540.69 c #Conflicts: 338000 | #Constraints: 21084
1536.23/1540.69 c #Conflicts: 339000 | #Constraints: 22084
1536.23/1540.69 c #Conflicts: 340000 | #Constraints: 23084
1536.23/1540.69 c #Conflicts: 341000 | #Constraints: 24084
1536.23/1540.69 c #Conflicts: 342000 | #Constraints: 25084
1536.23/1540.69 c #Conflicts: 343000 | #Constraints: 26084
1536.23/1540.69 c #Conflicts: 344000 | #Constraints: 27084
1536.23/1540.69 c #Conflicts: 345000 | #Constraints: 28084
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 346000 | #Constraints: 17474
1536.23/1540.69 c #Conflicts: 347000 | #Constraints: 18474
1536.23/1540.69 c #Conflicts: 348000 | #Constraints: 19474
1536.23/1540.69 c #Conflicts: 349000 | #Constraints: 20474
1536.23/1540.69 c #Conflicts: 350000 | #Constraints: 21474
1536.23/1540.69 c #Conflicts: 351000 | #Constraints: 22474
1536.23/1540.69 c #Conflicts: 352000 | #Constraints: 23474
1536.23/1540.69 c #Conflicts: 353000 | #Constraints: 24474
1536.23/1540.69 c #Conflicts: 354000 | #Constraints: 25474
1536.23/1540.69 c #Conflicts: 355000 | #Constraints: 26474
1536.23/1540.69 c #Conflicts: 356000 | #Constraints: 27474
1536.23/1540.69 c #Conflicts: 357000 | #Constraints: 28474
1536.23/1540.69 c INPROCESSING
1536.23/1540.69 c GARBAGE COLLECT
1536.23/1540.69 c #Conflicts: 358000 | #Constraints: 17671
1536.23/1540.69 c #Conflicts: 359000 | #Constraints: 18671
1536.23/1540.69 c #Conflicts: 360000 | #Constraints: 19671
1536.23/1540.69 c #Conflicts: 361000 | #Constraints: 20671
1536.23/1540.69 c #Conflicts: 362000 | #Constraints: 21671
1884.03/1889.47 c #Conflicts: 363000 | #Constraints: 22671
1884.03/1889.47 c #Conflicts: 364000 | #Constraints: 23671
1884.03/1889.47 c #Conflicts: 365000 | #Constraints: 24671
1884.03/1889.47 c #Conflicts: 366000 | #Constraints: 25671
1884.03/1889.47 c #Conflicts: 367000 | #Constraints: 26671
1884.03/1889.47 c #Conflicts: 368000 | #Constraints: 27671
1884.03/1889.47 c #Conflicts: 369000 | #Constraints: 28671
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 370000 | #Constraints: 17693
1884.03/1889.47 c #Conflicts: 371000 | #Constraints: 18693
1884.03/1889.47 c #Conflicts: 372000 | #Constraints: 19693
1884.03/1889.47 c #Conflicts: 373000 | #Constraints: 20693
1884.03/1889.47 c #Conflicts: 374000 | #Constraints: 21693
1884.03/1889.47 c #Conflicts: 375000 | #Constraints: 22693
1884.03/1889.47 c #Conflicts: 376000 | #Constraints: 23693
1884.03/1889.47 c #Conflicts: 377000 | #Constraints: 24693
1884.03/1889.47 c #Conflicts: 378000 | #Constraints: 25693
1884.03/1889.47 c #Conflicts: 379000 | #Constraints: 26693
1884.03/1889.47 c #Conflicts: 380000 | #Constraints: 27693
1884.03/1889.47 c #Conflicts: 381000 | #Constraints: 28693
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 382000 | #Constraints: 17508
1884.03/1889.47 c #Conflicts: 383000 | #Constraints: 18508
1884.03/1889.47 c #Conflicts: 384000 | #Constraints: 19508
1884.03/1889.47 c #Conflicts: 385000 | #Constraints: 20508
1884.03/1889.47 c #Conflicts: 386000 | #Constraints: 21508
1884.03/1889.47 c #Conflicts: 387000 | #Constraints: 22508
1884.03/1889.47 c #Conflicts: 388000 | #Constraints: 23508
1884.03/1889.47 c #Conflicts: 389000 | #Constraints: 24508
1884.03/1889.47 c #Conflicts: 390000 | #Constraints: 25508
1884.03/1889.47 c #Conflicts: 391000 | #Constraints: 26508
1884.03/1889.47 c #Conflicts: 392000 | #Constraints: 27508
1884.03/1889.47 c #Conflicts: 393000 | #Constraints: 28508
1884.03/1889.47 c #Conflicts: 394000 | #Constraints: 29508
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 395000 | #Constraints: 18071
1884.03/1889.47 c #Conflicts: 396000 | #Constraints: 19071
1884.03/1889.47 c #Conflicts: 397000 | #Constraints: 20071
1884.03/1889.47 c #Conflicts: 398000 | #Constraints: 21071
1884.03/1889.47 c #Conflicts: 399000 | #Constraints: 22071
1884.03/1889.47 c #Conflicts: 400000 | #Constraints: 23071
1884.03/1889.47 c #Conflicts: 401000 | #Constraints: 24071
1884.03/1889.47 c #Conflicts: 402000 | #Constraints: 25071
1884.03/1889.47 c #Conflicts: 403000 | #Constraints: 26071
1884.03/1889.47 c #Conflicts: 404000 | #Constraints: 27071
1884.03/1889.47 c #Conflicts: 405000 | #Constraints: 28071
1884.03/1889.47 c #Conflicts: 406000 | #Constraints: 29071
1884.03/1889.47 c #Conflicts: 407000 | #Constraints: 30071
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 408000 | #Constraints: 18448
1884.03/1889.47 c #Conflicts: 409000 | #Constraints: 19448
1884.03/1889.47 c #Conflicts: 410000 | #Constraints: 20448
1884.03/1889.47 c #Conflicts: 411000 | #Constraints: 21448
1884.03/1889.47 c #Conflicts: 412000 | #Constraints: 22448
1884.03/1889.47 c #Conflicts: 413000 | #Constraints: 23448
1884.03/1889.47 c #Conflicts: 414000 | #Constraints: 24448
1884.03/1889.47 c #Conflicts: 415000 | #Constraints: 25448
1884.03/1889.47 c #Conflicts: 416000 | #Constraints: 26448
1884.03/1889.47 c #Conflicts: 417000 | #Constraints: 27448
1884.03/1889.47 c #Conflicts: 418000 | #Constraints: 28448
1884.03/1889.47 c #Conflicts: 419000 | #Constraints: 29448
1884.03/1889.47 c #Conflicts: 420000 | #Constraints: 30448
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 421000 | #Constraints: 18648
1884.03/1889.47 c #Conflicts: 422000 | #Constraints: 19648
1884.03/1889.47 c #Conflicts: 423000 | #Constraints: 20648
1884.03/1889.47 c #Conflicts: 424000 | #Constraints: 21648
1884.03/1889.47 c #Conflicts: 425000 | #Constraints: 22648
1884.03/1889.47 c #Conflicts: 426000 | #Constraints: 23648
1884.03/1889.47 c #Conflicts: 427000 | #Constraints: 24648
1884.03/1889.47 c #Conflicts: 428000 | #Constraints: 25648
1884.03/1889.47 c #Conflicts: 429000 | #Constraints: 26648
1884.03/1889.47 c #Conflicts: 430000 | #Constraints: 27648
1884.03/1889.47 c #Conflicts: 431000 | #Constraints: 28648
1884.03/1889.47 c #Conflicts: 432000 | #Constraints: 29648
1884.03/1889.47 c #Conflicts: 433000 | #Constraints: 30648
1884.03/1889.47 c INPROCESSING
1884.03/1889.47 c GARBAGE COLLECT
1884.03/1889.47 c #Conflicts: 434000 | #Constraints: 18634
1884.03/1889.47 c #Conflicts: 435000 | #Constraints: 19634
1884.03/1889.47 c #Conflicts: 436000 | #Constraints: 20634
1884.03/1889.47 c #Conflicts: 437000 | #Constraints: 21634
2100.97/2107.05 c #Conflicts: 438000 | #Constraints: 22634
2100.97/2107.05 c #Conflicts: 439000 | #Constraints: 23634
2100.97/2107.05 c #Conflicts: 440000 | #Constraints: 24634
2100.97/2107.05 c #Conflicts: 441000 | #Constraints: 25634
2100.97/2107.05 c #Conflicts: 442000 | #Constraints: 26634
2100.97/2107.05 c #Conflicts: 443000 | #Constraints: 27634
2100.97/2107.05 c #Conflicts: 444000 | #Constraints: 28634
2100.97/2107.05 c #Conflicts: 445000 | #Constraints: 29634
2100.97/2107.05 c #Conflicts: 446000 | #Constraints: 30634
2100.97/2107.05 c INPROCESSING
2100.97/2107.05 c GARBAGE COLLECT
2100.97/2107.05 c #Conflicts: 447000 | #Constraints: 18436
2100.97/2107.05 c #Conflicts: 448000 | #Constraints: 19436
2100.97/2107.05 c #Conflicts: 449000 | #Constraints: 20436
2100.97/2107.05 c #Conflicts: 450000 | #Constraints: 21436
2100.97/2107.05 c #Conflicts: 451000 | #Constraints: 22436
2100.97/2107.05 c #Conflicts: 452000 | #Constraints: 23436
2100.97/2107.05 c #Conflicts: 453000 | #Constraints: 24436
2100.97/2107.05 c #Conflicts: 454000 | #Constraints: 25436
2100.97/2107.05 c #Conflicts: 455000 | #Constraints: 26436
2100.97/2107.05 c #Conflicts: 456000 | #Constraints: 27436
2100.97/2107.05 c #Conflicts: 457000 | #Constraints: 28436
2100.97/2107.05 c #Conflicts: 458000 | #Constraints: 29436
2100.97/2107.05 c #Conflicts: 459000 | #Constraints: 30436
2100.97/2107.05 c #Conflicts: 460000 | #Constraints: 31436
2100.97/2107.05 c INPROCESSING
2100.97/2107.05 c GARBAGE COLLECT
2100.97/2107.05 c #Conflicts: 461000 | #Constraints: 19115
2100.97/2107.05 c #Conflicts: 462000 | #Constraints: 20115
2100.97/2107.05 c #Conflicts: 463000 | #Constraints: 21115
2100.97/2107.05 c #Conflicts: 464000 | #Constraints: 22115
2100.97/2107.05 c #Conflicts: 465000 | #Constraints: 23115
2100.97/2107.05 c #Conflicts: 466000 | #Constraints: 24115
2100.97/2107.05 c #Conflicts: 467000 | #Constraints: 25115
2100.97/2107.05 c #Conflicts: 468000 | #Constraints: 26115
2100.97/2107.05 c #Conflicts: 469000 | #Constraints: 27115
2100.97/2107.05 c #Conflicts: 470000 | #Constraints: 28115
2100.97/2107.05 c #Conflicts: 471000 | #Constraints: 29115
2100.97/2107.05 c #Conflicts: 472000 | #Constraints: 30115
2100.97/2107.05 c #Conflicts: 473000 | #Constraints: 31115
2100.97/2107.05 c #Conflicts: 474000 | #Constraints: 32115
2100.97/2107.05 c INPROCESSING
2100.97/2107.05 c GARBAGE COLLECT
2100.97/2107.05 c #Conflicts: 475000 | #Constraints: 19548
2100.97/2107.05 c #Conflicts: 476000 | #Constraints: 20548
2100.97/2107.05 c #Conflicts: 477000 | #Constraints: 21548
2100.97/2107.05 c #Conflicts: 478000 | #Constraints: 22548
2100.97/2107.05 c #Conflicts: 479000 | #Constraints: 23548
2100.97/2107.05 c #Conflicts: 480000 | #Constraints: 24548
2100.97/2107.05 c #Conflicts: 481000 | #Constraints: 25548
2100.97/2107.05 c #Conflicts: 482000 | #Constraints: 26548
2100.97/2107.05 c #Conflicts: 483000 | #Constraints: 27548
2100.97/2107.05 c #Conflicts: 484000 | #Constraints: 28548
2100.97/2107.05 c #Conflicts: 485000 | #Constraints: 29548
2100.97/2107.05 c Input conflict
2100.97/2107.05 c bounds - >= 2809810 @ 2097.61
2100.97/2107.05 d SOLVEDBY oll
2100.97/2107.05 c cpu time 2097.61 s
2100.97/2107.05 c deterministic time 142251145961 1.42e+11
2100.97/2107.05 c optimization time 0.026164 s
2100.97/2107.05 c total solve time 1798.33 s
2100.97/2107.05 c core-guided solve time 1798.33 s
2100.97/2107.05 c propagation time 829.815 s
2100.97/2107.05 c conflict analysis time 934.368 s
2100.97/2107.05 c propagations 392697796
2100.97/2107.05 c resolve steps 28033917
2100.97/2107.05 c decisions 1368371
2100.97/2107.05 c conflicts 485842
2100.97/2107.05 c restarts 1022
2100.97/2107.05 c inprocessing phases 60
2100.97/2107.05 c input clauses 4254
2100.97/2107.05 c input cardinalities 7
2100.97/2107.05 c input general constraints 3827
2100.97/2107.05 c input average constraint length 10.17
2100.97/2107.05 c input average constraint degree 13640343.19
2100.97/2107.05 c learned clauses 263520
2100.97/2107.05 c learned cardinalities 325
2100.97/2107.05 c learned general constraints 221997
2100.97/2107.05 c learned average constraint length 1100.99
2100.97/2107.05 c learned average constraint degree 138990991.79
2100.97/2107.05 c watched constraints 149838
2100.97/2107.05 c counting constraints 75986
2100.97/2107.05 c gcd simplifications 45806
2100.97/2107.05 c detected cardinalities 32
2100.97/2107.05 c weakened non-implied lits 212058051
2100.97/2107.05 c weakened non-implying lits 995306
2100.97/2107.05 c original variables 14620
2100.97/2107.05 c clausal propagations 323668686
2100.97/2107.05 c cardinality propagations 2068662
2100.97/2107.05 c watched propagations 2731774
2100.97/2107.05 c counting propagations 63552536
2100.97/2107.05 c watch lookups 21891833941
2100.97/2107.05 c watch backjump lookups 20697462539
2100.97/2107.05 c watch checks 65370856307
2100.97/2107.05 c propagation checks 30233128800
2100.97/2107.05 c constraint additions 3269252262
2100.97/2107.05 c trail pops 394545944
2100.97/2107.05 c formula constraints 7573
2100.97/2107.05 c learned constraints 485842
2100.97/2107.05 c bound constraints 515
2100.97/2107.05 c core-guided constraints 0
2100.97/2107.05 c encountered formula constraints 23999877
2100.97/2107.05 c encountered learned constraints 4480356
2100.97/2107.05 c encountered bound constraints 39527
2100.97/2107.05 c encountered core-guided constraints 0
2100.97/2107.05 c LP total time 0 s
2100.97/2107.05 c LP solve time 0 s
2100.97/2107.05 c LP constraints added 0
2100.97/2107.05 c LP constraints removed 0
2100.97/2107.05 c LP pivots internal 0
2100.97/2107.05 c LP pivots root 0
2100.97/2107.05 c LP calls 0
2100.97/2107.05 c LP optimalities 0
2100.97/2107.05 c LP no pivot count 0
2100.97/2107.05 c LP infeasibilities 0
2100.97/2107.05 c LP valid Farkas constraints 0
2100.97/2107.05 c LP learned Farkas constraints 0
2100.97/2107.05 c LP basis resets 0
2100.97/2107.05 c LP cycling count 0
2100.97/2107.05 c LP singular count 0
2100.97/2107.05 c LP no primal count 0
2100.97/2107.05 c LP no farkas count 0
2100.97/2107.05 c LP other issue count 0
2100.97/2107.05 c LP Gomory cuts 0
2100.97/2107.05 c LP learned cuts 0
2100.97/2107.05 c LP deleted cuts 0
2100.97/2107.05 c LP encountered Gomory constraints 0
2100.97/2107.05 c LP encountered Farkas constraints 0
2100.97/2107.05 c LP encountered learned Farkas constraints 0
2100.97/2107.05 c CG auxiliary variables introduced 0
2100.97/2107.05 c CG solutions found 0
2100.97/2107.05 c CG cores constructed 1
2100.97/2107.05 c CG core cardinality constraints returned 0
2100.97/2107.05 c CG unit cores 0
2100.97/2107.05 c CG single cores 1
2100.97/2107.05 c CG blocks removed during cardinality reduction 0
2100.97/2107.05 c CG first core best 0
2100.97/2107.05 c CG decision core best 0
2100.97/2107.05 c CG core reduction tie 0
2100.97/2107.05 c CG core degree average 1.00
2100.97/2107.05 c CG core slack average 8.00
2100.97/2107.05 c CG exhausted 0
2100.97/2107.05 c CG exhaust time 0 s
2100.97/2107.05 c CG trimmed 8
2100.97/2107.05 c CG trim time 0.015001 s
2100.97/2107.05 c CG minimized 0
2100.97/2107.05 c CG minimize time 0 s
2100.97/2107.05 c CG am1 prop time 5.1e-05 s
2100.97/2107.05 c CG # am1s reformulated 0
2100.97/2107.05 c CG lower bound derived from am1s 0
2100.97/2107.05 c CG # clausal cores 1
2100.97/2107.05 c CG # cardinality cores 0
2100.97/2107.05 c CG # pb cores 0
2100.97/2107.05 c CG # pb reforms 0
2100.97/2107.05 c CG # cores discarded because of pb reform 0
2100.97/2107.05 d LOWERBOUND 0
2100.97/2107.05 d NCORES 1
2100.97/2107.05 d NPBCORES 0
2100.97/2107.05 d NPBREFORM 0
2100.97/2107.05 d NTRIMMED 8
2100.97/2107.05 d NEXHAUSTED 0
2100.97/2107.05 d NAM1S 0
2100.97/2107.05 d AM1LB 0
2100.97/2107.05 c [Papilo Statistics]
2100.97/2107.05 c prepro time 0.0458792s
2100.97/2107.05 c # tsx applied 18190
2100.97/2107.05 c # tsx conflicts 0
2100.97/2107.05 c # bound changes 170
2100.97/2107.05 c # side changes 3570
2100.97/2107.05 c # coef changes 46410
2100.97/2107.05 c # rounds 3
2100.97/2107.05 c # deted vars 7310
2100.97/2107.05 c # deted constrs 14282
2100.97/2107.05 c # consecutive rounds of only bound changes 0
2100.97/2107.05 c [STEP] postprocessing with Papilo
2100.97/2107.05 c [Papilo ERROR] Postsolving solution failed. Please use debug mode to obtain more information.
2100.97/2107.05 c ERROR in papilo postprocessing
2100.97/2107.05 o 0
2100.97/2107.05 s OPTIMUM FOUND
2100.97/2107.05 v
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: 63708 MiB (62363 MiB free)
memory of node 1: 64465 MiB (61865 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504103-1751451040/watcher-4504103-1751451040 -o /tmp/evaluation-result-4504103-1751451040/solver-4504103-1751451040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63812 --watchdog 3760 mixed-bag HOME/instance-4504103-1751451040.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=64293, runsolver pid=64290
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.16 4.13 4.08 5/264 64294
/proc/meminfo: memFree=127202796/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=111384 memory=29536 CPUtime=0.08 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 7083 0 0 0 7 1 0 0 20 0 1 0 60781926 114057216 7384 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 27846 7384 2240 2842 0 9540 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 111384 KiB
Current children cumulated memory: 29536 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.16 4.13 4.08 5/264 64294
/proc/meminfo: memFree=127162728/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=148932 memory=73148 CPUtime=0.19 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 16801 0 0 0 16 3 0 0 20 0 1 0 60781926 152506368 18287 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 37233 18287 4064 2842 0 18927 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148932 KiB
Current children cumulated memory: 73148 KiB
[startup+0.305432 s]*
/proc/loadavg: 4.16 4.13 4.08 5/264 64294
/proc/meminfo: memFree=127150884/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=164404 memory=88596 CPUtime=0.29 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 21942 0 0 0 25 4 0 0 20 0 1 0 60781926 168349696 22149 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 41101 22149 4096 2842 0 22795 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 164404 KiB
Current children cumulated memory: 88596 KiB
[startup+0.70013 s]
/proc/loadavg: 4.16 4.13 4.08 5/264 64294
/proc/meminfo: memFree=127137276/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=222888 memory=133448 CPUtime=0.68 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 33563 0 0 0 62 6 0 0 20 0 1 0 60781926 228237312 33362 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 55722 33362 4288 2842 0 37416 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 222888 KiB
Current children cumulated memory: 133448 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.13 4.08 5/264 64294
/proc/meminfo: memFree=127099224/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=225916 memory=137288 CPUtime=1.48 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 34533 0 0 0 142 6 0 0 20 0 1 0 60781926 231337984 34322 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 56479 34322 4288 2842 0 38173 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225916 KiB
Current children cumulated memory: 137288 KiB
[startup+3.10531 s]
/proc/loadavg: 4.14 4.13 4.08 5/264 64295
/proc/meminfo: memFree=127099296/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=226312 memory=137800 CPUtime=3.08 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 34660 0 0 0 302 6 0 0 20 0 1 0 60781926 231743488 34450 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 56578 34450 4288 2842 0 38272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226312 KiB
Current children cumulated memory: 137800 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.13 4.08 5/264 64295
/proc/meminfo: memFree=127091660/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=235248 memory=145224 CPUtime=6.26 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 36545 0 0 0 620 6 0 0 20 0 1 0 60781926 240893952 36306 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 58812 36306 4288 2842 0 40506 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 235248 KiB
Current children cumulated memory: 145224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.07 5/264 64295
/proc/meminfo: memFree=127075784/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=252140 memory=160712 CPUtime=12.64 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 40466 0 0 0 1258 6 0 0 20 0 1 0 60781926 258191360 40178 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 63035 40178 4288 2842 0 44729 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 252140 KiB
Current children cumulated memory: 160712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.07 5/264 64295
/proc/meminfo: memFree=127066736/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=263616 memory=171720 CPUtime=25.4 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 43344 0 0 0 2533 7 0 0 20 0 1 0 60781926 269942784 42930 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 65904 42930 4288 2842 0 47598 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 263616 KiB
Current children cumulated memory: 171720 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.13 4.08 5/263 64296
/proc/meminfo: memFree=127030960/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=293464 memory=201544 CPUtime=50.93 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 50804 0 0 0 5085 8 0 0 20 0 1 0 60781926 300507136 50386 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 73366 50386 4288 2842 0 55060 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 293464 KiB
Current children cumulated memory: 201544 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/263 64343
/proc/meminfo: memFree=127897168/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=293464 memory=201544 CPUtime=101.98 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 50805 0 0 0 10190 8 0 0 20 0 1 0 60781926 300507136 50386 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 73366 50386 4288 2842 0 55060 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 293464 KiB
Current children cumulated memory: 201544 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.22 4.11 5/264 64346
/proc/meminfo: memFree=127752912/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=310260 memory=218452 CPUtime=161.81 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 56062 0 0 0 16172 9 0 0 20 0 1 0 60781926 317706240 54613 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 77565 54613 4288 2842 0 59259 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 310260 KiB
Current children cumulated memory: 218452 KiB
[startup+222.3 s]
/proc/loadavg: 4.38 4.23 4.12 5/265 64349
/proc/meminfo: memFree=127592796/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=315828 memory=223700 CPUtime=221.64 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 57365 0 0 0 22155 9 0 0 20 0 1 0 60781926 323407872 55925 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 78957 55925 4288 2842 0 60651 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 315828 KiB
Current children cumulated memory: 223700 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 4.26 4.14 5/264 64351
/proc/meminfo: memFree=127524312/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=315828 memory=223956 CPUtime=281.47 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 57452 0 0 0 28138 9 0 0 20 0 1 0 60781926 323407872 55989 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 78957 55989 4288 2842 0 60651 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 315828 KiB
Current children cumulated memory: 223956 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.24 4.14 5/265 64358
/proc/meminfo: memFree=127409304/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=315948 memory=240176 CPUtime=341.31 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 59668 0 0 0 34100 31 0 0 20 0 1 0 60781926 323530752 60044 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 78987 60044 4480 2842 0 60681 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 315948 KiB
Current children cumulated memory: 240176 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.22 4.14 5/265 64360
/proc/meminfo: memFree=127254980/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=334916 memory=246776 CPUtime=401.13 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 60284 0 0 0 40067 46 0 0 20 0 1 0 60781926 342953984 61694 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 83729 61694 4480 2842 0 65423 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 334916 KiB
Current children cumulated memory: 246776 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.13 5/264 64362
/proc/meminfo: memFree=127211456/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=334916 memory=259256 CPUtime=460.95 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 60349 0 0 0 46035 60 0 0 20 0 1 0 60781926 342953984 64814 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 83729 64814 4480 2842 0 65423 0
################
# More data... #
################
/proc/loadavg: 4.04 4.08 4.08 5/262 64420
/proc/meminfo: memFree=125695892/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=328460 CPUtime=1657.6 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61658 0 0 0 165489 271 0 0 20 0 1 0 60781926 425803776 82115 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 82115 4480 2842 0 85650 0
Current children cumulated CPU time: 1657.6 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 328460 KiB
[startup+1722.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 64426
/proc/meminfo: memFree=125667960/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=328460 CPUtime=1717.43 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61658 0 0 0 171463 280 0 0 20 0 1 0 60781926 425803776 82115 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 82115 4480 2842 0 85650 0
Current children cumulated CPU time: 1717.43 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 328460 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 64428
/proc/meminfo: memFree=125588620/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=1777.25 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61736 0 0 0 177435 290 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 1777.25 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+1842.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 64430
/proc/meminfo: memFree=125551704/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=1837.06 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61736 0 0 0 183407 299 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 1837.06 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+1902.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 64432
/proc/meminfo: memFree=125494724/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=1896.88 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61739 0 0 0 189379 309 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 1896.88 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+1962.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 64434
/proc/meminfo: memFree=125509136/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=1956.7 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61739 0 0 0 195350 320 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 1956.7 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2022.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 64436
/proc/meminfo: memFree=125339812/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2016.52 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 201321 331 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2016.52 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2082.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 64438
/proc/meminfo: memFree=125309924/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2076.34 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 207296 338 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2076.34 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2107.06 s]
# the end of solver process 64293 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2097.61 s, system=3.42712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 64438
/proc/meminfo: memFree=125310248/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2080.42 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 207703 339 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2080.42 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2099.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313432/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2093.19 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 208978 341 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2093.19 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2102.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313440/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2096.38 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 209296 342 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2096.38 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2105.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313440/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2099.57 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 209615 342 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2099.57 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2106.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313692/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2100.37 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 209695 342 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2100.37 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2106.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313692/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2100.77 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 209735 342 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2100.77 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
[startup+2107 s]*
/proc/loadavg: 4.10 4.09 4.09 5/263 64438
/proc/meminfo: memFree=125313692/131249996 swapFree=33005272/33010684
[pid=64293] ppid=64290 vsize=415824 memory=336652 CPUtime=2100.97 cores=5,7
/proc/64293/stat : 64293 (mixed-bag) R 64290 64293 63799 0 -1 4194304 61740 0 0 0 209755 342 0 0 20 0 1 0 60781926 425803776 84163 18446744073709551615 4235264 15874749 140724087445264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55779328 140724087450012 140724087450089 140724087450089 140724087455691 0
/proc/64293/statm: 103956 84163 4480 2842 0 85650 0
Current children cumulated CPU time: 2100.97 s
Current children cumulated vsize: 415824 KiB
Current children cumulated memory: 336652 KiB
Child status: 0
Real time (s): 2107.06
CPU time (s): 2101.04
CPU user time (s): 2097.61
CPU system time (s): 3.42712
CPU usage (%): 99.7141
Max. virtual memory (cumulated for all children) (KiB): 415824
Max. memory (cumulated for all children) (KiB): 336652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2097.61
system time used= 3.42712
maximum resident set size= 337036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61761
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= 180
involuntary context switches= 10916
# summary of solver processes directly reported to runsolver:
# pid: 64293
# total CPU time (s): 2101.04
# total CPU user time (s): 2097.61
# total CPU system time (s): 3.42712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91684 second user time and 8.97288 second system time
The end
Begin job on nodeC023 at 2025-07-02 12:10:41
IDJOB=4504103
IDBENCH=155633
IDSOLVER=3340
FILE ID=nodeC023/4504103-1751451040
RUNJOBID= nodeC023-1751447326-63812
SLURM_JOB_ID= 9598425
Free space on /tmp= 431908 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504103-1751451040/watcher-4504103-1751451040 -o /tmp/evaluation-result-4504103-1751451040/solver-4504103-1751451040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63812 --watchdog 3760 mixed-bag HOME/instance-4504103-1751451040.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11a369abd963989a0475f7e0477b1a8
RANDOM SEED=304226972
nodeC023 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 : 0xb00002a
cpu MHz : 3599.917
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3599.860
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3605.170
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3426.869
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3599.916
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3599.898
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
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 : 0xb00002a
cpu MHz : 3658.063
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127210512 kB
MemAvailable: 128313844 kB
Buffers: 1328 kB
Cached: 1900804 kB
SwapCached: 372 kB
Active: 1703820 kB
Inactive: 1729708 kB
Active(anon): 1490316 kB
Inactive(anon): 54520 kB
Active(file): 213504 kB
Inactive(file): 1675188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16768 kB
Writeback: 0 kB
AnonPages: 1532732 kB
Mapped: 134064 kB
Shmem: 13440 kB
KReclaimable: 107760 kB
Slab: 195984 kB
SReclaimable: 107760 kB
SUnreclaim: 88224 kB
KernelStack: 4256 kB
PageTables: 6340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2152428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1087488 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431892 MiB
End job on nodeC023 at 2025-07-02 12:45:48