0.00/0.23 c RoundingSat 2
0.00/0.23 c branch
0.00/0.23 c commit
0.00/0.23 c with Papilo
0.00/0.23 c with SCIP
0.00/0.23 c [STEP] parsing instance
0.00/0.26 c [STEP] preprocessing with Papilo
0.00/0.30 c [STEP] solving with SCIP
299.31/300.45 c [STEP] preprocessing done, loading into solver
299.31/300.48 c [STEP] solving
299.31/300.48 c #variables 11299 #constraints 12780
299.31/300.48 c SMALL=int, LARGE=long long
299.31/300.48 d SCIPUB 5494
299.31/300.48 c bounds - >= -14834 @ 299.242
299.31/300.48 c stratification level: 198
347.59/348.90 c #Conflicts: 1000 | #Constraints: 13780
347.59/348.90 c #Conflicts: 2000 | #Constraints: 14780
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 3000 | #Constraints: 14861
347.59/348.90 c #Conflicts: 4000 | #Constraints: 15861
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 5000 | #Constraints: 15328
347.59/348.90 c #Conflicts: 6000 | #Constraints: 16328
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 7000 | #Constraints: 15357
347.59/348.90 c #Conflicts: 8000 | #Constraints: 16357
347.59/348.90 c #Conflicts: 9000 | #Constraints: 17357
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 10000 | #Constraints: 16096
347.59/348.90 c #Conflicts: 11000 | #Constraints: 17096
347.59/348.90 c #Conflicts: 12000 | #Constraints: 18096
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 13000 | #Constraints: 16566
347.59/348.90 c #Conflicts: 14000 | #Constraints: 17566
347.59/348.90 c #Conflicts: 15000 | #Constraints: 18566
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 16000 | #Constraints: 16796
347.59/348.90 c #Conflicts: 17000 | #Constraints: 17796
347.59/348.90 c #Conflicts: 18000 | #Constraints: 18796
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 19000 | #Constraints: 16804
347.59/348.90 c #Conflicts: 20000 | #Constraints: 17804
347.59/348.90 c #Conflicts: 21000 | #Constraints: 18804
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 22000 | #Constraints: 16620
347.59/348.90 c #Conflicts: 23000 | #Constraints: 17620
347.59/348.90 c #Conflicts: 24000 | #Constraints: 18620
347.59/348.90 c #Conflicts: 25000 | #Constraints: 19620
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 26000 | #Constraints: 17237
347.59/348.90 c #Conflicts: 27000 | #Constraints: 18237
347.59/348.90 c #Conflicts: 28000 | #Constraints: 19237
347.59/348.90 c #Conflicts: 29000 | #Constraints: 20237
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 30000 | #Constraints: 17635
347.59/348.90 c #Conflicts: 31000 | #Constraints: 18635
347.59/348.90 c #Conflicts: 32000 | #Constraints: 19635
347.59/348.90 c #Conflicts: 33000 | #Constraints: 20635
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 34000 | #Constraints: 17874
347.59/348.90 c #Conflicts: 35000 | #Constraints: 18874
347.59/348.90 c #Conflicts: 36000 | #Constraints: 19874
347.59/348.90 c #Conflicts: 37000 | #Constraints: 20874
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 38000 | #Constraints: 17896
347.59/348.90 c #Conflicts: 39000 | #Constraints: 18896
347.59/348.90 c #Conflicts: 40000 | #Constraints: 19896
347.59/348.90 c #Conflicts: 41000 | #Constraints: 20896
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 42000 | #Constraints: 17716
347.59/348.90 c #Conflicts: 43000 | #Constraints: 18716
347.59/348.90 c #Conflicts: 44000 | #Constraints: 19716
347.59/348.90 c #Conflicts: 45000 | #Constraints: 20716
347.59/348.90 c #Conflicts: 46000 | #Constraints: 21716
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 47000 | #Constraints: 18306
347.59/348.90 c #Conflicts: 48000 | #Constraints: 19306
347.59/348.90 c #Conflicts: 49000 | #Constraints: 20306
347.59/348.90 c #Conflicts: 50000 | #Constraints: 21306
347.59/348.90 c #Conflicts: 51000 | #Constraints: 22306
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 52000 | #Constraints: 18715
347.59/348.90 c #Conflicts: 53000 | #Constraints: 19715
347.59/348.90 c #Conflicts: 54000 | #Constraints: 20715
347.59/348.90 c #Conflicts: 55000 | #Constraints: 21715
347.59/348.90 c #Conflicts: 56000 | #Constraints: 22715
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 57000 | #Constraints: 18903
347.59/348.90 c #Conflicts: 58000 | #Constraints: 19903
347.59/348.90 c #Conflicts: 59000 | #Constraints: 20903
347.59/348.90 c #Conflicts: 60000 | #Constraints: 21903
347.59/348.90 c #Conflicts: 61000 | #Constraints: 22903
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 62000 | #Constraints: 18912
347.59/348.90 c #Conflicts: 63000 | #Constraints: 19912
347.59/348.90 c #Conflicts: 64000 | #Constraints: 20912
347.59/348.90 c #Conflicts: 65000 | #Constraints: 21912
347.59/348.90 c #Conflicts: 66000 | #Constraints: 22912
347.59/348.90 c INPROCESSING
347.59/348.90 c GARBAGE COLLECT
347.59/348.90 c #Conflicts: 67000 | #Constraints: 18707
347.59/348.90 c #Conflicts: 68000 | #Constraints: 19707
583.02/584.96 c #Conflicts: 69000 | #Constraints: 20707
583.02/584.96 c #Conflicts: 70000 | #Constraints: 21707
583.02/584.96 c #Conflicts: 71000 | #Constraints: 22707
583.02/584.96 c #Conflicts: 72000 | #Constraints: 23707
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 73000 | #Constraints: 19316
583.02/584.96 c #Conflicts: 74000 | #Constraints: 20316
583.02/584.96 c #Conflicts: 75000 | #Constraints: 21316
583.02/584.96 c #Conflicts: 76000 | #Constraints: 22316
583.02/584.96 c #Conflicts: 77000 | #Constraints: 23316
583.02/584.96 c #Conflicts: 78000 | #Constraints: 24316
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 79000 | #Constraints: 19744
583.02/584.96 c #Conflicts: 80000 | #Constraints: 20744
583.02/584.96 c #Conflicts: 81000 | #Constraints: 21744
583.02/584.96 c #Conflicts: 82000 | #Constraints: 22744
583.02/584.96 c #Conflicts: 83000 | #Constraints: 23744
583.02/584.96 c #Conflicts: 84000 | #Constraints: 24744
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 85000 | #Constraints: 19959
583.02/584.96 c #Conflicts: 86000 | #Constraints: 20959
583.02/584.96 c #Conflicts: 87000 | #Constraints: 21959
583.02/584.96 c #Conflicts: 88000 | #Constraints: 22959
583.02/584.96 c #Conflicts: 89000 | #Constraints: 23959
583.02/584.96 c #Conflicts: 90000 | #Constraints: 24959
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 91000 | #Constraints: 19982
583.02/584.96 c #Conflicts: 92000 | #Constraints: 20982
583.02/584.96 c #Conflicts: 93000 | #Constraints: 21982
583.02/584.96 c #Conflicts: 94000 | #Constraints: 22982
583.02/584.96 c #Conflicts: 95000 | #Constraints: 23982
583.02/584.96 c #Conflicts: 96000 | #Constraints: 24982
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 97000 | #Constraints: 19781
583.02/584.96 c #Conflicts: 98000 | #Constraints: 20781
583.02/584.96 c #Conflicts: 99000 | #Constraints: 21781
583.02/584.96 c #Conflicts: 100000 | #Constraints: 22781
583.02/584.96 c #Conflicts: 101000 | #Constraints: 23781
583.02/584.96 c #Conflicts: 102000 | #Constraints: 24781
583.02/584.96 c #Conflicts: 103000 | #Constraints: 25781
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 104000 | #Constraints: 20381
583.02/584.96 c #Conflicts: 105000 | #Constraints: 21381
583.02/584.96 c #Conflicts: 106000 | #Constraints: 22381
583.02/584.96 c #Conflicts: 107000 | #Constraints: 23381
583.02/584.96 c #Conflicts: 108000 | #Constraints: 24381
583.02/584.96 c #Conflicts: 109000 | #Constraints: 25381
583.02/584.96 c #Conflicts: 110000 | #Constraints: 26381
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 111000 | #Constraints: 20780
583.02/584.96 c #Conflicts: 112000 | #Constraints: 21780
583.02/584.96 c #Conflicts: 113000 | #Constraints: 22780
583.02/584.96 c #Conflicts: 114000 | #Constraints: 23780
583.02/584.96 c #Conflicts: 115000 | #Constraints: 24780
583.02/584.96 c #Conflicts: 116000 | #Constraints: 25780
583.02/584.96 c #Conflicts: 117000 | #Constraints: 26780
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 118000 | #Constraints: 20968
583.02/584.96 c #Conflicts: 119000 | #Constraints: 21968
583.02/584.96 c #Conflicts: 120000 | #Constraints: 22968
583.02/584.96 c #Conflicts: 121000 | #Constraints: 23968
583.02/584.96 c #Conflicts: 122000 | #Constraints: 24968
583.02/584.96 c #Conflicts: 123000 | #Constraints: 25968
583.02/584.96 c #Conflicts: 124000 | #Constraints: 26968
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 125000 | #Constraints: 20965
583.02/584.96 c #Conflicts: 126000 | #Constraints: 21965
583.02/584.96 c #Conflicts: 127000 | #Constraints: 22965
583.02/584.96 c #Conflicts: 128000 | #Constraints: 23965
583.02/584.96 c #Conflicts: 129000 | #Constraints: 24965
583.02/584.96 c #Conflicts: 130000 | #Constraints: 25965
583.02/584.96 c #Conflicts: 131000 | #Constraints: 26965
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 132000 | #Constraints: 20774
583.02/584.96 c #Conflicts: 133000 | #Constraints: 21774
583.02/584.96 c #Conflicts: 134000 | #Constraints: 22774
583.02/584.96 c #Conflicts: 135000 | #Constraints: 23774
583.02/584.96 c #Conflicts: 136000 | #Constraints: 24774
583.02/584.96 c #Conflicts: 137000 | #Constraints: 25774
583.02/584.96 c #Conflicts: 138000 | #Constraints: 26774
583.02/584.96 c #Conflicts: 139000 | #Constraints: 27774
583.02/584.96 c INPROCESSING
583.02/584.96 c GARBAGE COLLECT
583.02/584.96 c #Conflicts: 140000 | #Constraints: 21393
809.16/811.68 c #Conflicts: 141000 | #Constraints: 22393
809.16/811.68 c #Conflicts: 142000 | #Constraints: 23393
809.16/811.68 c #Conflicts: 143000 | #Constraints: 24393
809.16/811.68 c #Conflicts: 144000 | #Constraints: 25393
809.16/811.68 c #Conflicts: 145000 | #Constraints: 26393
809.16/811.68 c #Conflicts: 146000 | #Constraints: 27393
809.16/811.68 c #Conflicts: 147000 | #Constraints: 28393
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 148000 | #Constraints: 21792
809.16/811.68 c #Conflicts: 149000 | #Constraints: 22792
809.16/811.68 c #Conflicts: 150000 | #Constraints: 23792
809.16/811.68 c #Conflicts: 151000 | #Constraints: 24792
809.16/811.68 c #Conflicts: 152000 | #Constraints: 25792
809.16/811.68 c #Conflicts: 153000 | #Constraints: 26792
809.16/811.68 c #Conflicts: 154000 | #Constraints: 27792
809.16/811.68 c #Conflicts: 155000 | #Constraints: 28792
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 156000 | #Constraints: 21989
809.16/811.68 c #Conflicts: 157000 | #Constraints: 22989
809.16/811.68 c #Conflicts: 158000 | #Constraints: 23989
809.16/811.68 c #Conflicts: 159000 | #Constraints: 24989
809.16/811.68 c #Conflicts: 160000 | #Constraints: 25989
809.16/811.68 c #Conflicts: 161000 | #Constraints: 26989
809.16/811.68 c #Conflicts: 162000 | #Constraints: 27989
809.16/811.68 c #Conflicts: 163000 | #Constraints: 28989
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 164000 | #Constraints: 21971
809.16/811.68 c #Conflicts: 165000 | #Constraints: 22971
809.16/811.68 c #Conflicts: 166000 | #Constraints: 23971
809.16/811.68 c #Conflicts: 167000 | #Constraints: 24971
809.16/811.68 c #Conflicts: 168000 | #Constraints: 25971
809.16/811.68 c #Conflicts: 169000 | #Constraints: 26971
809.16/811.68 c #Conflicts: 170000 | #Constraints: 27971
809.16/811.68 c #Conflicts: 171000 | #Constraints: 28971
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 172000 | #Constraints: 21788
809.16/811.68 c #Conflicts: 173000 | #Constraints: 22788
809.16/811.68 c #Conflicts: 174000 | #Constraints: 23788
809.16/811.68 c #Conflicts: 175000 | #Constraints: 24788
809.16/811.68 c #Conflicts: 176000 | #Constraints: 25788
809.16/811.68 c #Conflicts: 177000 | #Constraints: 26788
809.16/811.68 c #Conflicts: 178000 | #Constraints: 27788
809.16/811.68 c #Conflicts: 179000 | #Constraints: 28788
809.16/811.68 c #Conflicts: 180000 | #Constraints: 29788
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 181000 | #Constraints: 22375
809.16/811.68 c #Conflicts: 182000 | #Constraints: 23375
809.16/811.68 c #Conflicts: 183000 | #Constraints: 24375
809.16/811.68 c #Conflicts: 184000 | #Constraints: 25375
809.16/811.68 c #Conflicts: 185000 | #Constraints: 26375
809.16/811.68 c #Conflicts: 186000 | #Constraints: 27375
809.16/811.68 c #Conflicts: 187000 | #Constraints: 28375
809.16/811.68 c #Conflicts: 188000 | #Constraints: 29375
809.16/811.68 c #Conflicts: 189000 | #Constraints: 30375
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 190000 | #Constraints: 22796
809.16/811.68 c #Conflicts: 191000 | #Constraints: 23796
809.16/811.68 c #Conflicts: 192000 | #Constraints: 24796
809.16/811.68 c #Conflicts: 193000 | #Constraints: 25796
809.16/811.68 c #Conflicts: 194000 | #Constraints: 26796
809.16/811.68 c #Conflicts: 195000 | #Constraints: 27796
809.16/811.68 c #Conflicts: 196000 | #Constraints: 28796
809.16/811.68 c #Conflicts: 197000 | #Constraints: 29796
809.16/811.68 c #Conflicts: 198000 | #Constraints: 30796
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 199000 | #Constraints: 22997
809.16/811.68 c #Conflicts: 200000 | #Constraints: 23997
809.16/811.68 c #Conflicts: 201000 | #Constraints: 24997
809.16/811.68 c #Conflicts: 202000 | #Constraints: 25997
809.16/811.68 c #Conflicts: 203000 | #Constraints: 26997
809.16/811.68 c #Conflicts: 204000 | #Constraints: 27997
809.16/811.68 c #Conflicts: 205000 | #Constraints: 28997
809.16/811.68 c #Conflicts: 206000 | #Constraints: 29997
809.16/811.68 c #Conflicts: 207000 | #Constraints: 30997
809.16/811.68 c INPROCESSING
809.16/811.68 c GARBAGE COLLECT
809.16/811.68 c #Conflicts: 208000 | #Constraints: 23001
809.16/811.68 c #Conflicts: 209000 | #Constraints: 24001
809.16/811.68 c #Conflicts: 210000 | #Constraints: 25001
809.16/811.68 c #Conflicts: 211000 | #Constraints: 26001
809.16/811.68 c #Conflicts: 212000 | #Constraints: 27001
809.16/811.68 c #Conflicts: 213000 | #Constraints: 28001
1137.64/1140.96 c #Conflicts: 214000 | #Constraints: 29001
1137.64/1140.96 c #Conflicts: 215000 | #Constraints: 30001
1137.64/1140.96 c #Conflicts: 216000 | #Constraints: 31001
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 217000 | #Constraints: 22815
1137.64/1140.96 c #Conflicts: 218000 | #Constraints: 23815
1137.64/1140.96 c #Conflicts: 219000 | #Constraints: 24815
1137.64/1140.96 c #Conflicts: 220000 | #Constraints: 25815
1137.64/1140.96 c #Conflicts: 221000 | #Constraints: 26815
1137.64/1140.96 c #Conflicts: 222000 | #Constraints: 27815
1137.64/1140.96 c #Conflicts: 223000 | #Constraints: 28815
1137.64/1140.96 c #Conflicts: 224000 | #Constraints: 29815
1137.64/1140.96 c #Conflicts: 225000 | #Constraints: 30815
1137.64/1140.96 c #Conflicts: 226000 | #Constraints: 31815
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 227000 | #Constraints: 23415
1137.64/1140.96 c #Conflicts: 228000 | #Constraints: 24415
1137.64/1140.96 c #Conflicts: 229000 | #Constraints: 25415
1137.64/1140.96 c #Conflicts: 230000 | #Constraints: 26415
1137.64/1140.96 c #Conflicts: 231000 | #Constraints: 27415
1137.64/1140.96 c #Conflicts: 232000 | #Constraints: 28415
1137.64/1140.96 c #Conflicts: 233000 | #Constraints: 29415
1137.64/1140.96 c #Conflicts: 234000 | #Constraints: 30415
1137.64/1140.96 c #Conflicts: 235000 | #Constraints: 31415
1137.64/1140.96 c #Conflicts: 236000 | #Constraints: 32415
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 237000 | #Constraints: 23806
1137.64/1140.96 c #Conflicts: 238000 | #Constraints: 24806
1137.64/1140.96 c #Conflicts: 239000 | #Constraints: 25806
1137.64/1140.96 c #Conflicts: 240000 | #Constraints: 26806
1137.64/1140.96 c #Conflicts: 241000 | #Constraints: 27806
1137.64/1140.96 c #Conflicts: 242000 | #Constraints: 28806
1137.64/1140.96 c #Conflicts: 243000 | #Constraints: 29806
1137.64/1140.96 c #Conflicts: 244000 | #Constraints: 30806
1137.64/1140.96 c #Conflicts: 245000 | #Constraints: 31806
1137.64/1140.96 c #Conflicts: 246000 | #Constraints: 32806
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 247000 | #Constraints: 24026
1137.64/1140.96 c #Conflicts: 248000 | #Constraints: 25026
1137.64/1140.96 c #Conflicts: 249000 | #Constraints: 26026
1137.64/1140.96 c #Conflicts: 250000 | #Constraints: 27026
1137.64/1140.96 c #Conflicts: 251000 | #Constraints: 28026
1137.64/1140.96 c #Conflicts: 252000 | #Constraints: 29026
1137.64/1140.96 c #Conflicts: 253000 | #Constraints: 30026
1137.64/1140.96 c #Conflicts: 254000 | #Constraints: 31026
1137.64/1140.96 c #Conflicts: 255000 | #Constraints: 32026
1137.64/1140.96 c #Conflicts: 256000 | #Constraints: 33026
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 257000 | #Constraints: 24027
1137.64/1140.96 c #Conflicts: 258000 | #Constraints: 25027
1137.64/1140.96 c #Conflicts: 259000 | #Constraints: 26027
1137.64/1140.96 c #Conflicts: 260000 | #Constraints: 27027
1137.64/1140.96 c #Conflicts: 261000 | #Constraints: 28027
1137.64/1140.96 c #Conflicts: 262000 | #Constraints: 29027
1137.64/1140.96 c #Conflicts: 263000 | #Constraints: 30027
1137.64/1140.96 c #Conflicts: 264000 | #Constraints: 31027
1137.64/1140.96 c #Conflicts: 265000 | #Constraints: 32027
1137.64/1140.96 c #Conflicts: 266000 | #Constraints: 33027
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 267000 | #Constraints: 23836
1137.64/1140.96 c #Conflicts: 268000 | #Constraints: 24836
1137.64/1140.96 c #Conflicts: 269000 | #Constraints: 25836
1137.64/1140.96 c #Conflicts: 270000 | #Constraints: 26836
1137.64/1140.96 c #Conflicts: 271000 | #Constraints: 27836
1137.64/1140.96 c #Conflicts: 272000 | #Constraints: 28836
1137.64/1140.96 c #Conflicts: 273000 | #Constraints: 29836
1137.64/1140.96 c #Conflicts: 274000 | #Constraints: 30836
1137.64/1140.96 c #Conflicts: 275000 | #Constraints: 31836
1137.64/1140.96 c #Conflicts: 276000 | #Constraints: 32836
1137.64/1140.96 c #Conflicts: 277000 | #Constraints: 33836
1137.64/1140.96 c INPROCESSING
1137.64/1140.96 c GARBAGE COLLECT
1137.64/1140.96 c #Conflicts: 278000 | #Constraints: 24431
1137.64/1140.96 c #Conflicts: 279000 | #Constraints: 25431
1137.64/1140.96 c #Conflicts: 280000 | #Constraints: 26431
1137.64/1140.96 c #Conflicts: 281000 | #Constraints: 27431
1137.64/1140.96 c #Conflicts: 282000 | #Constraints: 28431
1137.64/1140.96 c #Conflicts: 283000 | #Constraints: 29431
1137.64/1140.96 c #Conflicts: 284000 | #Constraints: 30431
1137.64/1140.96 c #Conflicts: 285000 | #Constraints: 31431
1137.64/1140.96 c #Conflicts: 286000 | #Constraints: 32431
1137.64/1140.96 c #Conflicts: 287000 | #Constraints: 33431
1137.64/1140.96 c #Conflicts: 288000 | #Constraints: 34431
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 289000 | #Constraints: 24830
1614.65/1619.19 c #Conflicts: 290000 | #Constraints: 25830
1614.65/1619.19 c #Conflicts: 291000 | #Constraints: 26830
1614.65/1619.19 c #Conflicts: 292000 | #Constraints: 27830
1614.65/1619.19 c #Conflicts: 293000 | #Constraints: 28830
1614.65/1619.19 c #Conflicts: 294000 | #Constraints: 29830
1614.65/1619.19 c #Conflicts: 295000 | #Constraints: 30830
1614.65/1619.19 c #Conflicts: 296000 | #Constraints: 31830
1614.65/1619.19 c #Conflicts: 297000 | #Constraints: 32830
1614.65/1619.19 c #Conflicts: 298000 | #Constraints: 33830
1614.65/1619.19 c #Conflicts: 299000 | #Constraints: 34830
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 300000 | #Constraints: 25031
1614.65/1619.19 c #Conflicts: 301000 | #Constraints: 26031
1614.65/1619.19 c #Conflicts: 302000 | #Constraints: 27031
1614.65/1619.19 c #Conflicts: 303000 | #Constraints: 28031
1614.65/1619.19 c #Conflicts: 304000 | #Constraints: 29031
1614.65/1619.19 c #Conflicts: 305000 | #Constraints: 30031
1614.65/1619.19 c #Conflicts: 306000 | #Constraints: 31031
1614.65/1619.19 c #Conflicts: 307000 | #Constraints: 32031
1614.65/1619.19 c #Conflicts: 308000 | #Constraints: 33031
1614.65/1619.19 c #Conflicts: 309000 | #Constraints: 34031
1614.65/1619.19 c #Conflicts: 310000 | #Constraints: 35031
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 311000 | #Constraints: 25033
1614.65/1619.19 c #Conflicts: 312000 | #Constraints: 26033
1614.65/1619.19 c #Conflicts: 313000 | #Constraints: 27033
1614.65/1619.19 c #Conflicts: 314000 | #Constraints: 28033
1614.65/1619.19 c #Conflicts: 315000 | #Constraints: 29033
1614.65/1619.19 c #Conflicts: 316000 | #Constraints: 30033
1614.65/1619.19 c #Conflicts: 317000 | #Constraints: 31033
1614.65/1619.19 c #Conflicts: 318000 | #Constraints: 32033
1614.65/1619.19 c #Conflicts: 319000 | #Constraints: 33033
1614.65/1619.19 c #Conflicts: 320000 | #Constraints: 34033
1614.65/1619.19 c #Conflicts: 321000 | #Constraints: 35033
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 322000 | #Constraints: 24848
1614.65/1619.19 c #Conflicts: 323000 | #Constraints: 25848
1614.65/1619.19 c #Conflicts: 324000 | #Constraints: 26848
1614.65/1619.19 c #Conflicts: 325000 | #Constraints: 27848
1614.65/1619.19 c #Conflicts: 326000 | #Constraints: 28848
1614.65/1619.19 c #Conflicts: 327000 | #Constraints: 29848
1614.65/1619.19 c #Conflicts: 328000 | #Constraints: 30848
1614.65/1619.19 c #Conflicts: 329000 | #Constraints: 31848
1614.65/1619.19 c #Conflicts: 330000 | #Constraints: 32848
1614.65/1619.19 c #Conflicts: 331000 | #Constraints: 33848
1614.65/1619.19 c #Conflicts: 332000 | #Constraints: 34848
1614.65/1619.19 c #Conflicts: 333000 | #Constraints: 35848
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 334000 | #Constraints: 25453
1614.65/1619.19 c #Conflicts: 335000 | #Constraints: 26453
1614.65/1619.19 c #Conflicts: 336000 | #Constraints: 27453
1614.65/1619.19 c #Conflicts: 337000 | #Constraints: 28453
1614.65/1619.19 c #Conflicts: 338000 | #Constraints: 29453
1614.65/1619.19 c #Conflicts: 339000 | #Constraints: 30453
1614.65/1619.19 c #Conflicts: 340000 | #Constraints: 31453
1614.65/1619.19 c #Conflicts: 341000 | #Constraints: 32453
1614.65/1619.19 c #Conflicts: 342000 | #Constraints: 33453
1614.65/1619.19 c #Conflicts: 343000 | #Constraints: 34453
1614.65/1619.19 c #Conflicts: 344000 | #Constraints: 35453
1614.65/1619.19 c #Conflicts: 345000 | #Constraints: 36453
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 346000 | #Constraints: 25852
1614.65/1619.19 c #Conflicts: 347000 | #Constraints: 26852
1614.65/1619.19 c #Conflicts: 348000 | #Constraints: 27852
1614.65/1619.19 c #Conflicts: 349000 | #Constraints: 28852
1614.65/1619.19 c #Conflicts: 350000 | #Constraints: 29852
1614.65/1619.19 c #Conflicts: 351000 | #Constraints: 30852
1614.65/1619.19 c #Conflicts: 352000 | #Constraints: 31852
1614.65/1619.19 c #Conflicts: 353000 | #Constraints: 32852
1614.65/1619.19 c #Conflicts: 354000 | #Constraints: 33852
1614.65/1619.19 c #Conflicts: 355000 | #Constraints: 34852
1614.65/1619.19 c #Conflicts: 356000 | #Constraints: 35852
1614.65/1619.19 c #Conflicts: 357000 | #Constraints: 36852
1614.65/1619.19 c INPROCESSING
1614.65/1619.19 c GARBAGE COLLECT
1614.65/1619.19 c #Conflicts: 358000 | #Constraints: 26059
1614.65/1619.19 c #Conflicts: 359000 | #Constraints: 27059
1614.65/1619.19 c #Conflicts: 360000 | #Constraints: 28059
1614.65/1619.19 c #Conflicts: 361000 | #Constraints: 29059
1614.65/1619.19 c #Conflicts: 362000 | #Constraints: 30059
2125.07/2130.89 c #Conflicts: 363000 | #Constraints: 31059
2125.07/2130.89 c #Conflicts: 364000 | #Constraints: 32059
2125.07/2130.89 c #Conflicts: 365000 | #Constraints: 33059
2125.07/2130.89 c #Conflicts: 366000 | #Constraints: 34059
2125.07/2130.89 c #Conflicts: 367000 | #Constraints: 35059
2125.07/2130.89 c #Conflicts: 368000 | #Constraints: 36059
2125.07/2130.89 c #Conflicts: 369000 | #Constraints: 37059
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 370000 | #Constraints: 26054
2125.07/2130.89 c #Conflicts: 371000 | #Constraints: 27054
2125.07/2130.89 c #Conflicts: 372000 | #Constraints: 28054
2125.07/2130.89 c #Conflicts: 373000 | #Constraints: 29054
2125.07/2130.89 c #Conflicts: 374000 | #Constraints: 30054
2125.07/2130.89 c #Conflicts: 375000 | #Constraints: 31054
2125.07/2130.89 c #Conflicts: 376000 | #Constraints: 32054
2125.07/2130.89 c #Conflicts: 377000 | #Constraints: 33054
2125.07/2130.89 c #Conflicts: 378000 | #Constraints: 34054
2125.07/2130.89 c #Conflicts: 379000 | #Constraints: 35054
2125.07/2130.89 c #Conflicts: 380000 | #Constraints: 36054
2125.07/2130.89 c #Conflicts: 381000 | #Constraints: 37054
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 382000 | #Constraints: 25846
2125.07/2130.89 c #Conflicts: 383000 | #Constraints: 26846
2125.07/2130.89 c #Conflicts: 384000 | #Constraints: 27846
2125.07/2130.89 c #Conflicts: 385000 | #Constraints: 28846
2125.07/2130.89 c #Conflicts: 386000 | #Constraints: 29846
2125.07/2130.89 c #Conflicts: 387000 | #Constraints: 30846
2125.07/2130.89 c #Conflicts: 388000 | #Constraints: 31846
2125.07/2130.89 c #Conflicts: 389000 | #Constraints: 32846
2125.07/2130.89 c #Conflicts: 390000 | #Constraints: 33846
2125.07/2130.89 c #Conflicts: 391000 | #Constraints: 34846
2125.07/2130.89 c #Conflicts: 392000 | #Constraints: 35846
2125.07/2130.89 c #Conflicts: 393000 | #Constraints: 36846
2125.07/2130.89 c #Conflicts: 394000 | #Constraints: 37846
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 395000 | #Constraints: 26451
2125.07/2130.89 c #Conflicts: 396000 | #Constraints: 27451
2125.07/2130.89 c #Conflicts: 397000 | #Constraints: 28451
2125.07/2130.89 c #Conflicts: 398000 | #Constraints: 29451
2125.07/2130.89 c #Conflicts: 399000 | #Constraints: 30451
2125.07/2130.89 c #Conflicts: 400000 | #Constraints: 31451
2125.07/2130.89 c #Conflicts: 401000 | #Constraints: 32451
2125.07/2130.89 c #Conflicts: 402000 | #Constraints: 33451
2125.07/2130.89 c #Conflicts: 403000 | #Constraints: 34451
2125.07/2130.89 c #Conflicts: 404000 | #Constraints: 35451
2125.07/2130.89 c #Conflicts: 405000 | #Constraints: 36451
2125.07/2130.89 c #Conflicts: 406000 | #Constraints: 37451
2125.07/2130.89 c #Conflicts: 407000 | #Constraints: 38451
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 408000 | #Constraints: 26840
2125.07/2130.89 c #Conflicts: 409000 | #Constraints: 27840
2125.07/2130.89 c #Conflicts: 410000 | #Constraints: 28840
2125.07/2130.89 c #Conflicts: 411000 | #Constraints: 29840
2125.07/2130.89 c #Conflicts: 412000 | #Constraints: 30840
2125.07/2130.89 c #Conflicts: 413000 | #Constraints: 31840
2125.07/2130.89 c #Conflicts: 414000 | #Constraints: 32840
2125.07/2130.89 c #Conflicts: 415000 | #Constraints: 33840
2125.07/2130.89 c #Conflicts: 416000 | #Constraints: 34840
2125.07/2130.89 c #Conflicts: 417000 | #Constraints: 35840
2125.07/2130.89 c #Conflicts: 418000 | #Constraints: 36840
2125.07/2130.89 c #Conflicts: 419000 | #Constraints: 37840
2125.07/2130.89 c #Conflicts: 420000 | #Constraints: 38840
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 421000 | #Constraints: 27056
2125.07/2130.89 c #Conflicts: 422000 | #Constraints: 28056
2125.07/2130.89 c #Conflicts: 423000 | #Constraints: 29056
2125.07/2130.89 c #Conflicts: 424000 | #Constraints: 30056
2125.07/2130.89 c #Conflicts: 425000 | #Constraints: 31056
2125.07/2130.89 c #Conflicts: 426000 | #Constraints: 32056
2125.07/2130.89 c #Conflicts: 427000 | #Constraints: 33056
2125.07/2130.89 c #Conflicts: 428000 | #Constraints: 34056
2125.07/2130.89 c #Conflicts: 429000 | #Constraints: 35056
2125.07/2130.89 c #Conflicts: 430000 | #Constraints: 36056
2125.07/2130.89 c #Conflicts: 431000 | #Constraints: 37056
2125.07/2130.89 c #Conflicts: 432000 | #Constraints: 38056
2125.07/2130.89 c #Conflicts: 433000 | #Constraints: 39056
2125.07/2130.89 c INPROCESSING
2125.07/2130.89 c GARBAGE COLLECT
2125.07/2130.89 c #Conflicts: 434000 | #Constraints: 27068
2125.07/2130.89 c #Conflicts: 435000 | #Constraints: 28068
2125.07/2130.89 c #Conflicts: 436000 | #Constraints: 29068
2125.07/2130.89 c #Conflicts: 437000 | #Constraints: 30068
2822.63/2830.12 c #Conflicts: 438000 | #Constraints: 31068
2822.63/2830.12 c #Conflicts: 439000 | #Constraints: 32068
2822.63/2830.12 c #Conflicts: 440000 | #Constraints: 33068
2822.63/2830.12 c #Conflicts: 441000 | #Constraints: 34068
2822.63/2830.12 c #Conflicts: 442000 | #Constraints: 35068
2822.63/2830.12 c #Conflicts: 443000 | #Constraints: 36068
2822.63/2830.12 c #Conflicts: 444000 | #Constraints: 37068
2822.63/2830.12 c #Conflicts: 445000 | #Constraints: 38068
2822.63/2830.12 c #Conflicts: 446000 | #Constraints: 39068
2822.63/2830.12 c INPROCESSING
2822.63/2830.12 c GARBAGE COLLECT
2822.63/2830.12 c #Conflicts: 447000 | #Constraints: 26868
2822.63/2830.12 c #Conflicts: 448000 | #Constraints: 27868
2822.63/2830.12 c #Conflicts: 449000 | #Constraints: 28868
2822.63/2830.12 c #Conflicts: 450000 | #Constraints: 29868
2822.63/2830.12 c #Conflicts: 451000 | #Constraints: 30868
2822.63/2830.12 c #Conflicts: 452000 | #Constraints: 31868
2822.63/2830.12 c #Conflicts: 453000 | #Constraints: 32868
2822.63/2830.12 c #Conflicts: 454000 | #Constraints: 33868
2822.63/2830.12 c #Conflicts: 455000 | #Constraints: 34868
2822.63/2830.12 c #Conflicts: 456000 | #Constraints: 35868
2822.63/2830.12 c #Conflicts: 457000 | #Constraints: 36868
2822.63/2830.12 c #Conflicts: 458000 | #Constraints: 37868
2822.63/2830.12 c #Conflicts: 459000 | #Constraints: 38868
2822.63/2830.12 c #Conflicts: 460000 | #Constraints: 39868
2822.63/2830.12 c INPROCESSING
2822.63/2830.12 c GARBAGE COLLECT
2822.63/2830.12 c #Conflicts: 461000 | #Constraints: 27474
2822.63/2830.12 c #Conflicts: 462000 | #Constraints: 28474
2822.63/2830.12 c #Conflicts: 463000 | #Constraints: 29474
2822.63/2830.12 c #Conflicts: 464000 | #Constraints: 30474
2822.63/2830.12 c #Conflicts: 465000 | #Constraints: 31474
2822.63/2830.12 c #Conflicts: 466000 | #Constraints: 32474
2822.63/2830.12 c #Conflicts: 467000 | #Constraints: 33474
2822.63/2830.12 c #Conflicts: 468000 | #Constraints: 34474
2822.63/2830.12 c #Conflicts: 469000 | #Constraints: 35474
2822.63/2830.12 c #Conflicts: 470000 | #Constraints: 36474
2822.63/2830.12 c #Conflicts: 471000 | #Constraints: 37474
2822.63/2830.12 c #Conflicts: 472000 | #Constraints: 38474
2822.63/2830.12 c #Conflicts: 473000 | #Constraints: 39474
2822.63/2830.12 c #Conflicts: 474000 | #Constraints: 40474
2822.63/2830.12 c INPROCESSING
2822.63/2830.12 c GARBAGE COLLECT
2822.63/2830.12 c #Conflicts: 475000 | #Constraints: 27876
2822.63/2830.12 c #Conflicts: 476000 | #Constraints: 28876
2822.63/2830.12 c #Conflicts: 477000 | #Constraints: 29876
2822.63/2830.12 c #Conflicts: 478000 | #Constraints: 30876
2822.63/2830.12 c #Conflicts: 479000 | #Constraints: 31876
2822.63/2830.12 c #Conflicts: 480000 | #Constraints: 32876
2822.63/2830.12 c #Conflicts: 481000 | #Constraints: 33876
2822.63/2830.12 c #Conflicts: 482000 | #Constraints: 34876
2822.63/2830.12 c #Conflicts: 483000 | #Constraints: 35876
2822.63/2830.12 c #Conflicts: 484000 | #Constraints: 36876
2822.63/2830.12 c #Conflicts: 485000 | #Constraints: 37876
2822.63/2830.12 c #Conflicts: 486000 | #Constraints: 38876
2822.63/2830.12 c #Conflicts: 487000 | #Constraints: 39876
2822.63/2830.12 c #Conflicts: 488000 | #Constraints: 40876
2822.63/2830.12 c INPROCESSING
2822.63/2830.12 c GARBAGE COLLECT
2822.63/2830.12 c #Conflicts: 489000 | #Constraints: 28072
2822.63/2830.12 c #Conflicts: 490000 | #Constraints: 29072
2822.63/2830.12 c #Conflicts: 491000 | #Constraints: 30072
2822.63/2830.12 c #Conflicts: 492000 | #Constraints: 31072
2822.63/2830.12 c #Conflicts: 493000 | #Constraints: 32072
2822.63/2830.12 c #Conflicts: 494000 | #Constraints: 33072
2822.63/2830.12 c #Conflicts: 495000 | #Constraints: 34072
2822.63/2830.12 c #Conflicts: 496000 | #Constraints: 35072
2822.63/2830.12 c #Conflicts: 497000 | #Constraints: 36072
2822.63/2830.12 c #Conflicts: 498000 | #Constraints: 37072
2822.63/2830.12 c #Conflicts: 499000 | #Constraints: 38072
2822.63/2830.12 c #Conflicts: 500000 | #Constraints: 39072
2822.63/2830.12 c #Conflicts: 501000 | #Constraints: 40072
2822.63/2830.12 c #Conflicts: 502000 | #Constraints: 41072
2822.63/2830.12 c INPROCESSING
2822.63/2830.12 c GARBAGE COLLECT
2822.63/2830.12 c #Conflicts: 503000 | #Constraints: 28077
2822.63/2830.12 c #Conflicts: 504000 | #Constraints: 29077
2822.63/2830.12 c #Conflicts: 505000 | #Constraints: 30077
2822.63/2830.12 c #Conflicts: 506000 | #Constraints: 31077
2822.63/2830.12 c #Conflicts: 507000 | #Constraints: 32077
2822.63/2830.12 c #Conflicts: 508000 | #Constraints: 33077
2822.63/2830.12 c #Conflicts: 509000 | #Constraints: 34077
2822.63/2830.12 c #Conflicts: 510000 | #Constraints: 35077
2822.63/2830.12 c #Conflicts: 511000 | #Constraints: 36077
2822.63/2830.12 c #Conflicts: 512000 | #Constraints: 37077
2822.63/2830.12 c #Conflicts: 513000 | #Constraints: 38077
3493.68/3502.84 c #Conflicts: 514000 | #Constraints: 39077
3493.68/3502.84 c #Conflicts: 515000 | #Constraints: 40077
3493.68/3502.84 c #Conflicts: 516000 | #Constraints: 41077
3493.68/3502.84 c INPROCESSING
3493.68/3502.84 c GARBAGE COLLECT
3493.68/3502.84 c #Conflicts: 517000 | #Constraints: 27865
3493.68/3502.84 c #Conflicts: 518000 | #Constraints: 28865
3493.68/3502.84 c #Conflicts: 519000 | #Constraints: 29865
3493.68/3502.84 c #Conflicts: 520000 | #Constraints: 30865
3493.68/3502.84 c #Conflicts: 521000 | #Constraints: 31865
3493.68/3502.84 c #Conflicts: 522000 | #Constraints: 32865
3493.68/3502.84 c #Conflicts: 523000 | #Constraints: 33865
3493.68/3502.84 c #Conflicts: 524000 | #Constraints: 34865
3493.68/3502.84 c #Conflicts: 525000 | #Constraints: 35865
3493.68/3502.84 c #Conflicts: 526000 | #Constraints: 36865
3493.68/3502.84 c #Conflicts: 527000 | #Constraints: 37865
3493.68/3502.84 c #Conflicts: 528000 | #Constraints: 38865
3493.68/3502.84 c #Conflicts: 529000 | #Constraints: 39865
3493.68/3502.84 c #Conflicts: 530000 | #Constraints: 40865
3493.68/3502.84 c #Conflicts: 531000 | #Constraints: 41865
3493.68/3502.84 c INPROCESSING
3493.68/3502.84 c GARBAGE COLLECT
3493.68/3502.84 c #Conflicts: 532000 | #Constraints: 28468
3493.68/3502.84 c #Conflicts: 533000 | #Constraints: 29468
3493.68/3502.84 c #Conflicts: 534000 | #Constraints: 30468
3493.68/3502.84 c #Conflicts: 535000 | #Constraints: 31468
3493.68/3502.84 c #Conflicts: 536000 | #Constraints: 32468
3493.68/3502.84 c #Conflicts: 537000 | #Constraints: 33468
3493.68/3502.84 c #Conflicts: 538000 | #Constraints: 34468
3493.68/3502.84 c #Conflicts: 539000 | #Constraints: 35468
3493.68/3502.84 c #Conflicts: 540000 | #Constraints: 36468
3493.68/3502.84 c #Conflicts: 541000 | #Constraints: 37468
3493.68/3502.84 c #Conflicts: 542000 | #Constraints: 38468
3493.68/3502.84 c #Conflicts: 543000 | #Constraints: 39468
3493.68/3502.84 c #Conflicts: 544000 | #Constraints: 40468
3493.68/3502.84 c #Conflicts: 545000 | #Constraints: 41468
3493.68/3502.84 c #Conflicts: 546000 | #Constraints: 42468
3493.68/3502.84 c INPROCESSING
3493.68/3502.84 c GARBAGE COLLECT
3493.68/3502.84 c #Conflicts: 547000 | #Constraints: 28872
3493.68/3502.84 c #Conflicts: 548000 | #Constraints: 29872
3493.68/3502.84 c #Conflicts: 549000 | #Constraints: 30872
3493.68/3502.84 c #Conflicts: 550000 | #Constraints: 31872
3493.68/3502.84 c #Conflicts: 551000 | #Constraints: 32872
3493.68/3502.84 c #Conflicts: 552000 | #Constraints: 33872
3493.68/3502.84 c #Conflicts: 553000 | #Constraints: 34872
3493.68/3502.84 c #Conflicts: 554000 | #Constraints: 35872
3493.68/3502.84 c #Conflicts: 555000 | #Constraints: 36872
3493.68/3502.84 c #Conflicts: 556000 | #Constraints: 37872
3493.68/3502.84 c #Conflicts: 557000 | #Constraints: 38872
3493.68/3502.84 c #Conflicts: 558000 | #Constraints: 39872
3493.68/3502.84 c #Conflicts: 559000 | #Constraints: 40872
3493.68/3502.84 c #Conflicts: 560000 | #Constraints: 41872
3493.68/3502.84 c #Conflicts: 561000 | #Constraints: 42872
3493.68/3502.84 c INPROCESSING
3493.68/3502.84 c GARBAGE COLLECT
3493.68/3502.84 c #Conflicts: 562000 | #Constraints: 29070
3493.68/3502.84 c #Conflicts: 563000 | #Constraints: 30070
3493.68/3502.84 c #Conflicts: 564000 | #Constraints: 31070
3493.68/3502.84 c #Conflicts: 565000 | #Constraints: 32070
3493.68/3502.84 c #Conflicts: 566000 | #Constraints: 33070
3493.68/3502.84 c #Conflicts: 567000 | #Constraints: 34070
3493.68/3502.84 c #Conflicts: 568000 | #Constraints: 35070
3493.68/3502.84 c #Conflicts: 569000 | #Constraints: 36070
3493.68/3502.84 c #Conflicts: 570000 | #Constraints: 37070
3493.68/3502.84 c #Conflicts: 571000 | #Constraints: 38070
3493.68/3502.84 c #Conflicts: 572000 | #Constraints: 39070
3493.68/3502.84 c #Conflicts: 573000 | #Constraints: 40070
3493.68/3502.84 c #Conflicts: 574000 | #Constraints: 41070
3493.68/3502.84 c #Conflicts: 575000 | #Constraints: 42070
3493.68/3502.84 c #Conflicts: 576000 | #Constraints: 43070
3493.68/3502.84 c INPROCESSING
3493.68/3502.84 c GARBAGE COLLECT
3493.68/3502.84 c #Conflicts: 577000 | #Constraints: 29069
3493.68/3502.84 c #Conflicts: 578000 | #Constraints: 30069
3493.68/3502.84 c #Conflicts: 579000 | #Constraints: 31069
3493.68/3502.84 c #Conflicts: 580000 | #Constraints: 32069
3493.68/3502.84 c #Conflicts: 581000 | #Constraints: 33069
3493.68/3502.84 c #Conflicts: 582000 | #Constraints: 34069
3493.68/3502.84 c #Conflicts: 583000 | #Constraints: 35069
3493.68/3502.84 c #Conflicts: 584000 | #Constraints: 36069
3493.68/3502.84 c #Conflicts: 585000 | #Constraints: 37069
3493.68/3502.84 c #Conflicts: 586000 | #Constraints: 38069
3493.68/3502.84 c #Conflicts: 587000 | #Constraints: 39069
3493.68/3502.84 c #Conflicts: 588000 | #Constraints: 40069
3600.03/3609.40 c #Conflicts: 589000 | #Constraints: 41069
3600.03/3609.40 c #Conflicts: 590000 | #Constraints: 42069
3600.03/3609.40 c #Conflicts: 591000 | #Constraints: 43069
3600.03/3609.40 c INPROCESSING
3600.03/3609.40 c GARBAGE COLLECT
3600.03/3609.40 c #Conflicts: 592000 | #Constraints: 28870
3600.03/3609.40 c #Conflicts: 593000 | #Constraints: 29870
3600.03/3609.40 c #Conflicts: 594000 | #Constraints: 30870
3600.03/3609.40 c #Conflicts: 595000 | #Constraints: 31870
3600.03/3609.40 c #Conflicts: 596000 | #Constraints: 32870
3600.03/3609.40 c #Conflicts: 597000 | #Constraints: 33870
3600.03/3609.40 c #Conflicts: 598000 | #Constraints: 34870
3600.03/3609.40 c #Conflicts: 599000 | #Constraints: 35870
3600.03/3609.40 c #Conflicts: 600000 | #Constraints: 36870
3600.03/3609.40 c #Conflicts: 601000 | #Constraints: 37870
3600.03/3609.40 c Program interrupted by user.
3600.03/3609.40 c cpu time 3594.04 s
3600.03/3609.40 c deterministic time 902798520774 9.03e+11
3600.03/3609.40 c optimization time 63.7189 s
3600.03/3609.40 c total solve time 3231.08 s
3600.03/3609.40 c core-guided solve time 3231.08 s
3600.03/3609.40 c propagation time 2839.66 s
3600.03/3609.40 c conflict analysis time 425.023 s
3600.03/3609.40 c propagations 223900421
3600.03/3609.40 c resolve steps 12187668
3600.03/3609.40 c decisions 2456803
3600.03/3609.40 c conflicts 601073
3600.03/3609.40 c restarts 1276
3600.03/3609.40 c inprocessing phases 68
3600.03/3609.40 c input clauses 5853
3600.03/3609.40 c input cardinalities 726
3600.03/3609.40 c input general constraints 6202
3600.03/3609.40 c input average constraint length 3.71
3600.03/3609.40 c input average constraint degree 5.84
3600.03/3609.40 c learned clauses 97582
3600.03/3609.40 c learned cardinalities 103
3600.03/3609.40 c learned general constraints 503387
3600.03/3609.40 c learned average constraint length 1150.70
3600.03/3609.40 c learned average constraint degree 40568156.43
3600.03/3609.40 c watched constraints 491181
3600.03/3609.40 c counting constraints 18408
3600.03/3609.40 c gcd simplifications 39050
3600.03/3609.40 c detected cardinalities 1
3600.03/3609.40 c weakened non-implied lits 63945369
3600.03/3609.40 c weakened non-implying lits 108060
3600.03/3609.40 c original variables 11443
3600.03/3609.40 c clausal propagations 72840914
3600.03/3609.40 c cardinality propagations 15270764
3600.03/3609.40 c watched propagations 22825881
3600.03/3609.40 c counting propagations 112547065
3600.03/3609.40 c watch lookups 12040262107
3600.03/3609.40 c watch backjump lookups 9219552383
3600.03/3609.40 c watch checks 712510876629
3600.03/3609.40 c propagation checks 165939744587
3600.03/3609.40 c constraint additions 2634778157
3600.03/3609.40 c trail pops 226949686
3600.03/3609.40 c formula constraints 12780
3600.03/3609.40 c learned constraints 601072
3600.03/3609.40 c bound constraints 1
3600.03/3609.40 c core-guided constraints 0
3600.03/3609.40 c encountered formula constraints 7564942
3600.03/3609.40 c encountered learned constraints 5222072
3600.03/3609.40 c encountered bound constraints 1727
3600.03/3609.40 c encountered core-guided constraints 0
3600.03/3609.40 c LP total time 0 s
3600.03/3609.40 c LP solve time 0 s
3600.03/3609.40 c LP constraints added 0
3600.03/3609.40 c LP constraints removed 0
3600.03/3609.40 c LP pivots internal 0
3600.03/3609.40 c LP pivots root 0
3600.03/3609.40 c LP calls 0
3600.03/3609.40 c LP optimalities 0
3600.03/3609.40 c LP no pivot count 0
3600.03/3609.40 c LP infeasibilities 0
3600.03/3609.40 c LP valid Farkas constraints 0
3600.03/3609.40 c LP learned Farkas constraints 0
3600.03/3609.40 c LP basis resets 0
3600.03/3609.40 c LP cycling count 0
3600.03/3609.40 c LP singular count 0
3600.03/3609.40 c LP no primal count 0
3600.03/3609.40 c LP no farkas count 0
3600.03/3609.40 c LP other issue count 0
3600.03/3609.40 c LP Gomory cuts 0
3600.03/3609.40 c LP learned cuts 0
3600.03/3609.40 c LP deleted cuts 0
3600.03/3609.40 c LP encountered Gomory constraints 0
3600.03/3609.40 c LP encountered Farkas constraints 0
3600.03/3609.40 c LP encountered learned Farkas constraints 0
3600.03/3609.40 c CG auxiliary variables introduced 0
3600.03/3609.40 c CG solutions found 0
3600.03/3609.40 c CG cores constructed 0
3600.03/3609.40 c CG core cardinality constraints returned 0
3600.03/3609.40 c CG unit cores 0
3600.03/3609.40 c CG single cores 0
3600.03/3609.40 c CG blocks removed during cardinality reduction 0
3600.03/3609.40 c CG first core best 0
3600.03/3609.40 c CG decision core best 0
3600.03/3609.40 c CG core reduction tie 0
3600.03/3609.40 c CG core degree average 0.00
3600.03/3609.40 c CG core slack average 0.00
3600.03/3609.40 c CG exhausted 0
3600.03/3609.40 c CG exhaust time 0 s
3600.03/3609.40 c CG trimmed 0
3600.03/3609.40 c CG trim time 0 s
3600.03/3609.40 c CG minimized 0
3600.03/3609.40 c CG minimize time 0 s
3600.03/3609.40 c CG am1 prop time 2.7e-05 s
3600.03/3609.40 c CG # am1s reformulated 0
3600.03/3609.40 c CG lower bound derived from am1s 0
3600.03/3609.40 c CG # clausal cores 0
3600.03/3609.40 c CG # cardinality cores 0
3600.03/3609.40 c CG # pb cores 0
3600.03/3609.40 c CG # pb reforms 0
3600.03/3609.40 c CG # cores discarded because of pb reform 0
3600.03/3609.40 d LOWERBOUND 0
3600.03/3609.40 d NCORES 0
3600.03/3609.40 d NPBCORES 0
3600.03/3609.40 d NPBREFORM 0
3600.03/3609.40 d NTRIMMED 0
3600.03/3609.40 d NEXHAUSTED 0
3600.03/3609.40 d NAM1S 0
3600.03/3609.40 d AM1LB 0
3600.03/3609.40 c [Papilo Statistics]
3600.03/3609.40 c prepro time 0.03087s
3600.03/3609.40 c # tsx applied 510
3600.03/3609.40 c # tsx conflicts 0
3600.03/3609.40 c # bound changes 1
3600.03/3609.40 c # side changes 363
3600.03/3609.40 c # coef changes 2907
3600.03/3609.40 c # rounds 3
3600.03/3609.40 c # deted vars 145
3600.03/3609.40 c # deted constrs 217
3600.03/3609.40 c # consecutive rounds of only bound changes 0
3600.03/3609.40 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: 63665 MiB (63154 MiB free)
memory of node 1: 64507 MiB (63927 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524059-1751602408/watcher-4524059-1751602408 -o /tmp/evaluation-result-4524059-1751602408/solver-4524059-1751602408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751602408-85772 --watchdog 3760 mixed-bag HOME/instance-4524059-1751602408.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85819, runsolver pid=85808
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.74 3.78 3.98 3/262 85825
/proc/meminfo: memFree=130111500/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=27588 memory=512 CPUtime=0 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) D 85808 85819 85761 0 -1 4194304 92 0 3 0 0 0 0 0 20 0 1 0 75920441 28250112 128 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 6897 128 128 2842 0 1315 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27588 KiB
Current children cumulated memory: 512 KiB
[startup+0.20498 s]*
/proc/loadavg: 2.74 3.78 3.98 2/264 85830
/proc/meminfo: memFree=130110524/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=76392 memory=1536 CPUtime=0 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) D 85808 85819 85761 0 -1 4194304 147 0 7 0 0 0 0 0 20 0 1 0 75920441 78225408 384 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 19098 384 352 2842 0 1447 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 76392 KiB
Current children cumulated memory: 1536 KiB
[startup+0.305127 s]*
/proc/loadavg: 2.74 3.78 3.98 6/264 85830
/proc/meminfo: memFree=129928272/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=102296 memory=27384 CPUtime=0.07 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 5064 0 13 0 6 1 0 0 20 0 1 0 75920441 104751104 6846 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 25574 6846 3712 2842 0 7268 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 102296 KiB
Current children cumulated memory: 27384 KiB
[startup+0.700128 s]
/proc/loadavg: 2.74 3.78 3.98 6/264 85830
/proc/meminfo: memFree=129723264/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=193304 memory=116108 CPUtime=0.45 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 26849 0 13 0 41 4 0 0 20 0 1 0 75920441 197943296 29027 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 48326 29027 4096 2842 0 30020 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 193304 KiB
Current children cumulated memory: 116108 KiB
[startup+1.50015 s]
/proc/loadavg: 2.74 3.78 3.98 6/264 85830
/proc/meminfo: memFree=129576840/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=234772 memory=148932 CPUtime=1.24 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 35265 0 13 0 119 5 0 0 20 0 1 0 75920441 240406528 37233 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 58693 37233 4288 2842 0 40387 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 234772 KiB
Current children cumulated memory: 148932 KiB
[startup+3.10545 s]
/proc/loadavg: 2.84 3.79 3.98 6/264 85830
/proc/meminfo: memFree=129241588/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=235212 memory=149572 CPUtime=2.84 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 35427 0 13 0 279 5 0 0 20 0 1 0 75920441 240857088 37393 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 58803 37393 4288 2842 0 40497 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 235212 KiB
Current children cumulated memory: 149572 KiB
[startup+6.30017 s]
/proc/loadavg: 2.84 3.79 3.98 6/264 85830
/proc/meminfo: memFree=128538568/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=236844 memory=151236 CPUtime=6.03 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 35819 0 13 0 598 5 0 0 20 0 1 0 75920441 242528256 37809 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 59211 37809 4288 2842 0 40905 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 236844 KiB
Current children cumulated memory: 151236 KiB
[startup+12.7002 s]
/proc/loadavg: 3.02 3.81 3.99 6/264 85830
/proc/meminfo: memFree=128490976/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=291084 memory=193692 CPUtime=12.42 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 45566 0 13 0 1235 7 0 0 20 0 1 0 75920441 298070016 48423 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 72771 48423 4288 2842 0 54465 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 291084 KiB
Current children cumulated memory: 193692 KiB
[startup+25.5002 s]
/proc/loadavg: 3.23 3.82 3.99 6/264 85875
/proc/meminfo: memFree=127356008/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=335416 memory=215708 CPUtime=25.17 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 51072 0 13 0 2509 8 0 0 20 0 1 0 75920441 343465984 53927 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 83854 53927 4288 2842 0 65548 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 335416 KiB
Current children cumulated memory: 215708 KiB
[startup+51.1055 s]
/proc/loadavg: 3.50 3.83 3.99 6/262 85876
/proc/meminfo: memFree=125841568/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=381040 memory=259612 CPUtime=50.71 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 62056 0 13 0 5061 10 0 0 20 0 1 0 75920441 390184960 64903 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 95260 64903 4288 2842 0 76954 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 381040 KiB
Current children cumulated memory: 259612 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.89 4.00 6/263 85879
/proc/meminfo: memFree=118417816/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=401576 memory=281884 CPUtime=101.76 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 67661 0 13 0 10165 11 0 0 20 0 1 0 75920441 411213824 70471 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 100394 70471 4288 2842 0 82088 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 401576 KiB
Current children cumulated memory: 281884 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.93 4.00 6/264 85886
/proc/meminfo: memFree=118393128/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=448612 memory=293404 CPUtime=161.6 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 70554 0 13 0 16148 12 0 0 20 0 1 0 75920441 459378688 73351 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 112153 73351 4288 2842 0 93847 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 448612 KiB
Current children cumulated memory: 293404 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.96 4.00 6/264 85888
/proc/meminfo: memFree=118356348/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=525948 memory=332872 CPUtime=221.43 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 81975 0 13 0 22129 14 0 0 20 0 1 0 75920441 538570752 83218 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 131487 83218 4288 2842 0 113181 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 525948 KiB
Current children cumulated memory: 332872 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.00 4.01 6/264 85890
/proc/meminfo: memFree=113558468/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=590080 memory=379592 CPUtime=281.26 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 93645 0 13 0 28111 15 0 0 20 0 1 0 75920441 604241920 94898 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 147520 94898 4288 2842 0 129214 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 590080 KiB
Current children cumulated memory: 379592 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.00 4.00 6/264 85891
/proc/meminfo: memFree=101523288/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=591096 memory=383644 CPUtime=341.11 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 97520 0 13 0 34061 50 0 0 20 0 1 0 75920441 605282304 95911 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 147774 95911 4480 2842 0 129468 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 591096 KiB
Current children cumulated memory: 383644 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.03 4.01 6/263 85895
/proc/meminfo: memFree=92450272/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=621916 memory=404128 CPUtime=400.95 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 98041 0 13 0 40019 76 0 0 20 0 1 0 75920441 636841984 101032 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 155479 101032 4480 2842 0 137173 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 621916 KiB
Current children cumulated memory: 404128 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.04 4.01 6/263 85897
/proc/meminfo: memFree=92486400/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=621916 memory=424684 CPUtime=460.77 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 98114 0 13 0 45983 94 0 0 20 0 1 0 75920441 636841984 106171 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 155479 106171 4480 2842 0 137173 0
################
# More data... #
################
Current children cumulated memory: 618764 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.22 4.14 6/263 86114
/proc/meminfo: memFree=120772092/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=618764 CPUtime=2854.74 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102822 0 13 0 284971 503 0 0 20 0 1 0 75920441 906907648 154691 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 154691 4480 2842 0 203107 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 618764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.19 4.14 6/262 86115
/proc/meminfo: memFree=120762364/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=618764 CPUtime=2914.59 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102847 0 13 0 290946 513 0 0 20 0 1 0 75920441 906907648 154691 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 154691 4480 2842 0 203107 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 618764 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.19 4.14 6/262 86117
/proc/meminfo: memFree=120760596/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=618764 CPUtime=2974.43 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102847 0 13 0 296922 521 0 0 20 0 1 0 75920441 906907648 154691 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 154691 4480 2842 0 203107 0
Current children cumulated CPU time: 2974.43 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 618764 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.17 4.13 6/263 86120
/proc/meminfo: memFree=120718880/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=618764 CPUtime=3034.29 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102847 0 13 0 302901 528 0 0 20 0 1 0 75920441 906907648 154691 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 154691 4480 2842 0 203107 0
Current children cumulated CPU time: 3034.29 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 618764 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.13 6/263 86122
/proc/meminfo: memFree=120689332/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=618764 CPUtime=3094.14 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102848 0 13 0 308877 537 0 0 20 0 1 0 75920441 906907648 154691 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 154691 4480 2842 0 203107 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 618764 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.13 6/263 86124
/proc/meminfo: memFree=120661984/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=620924 CPUtime=3153.99 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102856 0 13 0 314852 547 0 0 20 0 1 0 75920441 906907648 155231 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 155231 4480 2842 0 203107 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 620924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.13 6/264 86131
/proc/meminfo: memFree=120678936/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=620924 CPUtime=3213.84 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102856 0 13 0 320832 552 0 0 20 0 1 0 75920441 906907648 155231 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 155231 4480 2842 0 203107 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 620924 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.13 6/264 86133
/proc/meminfo: memFree=120641428/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=631184 CPUtime=3273.7 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102893 0 13 0 326811 559 0 0 20 0 1 0 75920441 906907648 157796 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 157796 4480 2842 0 203107 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 631184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.23 4.16 6/263 86135
/proc/meminfo: memFree=120661612/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=631184 CPUtime=3333.56 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102893 0 13 0 332789 567 0 0 20 0 1 0 75920441 906907648 157796 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 157796 4480 2842 0 203107 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 631184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.14 6/264 86138
/proc/meminfo: memFree=120664180/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=631440 CPUtime=3393.41 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 102931 0 13 0 338769 572 0 0 20 0 1 0 75920441 906907648 157860 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 157860 4480 2842 0 203107 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 631440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.14 6/264 86142
/proc/meminfo: memFree=120636232/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=632336 CPUtime=3453.27 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 103168 0 13 0 344747 580 0 0 20 0 1 0 75920441 906907648 158084 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 158084 4480 2842 0 203107 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 632336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.14 6/263 86144
/proc/meminfo: memFree=120591364/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=632336 CPUtime=3513.13 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 103168 0 13 0 350726 587 0 0 20 0 1 0 75920441 906907648 158084 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 158084 4480 2842 0 203107 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 632336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.13 6/263 86146
/proc/meminfo: memFree=120558584/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=632336 CPUtime=3572.99 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 103172 0 13 0 356703 596 0 0 20 0 1 0 75920441 906907648 158084 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 158084 4480 2842 0 203107 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 632336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.05 4.13 4.13 6/263 86147
/proc/meminfo: memFree=120527828/131249996 swapFree=33005016/33010684
[pid=85819] ppid=85808 vsize=885652 memory=632336 CPUtime=3600.03 cores=4,6
/proc/85819/stat : 85819 (mixed-bag) R 85808 85819 85761 0 -1 4194304 103172 0 13 0 359404 599 0 0 20 0 1 0 75920441 906907648 158084 18446744073709551615 4235264 15874749 140729276556384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55500800 140729276557724 140729276557801 140729276557801 140729276563403 0
/proc/85819/statm: 221413 158084 4480 2842 0 203107 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 885652 KiB
Current children cumulated memory: 632336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 85819 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.04 s, system=6.01248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.42
CPU time (s): 3600.06
CPU user time (s): 3594.04
CPU system time (s): 6.01248
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 885652
Max. memory (cumulated for all children) (KiB): 632336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.04
system time used= 6.01248
maximum resident set size= 633232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103200
page faults= 13
swaps= 0
block input operations= 1776
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 1888
# summary of solver processes directly reported to runsolver:
# pid: 85819
# total CPU time (s): 3600.06
# total CPU user time (s): 3594.04
# total CPU system time (s): 6.01248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54142 second user time and 16.0356 second system time
The end
Begin job on nodeC030 at 2025-07-04 06:13:28
IDJOB=4524059
IDBENCH=180479
IDSOLVER=3340
FILE ID=nodeC030/4524059-1751602408
RUNJOBID= nodeC030-1751602408-85772
SLURM_JOB_ID= 9598884
Free space on /tmp= 432496 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Charlotte-mini-24-2_c24.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524059-1751602408/watcher-4524059-1751602408 -o /tmp/evaluation-result-4524059-1751602408/solver-4524059-1751602408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751602408-85772 --watchdog 3760 mixed-bag HOME/instance-4524059-1751602408.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7a0e4e925858bc3ae1a84eaa7212c221
RANDOM SEED=499298149
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.701
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.331
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.320
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.339
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.098
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130132592 kB
MemAvailable: 129782900 kB
Buffers: 16 kB
Cached: 425452 kB
SwapCached: 224 kB
Active: 124492 kB
Inactive: 369188 kB
Active(anon): 18816 kB
Inactive(anon): 62936 kB
Active(file): 105676 kB
Inactive(file): 306252 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 90380 kB
Writeback: 8 kB
AnonPages: 71060 kB
Mapped: 98028 kB
Shmem: 13540 kB
KReclaimable: 123644 kB
Slab: 213280 kB
SReclaimable: 123644 kB
SUnreclaim: 89636 kB
KernelStack: 4048 kB
PageTables: 2792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 338312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432384 MiB
End job on nodeC030 at 2025-07-04 07:13:38