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.30/0.36 c [STEP] preprocessing with Papilo
0.51/0.61 c [STEP] solving with SCIP
300.34/301.33 c [STEP] preprocessing done, loading into solver
300.34/301.37 c [STEP] solving
300.34/301.37 c #variables 45628 #constraints 1554
300.34/301.37 c SMALL=int, LARGE=long long
300.34/301.37 c bounds - >= 0 @ 299.809
300.34/301.37 c stratification level: 0
434.28/435.60 c #Conflicts: 1000 | #Constraints: 2555
434.28/435.60 c #Conflicts: 2000 | #Constraints: 3555
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 3000 | #Constraints: 3569
434.28/435.60 c #Conflicts: 4000 | #Constraints: 4569
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 5000 | #Constraints: 3983
434.28/435.60 c #Conflicts: 6000 | #Constraints: 4983
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 7000 | #Constraints: 3987
434.28/435.60 c #Conflicts: 8000 | #Constraints: 4987
434.28/435.60 c #Conflicts: 9000 | #Constraints: 5987
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 10000 | #Constraints: 4689
434.28/435.60 c #Conflicts: 11000 | #Constraints: 5689
434.28/435.60 c #Conflicts: 12000 | #Constraints: 6689
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 13000 | #Constraints: 5137
434.28/435.60 c #Conflicts: 14000 | #Constraints: 6137
434.28/435.60 c #Conflicts: 15000 | #Constraints: 7137
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 16000 | #Constraints: 5361
434.28/435.60 c #Conflicts: 17000 | #Constraints: 6361
434.28/435.60 c #Conflicts: 18000 | #Constraints: 7361
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 19000 | #Constraints: 5373
434.28/435.60 c #Conflicts: 20000 | #Constraints: 6373
434.28/435.60 c #Conflicts: 21000 | #Constraints: 7373
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 22000 | #Constraints: 5175
434.28/435.60 c #Conflicts: 23000 | #Constraints: 6175
434.28/435.60 c #Conflicts: 24000 | #Constraints: 7175
434.28/435.60 c #Conflicts: 25000 | #Constraints: 8175
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 26000 | #Constraints: 5783
434.28/435.60 c #Conflicts: 27000 | #Constraints: 6783
434.28/435.60 c #Conflicts: 28000 | #Constraints: 7783
434.28/435.60 c #Conflicts: 29000 | #Constraints: 8783
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 30000 | #Constraints: 6182
434.28/435.60 c #Conflicts: 31000 | #Constraints: 7182
434.28/435.60 c #Conflicts: 32000 | #Constraints: 8182
434.28/435.60 c #Conflicts: 33000 | #Constraints: 9182
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 34000 | #Constraints: 6382
434.28/435.60 c #Conflicts: 35000 | #Constraints: 7382
434.28/435.60 c #Conflicts: 36000 | #Constraints: 8382
434.28/435.60 c #Conflicts: 37000 | #Constraints: 9382
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 38000 | #Constraints: 6391
434.28/435.60 c #Conflicts: 39000 | #Constraints: 7391
434.28/435.60 c #Conflicts: 40000 | #Constraints: 8391
434.28/435.60 c #Conflicts: 41000 | #Constraints: 9391
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 42000 | #Constraints: 6201
434.28/435.60 c #Conflicts: 43000 | #Constraints: 7201
434.28/435.60 c #Conflicts: 44000 | #Constraints: 8201
434.28/435.60 c #Conflicts: 45000 | #Constraints: 9201
434.28/435.60 c #Conflicts: 46000 | #Constraints: 10201
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 47000 | #Constraints: 6792
434.28/435.60 c #Conflicts: 48000 | #Constraints: 7792
434.28/435.60 c #Conflicts: 49000 | #Constraints: 8792
434.28/435.60 c #Conflicts: 50000 | #Constraints: 9792
434.28/435.60 c #Conflicts: 51000 | #Constraints: 10792
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 52000 | #Constraints: 7190
434.28/435.60 c #Conflicts: 53000 | #Constraints: 8190
434.28/435.60 c #Conflicts: 54000 | #Constraints: 9190
434.28/435.60 c #Conflicts: 55000 | #Constraints: 10190
434.28/435.60 c #Conflicts: 56000 | #Constraints: 11190
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 57000 | #Constraints: 7386
434.28/435.60 c #Conflicts: 58000 | #Constraints: 8386
434.28/435.60 c #Conflicts: 59000 | #Constraints: 9386
434.28/435.60 c #Conflicts: 60000 | #Constraints: 10386
434.28/435.60 c #Conflicts: 61000 | #Constraints: 11386
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 62000 | #Constraints: 7392
434.28/435.60 c #Conflicts: 63000 | #Constraints: 8392
434.28/435.60 c #Conflicts: 64000 | #Constraints: 9392
434.28/435.60 c #Conflicts: 65000 | #Constraints: 10392
434.28/435.60 c #Conflicts: 66000 | #Constraints: 11392
434.28/435.60 c INPROCESSING
434.28/435.60 c GARBAGE COLLECT
434.28/435.60 c #Conflicts: 67000 | #Constraints: 7190
434.28/435.60 c #Conflicts: 68000 | #Constraints: 8190
711.76/713.86 c #Conflicts: 69000 | #Constraints: 9190
711.76/713.86 c #Conflicts: 70000 | #Constraints: 10190
711.76/713.86 c #Conflicts: 71000 | #Constraints: 11190
711.76/713.86 c #Conflicts: 72000 | #Constraints: 12190
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 73000 | #Constraints: 7783
711.76/713.86 c #Conflicts: 74000 | #Constraints: 8783
711.76/713.86 c #Conflicts: 75000 | #Constraints: 9783
711.76/713.86 c #Conflicts: 76000 | #Constraints: 10783
711.76/713.86 c #Conflicts: 77000 | #Constraints: 11783
711.76/713.86 c #Conflicts: 78000 | #Constraints: 12783
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 79000 | #Constraints: 8188
711.76/713.86 c #Conflicts: 80000 | #Constraints: 9188
711.76/713.86 c #Conflicts: 81000 | #Constraints: 10188
711.76/713.86 c #Conflicts: 82000 | #Constraints: 11188
711.76/713.86 c #Conflicts: 83000 | #Constraints: 12188
711.76/713.86 c #Conflicts: 84000 | #Constraints: 13188
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 85000 | #Constraints: 8396
711.76/713.86 c #Conflicts: 86000 | #Constraints: 9396
711.76/713.86 c #Conflicts: 87000 | #Constraints: 10396
711.76/713.86 c #Conflicts: 88000 | #Constraints: 11396
711.76/713.86 c #Conflicts: 89000 | #Constraints: 12396
711.76/713.86 c #Conflicts: 90000 | #Constraints: 13396
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 91000 | #Constraints: 8392
711.76/713.86 c #Conflicts: 92000 | #Constraints: 9392
711.76/713.86 c #Conflicts: 93000 | #Constraints: 10392
711.76/713.86 c #Conflicts: 94000 | #Constraints: 11392
711.76/713.86 c #Conflicts: 95000 | #Constraints: 12392
711.76/713.86 c #Conflicts: 96000 | #Constraints: 13392
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 97000 | #Constraints: 8194
711.76/713.86 c #Conflicts: 98000 | #Constraints: 9194
711.76/713.86 c #Conflicts: 99000 | #Constraints: 10194
711.76/713.86 c #Conflicts: 100000 | #Constraints: 11194
711.76/713.86 c #Conflicts: 101000 | #Constraints: 12194
711.76/713.86 c #Conflicts: 102000 | #Constraints: 13194
711.76/713.86 c #Conflicts: 103000 | #Constraints: 14194
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 104000 | #Constraints: 8784
711.76/713.86 c #Conflicts: 105000 | #Constraints: 9784
711.76/713.86 c #Conflicts: 106000 | #Constraints: 10784
711.76/713.86 c #Conflicts: 107000 | #Constraints: 11784
711.76/713.86 c #Conflicts: 108000 | #Constraints: 12784
711.76/713.86 c #Conflicts: 109000 | #Constraints: 13784
711.76/713.86 c #Conflicts: 110000 | #Constraints: 14784
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 111000 | #Constraints: 9187
711.76/713.86 c #Conflicts: 112000 | #Constraints: 10187
711.76/713.86 c #Conflicts: 113000 | #Constraints: 11187
711.76/713.86 c #Conflicts: 114000 | #Constraints: 12187
711.76/713.86 c #Conflicts: 115000 | #Constraints: 13187
711.76/713.86 c #Conflicts: 116000 | #Constraints: 14187
711.76/713.86 c #Conflicts: 117000 | #Constraints: 15187
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 118000 | #Constraints: 9393
711.76/713.86 c #Conflicts: 119000 | #Constraints: 10393
711.76/713.86 c #Conflicts: 120000 | #Constraints: 11393
711.76/713.86 c #Conflicts: 121000 | #Constraints: 12393
711.76/713.86 c #Conflicts: 122000 | #Constraints: 13393
711.76/713.86 c #Conflicts: 123000 | #Constraints: 14393
711.76/713.86 c #Conflicts: 124000 | #Constraints: 15393
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 125000 | #Constraints: 9388
711.76/713.86 c #Conflicts: 126000 | #Constraints: 10388
711.76/713.86 c #Conflicts: 127000 | #Constraints: 11388
711.76/713.86 c #Conflicts: 128000 | #Constraints: 12388
711.76/713.86 c #Conflicts: 129000 | #Constraints: 13388
711.76/713.86 c #Conflicts: 130000 | #Constraints: 14388
711.76/713.86 c #Conflicts: 131000 | #Constraints: 15388
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 132000 | #Constraints: 9192
711.76/713.86 c #Conflicts: 133000 | #Constraints: 10192
711.76/713.86 c #Conflicts: 134000 | #Constraints: 11192
711.76/713.86 c #Conflicts: 135000 | #Constraints: 12192
711.76/713.86 c #Conflicts: 136000 | #Constraints: 13192
711.76/713.86 c #Conflicts: 137000 | #Constraints: 14192
711.76/713.86 c #Conflicts: 138000 | #Constraints: 15192
711.76/713.86 c #Conflicts: 139000 | #Constraints: 16192
711.76/713.86 c INPROCESSING
711.76/713.86 c GARBAGE COLLECT
711.76/713.86 c #Conflicts: 140000 | #Constraints: 9792
1010.23/1013.19 c #Conflicts: 141000 | #Constraints: 10792
1010.23/1013.19 c #Conflicts: 142000 | #Constraints: 11792
1010.23/1013.19 c #Conflicts: 143000 | #Constraints: 12792
1010.23/1013.19 c #Conflicts: 144000 | #Constraints: 13792
1010.23/1013.19 c #Conflicts: 145000 | #Constraints: 14792
1010.23/1013.19 c #Conflicts: 146000 | #Constraints: 15792
1010.23/1013.19 c #Conflicts: 147000 | #Constraints: 16792
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 148000 | #Constraints: 10197
1010.23/1013.19 c #Conflicts: 149000 | #Constraints: 11197
1010.23/1013.19 c #Conflicts: 150000 | #Constraints: 12197
1010.23/1013.19 c #Conflicts: 151000 | #Constraints: 13197
1010.23/1013.19 c #Conflicts: 152000 | #Constraints: 14197
1010.23/1013.19 c #Conflicts: 153000 | #Constraints: 15197
1010.23/1013.19 c #Conflicts: 154000 | #Constraints: 16197
1010.23/1013.19 c #Conflicts: 155000 | #Constraints: 17197
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 156000 | #Constraints: 10401
1010.23/1013.19 c #Conflicts: 157000 | #Constraints: 11401
1010.23/1013.19 c #Conflicts: 158000 | #Constraints: 12401
1010.23/1013.19 c #Conflicts: 159000 | #Constraints: 13401
1010.23/1013.19 c #Conflicts: 160000 | #Constraints: 14401
1010.23/1013.19 c #Conflicts: 161000 | #Constraints: 15401
1010.23/1013.19 c #Conflicts: 162000 | #Constraints: 16401
1010.23/1013.19 c #Conflicts: 163000 | #Constraints: 17401
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 164000 | #Constraints: 10406
1010.23/1013.19 c #Conflicts: 165000 | #Constraints: 11406
1010.23/1013.19 c #Conflicts: 166000 | #Constraints: 12406
1010.23/1013.19 c #Conflicts: 167000 | #Constraints: 13406
1010.23/1013.19 c #Conflicts: 168000 | #Constraints: 14406
1010.23/1013.19 c #Conflicts: 169000 | #Constraints: 15406
1010.23/1013.19 c #Conflicts: 170000 | #Constraints: 16406
1010.23/1013.19 c #Conflicts: 171000 | #Constraints: 17406
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 172000 | #Constraints: 10198
1010.23/1013.19 c #Conflicts: 173000 | #Constraints: 11198
1010.23/1013.19 c #Conflicts: 174000 | #Constraints: 12198
1010.23/1013.19 c #Conflicts: 175000 | #Constraints: 13198
1010.23/1013.19 c #Conflicts: 176000 | #Constraints: 14198
1010.23/1013.19 c #Conflicts: 177000 | #Constraints: 15198
1010.23/1013.19 c #Conflicts: 178000 | #Constraints: 16198
1010.23/1013.19 c #Conflicts: 179000 | #Constraints: 17198
1010.23/1013.19 c #Conflicts: 180000 | #Constraints: 18198
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 181000 | #Constraints: 10790
1010.23/1013.19 c #Conflicts: 182000 | #Constraints: 11790
1010.23/1013.19 c #Conflicts: 183000 | #Constraints: 12790
1010.23/1013.19 c #Conflicts: 184000 | #Constraints: 13790
1010.23/1013.19 c #Conflicts: 185000 | #Constraints: 14790
1010.23/1013.19 c #Conflicts: 186000 | #Constraints: 15790
1010.23/1013.19 c #Conflicts: 187000 | #Constraints: 16790
1010.23/1013.19 c #Conflicts: 188000 | #Constraints: 17790
1010.23/1013.19 c #Conflicts: 189000 | #Constraints: 18790
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 190000 | #Constraints: 11193
1010.23/1013.19 c #Conflicts: 191000 | #Constraints: 12193
1010.23/1013.19 c #Conflicts: 192000 | #Constraints: 13193
1010.23/1013.19 c #Conflicts: 193000 | #Constraints: 14193
1010.23/1013.19 c #Conflicts: 194000 | #Constraints: 15193
1010.23/1013.19 c #Conflicts: 195000 | #Constraints: 16193
1010.23/1013.19 c #Conflicts: 196000 | #Constraints: 17193
1010.23/1013.19 c #Conflicts: 197000 | #Constraints: 18193
1010.23/1013.19 c #Conflicts: 198000 | #Constraints: 19193
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 199000 | #Constraints: 11395
1010.23/1013.19 c #Conflicts: 200000 | #Constraints: 12395
1010.23/1013.19 c #Conflicts: 201000 | #Constraints: 13395
1010.23/1013.19 c #Conflicts: 202000 | #Constraints: 14395
1010.23/1013.19 c #Conflicts: 203000 | #Constraints: 15395
1010.23/1013.19 c #Conflicts: 204000 | #Constraints: 16395
1010.23/1013.19 c #Conflicts: 205000 | #Constraints: 17395
1010.23/1013.19 c #Conflicts: 206000 | #Constraints: 18395
1010.23/1013.19 c #Conflicts: 207000 | #Constraints: 19395
1010.23/1013.19 c INPROCESSING
1010.23/1013.19 c GARBAGE COLLECT
1010.23/1013.19 c #Conflicts: 208000 | #Constraints: 11402
1010.23/1013.19 c #Conflicts: 209000 | #Constraints: 12402
1010.23/1013.19 c #Conflicts: 210000 | #Constraints: 13402
1010.23/1013.19 c #Conflicts: 211000 | #Constraints: 14402
1010.23/1013.19 c #Conflicts: 212000 | #Constraints: 15402
1010.23/1013.19 c #Conflicts: 213000 | #Constraints: 16402
1516.15/1520.41 c #Conflicts: 214000 | #Constraints: 17402
1516.15/1520.41 c #Conflicts: 215000 | #Constraints: 18402
1516.15/1520.41 c #Conflicts: 216000 | #Constraints: 19402
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 217000 | #Constraints: 11201
1516.15/1520.41 c #Conflicts: 218000 | #Constraints: 12201
1516.15/1520.41 c #Conflicts: 219000 | #Constraints: 13201
1516.15/1520.41 c #Conflicts: 220000 | #Constraints: 14201
1516.15/1520.41 c #Conflicts: 221000 | #Constraints: 15201
1516.15/1520.41 c #Conflicts: 222000 | #Constraints: 16201
1516.15/1520.41 c #Conflicts: 223000 | #Constraints: 17201
1516.15/1520.41 c #Conflicts: 224000 | #Constraints: 18201
1516.15/1520.41 c #Conflicts: 225000 | #Constraints: 19201
1516.15/1520.41 c #Conflicts: 226000 | #Constraints: 20201
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 227000 | #Constraints: 11797
1516.15/1520.41 c #Conflicts: 228000 | #Constraints: 12797
1516.15/1520.41 c #Conflicts: 229000 | #Constraints: 13797
1516.15/1520.41 c #Conflicts: 230000 | #Constraints: 14797
1516.15/1520.41 c #Conflicts: 231000 | #Constraints: 15797
1516.15/1520.41 c #Conflicts: 232000 | #Constraints: 16797
1516.15/1520.41 c #Conflicts: 233000 | #Constraints: 17797
1516.15/1520.41 c #Conflicts: 234000 | #Constraints: 18797
1516.15/1520.41 c #Conflicts: 235000 | #Constraints: 19797
1516.15/1520.41 c #Conflicts: 236000 | #Constraints: 20797
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 237000 | #Constraints: 12192
1516.15/1520.41 c #Conflicts: 238000 | #Constraints: 13192
1516.15/1520.41 c #Conflicts: 239000 | #Constraints: 14192
1516.15/1520.41 c #Conflicts: 240000 | #Constraints: 15192
1516.15/1520.41 c #Conflicts: 241000 | #Constraints: 16192
1516.15/1520.41 c #Conflicts: 242000 | #Constraints: 17192
1516.15/1520.41 c #Conflicts: 243000 | #Constraints: 18192
1516.15/1520.41 c #Conflicts: 244000 | #Constraints: 19192
1516.15/1520.41 c #Conflicts: 245000 | #Constraints: 20192
1516.15/1520.41 c #Conflicts: 246000 | #Constraints: 21192
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 247000 | #Constraints: 12397
1516.15/1520.41 c #Conflicts: 248000 | #Constraints: 13397
1516.15/1520.41 c #Conflicts: 249000 | #Constraints: 14397
1516.15/1520.41 c #Conflicts: 250000 | #Constraints: 15397
1516.15/1520.41 c #Conflicts: 251000 | #Constraints: 16397
1516.15/1520.41 c #Conflicts: 252000 | #Constraints: 17397
1516.15/1520.41 c #Conflicts: 253000 | #Constraints: 18397
1516.15/1520.41 c #Conflicts: 254000 | #Constraints: 19397
1516.15/1520.41 c #Conflicts: 255000 | #Constraints: 20397
1516.15/1520.41 c #Conflicts: 256000 | #Constraints: 21397
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 257000 | #Constraints: 12393
1516.15/1520.41 c #Conflicts: 258000 | #Constraints: 13393
1516.15/1520.41 c #Conflicts: 259000 | #Constraints: 14393
1516.15/1520.41 c #Conflicts: 260000 | #Constraints: 15393
1516.15/1520.41 c #Conflicts: 261000 | #Constraints: 16393
1516.15/1520.41 c #Conflicts: 262000 | #Constraints: 17393
1516.15/1520.41 c #Conflicts: 263000 | #Constraints: 18393
1516.15/1520.41 c #Conflicts: 264000 | #Constraints: 19393
1516.15/1520.41 c #Conflicts: 265000 | #Constraints: 20393
1516.15/1520.41 c #Conflicts: 266000 | #Constraints: 21393
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 267000 | #Constraints: 12197
1516.15/1520.41 c #Conflicts: 268000 | #Constraints: 13197
1516.15/1520.41 c #Conflicts: 269000 | #Constraints: 14197
1516.15/1520.41 c #Conflicts: 270000 | #Constraints: 15197
1516.15/1520.41 c #Conflicts: 271000 | #Constraints: 16197
1516.15/1520.41 c #Conflicts: 272000 | #Constraints: 17197
1516.15/1520.41 c #Conflicts: 273000 | #Constraints: 18197
1516.15/1520.41 c #Conflicts: 274000 | #Constraints: 19197
1516.15/1520.41 c #Conflicts: 275000 | #Constraints: 20197
1516.15/1520.41 c #Conflicts: 276000 | #Constraints: 21197
1516.15/1520.41 c #Conflicts: 277000 | #Constraints: 22197
1516.15/1520.41 c INPROCESSING
1516.15/1520.41 c GARBAGE COLLECT
1516.15/1520.41 c #Conflicts: 278000 | #Constraints: 12792
1516.15/1520.41 c #Conflicts: 279000 | #Constraints: 13792
1516.15/1520.41 c #Conflicts: 280000 | #Constraints: 14792
1516.15/1520.41 c #Conflicts: 281000 | #Constraints: 15792
1516.15/1520.41 c #Conflicts: 282000 | #Constraints: 16792
1516.15/1520.41 c #Conflicts: 283000 | #Constraints: 17792
1516.15/1520.41 c #Conflicts: 284000 | #Constraints: 18792
1516.15/1520.41 c #Conflicts: 285000 | #Constraints: 19792
1516.15/1520.41 c #Conflicts: 286000 | #Constraints: 20792
1516.15/1520.41 c #Conflicts: 287000 | #Constraints: 21792
1516.15/1520.41 c #Conflicts: 288000 | #Constraints: 22792
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 289000 | #Constraints: 13187
1818.19/1823.28 c #Conflicts: 290000 | #Constraints: 14187
1818.19/1823.28 c #Conflicts: 291000 | #Constraints: 15187
1818.19/1823.28 c #Conflicts: 292000 | #Constraints: 16187
1818.19/1823.28 c #Conflicts: 293000 | #Constraints: 17187
1818.19/1823.28 c #Conflicts: 294000 | #Constraints: 18187
1818.19/1823.28 c #Conflicts: 295000 | #Constraints: 19187
1818.19/1823.28 c #Conflicts: 296000 | #Constraints: 20187
1818.19/1823.28 c #Conflicts: 297000 | #Constraints: 21187
1818.19/1823.28 c #Conflicts: 298000 | #Constraints: 22187
1818.19/1823.28 c #Conflicts: 299000 | #Constraints: 23187
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 300000 | #Constraints: 13387
1818.19/1823.28 c #Conflicts: 301000 | #Constraints: 14387
1818.19/1823.28 c #Conflicts: 302000 | #Constraints: 15387
1818.19/1823.28 c #Conflicts: 303000 | #Constraints: 16387
1818.19/1823.28 c #Conflicts: 304000 | #Constraints: 17387
1818.19/1823.28 c #Conflicts: 305000 | #Constraints: 18387
1818.19/1823.28 c #Conflicts: 306000 | #Constraints: 19387
1818.19/1823.28 c #Conflicts: 307000 | #Constraints: 20387
1818.19/1823.28 c #Conflicts: 308000 | #Constraints: 21387
1818.19/1823.28 c #Conflicts: 309000 | #Constraints: 22387
1818.19/1823.28 c #Conflicts: 310000 | #Constraints: 23387
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 311000 | #Constraints: 13391
1818.19/1823.28 c #Conflicts: 312000 | #Constraints: 14391
1818.19/1823.28 c #Conflicts: 313000 | #Constraints: 15391
1818.19/1823.28 c #Conflicts: 314000 | #Constraints: 16391
1818.19/1823.28 c #Conflicts: 315000 | #Constraints: 17391
1818.19/1823.28 c #Conflicts: 316000 | #Constraints: 18391
1818.19/1823.28 c #Conflicts: 317000 | #Constraints: 19391
1818.19/1823.28 c #Conflicts: 318000 | #Constraints: 20391
1818.19/1823.28 c #Conflicts: 319000 | #Constraints: 21391
1818.19/1823.28 c #Conflicts: 320000 | #Constraints: 22391
1818.19/1823.28 c #Conflicts: 321000 | #Constraints: 23391
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 322000 | #Constraints: 13188
1818.19/1823.28 c #Conflicts: 323000 | #Constraints: 14188
1818.19/1823.28 c #Conflicts: 324000 | #Constraints: 15188
1818.19/1823.28 c #Conflicts: 325000 | #Constraints: 16188
1818.19/1823.28 c #Conflicts: 326000 | #Constraints: 17188
1818.19/1823.28 c #Conflicts: 327000 | #Constraints: 18188
1818.19/1823.28 c #Conflicts: 328000 | #Constraints: 19188
1818.19/1823.28 c #Conflicts: 329000 | #Constraints: 20188
1818.19/1823.28 c #Conflicts: 330000 | #Constraints: 21188
1818.19/1823.28 c #Conflicts: 331000 | #Constraints: 22188
1818.19/1823.28 c #Conflicts: 332000 | #Constraints: 23188
1818.19/1823.28 c #Conflicts: 333000 | #Constraints: 24188
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 334000 | #Constraints: 13786
1818.19/1823.28 c #Conflicts: 335000 | #Constraints: 14786
1818.19/1823.28 c #Conflicts: 336000 | #Constraints: 15786
1818.19/1823.28 c #Conflicts: 337000 | #Constraints: 16786
1818.19/1823.28 c #Conflicts: 338000 | #Constraints: 17786
1818.19/1823.28 c #Conflicts: 339000 | #Constraints: 18786
1818.19/1823.28 c #Conflicts: 340000 | #Constraints: 19786
1818.19/1823.28 c #Conflicts: 341000 | #Constraints: 20786
1818.19/1823.28 c #Conflicts: 342000 | #Constraints: 21786
1818.19/1823.28 c #Conflicts: 343000 | #Constraints: 22786
1818.19/1823.28 c #Conflicts: 344000 | #Constraints: 23786
1818.19/1823.28 c #Conflicts: 345000 | #Constraints: 24786
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 346000 | #Constraints: 14183
1818.19/1823.28 c #Conflicts: 347000 | #Constraints: 15183
1818.19/1823.28 c #Conflicts: 348000 | #Constraints: 16183
1818.19/1823.28 c #Conflicts: 349000 | #Constraints: 17183
1818.19/1823.28 c #Conflicts: 350000 | #Constraints: 18183
1818.19/1823.28 c #Conflicts: 351000 | #Constraints: 19183
1818.19/1823.28 c #Conflicts: 352000 | #Constraints: 20183
1818.19/1823.28 c #Conflicts: 353000 | #Constraints: 21183
1818.19/1823.28 c #Conflicts: 354000 | #Constraints: 22183
1818.19/1823.28 c #Conflicts: 355000 | #Constraints: 23183
1818.19/1823.28 c #Conflicts: 356000 | #Constraints: 24183
1818.19/1823.28 c #Conflicts: 357000 | #Constraints: 25183
1818.19/1823.28 c INPROCESSING
1818.19/1823.28 c GARBAGE COLLECT
1818.19/1823.28 c #Conflicts: 358000 | #Constraints: 14386
1818.19/1823.28 c #Conflicts: 359000 | #Constraints: 15386
1818.19/1823.28 c #Conflicts: 360000 | #Constraints: 16386
1818.19/1823.28 c #Conflicts: 361000 | #Constraints: 17386
1818.19/1823.28 c #Conflicts: 362000 | #Constraints: 18386
2082.34/2088.06 c #Conflicts: 363000 | #Constraints: 19386
2082.34/2088.06 c #Conflicts: 364000 | #Constraints: 20386
2082.34/2088.06 c #Conflicts: 365000 | #Constraints: 21386
2082.34/2088.06 c #Conflicts: 366000 | #Constraints: 22386
2082.34/2088.06 c #Conflicts: 367000 | #Constraints: 23386
2082.34/2088.06 c #Conflicts: 368000 | #Constraints: 24386
2082.34/2088.06 c #Conflicts: 369000 | #Constraints: 25386
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 370000 | #Constraints: 14396
2082.34/2088.06 c #Conflicts: 371000 | #Constraints: 15396
2082.34/2088.06 c #Conflicts: 372000 | #Constraints: 16396
2082.34/2088.06 c #Conflicts: 373000 | #Constraints: 17396
2082.34/2088.06 c #Conflicts: 374000 | #Constraints: 18396
2082.34/2088.06 c #Conflicts: 375000 | #Constraints: 19396
2082.34/2088.06 c #Conflicts: 376000 | #Constraints: 20396
2082.34/2088.06 c #Conflicts: 377000 | #Constraints: 21396
2082.34/2088.06 c #Conflicts: 378000 | #Constraints: 22396
2082.34/2088.06 c #Conflicts: 379000 | #Constraints: 23396
2082.34/2088.06 c #Conflicts: 380000 | #Constraints: 24396
2082.34/2088.06 c #Conflicts: 381000 | #Constraints: 25396
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 382000 | #Constraints: 14193
2082.34/2088.06 c #Conflicts: 383000 | #Constraints: 15193
2082.34/2088.06 c #Conflicts: 384000 | #Constraints: 16193
2082.34/2088.06 c #Conflicts: 385000 | #Constraints: 17193
2082.34/2088.06 c #Conflicts: 386000 | #Constraints: 18193
2082.34/2088.06 c #Conflicts: 387000 | #Constraints: 19193
2082.34/2088.06 c #Conflicts: 388000 | #Constraints: 20193
2082.34/2088.06 c #Conflicts: 389000 | #Constraints: 21193
2082.34/2088.06 c #Conflicts: 390000 | #Constraints: 22193
2082.34/2088.06 c #Conflicts: 391000 | #Constraints: 23193
2082.34/2088.06 c #Conflicts: 392000 | #Constraints: 24193
2082.34/2088.06 c #Conflicts: 393000 | #Constraints: 25193
2082.34/2088.06 c #Conflicts: 394000 | #Constraints: 26193
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 395000 | #Constraints: 14792
2082.34/2088.06 c #Conflicts: 396000 | #Constraints: 15792
2082.34/2088.06 c #Conflicts: 397000 | #Constraints: 16792
2082.34/2088.06 c #Conflicts: 398000 | #Constraints: 17792
2082.34/2088.06 c #Conflicts: 399000 | #Constraints: 18792
2082.34/2088.06 c #Conflicts: 400000 | #Constraints: 19792
2082.34/2088.06 c #Conflicts: 401000 | #Constraints: 20792
2082.34/2088.06 c #Conflicts: 402000 | #Constraints: 21792
2082.34/2088.06 c #Conflicts: 403000 | #Constraints: 22792
2082.34/2088.06 c #Conflicts: 404000 | #Constraints: 23792
2082.34/2088.06 c #Conflicts: 405000 | #Constraints: 24792
2082.34/2088.06 c #Conflicts: 406000 | #Constraints: 25792
2082.34/2088.06 c #Conflicts: 407000 | #Constraints: 26792
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 408000 | #Constraints: 15188
2082.34/2088.06 c #Conflicts: 409000 | #Constraints: 16188
2082.34/2088.06 c #Conflicts: 410000 | #Constraints: 17188
2082.34/2088.06 c #Conflicts: 411000 | #Constraints: 18188
2082.34/2088.06 c #Conflicts: 412000 | #Constraints: 19188
2082.34/2088.06 c #Conflicts: 413000 | #Constraints: 20188
2082.34/2088.06 c #Conflicts: 414000 | #Constraints: 21188
2082.34/2088.06 c #Conflicts: 415000 | #Constraints: 22188
2082.34/2088.06 c #Conflicts: 416000 | #Constraints: 23188
2082.34/2088.06 c #Conflicts: 417000 | #Constraints: 24188
2082.34/2088.06 c #Conflicts: 418000 | #Constraints: 25188
2082.34/2088.06 c #Conflicts: 419000 | #Constraints: 26188
2082.34/2088.06 c #Conflicts: 420000 | #Constraints: 27188
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 421000 | #Constraints: 15394
2082.34/2088.06 c #Conflicts: 422000 | #Constraints: 16394
2082.34/2088.06 c #Conflicts: 423000 | #Constraints: 17394
2082.34/2088.06 c #Conflicts: 424000 | #Constraints: 18394
2082.34/2088.06 c #Conflicts: 425000 | #Constraints: 19394
2082.34/2088.06 c #Conflicts: 426000 | #Constraints: 20394
2082.34/2088.06 c #Conflicts: 427000 | #Constraints: 21394
2082.34/2088.06 c #Conflicts: 428000 | #Constraints: 22394
2082.34/2088.06 c #Conflicts: 429000 | #Constraints: 23394
2082.34/2088.06 c #Conflicts: 430000 | #Constraints: 24394
2082.34/2088.06 c #Conflicts: 431000 | #Constraints: 25394
2082.34/2088.06 c #Conflicts: 432000 | #Constraints: 26394
2082.34/2088.06 c #Conflicts: 433000 | #Constraints: 27394
2082.34/2088.06 c INPROCESSING
2082.34/2088.06 c GARBAGE COLLECT
2082.34/2088.06 c #Conflicts: 434000 | #Constraints: 15397
2082.34/2088.06 c #Conflicts: 435000 | #Constraints: 16397
2082.34/2088.06 c #Conflicts: 436000 | #Constraints: 17397
2082.34/2088.06 c #Conflicts: 437000 | #Constraints: 18397
2728.88/2736.28 c #Conflicts: 438000 | #Constraints: 19397
2728.88/2736.28 c #Conflicts: 439000 | #Constraints: 20397
2728.88/2736.28 c #Conflicts: 440000 | #Constraints: 21397
2728.88/2736.28 c #Conflicts: 441000 | #Constraints: 22397
2728.88/2736.28 c #Conflicts: 442000 | #Constraints: 23397
2728.88/2736.28 c #Conflicts: 443000 | #Constraints: 24397
2728.88/2736.28 c #Conflicts: 444000 | #Constraints: 25397
2728.88/2736.28 c #Conflicts: 445000 | #Constraints: 26397
2728.88/2736.28 c #Conflicts: 446000 | #Constraints: 27397
2728.88/2736.28 c INPROCESSING
2728.88/2736.28 c GARBAGE COLLECT
2728.88/2736.28 c #Conflicts: 447000 | #Constraints: 15196
2728.88/2736.28 c #Conflicts: 448000 | #Constraints: 16196
2728.88/2736.28 c #Conflicts: 449000 | #Constraints: 17196
2728.88/2736.28 c #Conflicts: 450000 | #Constraints: 18196
2728.88/2736.28 c #Conflicts: 451000 | #Constraints: 19196
2728.88/2736.28 c #Conflicts: 452000 | #Constraints: 20196
2728.88/2736.28 c #Conflicts: 453000 | #Constraints: 21196
2728.88/2736.28 c #Conflicts: 454000 | #Constraints: 22196
2728.88/2736.28 c #Conflicts: 455000 | #Constraints: 23196
2728.88/2736.28 c #Conflicts: 456000 | #Constraints: 24196
2728.88/2736.28 c #Conflicts: 457000 | #Constraints: 25196
2728.88/2736.28 c #Conflicts: 458000 | #Constraints: 26196
2728.88/2736.28 c #Conflicts: 459000 | #Constraints: 27196
2728.88/2736.28 c #Conflicts: 460000 | #Constraints: 28196
2728.88/2736.28 c INPROCESSING
2728.88/2736.28 c GARBAGE COLLECT
2728.88/2736.28 c #Conflicts: 461000 | #Constraints: 15801
2728.88/2736.28 c #Conflicts: 462000 | #Constraints: 16801
2728.88/2736.28 c #Conflicts: 463000 | #Constraints: 17801
2728.88/2736.28 c #Conflicts: 464000 | #Constraints: 18801
2728.88/2736.28 c #Conflicts: 465000 | #Constraints: 19801
2728.88/2736.28 c #Conflicts: 466000 | #Constraints: 20801
2728.88/2736.28 c #Conflicts: 467000 | #Constraints: 21801
2728.88/2736.28 c #Conflicts: 468000 | #Constraints: 22801
2728.88/2736.28 c #Conflicts: 469000 | #Constraints: 23801
2728.88/2736.28 c #Conflicts: 470000 | #Constraints: 24801
2728.88/2736.28 c #Conflicts: 471000 | #Constraints: 25801
2728.88/2736.28 c #Conflicts: 472000 | #Constraints: 26801
2728.88/2736.28 c #Conflicts: 473000 | #Constraints: 27801
2728.88/2736.28 c #Conflicts: 474000 | #Constraints: 28801
2728.88/2736.28 c INPROCESSING
2728.88/2736.28 c GARBAGE COLLECT
2728.88/2736.28 c #Conflicts: 475000 | #Constraints: 16206
2728.88/2736.28 c #Conflicts: 476000 | #Constraints: 17206
2728.88/2736.28 c #Conflicts: 477000 | #Constraints: 18206
2728.88/2736.28 c #Conflicts: 478000 | #Constraints: 19206
2728.88/2736.28 c #Conflicts: 479000 | #Constraints: 20206
2728.88/2736.28 c #Conflicts: 480000 | #Constraints: 21206
2728.88/2736.28 c #Conflicts: 481000 | #Constraints: 22206
2728.88/2736.28 c #Conflicts: 482000 | #Constraints: 23206
2728.88/2736.28 c #Conflicts: 483000 | #Constraints: 24206
2728.88/2736.28 c #Conflicts: 484000 | #Constraints: 25206
2728.88/2736.28 c #Conflicts: 485000 | #Constraints: 26206
2728.88/2736.28 c #Conflicts: 486000 | #Constraints: 27206
2728.88/2736.28 c #Conflicts: 487000 | #Constraints: 28206
2728.88/2736.28 c #Conflicts: 488000 | #Constraints: 29206
2728.88/2736.28 c INPROCESSING
2728.88/2736.28 c GARBAGE COLLECT
2728.88/2736.28 c #Conflicts: 489000 | #Constraints: 16416
2728.88/2736.28 c #Conflicts: 490000 | #Constraints: 17416
2728.88/2736.28 c #Conflicts: 491000 | #Constraints: 18416
2728.88/2736.28 c #Conflicts: 492000 | #Constraints: 19416
2728.88/2736.28 c #Conflicts: 493000 | #Constraints: 20416
2728.88/2736.28 c #Conflicts: 494000 | #Constraints: 21416
2728.88/2736.28 c #Conflicts: 495000 | #Constraints: 22416
2728.88/2736.28 c #Conflicts: 496000 | #Constraints: 23416
2728.88/2736.28 c #Conflicts: 497000 | #Constraints: 24416
2728.88/2736.28 c #Conflicts: 498000 | #Constraints: 25416
2728.88/2736.28 c #Conflicts: 499000 | #Constraints: 26416
2728.88/2736.28 c #Conflicts: 500000 | #Constraints: 27416
2728.88/2736.28 c #Conflicts: 501000 | #Constraints: 28416
2728.88/2736.28 c #Conflicts: 502000 | #Constraints: 29416
2728.88/2736.28 c INPROCESSING
2728.88/2736.28 c GARBAGE COLLECT
2728.88/2736.28 c #Conflicts: 503000 | #Constraints: 16420
2728.88/2736.28 c #Conflicts: 504000 | #Constraints: 17420
2728.88/2736.28 c #Conflicts: 505000 | #Constraints: 18420
2728.88/2736.28 c #Conflicts: 506000 | #Constraints: 19420
2728.88/2736.28 c #Conflicts: 507000 | #Constraints: 20420
2728.88/2736.28 c #Conflicts: 508000 | #Constraints: 21420
2728.88/2736.28 c #Conflicts: 509000 | #Constraints: 22420
2728.88/2736.28 c #Conflicts: 510000 | #Constraints: 23420
2728.88/2736.28 c #Conflicts: 511000 | #Constraints: 24420
2728.88/2736.28 c #Conflicts: 512000 | #Constraints: 25420
2728.88/2736.28 c #Conflicts: 513000 | #Constraints: 26420
3055.17/3063.31 c #Conflicts: 514000 | #Constraints: 27420
3055.17/3063.31 c #Conflicts: 515000 | #Constraints: 28420
3055.17/3063.31 c #Conflicts: 516000 | #Constraints: 29420
3055.17/3063.31 c INPROCESSING
3055.17/3063.31 c GARBAGE COLLECT
3055.17/3063.31 c #Conflicts: 517000 | #Constraints: 16203
3055.17/3063.31 c #Conflicts: 518000 | #Constraints: 17203
3055.17/3063.31 c #Conflicts: 519000 | #Constraints: 18203
3055.17/3063.31 c #Conflicts: 520000 | #Constraints: 19203
3055.17/3063.31 c #Conflicts: 521000 | #Constraints: 20203
3055.17/3063.31 c #Conflicts: 522000 | #Constraints: 21203
3055.17/3063.31 c #Conflicts: 523000 | #Constraints: 22203
3055.17/3063.31 c #Conflicts: 524000 | #Constraints: 23203
3055.17/3063.31 c #Conflicts: 525000 | #Constraints: 24203
3055.17/3063.31 c #Conflicts: 526000 | #Constraints: 25203
3055.17/3063.31 c #Conflicts: 527000 | #Constraints: 26203
3055.17/3063.31 c #Conflicts: 528000 | #Constraints: 27203
3055.17/3063.31 c #Conflicts: 529000 | #Constraints: 28203
3055.17/3063.31 c #Conflicts: 530000 | #Constraints: 29203
3055.17/3063.31 c #Conflicts: 531000 | #Constraints: 30203
3055.17/3063.31 c INPROCESSING
3055.17/3063.31 c GARBAGE COLLECT
3055.17/3063.31 c #Conflicts: 532000 | #Constraints: 16806
3055.17/3063.31 c #Conflicts: 533000 | #Constraints: 17806
3055.17/3063.31 c #Conflicts: 534000 | #Constraints: 18806
3055.17/3063.31 c #Conflicts: 535000 | #Constraints: 19806
3055.17/3063.31 c #Conflicts: 536000 | #Constraints: 20806
3055.17/3063.31 c #Conflicts: 537000 | #Constraints: 21806
3055.17/3063.31 c #Conflicts: 538000 | #Constraints: 22806
3055.17/3063.31 c #Conflicts: 539000 | #Constraints: 23806
3055.17/3063.31 c #Conflicts: 540000 | #Constraints: 24806
3055.17/3063.31 c #Conflicts: 541000 | #Constraints: 25806
3055.17/3063.31 c #Conflicts: 542000 | #Constraints: 26806
3055.17/3063.31 c #Conflicts: 543000 | #Constraints: 27806
3055.17/3063.31 c #Conflicts: 544000 | #Constraints: 28806
3055.17/3063.31 c #Conflicts: 545000 | #Constraints: 29806
3055.17/3063.31 c #Conflicts: 546000 | #Constraints: 30806
3055.17/3063.31 c INPROCESSING
3055.17/3063.31 c GARBAGE COLLECT
3055.17/3063.31 c #Conflicts: 547000 | #Constraints: 17202
3055.17/3063.31 c #Conflicts: 548000 | #Constraints: 18202
3055.17/3063.31 c #Conflicts: 549000 | #Constraints: 19202
3055.17/3063.31 c #Conflicts: 550000 | #Constraints: 20202
3055.17/3063.31 c #Conflicts: 551000 | #Constraints: 21202
3055.17/3063.31 c #Conflicts: 552000 | #Constraints: 22202
3055.17/3063.31 c #Conflicts: 553000 | #Constraints: 23202
3055.17/3063.31 c #Conflicts: 554000 | #Constraints: 24202
3055.17/3063.31 c #Conflicts: 555000 | #Constraints: 25202
3055.17/3063.31 c #Conflicts: 556000 | #Constraints: 26202
3055.17/3063.31 c #Conflicts: 557000 | #Constraints: 27202
3055.17/3063.31 c #Conflicts: 558000 | #Constraints: 28202
3055.17/3063.31 c #Conflicts: 559000 | #Constraints: 29202
3055.17/3063.31 c #Conflicts: 560000 | #Constraints: 30202
3055.17/3063.31 c #Conflicts: 561000 | #Constraints: 31202
3055.17/3063.31 c INPROCESSING
3055.17/3063.31 c GARBAGE COLLECT
3055.17/3063.31 c #Conflicts: 562000 | #Constraints: 17397
3055.17/3063.31 c #Conflicts: 563000 | #Constraints: 18397
3055.17/3063.31 c #Conflicts: 564000 | #Constraints: 19397
3055.17/3063.31 c #Conflicts: 565000 | #Constraints: 20397
3055.17/3063.31 c #Conflicts: 566000 | #Constraints: 21397
3055.17/3063.31 c #Conflicts: 567000 | #Constraints: 22397
3055.17/3063.31 c #Conflicts: 568000 | #Constraints: 23397
3055.17/3063.31 c #Conflicts: 569000 | #Constraints: 24397
3055.17/3063.32 c #Conflicts: 570000 | #Constraints: 25397
3055.17/3063.32 c #Conflicts: 571000 | #Constraints: 26397
3055.17/3063.32 c #Conflicts: 572000 | #Constraints: 27397
3055.17/3063.32 c #Conflicts: 573000 | #Constraints: 28397
3055.17/3063.32 c #Conflicts: 574000 | #Constraints: 29397
3055.17/3063.32 c #Conflicts: 575000 | #Constraints: 30397
3055.17/3063.32 c #Conflicts: 576000 | #Constraints: 31397
3055.17/3063.32 c INPROCESSING
3055.17/3063.32 c GARBAGE COLLECT
3055.17/3063.32 c #Conflicts: 577000 | #Constraints: 17406
3055.17/3063.32 c #Conflicts: 578000 | #Constraints: 18406
3055.17/3063.32 c #Conflicts: 579000 | #Constraints: 19406
3055.17/3063.32 c #Conflicts: 580000 | #Constraints: 20406
3055.17/3063.32 c #Conflicts: 581000 | #Constraints: 21406
3055.17/3063.32 c #Conflicts: 582000 | #Constraints: 22406
3055.17/3063.32 c #Conflicts: 583000 | #Constraints: 23406
3055.17/3063.32 c #Conflicts: 584000 | #Constraints: 24406
3055.17/3063.32 c #Conflicts: 585000 | #Constraints: 25406
3055.17/3063.32 c #Conflicts: 586000 | #Constraints: 26406
3055.17/3063.32 c #Conflicts: 587000 | #Constraints: 27406
3055.17/3063.32 c #Conflicts: 588000 | #Constraints: 28406
3482.92/3492.14 c #Conflicts: 589000 | #Constraints: 29406
3482.92/3492.14 c #Conflicts: 590000 | #Constraints: 30406
3482.92/3492.14 c #Conflicts: 591000 | #Constraints: 31406
3482.92/3492.14 c INPROCESSING
3482.92/3492.14 c GARBAGE COLLECT
3482.92/3492.14 c #Conflicts: 592000 | #Constraints: 17229
3482.92/3492.14 c #Conflicts: 593000 | #Constraints: 18229
3482.92/3492.14 c #Conflicts: 594000 | #Constraints: 19229
3482.92/3492.14 c #Conflicts: 595000 | #Constraints: 20229
3482.92/3492.14 c #Conflicts: 596000 | #Constraints: 21229
3482.92/3492.14 c #Conflicts: 597000 | #Constraints: 22229
3482.92/3492.14 c #Conflicts: 598000 | #Constraints: 23229
3482.92/3492.14 c #Conflicts: 599000 | #Constraints: 24229
3482.92/3492.14 c #Conflicts: 600000 | #Constraints: 25229
3482.92/3492.14 c #Conflicts: 601000 | #Constraints: 26229
3482.92/3492.14 c #Conflicts: 602000 | #Constraints: 27229
3482.92/3492.14 c #Conflicts: 603000 | #Constraints: 28229
3482.92/3492.14 c #Conflicts: 604000 | #Constraints: 29229
3482.92/3492.14 c #Conflicts: 605000 | #Constraints: 30229
3482.92/3492.14 c #Conflicts: 606000 | #Constraints: 31229
3482.92/3492.14 c #Conflicts: 607000 | #Constraints: 32229
3482.92/3492.14 c INPROCESSING
3482.92/3492.14 c GARBAGE COLLECT
3482.92/3492.14 c #Conflicts: 608000 | #Constraints: 17812
3482.92/3492.14 c #Conflicts: 609000 | #Constraints: 18812
3482.92/3492.14 c #Conflicts: 610000 | #Constraints: 19812
3482.92/3492.14 c #Conflicts: 611000 | #Constraints: 20812
3482.92/3492.14 c #Conflicts: 612000 | #Constraints: 21812
3482.92/3492.14 c #Conflicts: 613000 | #Constraints: 22812
3482.92/3492.14 c #Conflicts: 614000 | #Constraints: 23812
3482.92/3492.14 c #Conflicts: 615000 | #Constraints: 24812
3482.92/3492.14 c #Conflicts: 616000 | #Constraints: 25812
3482.92/3492.14 c #Conflicts: 617000 | #Constraints: 26812
3482.92/3492.14 c #Conflicts: 618000 | #Constraints: 27812
3482.92/3492.14 c #Conflicts: 619000 | #Constraints: 28812
3482.92/3492.14 c #Conflicts: 620000 | #Constraints: 29812
3482.92/3492.14 c #Conflicts: 621000 | #Constraints: 30812
3482.92/3492.14 c #Conflicts: 622000 | #Constraints: 31812
3482.92/3492.14 c #Conflicts: 623000 | #Constraints: 32812
3482.92/3492.14 c INPROCESSING
3482.92/3492.14 c GARBAGE COLLECT
3482.92/3492.14 c #Conflicts: 624000 | #Constraints: 18202
3482.92/3492.14 c #Conflicts: 625000 | #Constraints: 19202
3482.92/3492.14 c #Conflicts: 626000 | #Constraints: 20202
3482.92/3492.14 c #Conflicts: 627000 | #Constraints: 21202
3482.92/3492.14 c #Conflicts: 628000 | #Constraints: 22202
3482.92/3492.14 c #Conflicts: 629000 | #Constraints: 23202
3482.92/3492.14 c #Conflicts: 630000 | #Constraints: 24202
3482.92/3492.14 c #Conflicts: 631000 | #Constraints: 25202
3482.92/3492.14 c #Conflicts: 632000 | #Constraints: 26202
3482.92/3492.14 c #Conflicts: 633000 | #Constraints: 27202
3482.92/3492.14 c #Conflicts: 634000 | #Constraints: 28202
3482.92/3492.14 c #Conflicts: 635000 | #Constraints: 29202
3482.92/3492.14 c #Conflicts: 636000 | #Constraints: 30202
3482.92/3492.14 c #Conflicts: 637000 | #Constraints: 31202
3482.92/3492.14 c #Conflicts: 638000 | #Constraints: 32202
3482.92/3492.14 c #Conflicts: 639000 | #Constraints: 33202
3482.92/3492.14 c INPROCESSING
3482.92/3492.14 c GARBAGE COLLECT
3482.92/3492.14 c #Conflicts: 640000 | #Constraints: 18407
3482.92/3492.14 c #Conflicts: 641000 | #Constraints: 19407
3482.92/3492.14 c #Conflicts: 642000 | #Constraints: 20407
3482.92/3492.14 c #Conflicts: 643000 | #Constraints: 21407
3482.92/3492.14 c #Conflicts: 644000 | #Constraints: 22407
3482.92/3492.14 c #Conflicts: 645000 | #Constraints: 23407
3482.92/3492.14 c #Conflicts: 646000 | #Constraints: 24407
3482.92/3492.14 c #Conflicts: 647000 | #Constraints: 25407
3482.92/3492.14 c #Conflicts: 648000 | #Constraints: 26407
3482.92/3492.14 c #Conflicts: 649000 | #Constraints: 27407
3482.92/3492.14 c #Conflicts: 650000 | #Constraints: 28407
3482.92/3492.14 c #Conflicts: 651000 | #Constraints: 29407
3482.92/3492.14 c #Conflicts: 652000 | #Constraints: 30407
3482.92/3492.14 c #Conflicts: 653000 | #Constraints: 31407
3482.92/3492.14 c #Conflicts: 654000 | #Constraints: 32407
3482.92/3492.14 c #Conflicts: 655000 | #Constraints: 33407
3482.92/3492.14 c INPROCESSING
3482.92/3492.14 c GARBAGE COLLECT
3482.92/3492.14 c #Conflicts: 656000 | #Constraints: 18411
3482.92/3492.14 c #Conflicts: 657000 | #Constraints: 19411
3482.92/3492.14 c #Conflicts: 658000 | #Constraints: 20411
3482.92/3492.14 c #Conflicts: 659000 | #Constraints: 21411
3482.92/3492.14 c #Conflicts: 660000 | #Constraints: 22411
3482.92/3492.14 c #Conflicts: 661000 | #Constraints: 23411
3482.92/3492.14 c #Conflicts: 662000 | #Constraints: 24411
3482.92/3492.14 c #Conflicts: 663000 | #Constraints: 25411
3482.92/3492.14 c #Conflicts: 664000 | #Constraints: 26411
3600.01/3609.50 c #Conflicts: 665000 | #Constraints: 27411
3600.01/3609.50 c #Conflicts: 666000 | #Constraints: 28411
3600.01/3609.50 c #Conflicts: 667000 | #Constraints: 29411
3600.01/3609.50 c #Conflicts: 668000 | #Constraints: 30411
3600.01/3609.50 c #Conflicts: 669000 | #Constraints: 31411
3600.01/3609.50 c #Conflicts: 670000 | #Constraints: 32411
3600.01/3609.50 c #Conflicts: 671000 | #Constraints: 33411
3600.01/3609.50 c INPROCESSING
3600.01/3609.50 c GARBAGE COLLECT
3600.01/3609.50 c #Conflicts: 672000 | #Constraints: 18201
3600.01/3609.50 c #Conflicts: 673000 | #Constraints: 19201
3600.01/3609.50 c #Conflicts: 674000 | #Constraints: 20201
3600.01/3609.50 c #Conflicts: 675000 | #Constraints: 21201
3600.01/3609.50 c #Conflicts: 676000 | #Constraints: 22201
3600.01/3609.50 c #Conflicts: 677000 | #Constraints: 23201
3600.01/3609.50 c #Conflicts: 678000 | #Constraints: 24201
3600.01/3609.50 c #Conflicts: 679000 | #Constraints: 25201
3600.01/3609.50 c #Conflicts: 680000 | #Constraints: 26201
3600.01/3609.50 c #Conflicts: 681000 | #Constraints: 27201
3600.01/3609.50 c #Conflicts: 682000 | #Constraints: 28201
3600.01/3609.50 c #Conflicts: 683000 | #Constraints: 29201
3600.01/3609.50 c #Conflicts: 684000 | #Constraints: 30201
3600.01/3609.50 c #Conflicts: 685000 | #Constraints: 31201
3600.01/3609.50 c #Conflicts: 686000 | #Constraints: 32201
3600.01/3609.50 c Program interrupted by user.
3600.01/3609.50 c cpu time 3568.97 s
3600.01/3609.50 c deterministic time 671127597384 6.71e+11
3600.01/3609.50 c optimization time 72.7998 s
3600.01/3609.50 c total solve time 3196.36 s
3600.01/3609.50 c core-guided solve time 3196.36 s
3600.01/3609.50 c propagation time 2295.03 s
3600.01/3609.50 c conflict analysis time 726.335 s
3600.01/3609.50 c propagations 228542216
3600.01/3609.50 c resolve steps 3285272
3600.01/3609.50 c decisions 32459402
3600.01/3609.50 c conflicts 686456
3600.01/3609.50 c restarts 1498
3600.01/3609.50 c inprocessing phases 73
3600.01/3609.50 c input clauses 714
3600.01/3609.50 c input cardinalities 713
3600.01/3609.50 c input general constraints 129
3600.01/3609.50 c input average constraint length 117.37
3600.01/3609.50 c input average constraint degree 24895.78
3600.01/3609.50 c learned clauses 6091
3600.01/3609.50 c learned cardinalities 153
3600.01/3609.50 c learned general constraints 680211
3600.01/3609.50 c learned average constraint length 3480.09
3600.01/3609.50 c learned average constraint degree 27105006.57
3600.01/3609.50 c watched constraints 403967
3600.01/3609.50 c counting constraints 276373
3600.01/3609.50 c gcd simplifications 3189
3600.01/3609.50 c detected cardinalities 8
3600.01/3609.50 c weakened non-implied lits 292404067
3600.01/3609.50 c weakened non-implying lits 104691
3600.01/3609.50 c original variables 45632
3600.01/3609.50 c clausal propagations 2455033
3600.01/3609.50 c cardinality propagations 23478566
3600.01/3609.50 c watched propagations 19048638
3600.01/3609.50 c counting propagations 181893296
3600.01/3609.50 c watch lookups 22009997434
3600.01/3609.50 c watch backjump lookups 21611955825
3600.01/3609.50 c watch checks 518566243119
3600.01/3609.50 c propagation checks 102011520676
3600.01/3609.50 c constraint additions 6405233974
3600.01/3609.50 c trail pops 261644737
3600.01/3609.50 c formula constraints 1554
3600.01/3609.50 c learned constraints 686455
3600.01/3609.50 c bound constraints 1
3600.01/3609.50 c core-guided constraints 1
3600.01/3609.50 c encountered formula constraints 2288476
3600.01/3609.50 c encountered learned constraints 1682069
3600.01/3609.50 c encountered bound constraints 286
3600.01/3609.50 c encountered core-guided constraints 897
3600.01/3609.50 c LP total time 0 s
3600.01/3609.50 c LP solve time 0 s
3600.01/3609.50 c LP constraints added 0
3600.01/3609.50 c LP constraints removed 0
3600.01/3609.50 c LP pivots internal 0
3600.01/3609.50 c LP pivots root 0
3600.01/3609.50 c LP calls 0
3600.01/3609.50 c LP optimalities 0
3600.01/3609.50 c LP no pivot count 0
3600.01/3609.50 c LP infeasibilities 0
3600.01/3609.50 c LP valid Farkas constraints 0
3600.01/3609.50 c LP learned Farkas constraints 0
3600.01/3609.50 c LP basis resets 0
3600.01/3609.50 c LP cycling count 0
3600.01/3609.50 c LP singular count 0
3600.01/3609.50 c LP no primal count 0
3600.01/3609.50 c LP no farkas count 0
3600.01/3609.50 c LP other issue count 0
3600.01/3609.50 c LP Gomory cuts 0
3600.01/3609.50 c LP learned cuts 0
3600.01/3609.50 c LP deleted cuts 0
3600.01/3609.50 c LP encountered Gomory constraints 0
3600.01/3609.50 c LP encountered Farkas constraints 0
3600.01/3609.50 c LP encountered learned Farkas constraints 0
3600.01/3609.50 c CG auxiliary variables introduced 1
3600.01/3609.50 c CG solutions found 0
3600.01/3609.50 c CG cores constructed 0
3600.01/3609.50 c CG core cardinality constraints returned 0
3600.01/3609.50 c CG unit cores 0
3600.01/3609.50 c CG single cores 0
3600.01/3609.50 c CG blocks removed during cardinality reduction 0
3600.01/3609.50 c CG first core best 0
3600.01/3609.50 c CG decision core best 0
3600.01/3609.50 c CG core reduction tie 0
3600.01/3609.50 c CG core degree average 0.00
3600.01/3609.50 c CG core slack average 0.00
3600.01/3609.50 c CG exhausted 0
3600.01/3609.50 c CG exhaust time 0 s
3600.01/3609.50 c CG trimmed 0
3600.01/3609.50 c CG trim time 0 s
3600.01/3609.50 c CG minimized 0
3600.01/3609.50 c CG minimize time 0 s
3600.01/3609.50 c CG am1 prop time 0.005136 s
3600.01/3609.50 c CG # am1s reformulated 1
3600.01/3609.50 c CG lower bound derived from am1s 58
3600.01/3609.50 c CG # clausal cores 0
3600.01/3609.50 c CG # cardinality cores 0
3600.01/3609.50 c CG # pb cores 0
3600.01/3609.50 c CG # pb reforms 0
3600.01/3609.50 c CG # cores discarded because of pb reform 0
3600.01/3609.50 d LOWERBOUND 0
3600.01/3609.50 d NCORES 0
3600.01/3609.50 d NPBCORES 0
3600.01/3609.50 d NPBREFORM 0
3600.01/3609.50 d NTRIMMED 0
3600.01/3609.50 d NEXHAUSTED 0
3600.01/3609.50 d NAM1S 1
3600.01/3609.50 d AM1LB 58
3600.01/3609.50 c [Papilo Statistics]
3600.01/3609.50 c prepro time 0.246648s
3600.01/3609.50 c # tsx applied 723
3600.01/3609.50 c # tsx conflicts 0
3600.01/3609.50 c # bound changes 5
3600.01/3609.50 c # side changes 713
3600.01/3609.50 c # coef changes 0
3600.01/3609.50 c # rounds 2
3600.01/3609.50 c # deted vars 5
3600.01/3609.50 c # deted constrs 712
3600.01/3609.50 c # consecutive rounds of only bound changes 0
3600.01/3609.56 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 (59122 MiB free)
memory of node 1: 64510 MiB (61894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435762-1721173545/watcher-4435762-1721173545 -o /tmp/evaluation-result-4435762-1721173545/solver-4435762-1721173545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877608 --watchdog 3760 mixed-bag HOME/instance-4435762-1721173545.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=877659, runsolver pid=877656
[startup+0.100166 s]*
/proc/loadavg: 1.21 1.97 2.93 5/236 877660
/proc/meminfo: memFree=123883360/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=84404 memory=17852 CPUtime=0.1 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 3588 0 0 0 8 2 0 0 20 0 1 0 169513238 86429696 4463 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 21101 4463 1630 3002 0 5391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84404 KiB
Current children cumulated memory: 17852 KiB
[startup+0.212696 s]*
/proc/loadavg: 1.21 1.97 2.93 5/242 877670
/proc/meminfo: memFree=123828800/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=86452 memory=20060 CPUtime=0.21 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 4122 0 0 0 19 2 0 0 20 0 1 0 169513238 88526848 5015 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 21613 5015 1630 3002 0 5903 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 86452 KiB
Current children cumulated memory: 20060 KiB
[startup+0.312915 s]*
/proc/loadavg: 1.21 1.97 2.93 6/242 877670
/proc/meminfo: memFree=123780596/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=93448 memory=23716 CPUtime=0.3 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 4492 0 0 0 28 2 0 0 20 0 1 0 169513238 95690752 5929 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 23362 5929 1646 3002 0 7652 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93448 KiB
Current children cumulated memory: 23716 KiB
[startup+0.700359 s]
/proc/loadavg: 1.21 1.97 2.93 5/242 877670
/proc/meminfo: memFree=123664072/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=176332 memory=108076 CPUtime=0.68 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 23758 0 0 0 60 8 0 0 20 0 1 0 169513238 180563968 26953 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 44083 26953 3664 3002 0 27834 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176332 KiB
Current children cumulated memory: 108076 KiB
[startup+1.50035 s]
/proc/loadavg: 1.21 1.97 2.93 5/242 877670
/proc/meminfo: memFree=123442216/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=275264 memory=202812 CPUtime=1.48 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 50565 0 0 0 133 15 0 0 20 0 1 0 169513238 281870336 50703 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 68816 50703 3808 3002 0 52567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 275264 KiB
Current children cumulated memory: 202812 KiB
[startup+3.11268 s]
/proc/loadavg: 1.43 2.00 2.94 5/242 877672
/proc/meminfo: memFree=122374640/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=548460 memory=399820 CPUtime=3.08 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 81618 0 0 0 286 22 0 0 20 0 1 0 169513238 561623040 99955 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 137115 99955 3840 3002 0 120866 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 548460 KiB
Current children cumulated memory: 399820 KiB
[startup+6.30027 s]
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=121567580/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=642044 memory=493000 CPUtime=6.27 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 104935 0 0 0 600 27 0 0 20 0 1 0 169513238 657453056 123250 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 160511 123250 3840 3002 0 144262 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 642044 KiB
Current children cumulated memory: 493000 KiB
[startup+12.7003 s]
/proc/loadavg: 1.83 2.07 2.95 5/242 877718
/proc/meminfo: memFree=120996788/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1121964 memory=960996 CPUtime=12.64 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 222453 0 0 0 1220 44 0 0 20 0 1 0 169513238 1148891136 240249 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 280491 240249 4027 3002 0 264242 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1121964 KiB
Current children cumulated memory: 960996 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.13 2.96 5/242 877721
/proc/meminfo: memFree=120698456/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1240224 memory=1075708 CPUtime=25.4 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 251584 0 0 0 2492 48 0 0 20 0 1 0 169513238 1269989376 268927 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 310056 268927 4027 3002 0 293807 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1240224 KiB
Current children cumulated memory: 1075708 KiB
[startup+51.1127 s]
/proc/loadavg: 2.85 2.30 3.00 5/242 877724
/proc/meminfo: memFree=119947472/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1360920 memory=1193892 CPUtime=50.93 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 281572 0 0 0 5040 53 0 0 20 0 1 0 169513238 1393582080 298473 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 340230 298473 4042 3002 0 323981 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1360920 KiB
Current children cumulated memory: 1193892 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.62 3.07 5/242 877732
/proc/meminfo: memFree=119658068/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1412116 memory=1241716 CPUtime=101.95 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 293560 0 0 0 10138 57 0 0 20 0 1 0 169513238 1446006784 310429 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 353029 310429 4042 3002 0 336780 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1412116 KiB
Current children cumulated memory: 1241716 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.89 3.13 5/242 877742
/proc/meminfo: memFree=119422748/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1412116 memory=1241984 CPUtime=161.76 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 293667 0 0 0 16118 58 0 0 20 0 1 0 169513238 1446006784 310496 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 353029 310496 4058 3002 0 336780 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1412116 KiB
Current children cumulated memory: 1241984 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.11 3.20 5/243 877846
/proc/meminfo: memFree=120180624/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1412116 memory=1241984 CPUtime=221.57 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 293676 0 0 0 22098 59 0 0 20 0 1 0 169513238 1446006784 310496 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 353029 310496 4058 3002 0 336780 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1412116 KiB
Current children cumulated memory: 1241984 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.29 3.25 5/246 877862
/proc/meminfo: memFree=119513992/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1412116 memory=1242744 CPUtime=281.4 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 293861 0 0 0 28079 61 0 0 20 0 1 0 169513238 1446006784 310686 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 353029 310686 4058 3002 0 336780 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1412116 KiB
Current children cumulated memory: 1242744 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.32 5/245 877872
/proc/meminfo: memFree=119441776/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1366924 memory=1261272 CPUtime=341.23 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 301904 0 0 0 33881 242 0 0 20 0 1 0 169513238 1399730176 315318 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 341731 315318 4218 3002 0 325482 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1366924 KiB
Current children cumulated memory: 1261272 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.59 3.37 5/245 877883
/proc/meminfo: memFree=119083284/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1580572 memory=1404648 CPUtime=401.07 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 304330 0 0 0 39750 357 0 0 20 0 1 0 169513238 1618505728 351162 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 395143 351162 4218 3002 0 378894 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1580572 KiB
Current children cumulated memory: 1404648 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.70 3.43 5/245 877893
/proc/meminfo: memFree=118986404/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=1580572 memory=1407792 CPUtime=460.91 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 305344 0 0 0 45571 520 0 0 20 0 1 0 169513238 1618505728 351948 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 395143 351948 4218 3002 0 378894 0
################
# More data... #
################
Current children cumulated memory: 3686848 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 879506
/proc/meminfo: memFree=111995972/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4067432 memory=3729900 CPUtime=2914.52 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 740922 0 0 0 289004 2448 0 0 20 0 1 0 169513238 4165050368 932475 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1016858 932475 4218 3002 0 1000609 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 4067432 KiB
Current children cumulated memory: 3729900 KiB
[startup+2982.3 s]
/proc/loadavg: 4.39 4.18 4.11 5/242 879517
/proc/meminfo: memFree=111910300/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4074328 memory=3739988 CPUtime=2974.38 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 745377 0 0 0 294913 2525 0 0 20 0 1 0 169513238 4172111872 934997 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1018582 934997 4218 3002 0 1002333 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 4074328 KiB
Current children cumulated memory: 3739988 KiB
[startup+3042.3 s]
/proc/loadavg: 4.54 4.28 4.15 5/242 879528
/proc/meminfo: memFree=111850372/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4074328 memory=3740004 CPUtime=3034.22 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 747053 0 0 0 300836 2586 0 0 20 0 1 0 169513238 4172111872 935001 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1018582 935001 4218 3002 0 1002333 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 4074328 KiB
Current children cumulated memory: 3740004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.93 4.44 4.22 5/242 879538
/proc/meminfo: memFree=111844088/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4074328 memory=3740008 CPUtime=3094.07 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 748380 0 0 0 306760 2647 0 0 20 0 1 0 169513238 4172111872 935002 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1018582 935002 4218 3002 0 1002333 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 4074328 KiB
Current children cumulated memory: 3740008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.43 4.39 4.21 5/242 879548
/proc/meminfo: memFree=111748300/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4155868 memory=3804704 CPUtime=3153.91 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 766296 0 0 0 312707 2684 0 0 20 0 1 0 169513238 4255608832 951176 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1038967 951176 4218 3002 0 1022718 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 4155868 KiB
Current children cumulated memory: 3804704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.33 4.20 5/241 879559
/proc/meminfo: memFree=111717572/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4159008 memory=3806820 CPUtime=3213.77 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 768388 0 0 0 318654 2723 0 0 20 0 1 0 169513238 4258824192 951705 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1039752 951705 4218 3002 0 1023503 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 4159008 KiB
Current children cumulated memory: 3806820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.29 4.19 5/244 879574
/proc/meminfo: memFree=111671088/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4159440 memory=3807216 CPUtime=3273.62 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 769996 0 0 0 324566 2796 0 0 20 0 1 0 169513238 4259266560 951804 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1039860 951804 4218 3002 0 1023611 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 4159440 KiB
Current children cumulated memory: 3807216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.25 4.18 5/244 879584
/proc/meminfo: memFree=111596888/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4220208 memory=3849912 CPUtime=3333.47 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 782429 0 0 0 330488 2859 0 0 20 0 1 0 169513238 4321492992 962478 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1055052 962478 4218 3002 0 1038803 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 4220208 KiB
Current children cumulated memory: 3849912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.23 4.18 5/244 879595
/proc/meminfo: memFree=111522488/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4253008 memory=3886664 CPUtime=3393.33 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 793287 0 0 0 336418 2915 0 0 20 0 1 0 169513238 4355080192 971666 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1063252 971666 4218 3002 0 1047003 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 4253008 KiB
Current children cumulated memory: 3886664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/244 879605
/proc/meminfo: memFree=111405764/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4415776 memory=3999192 CPUtime=3453.18 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 822957 0 0 0 342363 2955 0 0 20 0 1 0 169513238 4521754624 999798 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1103944 999798 4218 3002 0 1087695 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 4415776 KiB
Current children cumulated memory: 3999192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/244 879616
/proc/meminfo: memFree=111354080/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4429372 memory=4007804 CPUtime=3513.03 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 826924 0 0 0 348283 3020 0 0 20 0 1 0 169513238 4535676928 1001951 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1107343 1001951 4218 3002 0 1091094 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 4429372 KiB
Current children cumulated memory: 4007804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/244 879626
/proc/meminfo: memFree=111295424/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4430700 memory=4008784 CPUtime=3572.89 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 828598 0 0 0 354209 3080 0 0 20 0 1 0 169513238 4537036800 1002196 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1107675 1002196 4218 3002 0 1091426 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 4430700 KiB
Current children cumulated memory: 4008784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 879632
/proc/meminfo: memFree=111266844/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4431156 memory=4009092 CPUtime=3600.01 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 829550 0 0 0 356896 3105 0 0 20 0 1 0 169513238 4537503744 1002273 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1107789 1002273 4218 3002 0 1091540 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4431156 KiB
Current children cumulated memory: 4009092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.57 s]
# the end of solver process 877659 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.98 s, system=31.1141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 879632
/proc/meminfo: memFree=111266844/131655788 swapFree=131071996/131071996
[pid=877659] ppid=877656 vsize=4431156 memory=4009092 CPUtime=3600.01 cores=1,3
/proc/877659/stat : 877659 (mixed-bag) R 877656 877659 877596 0 -1 4194304 829550 0 0 0 356896 3105 0 0 20 0 1 0 169513238 4537503744 1002273 134679101440 4194304 16487941 140729071933872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 33742848 140729071940631 140729071940708 140729071940708 140729071947723 0
/proc/877659/statm: 1107789 1002273 4218 3002 0 1091540 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4431156 KiB
Current children cumulated memory: 4009092 KiB
Child status: 0
Real time (s): 3609.57
CPU time (s): 3600.1
CPU user time (s): 3568.98
CPU system time (s): 31.1141
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 4431156
Max. memory (cumulated for all children) (KiB): 4009092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.98
system time used= 31.1141
maximum resident set size= 4009092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829596
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= 205
involuntary context switches= 3070
# summary of solver processes directly reported to runsolver:
# pid: 877659
# total CPU time (s): 3600.1
# total CPU user time (s): 3568.98
# total CPU system time (s): 31.1141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7601 second user time and 34.4378 second system time
The end
Begin job on nodeC006 at 2024-07-17 01:45:57
IDJOB=4435762
IDBENCH=158610
IDSOLVER=3066
FILE ID=nodeC006/4435762-1721173545
RUNJOBID= nodeC006-1721173557-877608
SLURM_JOB_ID= 7505811
Free space on /tmp= 723756 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435762-1721173545/watcher-4435762-1721173545 -o /tmp/evaluation-result-4435762-1721173545/solver-4435762-1721173545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877608 --watchdog 3760 mixed-bag HOME/instance-4435762-1721173545.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 380e20810b586058c5e1cee383ac3a23
RANDOM SEED=181462180
nodeC006.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 : 1197.351
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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.247
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.26
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.247
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 : 6983.94
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.465
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
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 : 6983.94
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 : 1197.249
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.26
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.248
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 : 6983.94
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.257
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123933716 kB
MemAvailable: 129864432 kB
Buffers: 434156 kB
Cached: 6261512 kB
SwapCached: 0 kB
Active: 775672 kB
Inactive: 6245652 kB
Active(anon): 1352 kB
Inactive(anon): 362004 kB
Active(file): 774320 kB
Inactive(file): 5883648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59496 kB
Writeback: 0 kB
AnonPages: 325756 kB
Mapped: 103872 kB
Shmem: 37704 kB
KReclaimable: 225560 kB
Slab: 340540 kB
SReclaimable: 225560 kB
SUnreclaim: 114980 kB
KernelStack: 3644 kB
PageTables: 9256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 772084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC006 at 2024-07-17 02:46:07