0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.10/0.13 c [STEP] preprocessing with Papilo
0.21/0.24 c [STEP] solving with SCIP
299.91/300.97 c [STEP] preprocessing done, loading into solver
300.03/301.01 c [STEP] solving
300.03/301.01 c #variables 45628 #constraints 1554
300.03/301.01 c SMALL=int, LARGE=long long
300.03/301.01 d SCIPUB 59
300.03/301.01 c bounds - >= 0 @ 299.534
300.03/301.01 c stratification level: 0
441.87/443.35 c #Conflicts: 1000 | #Constraints: 2555
441.87/443.35 c #Conflicts: 2000 | #Constraints: 3555
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 3000 | #Constraints: 3569
441.87/443.35 c #Conflicts: 4000 | #Constraints: 4569
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 5000 | #Constraints: 3983
441.87/443.35 c #Conflicts: 6000 | #Constraints: 4983
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 7000 | #Constraints: 3987
441.87/443.35 c #Conflicts: 8000 | #Constraints: 4987
441.87/443.35 c #Conflicts: 9000 | #Constraints: 5987
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 10000 | #Constraints: 4689
441.87/443.35 c #Conflicts: 11000 | #Constraints: 5689
441.87/443.35 c #Conflicts: 12000 | #Constraints: 6689
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 13000 | #Constraints: 5137
441.87/443.35 c #Conflicts: 14000 | #Constraints: 6137
441.87/443.35 c #Conflicts: 15000 | #Constraints: 7137
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 16000 | #Constraints: 5361
441.87/443.35 c #Conflicts: 17000 | #Constraints: 6361
441.87/443.35 c #Conflicts: 18000 | #Constraints: 7361
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 19000 | #Constraints: 5373
441.87/443.35 c #Conflicts: 20000 | #Constraints: 6373
441.87/443.35 c #Conflicts: 21000 | #Constraints: 7373
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 22000 | #Constraints: 5175
441.87/443.35 c #Conflicts: 23000 | #Constraints: 6175
441.87/443.35 c #Conflicts: 24000 | #Constraints: 7175
441.87/443.35 c #Conflicts: 25000 | #Constraints: 8175
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 26000 | #Constraints: 5783
441.87/443.35 c #Conflicts: 27000 | #Constraints: 6783
441.87/443.35 c #Conflicts: 28000 | #Constraints: 7783
441.87/443.35 c #Conflicts: 29000 | #Constraints: 8783
441.87/443.35 c INPROCESSING
441.87/443.35 c GARBAGE COLLECT
441.87/443.35 c #Conflicts: 30000 | #Constraints: 6182
441.87/443.35 c #Conflicts: 31000 | #Constraints: 7182
441.87/443.35 c #Conflicts: 32000 | #Constraints: 8182
441.87/443.35 c #Conflicts: 33000 | #Constraints: 9182
441.87/443.35 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 34000 | #Constraints: 6382
441.87/443.36 c #Conflicts: 35000 | #Constraints: 7382
441.87/443.36 c #Conflicts: 36000 | #Constraints: 8382
441.87/443.36 c #Conflicts: 37000 | #Constraints: 9382
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 38000 | #Constraints: 6391
441.87/443.36 c #Conflicts: 39000 | #Constraints: 7391
441.87/443.36 c #Conflicts: 40000 | #Constraints: 8391
441.87/443.36 c #Conflicts: 41000 | #Constraints: 9391
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 42000 | #Constraints: 6201
441.87/443.36 c #Conflicts: 43000 | #Constraints: 7201
441.87/443.36 c #Conflicts: 44000 | #Constraints: 8201
441.87/443.36 c #Conflicts: 45000 | #Constraints: 9201
441.87/443.36 c #Conflicts: 46000 | #Constraints: 10201
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 47000 | #Constraints: 6792
441.87/443.36 c #Conflicts: 48000 | #Constraints: 7792
441.87/443.36 c #Conflicts: 49000 | #Constraints: 8792
441.87/443.36 c #Conflicts: 50000 | #Constraints: 9792
441.87/443.36 c #Conflicts: 51000 | #Constraints: 10792
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 52000 | #Constraints: 7190
441.87/443.36 c #Conflicts: 53000 | #Constraints: 8190
441.87/443.36 c #Conflicts: 54000 | #Constraints: 9190
441.87/443.36 c #Conflicts: 55000 | #Constraints: 10190
441.87/443.36 c #Conflicts: 56000 | #Constraints: 11190
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 57000 | #Constraints: 7386
441.87/443.36 c #Conflicts: 58000 | #Constraints: 8386
441.87/443.36 c #Conflicts: 59000 | #Constraints: 9386
441.87/443.36 c #Conflicts: 60000 | #Constraints: 10386
441.87/443.36 c #Conflicts: 61000 | #Constraints: 11386
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 62000 | #Constraints: 7392
441.87/443.36 c #Conflicts: 63000 | #Constraints: 8392
441.87/443.36 c #Conflicts: 64000 | #Constraints: 9392
441.87/443.36 c #Conflicts: 65000 | #Constraints: 10392
441.87/443.36 c #Conflicts: 66000 | #Constraints: 11392
441.87/443.36 c INPROCESSING
441.87/443.36 c GARBAGE COLLECT
441.87/443.36 c #Conflicts: 67000 | #Constraints: 7190
441.87/443.36 c #Conflicts: 68000 | #Constraints: 8190
720.73/723.07 c #Conflicts: 69000 | #Constraints: 9190
720.73/723.07 c #Conflicts: 70000 | #Constraints: 10190
720.73/723.07 c #Conflicts: 71000 | #Constraints: 11190
720.73/723.07 c #Conflicts: 72000 | #Constraints: 12190
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 73000 | #Constraints: 7783
720.73/723.07 c #Conflicts: 74000 | #Constraints: 8783
720.73/723.07 c #Conflicts: 75000 | #Constraints: 9783
720.73/723.07 c #Conflicts: 76000 | #Constraints: 10783
720.73/723.07 c #Conflicts: 77000 | #Constraints: 11783
720.73/723.07 c #Conflicts: 78000 | #Constraints: 12783
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 79000 | #Constraints: 8188
720.73/723.07 c #Conflicts: 80000 | #Constraints: 9188
720.73/723.07 c #Conflicts: 81000 | #Constraints: 10188
720.73/723.07 c #Conflicts: 82000 | #Constraints: 11188
720.73/723.07 c #Conflicts: 83000 | #Constraints: 12188
720.73/723.07 c #Conflicts: 84000 | #Constraints: 13188
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 85000 | #Constraints: 8396
720.73/723.07 c #Conflicts: 86000 | #Constraints: 9396
720.73/723.07 c #Conflicts: 87000 | #Constraints: 10396
720.73/723.07 c #Conflicts: 88000 | #Constraints: 11396
720.73/723.07 c #Conflicts: 89000 | #Constraints: 12396
720.73/723.07 c #Conflicts: 90000 | #Constraints: 13396
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 91000 | #Constraints: 8392
720.73/723.07 c #Conflicts: 92000 | #Constraints: 9392
720.73/723.07 c #Conflicts: 93000 | #Constraints: 10392
720.73/723.07 c #Conflicts: 94000 | #Constraints: 11392
720.73/723.07 c #Conflicts: 95000 | #Constraints: 12392
720.73/723.07 c #Conflicts: 96000 | #Constraints: 13392
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 97000 | #Constraints: 8194
720.73/723.07 c #Conflicts: 98000 | #Constraints: 9194
720.73/723.07 c #Conflicts: 99000 | #Constraints: 10194
720.73/723.07 c #Conflicts: 100000 | #Constraints: 11194
720.73/723.07 c #Conflicts: 101000 | #Constraints: 12194
720.73/723.07 c #Conflicts: 102000 | #Constraints: 13194
720.73/723.07 c #Conflicts: 103000 | #Constraints: 14194
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 104000 | #Constraints: 8784
720.73/723.07 c #Conflicts: 105000 | #Constraints: 9784
720.73/723.07 c #Conflicts: 106000 | #Constraints: 10784
720.73/723.07 c #Conflicts: 107000 | #Constraints: 11784
720.73/723.07 c #Conflicts: 108000 | #Constraints: 12784
720.73/723.07 c #Conflicts: 109000 | #Constraints: 13784
720.73/723.07 c #Conflicts: 110000 | #Constraints: 14784
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 111000 | #Constraints: 9187
720.73/723.07 c #Conflicts: 112000 | #Constraints: 10187
720.73/723.07 c #Conflicts: 113000 | #Constraints: 11187
720.73/723.07 c #Conflicts: 114000 | #Constraints: 12187
720.73/723.07 c #Conflicts: 115000 | #Constraints: 13187
720.73/723.07 c #Conflicts: 116000 | #Constraints: 14187
720.73/723.07 c #Conflicts: 117000 | #Constraints: 15187
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 118000 | #Constraints: 9393
720.73/723.07 c #Conflicts: 119000 | #Constraints: 10393
720.73/723.07 c #Conflicts: 120000 | #Constraints: 11393
720.73/723.07 c #Conflicts: 121000 | #Constraints: 12393
720.73/723.07 c #Conflicts: 122000 | #Constraints: 13393
720.73/723.07 c #Conflicts: 123000 | #Constraints: 14393
720.73/723.07 c #Conflicts: 124000 | #Constraints: 15393
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 125000 | #Constraints: 9388
720.73/723.07 c #Conflicts: 126000 | #Constraints: 10388
720.73/723.07 c #Conflicts: 127000 | #Constraints: 11388
720.73/723.07 c #Conflicts: 128000 | #Constraints: 12388
720.73/723.07 c #Conflicts: 129000 | #Constraints: 13388
720.73/723.07 c #Conflicts: 130000 | #Constraints: 14388
720.73/723.07 c #Conflicts: 131000 | #Constraints: 15388
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 132000 | #Constraints: 9192
720.73/723.07 c #Conflicts: 133000 | #Constraints: 10192
720.73/723.07 c #Conflicts: 134000 | #Constraints: 11192
720.73/723.07 c #Conflicts: 135000 | #Constraints: 12192
720.73/723.07 c #Conflicts: 136000 | #Constraints: 13192
720.73/723.07 c #Conflicts: 137000 | #Constraints: 14192
720.73/723.07 c #Conflicts: 138000 | #Constraints: 15192
720.73/723.07 c #Conflicts: 139000 | #Constraints: 16192
720.73/723.07 c INPROCESSING
720.73/723.07 c GARBAGE COLLECT
720.73/723.07 c #Conflicts: 140000 | #Constraints: 9792
1021.41/1024.63 c #Conflicts: 141000 | #Constraints: 10792
1021.41/1024.63 c #Conflicts: 142000 | #Constraints: 11792
1021.41/1024.63 c #Conflicts: 143000 | #Constraints: 12792
1021.41/1024.63 c #Conflicts: 144000 | #Constraints: 13792
1021.41/1024.63 c #Conflicts: 145000 | #Constraints: 14792
1021.41/1024.63 c #Conflicts: 146000 | #Constraints: 15792
1021.41/1024.63 c #Conflicts: 147000 | #Constraints: 16792
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 148000 | #Constraints: 10197
1021.41/1024.63 c #Conflicts: 149000 | #Constraints: 11197
1021.41/1024.63 c #Conflicts: 150000 | #Constraints: 12197
1021.41/1024.63 c #Conflicts: 151000 | #Constraints: 13197
1021.41/1024.63 c #Conflicts: 152000 | #Constraints: 14197
1021.41/1024.63 c #Conflicts: 153000 | #Constraints: 15197
1021.41/1024.63 c #Conflicts: 154000 | #Constraints: 16197
1021.41/1024.63 c #Conflicts: 155000 | #Constraints: 17197
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 156000 | #Constraints: 10401
1021.41/1024.63 c #Conflicts: 157000 | #Constraints: 11401
1021.41/1024.63 c #Conflicts: 158000 | #Constraints: 12401
1021.41/1024.63 c #Conflicts: 159000 | #Constraints: 13401
1021.41/1024.63 c #Conflicts: 160000 | #Constraints: 14401
1021.41/1024.63 c #Conflicts: 161000 | #Constraints: 15401
1021.41/1024.63 c #Conflicts: 162000 | #Constraints: 16401
1021.41/1024.63 c #Conflicts: 163000 | #Constraints: 17401
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 164000 | #Constraints: 10406
1021.41/1024.63 c #Conflicts: 165000 | #Constraints: 11406
1021.41/1024.63 c #Conflicts: 166000 | #Constraints: 12406
1021.41/1024.63 c #Conflicts: 167000 | #Constraints: 13406
1021.41/1024.63 c #Conflicts: 168000 | #Constraints: 14406
1021.41/1024.63 c #Conflicts: 169000 | #Constraints: 15406
1021.41/1024.63 c #Conflicts: 170000 | #Constraints: 16406
1021.41/1024.63 c #Conflicts: 171000 | #Constraints: 17406
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 172000 | #Constraints: 10198
1021.41/1024.63 c #Conflicts: 173000 | #Constraints: 11198
1021.41/1024.63 c #Conflicts: 174000 | #Constraints: 12198
1021.41/1024.63 c #Conflicts: 175000 | #Constraints: 13198
1021.41/1024.63 c #Conflicts: 176000 | #Constraints: 14198
1021.41/1024.63 c #Conflicts: 177000 | #Constraints: 15198
1021.41/1024.63 c #Conflicts: 178000 | #Constraints: 16198
1021.41/1024.63 c #Conflicts: 179000 | #Constraints: 17198
1021.41/1024.63 c #Conflicts: 180000 | #Constraints: 18198
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 181000 | #Constraints: 10790
1021.41/1024.63 c #Conflicts: 182000 | #Constraints: 11790
1021.41/1024.63 c #Conflicts: 183000 | #Constraints: 12790
1021.41/1024.63 c #Conflicts: 184000 | #Constraints: 13790
1021.41/1024.63 c #Conflicts: 185000 | #Constraints: 14790
1021.41/1024.63 c #Conflicts: 186000 | #Constraints: 15790
1021.41/1024.63 c #Conflicts: 187000 | #Constraints: 16790
1021.41/1024.63 c #Conflicts: 188000 | #Constraints: 17790
1021.41/1024.63 c #Conflicts: 189000 | #Constraints: 18790
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 190000 | #Constraints: 11193
1021.41/1024.63 c #Conflicts: 191000 | #Constraints: 12193
1021.41/1024.63 c #Conflicts: 192000 | #Constraints: 13193
1021.41/1024.63 c #Conflicts: 193000 | #Constraints: 14193
1021.41/1024.63 c #Conflicts: 194000 | #Constraints: 15193
1021.41/1024.63 c #Conflicts: 195000 | #Constraints: 16193
1021.41/1024.63 c #Conflicts: 196000 | #Constraints: 17193
1021.41/1024.63 c #Conflicts: 197000 | #Constraints: 18193
1021.41/1024.63 c #Conflicts: 198000 | #Constraints: 19193
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 199000 | #Constraints: 11395
1021.41/1024.63 c #Conflicts: 200000 | #Constraints: 12395
1021.41/1024.63 c #Conflicts: 201000 | #Constraints: 13395
1021.41/1024.63 c #Conflicts: 202000 | #Constraints: 14395
1021.41/1024.63 c #Conflicts: 203000 | #Constraints: 15395
1021.41/1024.63 c #Conflicts: 204000 | #Constraints: 16395
1021.41/1024.63 c #Conflicts: 205000 | #Constraints: 17395
1021.41/1024.63 c #Conflicts: 206000 | #Constraints: 18395
1021.41/1024.63 c #Conflicts: 207000 | #Constraints: 19395
1021.41/1024.63 c INPROCESSING
1021.41/1024.63 c GARBAGE COLLECT
1021.41/1024.63 c #Conflicts: 208000 | #Constraints: 11402
1021.41/1024.63 c #Conflicts: 209000 | #Constraints: 12402
1021.41/1024.63 c #Conflicts: 210000 | #Constraints: 13402
1021.41/1024.63 c #Conflicts: 211000 | #Constraints: 14402
1021.41/1024.63 c #Conflicts: 212000 | #Constraints: 15402
1021.41/1024.63 c #Conflicts: 213000 | #Constraints: 16402
1540.40/1545.30 c #Conflicts: 214000 | #Constraints: 17402
1540.40/1545.30 c #Conflicts: 215000 | #Constraints: 18402
1540.40/1545.30 c #Conflicts: 216000 | #Constraints: 19402
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 217000 | #Constraints: 11201
1540.40/1545.30 c #Conflicts: 218000 | #Constraints: 12201
1540.40/1545.30 c #Conflicts: 219000 | #Constraints: 13201
1540.40/1545.30 c #Conflicts: 220000 | #Constraints: 14201
1540.40/1545.30 c #Conflicts: 221000 | #Constraints: 15201
1540.40/1545.30 c #Conflicts: 222000 | #Constraints: 16201
1540.40/1545.30 c #Conflicts: 223000 | #Constraints: 17201
1540.40/1545.30 c #Conflicts: 224000 | #Constraints: 18201
1540.40/1545.30 c #Conflicts: 225000 | #Constraints: 19201
1540.40/1545.30 c #Conflicts: 226000 | #Constraints: 20201
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 227000 | #Constraints: 11797
1540.40/1545.30 c #Conflicts: 228000 | #Constraints: 12797
1540.40/1545.30 c #Conflicts: 229000 | #Constraints: 13797
1540.40/1545.30 c #Conflicts: 230000 | #Constraints: 14797
1540.40/1545.30 c #Conflicts: 231000 | #Constraints: 15797
1540.40/1545.30 c #Conflicts: 232000 | #Constraints: 16797
1540.40/1545.30 c #Conflicts: 233000 | #Constraints: 17797
1540.40/1545.30 c #Conflicts: 234000 | #Constraints: 18797
1540.40/1545.30 c #Conflicts: 235000 | #Constraints: 19797
1540.40/1545.30 c #Conflicts: 236000 | #Constraints: 20797
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 237000 | #Constraints: 12192
1540.40/1545.30 c #Conflicts: 238000 | #Constraints: 13192
1540.40/1545.30 c #Conflicts: 239000 | #Constraints: 14192
1540.40/1545.30 c #Conflicts: 240000 | #Constraints: 15192
1540.40/1545.30 c #Conflicts: 241000 | #Constraints: 16192
1540.40/1545.30 c #Conflicts: 242000 | #Constraints: 17192
1540.40/1545.30 c #Conflicts: 243000 | #Constraints: 18192
1540.40/1545.30 c #Conflicts: 244000 | #Constraints: 19192
1540.40/1545.30 c #Conflicts: 245000 | #Constraints: 20192
1540.40/1545.30 c #Conflicts: 246000 | #Constraints: 21192
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 247000 | #Constraints: 12397
1540.40/1545.30 c #Conflicts: 248000 | #Constraints: 13397
1540.40/1545.30 c #Conflicts: 249000 | #Constraints: 14397
1540.40/1545.30 c #Conflicts: 250000 | #Constraints: 15397
1540.40/1545.30 c #Conflicts: 251000 | #Constraints: 16397
1540.40/1545.30 c #Conflicts: 252000 | #Constraints: 17397
1540.40/1545.30 c #Conflicts: 253000 | #Constraints: 18397
1540.40/1545.30 c #Conflicts: 254000 | #Constraints: 19397
1540.40/1545.30 c #Conflicts: 255000 | #Constraints: 20397
1540.40/1545.30 c #Conflicts: 256000 | #Constraints: 21397
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 257000 | #Constraints: 12393
1540.40/1545.30 c #Conflicts: 258000 | #Constraints: 13393
1540.40/1545.30 c #Conflicts: 259000 | #Constraints: 14393
1540.40/1545.30 c #Conflicts: 260000 | #Constraints: 15393
1540.40/1545.30 c #Conflicts: 261000 | #Constraints: 16393
1540.40/1545.30 c #Conflicts: 262000 | #Constraints: 17393
1540.40/1545.30 c #Conflicts: 263000 | #Constraints: 18393
1540.40/1545.30 c #Conflicts: 264000 | #Constraints: 19393
1540.40/1545.30 c #Conflicts: 265000 | #Constraints: 20393
1540.40/1545.30 c #Conflicts: 266000 | #Constraints: 21393
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 267000 | #Constraints: 12197
1540.40/1545.30 c #Conflicts: 268000 | #Constraints: 13197
1540.40/1545.30 c #Conflicts: 269000 | #Constraints: 14197
1540.40/1545.30 c #Conflicts: 270000 | #Constraints: 15197
1540.40/1545.30 c #Conflicts: 271000 | #Constraints: 16197
1540.40/1545.30 c #Conflicts: 272000 | #Constraints: 17197
1540.40/1545.30 c #Conflicts: 273000 | #Constraints: 18197
1540.40/1545.30 c #Conflicts: 274000 | #Constraints: 19197
1540.40/1545.30 c #Conflicts: 275000 | #Constraints: 20197
1540.40/1545.30 c #Conflicts: 276000 | #Constraints: 21197
1540.40/1545.30 c #Conflicts: 277000 | #Constraints: 22197
1540.40/1545.30 c INPROCESSING
1540.40/1545.30 c GARBAGE COLLECT
1540.40/1545.30 c #Conflicts: 278000 | #Constraints: 12792
1540.40/1545.30 c #Conflicts: 279000 | #Constraints: 13792
1540.40/1545.30 c #Conflicts: 280000 | #Constraints: 14792
1540.40/1545.30 c #Conflicts: 281000 | #Constraints: 15792
1540.40/1545.30 c #Conflicts: 282000 | #Constraints: 16792
1540.40/1545.30 c #Conflicts: 283000 | #Constraints: 17792
1540.40/1545.30 c #Conflicts: 284000 | #Constraints: 18792
1540.40/1545.30 c #Conflicts: 285000 | #Constraints: 19792
1540.40/1545.30 c #Conflicts: 286000 | #Constraints: 20792
1540.40/1545.30 c #Conflicts: 287000 | #Constraints: 21792
1540.40/1545.30 c #Conflicts: 288000 | #Constraints: 22792
1876.67/1882.57 c INPROCESSING
1876.67/1882.57 c GARBAGE COLLECT
1876.67/1882.57 c #Conflicts: 289000 | #Constraints: 13187
1876.67/1882.57 c #Conflicts: 290000 | #Constraints: 14187
1876.67/1882.57 c #Conflicts: 291000 | #Constraints: 15187
1876.67/1882.57 c #Conflicts: 292000 | #Constraints: 16187
1876.67/1882.57 c #Conflicts: 293000 | #Constraints: 17187
1876.67/1882.57 c #Conflicts: 294000 | #Constraints: 18187
1876.67/1882.57 c #Conflicts: 295000 | #Constraints: 19187
1876.67/1882.57 c #Conflicts: 296000 | #Constraints: 20187
1876.67/1882.57 c #Conflicts: 297000 | #Constraints: 21187
1876.67/1882.57 c #Conflicts: 298000 | #Constraints: 22187
1876.67/1882.57 c #Conflicts: 299000 | #Constraints: 23187
1876.67/1882.57 c INPROCESSING
1876.67/1882.57 c GARBAGE COLLECT
1876.67/1882.57 c #Conflicts: 300000 | #Constraints: 13387
1876.67/1882.57 c #Conflicts: 301000 | #Constraints: 14387
1876.67/1882.57 c #Conflicts: 302000 | #Constraints: 15387
1876.67/1882.57 c #Conflicts: 303000 | #Constraints: 16387
1876.67/1882.57 c #Conflicts: 304000 | #Constraints: 17387
1876.67/1882.57 c #Conflicts: 305000 | #Constraints: 18387
1876.67/1882.57 c #Conflicts: 306000 | #Constraints: 19387
1876.67/1882.58 c #Conflicts: 307000 | #Constraints: 20387
1876.67/1882.58 c #Conflicts: 308000 | #Constraints: 21387
1876.67/1882.58 c #Conflicts: 309000 | #Constraints: 22387
1876.67/1882.58 c #Conflicts: 310000 | #Constraints: 23387
1876.67/1882.58 c INPROCESSING
1876.67/1882.58 c GARBAGE COLLECT
1876.67/1882.58 c #Conflicts: 311000 | #Constraints: 13391
1876.67/1882.58 c #Conflicts: 312000 | #Constraints: 14391
1876.67/1882.58 c #Conflicts: 313000 | #Constraints: 15391
1876.67/1882.58 c #Conflicts: 314000 | #Constraints: 16391
1876.67/1882.58 c #Conflicts: 315000 | #Constraints: 17391
1876.67/1882.58 c #Conflicts: 316000 | #Constraints: 18391
1876.67/1882.58 c #Conflicts: 317000 | #Constraints: 19391
1876.67/1882.58 c #Conflicts: 318000 | #Constraints: 20391
1876.67/1882.58 c #Conflicts: 319000 | #Constraints: 21391
1876.67/1882.58 c #Conflicts: 320000 | #Constraints: 22391
1876.67/1882.58 c #Conflicts: 321000 | #Constraints: 23391
1876.67/1882.58 c INPROCESSING
1876.67/1882.58 c GARBAGE COLLECT
1876.67/1882.58 c #Conflicts: 322000 | #Constraints: 13188
1876.67/1882.58 c #Conflicts: 323000 | #Constraints: 14188
1876.67/1882.58 c #Conflicts: 324000 | #Constraints: 15188
1876.67/1882.58 c #Conflicts: 325000 | #Constraints: 16188
1876.67/1882.58 c #Conflicts: 326000 | #Constraints: 17188
1876.67/1882.58 c #Conflicts: 327000 | #Constraints: 18188
1876.67/1882.58 c #Conflicts: 328000 | #Constraints: 19188
1876.67/1882.58 c #Conflicts: 329000 | #Constraints: 20188
1876.67/1882.58 c #Conflicts: 330000 | #Constraints: 21188
1876.67/1882.58 c #Conflicts: 331000 | #Constraints: 22188
1876.67/1882.58 c #Conflicts: 332000 | #Constraints: 23188
1876.67/1882.58 c #Conflicts: 333000 | #Constraints: 24188
1876.67/1882.58 c INPROCESSING
1876.67/1882.58 c GARBAGE COLLECT
1876.67/1882.58 c #Conflicts: 334000 | #Constraints: 13786
1876.67/1882.58 c #Conflicts: 335000 | #Constraints: 14786
1876.67/1882.58 c #Conflicts: 336000 | #Constraints: 15786
1876.67/1882.58 c #Conflicts: 337000 | #Constraints: 16786
1876.67/1882.58 c #Conflicts: 338000 | #Constraints: 17786
1876.67/1882.58 c #Conflicts: 339000 | #Constraints: 18786
1876.67/1882.58 c #Conflicts: 340000 | #Constraints: 19786
1876.67/1882.58 c #Conflicts: 341000 | #Constraints: 20786
1876.67/1882.58 c #Conflicts: 342000 | #Constraints: 21786
1876.67/1882.58 c #Conflicts: 343000 | #Constraints: 22786
1876.67/1882.58 c #Conflicts: 344000 | #Constraints: 23786
1876.67/1882.58 c #Conflicts: 345000 | #Constraints: 24786
1876.67/1882.58 c INPROCESSING
1876.67/1882.58 c GARBAGE COLLECT
1876.67/1882.58 c #Conflicts: 346000 | #Constraints: 14183
1876.67/1882.58 c #Conflicts: 347000 | #Constraints: 15183
1876.67/1882.58 c #Conflicts: 348000 | #Constraints: 16183
1876.67/1882.58 c #Conflicts: 349000 | #Constraints: 17183
1876.67/1882.58 c #Conflicts: 350000 | #Constraints: 18183
1876.67/1882.58 c #Conflicts: 351000 | #Constraints: 19183
1876.67/1882.58 c #Conflicts: 352000 | #Constraints: 20183
1876.67/1882.58 c #Conflicts: 353000 | #Constraints: 21183
1876.67/1882.58 c #Conflicts: 354000 | #Constraints: 22183
1876.67/1882.58 c #Conflicts: 355000 | #Constraints: 23183
1876.67/1882.58 c #Conflicts: 356000 | #Constraints: 24183
1876.67/1882.58 c #Conflicts: 357000 | #Constraints: 25183
1876.67/1882.58 c INPROCESSING
1876.67/1882.58 c GARBAGE COLLECT
1876.67/1882.58 c #Conflicts: 358000 | #Constraints: 14386
1876.67/1882.58 c #Conflicts: 359000 | #Constraints: 15386
1876.67/1882.58 c #Conflicts: 360000 | #Constraints: 16386
1876.67/1882.58 c #Conflicts: 361000 | #Constraints: 17386
1876.67/1882.58 c #Conflicts: 362000 | #Constraints: 18386
2176.05/2182.82 c #Conflicts: 363000 | #Constraints: 19386
2176.05/2182.82 c #Conflicts: 364000 | #Constraints: 20386
2176.05/2182.82 c #Conflicts: 365000 | #Constraints: 21386
2176.05/2182.82 c #Conflicts: 366000 | #Constraints: 22386
2176.05/2182.82 c #Conflicts: 367000 | #Constraints: 23386
2176.05/2182.82 c #Conflicts: 368000 | #Constraints: 24386
2176.05/2182.82 c #Conflicts: 369000 | #Constraints: 25386
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 370000 | #Constraints: 14396
2176.05/2182.82 c #Conflicts: 371000 | #Constraints: 15396
2176.05/2182.82 c #Conflicts: 372000 | #Constraints: 16396
2176.05/2182.82 c #Conflicts: 373000 | #Constraints: 17396
2176.05/2182.82 c #Conflicts: 374000 | #Constraints: 18396
2176.05/2182.82 c #Conflicts: 375000 | #Constraints: 19396
2176.05/2182.82 c #Conflicts: 376000 | #Constraints: 20396
2176.05/2182.82 c #Conflicts: 377000 | #Constraints: 21396
2176.05/2182.82 c #Conflicts: 378000 | #Constraints: 22396
2176.05/2182.82 c #Conflicts: 379000 | #Constraints: 23396
2176.05/2182.82 c #Conflicts: 380000 | #Constraints: 24396
2176.05/2182.82 c #Conflicts: 381000 | #Constraints: 25396
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 382000 | #Constraints: 14193
2176.05/2182.82 c #Conflicts: 383000 | #Constraints: 15193
2176.05/2182.82 c #Conflicts: 384000 | #Constraints: 16193
2176.05/2182.82 c #Conflicts: 385000 | #Constraints: 17193
2176.05/2182.82 c #Conflicts: 386000 | #Constraints: 18193
2176.05/2182.82 c #Conflicts: 387000 | #Constraints: 19193
2176.05/2182.82 c #Conflicts: 388000 | #Constraints: 20193
2176.05/2182.82 c #Conflicts: 389000 | #Constraints: 21193
2176.05/2182.82 c #Conflicts: 390000 | #Constraints: 22193
2176.05/2182.82 c #Conflicts: 391000 | #Constraints: 23193
2176.05/2182.82 c #Conflicts: 392000 | #Constraints: 24193
2176.05/2182.82 c #Conflicts: 393000 | #Constraints: 25193
2176.05/2182.82 c #Conflicts: 394000 | #Constraints: 26193
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 395000 | #Constraints: 14792
2176.05/2182.82 c #Conflicts: 396000 | #Constraints: 15792
2176.05/2182.82 c #Conflicts: 397000 | #Constraints: 16792
2176.05/2182.82 c #Conflicts: 398000 | #Constraints: 17792
2176.05/2182.82 c #Conflicts: 399000 | #Constraints: 18792
2176.05/2182.82 c #Conflicts: 400000 | #Constraints: 19792
2176.05/2182.82 c #Conflicts: 401000 | #Constraints: 20792
2176.05/2182.82 c #Conflicts: 402000 | #Constraints: 21792
2176.05/2182.82 c #Conflicts: 403000 | #Constraints: 22792
2176.05/2182.82 c #Conflicts: 404000 | #Constraints: 23792
2176.05/2182.82 c #Conflicts: 405000 | #Constraints: 24792
2176.05/2182.82 c #Conflicts: 406000 | #Constraints: 25792
2176.05/2182.82 c #Conflicts: 407000 | #Constraints: 26792
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 408000 | #Constraints: 15188
2176.05/2182.82 c #Conflicts: 409000 | #Constraints: 16188
2176.05/2182.82 c #Conflicts: 410000 | #Constraints: 17188
2176.05/2182.82 c #Conflicts: 411000 | #Constraints: 18188
2176.05/2182.82 c #Conflicts: 412000 | #Constraints: 19188
2176.05/2182.82 c #Conflicts: 413000 | #Constraints: 20188
2176.05/2182.82 c #Conflicts: 414000 | #Constraints: 21188
2176.05/2182.82 c #Conflicts: 415000 | #Constraints: 22188
2176.05/2182.82 c #Conflicts: 416000 | #Constraints: 23188
2176.05/2182.82 c #Conflicts: 417000 | #Constraints: 24188
2176.05/2182.82 c #Conflicts: 418000 | #Constraints: 25188
2176.05/2182.82 c #Conflicts: 419000 | #Constraints: 26188
2176.05/2182.82 c #Conflicts: 420000 | #Constraints: 27188
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 421000 | #Constraints: 15394
2176.05/2182.82 c #Conflicts: 422000 | #Constraints: 16394
2176.05/2182.82 c #Conflicts: 423000 | #Constraints: 17394
2176.05/2182.82 c #Conflicts: 424000 | #Constraints: 18394
2176.05/2182.82 c #Conflicts: 425000 | #Constraints: 19394
2176.05/2182.82 c #Conflicts: 426000 | #Constraints: 20394
2176.05/2182.82 c #Conflicts: 427000 | #Constraints: 21394
2176.05/2182.82 c #Conflicts: 428000 | #Constraints: 22394
2176.05/2182.82 c #Conflicts: 429000 | #Constraints: 23394
2176.05/2182.82 c #Conflicts: 430000 | #Constraints: 24394
2176.05/2182.82 c #Conflicts: 431000 | #Constraints: 25394
2176.05/2182.82 c #Conflicts: 432000 | #Constraints: 26394
2176.05/2182.82 c #Conflicts: 433000 | #Constraints: 27394
2176.05/2182.82 c INPROCESSING
2176.05/2182.82 c GARBAGE COLLECT
2176.05/2182.82 c #Conflicts: 434000 | #Constraints: 15397
2176.05/2182.82 c #Conflicts: 435000 | #Constraints: 16397
2176.05/2182.82 c #Conflicts: 436000 | #Constraints: 17397
2176.05/2182.82 c #Conflicts: 437000 | #Constraints: 18397
2874.88/2883.85 c #Conflicts: 438000 | #Constraints: 19397
2874.88/2883.85 c #Conflicts: 439000 | #Constraints: 20397
2874.88/2883.85 c #Conflicts: 440000 | #Constraints: 21397
2874.88/2883.85 c #Conflicts: 441000 | #Constraints: 22397
2874.88/2883.85 c #Conflicts: 442000 | #Constraints: 23397
2874.88/2883.85 c #Conflicts: 443000 | #Constraints: 24397
2874.88/2883.85 c #Conflicts: 444000 | #Constraints: 25397
2874.88/2883.85 c #Conflicts: 445000 | #Constraints: 26397
2874.88/2883.85 c #Conflicts: 446000 | #Constraints: 27397
2874.88/2883.85 c INPROCESSING
2874.88/2883.85 c GARBAGE COLLECT
2874.88/2883.85 c #Conflicts: 447000 | #Constraints: 15196
2874.88/2883.85 c #Conflicts: 448000 | #Constraints: 16196
2874.88/2883.85 c #Conflicts: 449000 | #Constraints: 17196
2874.88/2883.85 c #Conflicts: 450000 | #Constraints: 18196
2874.88/2883.85 c #Conflicts: 451000 | #Constraints: 19196
2874.88/2883.85 c #Conflicts: 452000 | #Constraints: 20196
2874.88/2883.85 c #Conflicts: 453000 | #Constraints: 21196
2874.88/2883.85 c #Conflicts: 454000 | #Constraints: 22196
2874.88/2883.85 c #Conflicts: 455000 | #Constraints: 23196
2874.88/2883.85 c #Conflicts: 456000 | #Constraints: 24196
2874.88/2883.85 c #Conflicts: 457000 | #Constraints: 25196
2874.88/2883.85 c #Conflicts: 458000 | #Constraints: 26196
2874.88/2883.85 c #Conflicts: 459000 | #Constraints: 27196
2874.88/2883.85 c #Conflicts: 460000 | #Constraints: 28196
2874.88/2883.85 c INPROCESSING
2874.88/2883.85 c GARBAGE COLLECT
2874.88/2883.85 c #Conflicts: 461000 | #Constraints: 15801
2874.88/2883.85 c #Conflicts: 462000 | #Constraints: 16801
2874.88/2883.85 c #Conflicts: 463000 | #Constraints: 17801
2874.88/2883.85 c #Conflicts: 464000 | #Constraints: 18801
2874.88/2883.85 c #Conflicts: 465000 | #Constraints: 19801
2874.88/2883.85 c #Conflicts: 466000 | #Constraints: 20801
2874.88/2883.85 c #Conflicts: 467000 | #Constraints: 21801
2874.88/2883.85 c #Conflicts: 468000 | #Constraints: 22801
2874.88/2883.85 c #Conflicts: 469000 | #Constraints: 23801
2874.88/2883.85 c #Conflicts: 470000 | #Constraints: 24801
2874.88/2883.85 c #Conflicts: 471000 | #Constraints: 25801
2874.88/2883.85 c #Conflicts: 472000 | #Constraints: 26801
2874.88/2883.85 c #Conflicts: 473000 | #Constraints: 27801
2874.88/2883.85 c #Conflicts: 474000 | #Constraints: 28801
2874.88/2883.85 c INPROCESSING
2874.88/2883.85 c GARBAGE COLLECT
2874.88/2883.85 c #Conflicts: 475000 | #Constraints: 16206
2874.88/2883.85 c #Conflicts: 476000 | #Constraints: 17206
2874.88/2883.85 c #Conflicts: 477000 | #Constraints: 18206
2874.88/2883.85 c #Conflicts: 478000 | #Constraints: 19206
2874.88/2883.85 c #Conflicts: 479000 | #Constraints: 20206
2874.88/2883.85 c #Conflicts: 480000 | #Constraints: 21206
2874.88/2883.85 c #Conflicts: 481000 | #Constraints: 22206
2874.88/2883.85 c #Conflicts: 482000 | #Constraints: 23206
2874.88/2883.85 c #Conflicts: 483000 | #Constraints: 24206
2874.88/2883.85 c #Conflicts: 484000 | #Constraints: 25206
2874.88/2883.85 c #Conflicts: 485000 | #Constraints: 26206
2874.88/2883.85 c #Conflicts: 486000 | #Constraints: 27206
2874.88/2883.85 c #Conflicts: 487000 | #Constraints: 28206
2874.88/2883.85 c #Conflicts: 488000 | #Constraints: 29206
2874.88/2883.85 c INPROCESSING
2874.88/2883.85 c GARBAGE COLLECT
2874.88/2883.85 c #Conflicts: 489000 | #Constraints: 16416
2874.88/2883.85 c #Conflicts: 490000 | #Constraints: 17416
2874.88/2883.85 c #Conflicts: 491000 | #Constraints: 18416
2874.88/2883.85 c #Conflicts: 492000 | #Constraints: 19416
2874.88/2883.85 c #Conflicts: 493000 | #Constraints: 20416
2874.88/2883.85 c #Conflicts: 494000 | #Constraints: 21416
2874.88/2883.85 c #Conflicts: 495000 | #Constraints: 22416
2874.88/2883.85 c #Conflicts: 496000 | #Constraints: 23416
2874.88/2883.85 c #Conflicts: 497000 | #Constraints: 24416
2874.88/2883.85 c #Conflicts: 498000 | #Constraints: 25416
2874.88/2883.85 c #Conflicts: 499000 | #Constraints: 26416
2874.88/2883.85 c #Conflicts: 500000 | #Constraints: 27416
2874.88/2883.85 c #Conflicts: 501000 | #Constraints: 28416
2874.88/2883.85 c #Conflicts: 502000 | #Constraints: 29416
2874.88/2883.85 c INPROCESSING
2874.88/2883.85 c GARBAGE COLLECT
2874.88/2883.85 c #Conflicts: 503000 | #Constraints: 16420
2874.88/2883.85 c #Conflicts: 504000 | #Constraints: 17420
2874.88/2883.85 c #Conflicts: 505000 | #Constraints: 18420
2874.88/2883.85 c #Conflicts: 506000 | #Constraints: 19420
2874.88/2883.85 c #Conflicts: 507000 | #Constraints: 20420
2874.88/2883.85 c #Conflicts: 508000 | #Constraints: 21420
2874.88/2883.85 c #Conflicts: 509000 | #Constraints: 22420
2874.88/2883.85 c #Conflicts: 510000 | #Constraints: 23420
2874.88/2883.85 c #Conflicts: 511000 | #Constraints: 24420
2874.88/2883.85 c #Conflicts: 512000 | #Constraints: 25420
2874.88/2883.85 c #Conflicts: 513000 | #Constraints: 26420
3247.73/3257.85 c #Conflicts: 514000 | #Constraints: 27420
3247.73/3257.85 c #Conflicts: 515000 | #Constraints: 28420
3247.73/3257.85 c #Conflicts: 516000 | #Constraints: 29420
3247.73/3257.85 c INPROCESSING
3247.73/3257.85 c GARBAGE COLLECT
3247.73/3257.85 c #Conflicts: 517000 | #Constraints: 16203
3247.73/3257.85 c #Conflicts: 518000 | #Constraints: 17203
3247.73/3257.85 c #Conflicts: 519000 | #Constraints: 18203
3247.73/3257.85 c #Conflicts: 520000 | #Constraints: 19203
3247.73/3257.85 c #Conflicts: 521000 | #Constraints: 20203
3247.73/3257.85 c #Conflicts: 522000 | #Constraints: 21203
3247.73/3257.85 c #Conflicts: 523000 | #Constraints: 22203
3247.73/3257.85 c #Conflicts: 524000 | #Constraints: 23203
3247.73/3257.85 c #Conflicts: 525000 | #Constraints: 24203
3247.73/3257.85 c #Conflicts: 526000 | #Constraints: 25203
3247.73/3257.85 c #Conflicts: 527000 | #Constraints: 26203
3247.73/3257.85 c #Conflicts: 528000 | #Constraints: 27203
3247.73/3257.85 c #Conflicts: 529000 | #Constraints: 28203
3247.73/3257.85 c #Conflicts: 530000 | #Constraints: 29203
3247.73/3257.85 c #Conflicts: 531000 | #Constraints: 30203
3247.73/3257.85 c INPROCESSING
3247.73/3257.85 c GARBAGE COLLECT
3247.73/3257.85 c #Conflicts: 532000 | #Constraints: 16806
3247.73/3257.85 c #Conflicts: 533000 | #Constraints: 17806
3247.73/3257.85 c #Conflicts: 534000 | #Constraints: 18806
3247.73/3257.85 c #Conflicts: 535000 | #Constraints: 19806
3247.73/3257.85 c #Conflicts: 536000 | #Constraints: 20806
3247.73/3257.85 c #Conflicts: 537000 | #Constraints: 21806
3247.73/3257.85 c #Conflicts: 538000 | #Constraints: 22806
3247.73/3257.85 c #Conflicts: 539000 | #Constraints: 23806
3247.73/3257.85 c #Conflicts: 540000 | #Constraints: 24806
3247.73/3257.85 c #Conflicts: 541000 | #Constraints: 25806
3247.73/3257.85 c #Conflicts: 542000 | #Constraints: 26806
3247.73/3257.85 c #Conflicts: 543000 | #Constraints: 27806
3247.73/3257.85 c #Conflicts: 544000 | #Constraints: 28806
3247.73/3257.85 c #Conflicts: 545000 | #Constraints: 29806
3247.73/3257.85 c #Conflicts: 546000 | #Constraints: 30806
3247.73/3257.85 c INPROCESSING
3247.73/3257.85 c GARBAGE COLLECT
3247.73/3257.85 c #Conflicts: 547000 | #Constraints: 17202
3247.73/3257.85 c #Conflicts: 548000 | #Constraints: 18202
3247.73/3257.85 c #Conflicts: 549000 | #Constraints: 19202
3247.73/3257.85 c #Conflicts: 550000 | #Constraints: 20202
3247.73/3257.85 c #Conflicts: 551000 | #Constraints: 21202
3247.73/3257.85 c #Conflicts: 552000 | #Constraints: 22202
3247.73/3257.85 c #Conflicts: 553000 | #Constraints: 23202
3247.73/3257.85 c #Conflicts: 554000 | #Constraints: 24202
3247.73/3257.85 c #Conflicts: 555000 | #Constraints: 25202
3247.73/3257.85 c #Conflicts: 556000 | #Constraints: 26202
3247.73/3257.85 c #Conflicts: 557000 | #Constraints: 27202
3247.73/3257.85 c #Conflicts: 558000 | #Constraints: 28202
3247.73/3257.85 c #Conflicts: 559000 | #Constraints: 29202
3247.73/3257.85 c #Conflicts: 560000 | #Constraints: 30202
3247.73/3257.85 c #Conflicts: 561000 | #Constraints: 31202
3247.73/3257.85 c INPROCESSING
3247.73/3257.85 c GARBAGE COLLECT
3247.73/3257.85 c #Conflicts: 562000 | #Constraints: 17397
3247.73/3257.85 c #Conflicts: 563000 | #Constraints: 18397
3247.73/3257.85 c #Conflicts: 564000 | #Constraints: 19397
3247.73/3257.85 c #Conflicts: 565000 | #Constraints: 20397
3247.73/3257.85 c #Conflicts: 566000 | #Constraints: 21397
3247.73/3257.85 c #Conflicts: 567000 | #Constraints: 22397
3247.73/3257.85 c #Conflicts: 568000 | #Constraints: 23397
3247.73/3257.85 c #Conflicts: 569000 | #Constraints: 24397
3247.73/3257.85 c #Conflicts: 570000 | #Constraints: 25397
3247.73/3257.85 c #Conflicts: 571000 | #Constraints: 26397
3247.73/3257.85 c #Conflicts: 572000 | #Constraints: 27397
3247.73/3257.85 c #Conflicts: 573000 | #Constraints: 28397
3247.73/3257.85 c #Conflicts: 574000 | #Constraints: 29397
3247.73/3257.85 c #Conflicts: 575000 | #Constraints: 30397
3247.73/3257.85 c #Conflicts: 576000 | #Constraints: 31397
3247.73/3257.85 c INPROCESSING
3247.73/3257.85 c GARBAGE COLLECT
3247.73/3257.85 c #Conflicts: 577000 | #Constraints: 17406
3247.73/3257.85 c #Conflicts: 578000 | #Constraints: 18406
3247.73/3257.85 c #Conflicts: 579000 | #Constraints: 19406
3247.73/3257.85 c #Conflicts: 580000 | #Constraints: 20406
3247.73/3257.85 c #Conflicts: 581000 | #Constraints: 21406
3247.73/3257.85 c #Conflicts: 582000 | #Constraints: 22406
3247.73/3257.85 c #Conflicts: 583000 | #Constraints: 23406
3247.73/3257.85 c #Conflicts: 584000 | #Constraints: 24406
3247.73/3257.85 c #Conflicts: 585000 | #Constraints: 25406
3247.73/3257.85 c #Conflicts: 586000 | #Constraints: 26406
3247.73/3257.85 c #Conflicts: 587000 | #Constraints: 27406
3247.73/3257.85 c #Conflicts: 588000 | #Constraints: 28406
3600.05/3611.20 c #Conflicts: 589000 | #Constraints: 29406
3600.05/3611.20 c #Conflicts: 590000 | #Constraints: 30406
3600.05/3611.20 c #Conflicts: 591000 | #Constraints: 31406
3600.05/3611.20 c INPROCESSING
3600.05/3611.20 c GARBAGE COLLECT
3600.05/3611.20 c #Conflicts: 592000 | #Constraints: 17229
3600.05/3611.20 c #Conflicts: 593000 | #Constraints: 18229
3600.05/3611.20 c #Conflicts: 594000 | #Constraints: 19229
3600.05/3611.20 c #Conflicts: 595000 | #Constraints: 20229
3600.05/3611.20 c #Conflicts: 596000 | #Constraints: 21229
3600.05/3611.20 c #Conflicts: 597000 | #Constraints: 22229
3600.05/3611.20 c #Conflicts: 598000 | #Constraints: 23229
3600.05/3611.20 c #Conflicts: 599000 | #Constraints: 24229
3600.05/3611.20 c #Conflicts: 600000 | #Constraints: 25229
3600.05/3611.20 c #Conflicts: 601000 | #Constraints: 26229
3600.05/3611.20 c #Conflicts: 602000 | #Constraints: 27229
3600.05/3611.20 c #Conflicts: 603000 | #Constraints: 28229
3600.05/3611.20 c #Conflicts: 604000 | #Constraints: 29229
3600.05/3611.20 c #Conflicts: 605000 | #Constraints: 30229
3600.05/3611.20 c #Conflicts: 606000 | #Constraints: 31229
3600.05/3611.20 c #Conflicts: 607000 | #Constraints: 32229
3600.05/3611.20 c INPROCESSING
3600.05/3611.20 c GARBAGE COLLECT
3600.05/3611.20 c #Conflicts: 608000 | #Constraints: 17812
3600.05/3611.20 c #Conflicts: 609000 | #Constraints: 18812
3600.05/3611.20 c #Conflicts: 610000 | #Constraints: 19812
3600.05/3611.20 c #Conflicts: 611000 | #Constraints: 20812
3600.05/3611.20 c #Conflicts: 612000 | #Constraints: 21812
3600.05/3611.20 c #Conflicts: 613000 | #Constraints: 22812
3600.05/3611.20 c #Conflicts: 614000 | #Constraints: 23812
3600.05/3611.20 c #Conflicts: 615000 | #Constraints: 24812
3600.05/3611.20 c #Conflicts: 616000 | #Constraints: 25812
3600.05/3611.20 c #Conflicts: 617000 | #Constraints: 26812
3600.05/3611.20 c #Conflicts: 618000 | #Constraints: 27812
3600.05/3611.20 c #Conflicts: 619000 | #Constraints: 28812
3600.05/3611.20 c #Conflicts: 620000 | #Constraints: 29812
3600.05/3611.20 c #Conflicts: 621000 | #Constraints: 30812
3600.05/3611.20 c #Conflicts: 622000 | #Constraints: 31812
3600.05/3611.20 c #Conflicts: 623000 | #Constraints: 32812
3600.05/3611.20 c INPROCESSING
3600.05/3611.20 c GARBAGE COLLECT
3600.05/3611.20 c #Conflicts: 624000 | #Constraints: 18202
3600.05/3611.20 c #Conflicts: 625000 | #Constraints: 19202
3600.05/3611.20 c #Conflicts: 626000 | #Constraints: 20202
3600.05/3611.20 c #Conflicts: 627000 | #Constraints: 21202
3600.05/3611.20 c #Conflicts: 628000 | #Constraints: 22202
3600.05/3611.20 c #Conflicts: 629000 | #Constraints: 23202
3600.05/3611.20 c #Conflicts: 630000 | #Constraints: 24202
3600.05/3611.20 c #Conflicts: 631000 | #Constraints: 25202
3600.05/3611.20 c #Conflicts: 632000 | #Constraints: 26202
3600.05/3611.20 c #Conflicts: 633000 | #Constraints: 27202
3600.05/3611.20 c #Conflicts: 634000 | #Constraints: 28202
3600.05/3611.20 c #Conflicts: 635000 | #Constraints: 29202
3600.05/3611.20 c #Conflicts: 636000 | #Constraints: 30202
3600.05/3611.20 c #Conflicts: 637000 | #Constraints: 31202
3600.05/3611.20 c #Conflicts: 638000 | #Constraints: 32202
3600.05/3611.20 c #Conflicts: 639000 | #Constraints: 33202
3600.05/3611.20 c INPROCESSING
3600.05/3611.20 c GARBAGE COLLECT
3600.05/3611.20 c #Conflicts: 640000 | #Constraints: 18407
3600.05/3611.20 c #Conflicts: 641000 | #Constraints: 19407
3600.05/3611.20 c #Conflicts: 642000 | #Constraints: 20407
3600.05/3611.20 c #Conflicts: 643000 | #Constraints: 21407
3600.05/3611.20 c #Conflicts: 644000 | #Constraints: 22407
3600.05/3611.20 c #Conflicts: 645000 | #Constraints: 23407
3600.05/3611.20 c #Conflicts: 646000 | #Constraints: 24407
3600.05/3611.20 c #Conflicts: 647000 | #Constraints: 25407
3600.05/3611.20 c #Conflicts: 648000 | #Constraints: 26407
3600.05/3611.20 c #Conflicts: 649000 | #Constraints: 27407
3600.05/3611.20 c #Conflicts: 650000 | #Constraints: 28407
3600.05/3611.20 c Program interrupted by user.
3600.05/3611.20 c cpu time 3568.53 s
3600.05/3611.20 c deterministic time 638454469647 6.38e+11
3600.05/3611.20 c optimization time 39.3879 s
3600.05/3611.20 c total solve time 3229.61 s
3600.05/3611.20 c core-guided solve time 3229.61 s
3600.05/3611.20 c propagation time 2291.86 s
3600.05/3611.20 c conflict analysis time 722.747 s
3600.05/3611.20 c propagations 212519759
3600.05/3611.20 c resolve steps 3132477
3600.05/3611.20 c decisions 30237627
3600.05/3611.20 c conflicts 650955
3600.05/3611.20 c restarts 1403
3600.05/3611.20 c inprocessing phases 71
3600.05/3611.20 c input clauses 714
3600.05/3611.20 c input cardinalities 713
3600.05/3611.20 c input general constraints 129
3600.05/3611.20 c input average constraint length 117.37
3600.05/3611.20 c input average constraint degree 24895.78
3600.05/3611.20 c learned clauses 5922
3600.05/3611.20 c learned cardinalities 151
3600.05/3611.20 c learned general constraints 644881
3600.05/3611.20 c learned average constraint length 3414.94
3600.05/3611.20 c learned average constraint degree 27486617.41
3600.05/3611.20 c watched constraints 384980
3600.05/3611.20 c counting constraints 260030
3600.05/3611.20 c gcd simplifications 3076
3600.05/3611.20 c detected cardinalities 8
3600.05/3611.20 c weakened non-implied lits 281590155
3600.05/3611.20 c weakened non-implying lits 100173
3600.05/3611.20 c original variables 45632
3600.05/3611.20 c clausal propagations 2266306
3600.05/3611.20 c cardinality propagations 21892878
3600.05/3611.20 c watched propagations 17564486
3600.05/3611.20 c counting propagations 169240478
3600.05/3611.20 c watch lookups 19341151060
3600.05/3611.20 c watch backjump lookups 18967329046
3600.05/3611.20 c watch checks 502456120444
3600.05/3611.20 c propagation checks 91125957566
3600.05/3611.20 c constraint additions 6077789120
3600.05/3611.20 c trail pops 243365024
3600.05/3611.20 c formula constraints 1554
3600.05/3611.20 c learned constraints 650954
3600.05/3611.20 c bound constraints 1
3600.05/3611.20 c core-guided constraints 1
3600.05/3611.20 c encountered formula constraints 2176342
3600.05/3611.20 c encountered learned constraints 1605971
3600.05/3611.20 c encountered bound constraints 228
3600.05/3611.20 c encountered core-guided constraints 891
3600.05/3611.20 c LP total time 0 s
3600.05/3611.20 c LP solve time 0 s
3600.05/3611.20 c LP constraints added 0
3600.05/3611.20 c LP constraints removed 0
3600.05/3611.20 c LP pivots internal 0
3600.05/3611.20 c LP pivots root 0
3600.05/3611.20 c LP calls 0
3600.05/3611.20 c LP optimalities 0
3600.05/3611.20 c LP no pivot count 0
3600.05/3611.20 c LP infeasibilities 0
3600.05/3611.20 c LP valid Farkas constraints 0
3600.05/3611.20 c LP learned Farkas constraints 0
3600.05/3611.20 c LP basis resets 0
3600.05/3611.20 c LP cycling count 0
3600.05/3611.20 c LP singular count 0
3600.05/3611.20 c LP no primal count 0
3600.05/3611.20 c LP no farkas count 0
3600.05/3611.20 c LP other issue count 0
3600.05/3611.20 c LP Gomory cuts 0
3600.05/3611.20 c LP learned cuts 0
3600.05/3611.20 c LP deleted cuts 0
3600.05/3611.20 c LP encountered Gomory constraints 0
3600.05/3611.20 c LP encountered Farkas constraints 0
3600.05/3611.20 c LP encountered learned Farkas constraints 0
3600.05/3611.20 c CG auxiliary variables introduced 1
3600.05/3611.20 c CG solutions found 0
3600.05/3611.20 c CG cores constructed 0
3600.05/3611.20 c CG core cardinality constraints returned 0
3600.05/3611.20 c CG unit cores 0
3600.05/3611.20 c CG single cores 0
3600.05/3611.20 c CG blocks removed during cardinality reduction 0
3600.05/3611.20 c CG first core best 0
3600.05/3611.20 c CG decision core best 0
3600.05/3611.20 c CG core reduction tie 0
3600.05/3611.20 c CG core degree average 0.00
3600.05/3611.20 c CG core slack average 0.00
3600.05/3611.20 c CG exhausted 0
3600.05/3611.20 c CG exhaust time 0 s
3600.05/3611.20 c CG trimmed 0
3600.05/3611.20 c CG trim time 0 s
3600.05/3611.20 c CG minimized 0
3600.05/3611.20 c CG minimize time 0 s
3600.05/3611.20 c CG am1 prop time 0.005898 s
3600.05/3611.20 c CG # am1s reformulated 1
3600.05/3611.20 c CG lower bound derived from am1s 58
3600.05/3611.20 c CG # clausal cores 0
3600.05/3611.20 c CG # cardinality cores 0
3600.05/3611.20 c CG # pb cores 0
3600.05/3611.20 c CG # pb reforms 0
3600.05/3611.20 c CG # cores discarded because of pb reform 0
3600.05/3611.20 d LOWERBOUND 0
3600.05/3611.20 d NCORES 0
3600.05/3611.20 d NPBCORES 0
3600.05/3611.20 d NPBREFORM 0
3600.05/3611.20 d NTRIMMED 0
3600.05/3611.20 d NEXHAUSTED 0
3600.05/3611.20 d NAM1S 1
3600.05/3611.20 d AM1LB 58
3600.05/3611.20 c [Papilo Statistics]
3600.05/3611.20 c prepro time 0.105174s
3600.05/3611.20 c # tsx applied 723
3600.05/3611.20 c # tsx conflicts 0
3600.05/3611.20 c # bound changes 5
3600.05/3611.20 c # side changes 713
3600.05/3611.20 c # coef changes 0
3600.05/3611.20 c # rounds 2
3600.05/3611.20 c # deted vars 5
3600.05/3611.20 c # deted constrs 712
3600.05/3611.20 c # consecutive rounds of only bound changes 0
3600.05/3611.28 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: 64059 MiB (60758 MiB free)
memory of node 1: 64510 MiB (62677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455020-1721478932/watcher-4455020-1721478932 -o /tmp/evaluation-result-4455020-1721478932/solver-4455020-1721478932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052941 --watchdog 3760 mixed-bag HOME/instance-4455020-1721478932.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057131, runsolver pid=1057128
[startup+0.100106 s]*
/proc/loadavg: 4.10 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=126378932/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=90556 memory=23752 CPUtime=0.1 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 4498 0 0 0 9 1 0 0 20 0 1 0 200052744 92729344 5938 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 22639 5938 1633 3002 0 6927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90556 KiB
Current children cumulated memory: 23752 KiB
[startup+0.213001 s]*
/proc/loadavg: 4.10 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=126345584/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=127812 memory=53292 CPUtime=0.21 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 10727 0 0 0 19 2 0 0 20 0 1 0 200052744 130879488 13323 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 31953 13323 1836 3002 0 15702 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 127812 KiB
Current children cumulated memory: 53292 KiB
[startup+0.313198 s]*
/proc/loadavg: 4.10 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=126266516/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=208316 memory=140664 CPUtime=0.32 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 31960 0 0 0 27 5 0 0 20 0 1 0 200052744 213315584 35166 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 52079 35166 3674 3002 0 35828 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 208316 KiB
Current children cumulated memory: 140664 KiB
[startup+0.700332 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=126210204/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=258444 memory=186428 CPUtime=0.69 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 46485 0 0 0 62 7 0 0 20 0 1 0 200052744 264646656 46607 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 64611 46607 3786 3002 0 48360 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 258444 KiB
Current children cumulated memory: 186428 KiB
[startup+1.50036 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=126092148/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=381260 memory=299964 CPUtime=1.49 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 63288 0 0 0 139 10 0 0 20 0 1 0 200052744 390410240 74991 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 95315 74991 3802 3002 0 79064 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 381260 KiB
Current children cumulated memory: 299964 KiB
[startup+3.11265 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 1057132
/proc/meminfo: memFree=125594272/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=590360 memory=441112 CPUtime=3.09 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 91452 0 0 0 295 14 0 0 20 0 1 0 200052744 604528640 110278 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 147590 110278 3818 3002 0 131339 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 590360 KiB
Current children cumulated memory: 441112 KiB
[startup+6.30033 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 1057133
/proc/meminfo: memFree=125235176/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=978344 memory=830276 CPUtime=6.27 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 188746 0 0 0 599 28 0 0 20 0 1 0 200052744 1001824256 207569 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 244586 207569 3832 3002 0 228335 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 978344 KiB
Current children cumulated memory: 830276 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.10 5/243 1057134
/proc/meminfo: memFree=124977024/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1139176 memory=974904 CPUtime=12.65 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 225928 0 0 0 1232 33 0 0 20 0 1 0 200052744 1166516224 243726 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 284794 243726 4008 3002 0 268543 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1139176 KiB
Current children cumulated memory: 974904 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 1057137
/proc/meminfo: memFree=124334132/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1241480 memory=1075188 CPUtime=25.41 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 250987 0 0 0 2503 38 0 0 20 0 1 0 200052744 1271275520 268797 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 310370 268797 4008 3002 0 294119 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1241480 KiB
Current children cumulated memory: 1075188 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 1057140
/proc/meminfo: memFree=123312800/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1360928 memory=1193224 CPUtime=50.94 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 280528 0 0 0 5051 43 0 0 20 0 1 0 200052744 1393590272 298306 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 340232 298306 4031 3002 0 323981 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1360928 KiB
Current children cumulated memory: 1193224 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/243 1057149
/proc/meminfo: memFree=122805588/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1412124 memory=1241100 CPUtime=101.95 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 292519 0 0 0 10149 46 0 0 20 0 1 0 200052744 1446014976 310275 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 353031 310275 4031 3002 0 336780 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1412124 KiB
Current children cumulated memory: 1241100 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/243 1057159
/proc/meminfo: memFree=122501200/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1412124 memory=1241368 CPUtime=161.76 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 292627 0 0 0 16129 47 0 0 20 0 1 0 200052744 1446014976 310342 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 353031 310342 4047 3002 0 336780 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1412124 KiB
Current children cumulated memory: 1241368 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/243 1057262
/proc/meminfo: memFree=123081644/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1412124 memory=1241604 CPUtime=221.56 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 292633 0 0 0 22108 48 0 0 20 0 1 0 200052744 1446014976 310401 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 353031 310401 4047 3002 0 336780 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1412124 KiB
Current children cumulated memory: 1241604 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/243 1057272
/proc/meminfo: memFree=122647248/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1412124 memory=1242092 CPUtime=281.37 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 292772 0 0 0 28088 49 0 0 20 0 1 0 200052744 1446014976 310523 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 353031 310523 4047 3002 0 336780 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1412124 KiB
Current children cumulated memory: 1242092 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/243 1057286
/proc/meminfo: memFree=122632232/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1366932 memory=1261392 CPUtime=341.18 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 299909 0 0 0 33888 230 0 0 20 0 1 0 200052744 1399738368 315348 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 341733 315348 4190 3002 0 325482 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1366932 KiB
Current children cumulated memory: 1261392 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/244 1057297
/proc/meminfo: memFree=122192900/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1580580 memory=1403472 CPUtime=401 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 302782 0 0 0 39752 348 0 0 20 0 1 0 200052744 1618513920 350868 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 395145 350868 4190 3002 0 378894 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1580580 KiB
Current children cumulated memory: 1403472 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/244 1057309
/proc/meminfo: memFree=122103824/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=1580580 memory=1406668 CPUtime=460.81 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 304136 0 0 0 45538 543 0 0 20 0 1 0 200052744 1618513920 351667 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
################
# More data... #
################
/proc/1057131/statm: 1002735 900606 4190 3002 0 986484 0
Current children cumulated CPU time: 2853.43 s
Current children cumulated vsize: 4010940 KiB
Current children cumulated memory: 3602424 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.16 4.18 5/244 1058321
/proc/meminfo: memFree=111732864/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4012028 memory=3604096 CPUtime=2913.26 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 703629 0 0 0 288849 2477 0 0 20 0 1 0 200052744 4108316672 901024 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1003007 901024 4190 3002 0 986756 0
Current children cumulated CPU time: 2913.26 s
Current children cumulated vsize: 4012028 KiB
Current children cumulated memory: 3604096 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.18 5/244 1058331
/proc/meminfo: memFree=111615600/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4012028 memory=3604128 CPUtime=2973.07 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 703739 0 0 0 294736 2571 0 0 20 0 1 0 200052744 4108316672 901032 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1003007 901032 4190 3002 0 986756 0
Current children cumulated CPU time: 2973.07 s
Current children cumulated vsize: 4012028 KiB
Current children cumulated memory: 3604128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/243 1058725
/proc/meminfo: memFree=111493948/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4012028 memory=3604132 CPUtime=3032.89 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 704070 0 0 0 300666 2623 0 0 20 0 1 0 200052744 4108316672 901033 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1003007 901033 4190 3002 0 986756 0
Current children cumulated CPU time: 3032.89 s
Current children cumulated vsize: 4012028 KiB
Current children cumulated memory: 3604132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/243 1058735
/proc/meminfo: memFree=111363372/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4073620 memory=3652180 CPUtime=3092.7 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 716304 0 0 0 306630 2640 0 0 20 0 1 0 200052744 4171386880 913045 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1018405 913045 4190 3002 0 1002154 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 4073620 KiB
Current children cumulated memory: 3652180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.17 5/243 1058745
/proc/meminfo: memFree=111332168/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4076092 memory=3657180 CPUtime=3152.52 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 717782 0 0 0 312530 2722 0 0 20 0 1 0 200052744 4173918208 914295 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1019023 914295 4190 3002 0 1002772 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 4076092 KiB
Current children cumulated memory: 3657180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/246 1058927
/proc/meminfo: memFree=111310972/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4076092 memory=3657288 CPUtime=3212.34 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 718122 0 0 0 318455 2779 0 0 20 0 1 0 200052744 4173918208 914322 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1019023 914322 4190 3002 0 1002772 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 4076092 KiB
Current children cumulated memory: 3657288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/246 1058937
/proc/meminfo: memFree=111275828/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4076092 memory=3657360 CPUtime=3272.16 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 718264 0 0 0 324360 2856 0 0 20 0 1 0 200052744 4173918208 914340 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1019023 914340 4190 3002 0 1002772 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 4076092 KiB
Current children cumulated memory: 3657360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.16 5/246 1059004
/proc/meminfo: memFree=111159652/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4101400 memory=3680836 CPUtime=3331.97 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 724414 0 0 0 330305 2892 0 0 20 0 1 0 200052744 4199833600 920209 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1025350 920209 4190 3002 0 1009099 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 4101400 KiB
Current children cumulated memory: 3680836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.15 5/247 1059017
/proc/meminfo: memFree=110996912/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4160024 memory=3724708 CPUtime=3391.78 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 735676 0 0 0 336260 2918 0 0 20 0 1 0 200052744 4259864576 931177 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1040006 931177 4190 3002 0 1023755 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 4160024 KiB
Current children cumulated memory: 3724708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.16 5/247 1059028
/proc/meminfo: memFree=110631120/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4160712 memory=3725368 CPUtime=3451.6 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 736046 0 0 0 342169 2991 0 0 20 0 1 0 200052744 4260569088 931342 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1040178 931342 4190 3002 0 1023927 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 4160712 KiB
Current children cumulated memory: 3725368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.18 4.17 5/245 1059039
/proc/meminfo: memFree=110390652/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4209488 memory=3759292 CPUtime=3511.42 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 744911 0 0 0 348094 3048 0 0 20 0 1 0 200052744 4310515712 939823 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1052372 939823 4190 3002 0 1036121 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 4209488 KiB
Current children cumulated memory: 3759292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/246 1059050
/proc/meminfo: memFree=110111552/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4221816 memory=3769672 CPUtime=3571.23 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 748056 0 0 0 354007 3116 0 0 20 0 1 0 200052744 4323139584 942418 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1055454 942418 4190 3002 0 1039203 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 4221816 KiB
Current children cumulated memory: 3769672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 3.83 4.08 4.14 3/230 1059118
/proc/meminfo: memFree=122849672/131655788 swapFree=131071996/131071996
[pid=1057131] ppid=1057128 vsize=4221816 memory=3769776 CPUtime=3600.05 cores=1,3
/proc/1057131/stat : 1057131 (mixed-bag) R 1057128 1057131 1052929 0 -1 4194304 748134 0 0 0 356853 3152 0 0 20 0 1 0 200052744 4323139584 942444 134679101440 4194304 16488053 140728098734000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32243712 140728098739221 140728098739298 140728098739298 140728098746315 0
/proc/1057131/statm: 1055454 942444 4190 3002 0 1039203 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4221816 KiB
Current children cumulated memory: 3769776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.34 s]
# the end of solver process 1057131 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.56 s, system=31.6338 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]*
/proc/loadavg: 3.83 4.08 4.14 3/230 1059118
/proc/meminfo: memFree=124868848/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.34
CPU time (s): 3600.19
CPU user time (s): 3568.56
CPU system time (s): 31.6338
CPU usage (%): 99.6913
Max. virtual memory (cumulated for all children) (KiB): 4221816
Max. memory (cumulated for all children) (KiB): 3769776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.56
system time used= 31.6338
maximum resident set size= 3770228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748174
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= 13
involuntary context switches= 3114
# summary of solver processes directly reported to runsolver:
# pid: 1057131
# total CPU time (s): 3600.19
# total CPU user time (s): 3568.56
# total CPU system time (s): 31.6338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9328 second user time and 29.8211 second system time
The end
Begin job on nodeC009 at 2024-07-20 14:35:43
IDJOB=4455020
IDBENCH=158610
IDSOLVER=3083
FILE ID=nodeC009/4455020-1721478932
RUNJOBID= nodeC009-1721471695-1052941
SLURM_JOB_ID= 7545739
Free space on /tmp= 723704 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455020-1721478932/watcher-4455020-1721478932 -o /tmp/evaluation-result-4455020-1721478932/solver-4455020-1721478932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052941 --watchdog 3760 mixed-bag HOME/instance-4455020-1721478932.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=2032880421
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3492.171
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3492.201
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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.458
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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.317
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
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 : 3492.172
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
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 : 3492.171
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.422
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.325
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126398952 kB
MemAvailable: 127456720 kB
Buffers: 610004 kB
Cached: 1291320 kB
SwapCached: 0 kB
Active: 1205808 kB
Inactive: 3488264 kB
Active(anon): 1476 kB
Inactive(anon): 2837496 kB
Active(file): 1204332 kB
Inactive(file): 650768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 84408 kB
Writeback: 16 kB
AnonPages: 2793108 kB
Mapped: 138384 kB
Shmem: 45892 kB
KReclaimable: 85396 kB
Slab: 187252 kB
SReclaimable: 85396 kB
SUnreclaim: 101856 kB
KernelStack: 3888 kB
PageTables: 15144 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3296208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62560 kB
HardwareCorrupted: 0 kB
AnonHugePages: 757760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC009 at 2024-07-20 15:35:55