0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.59/0.62 c [STEP] solving
0.59/0.62 c #variables 204880 #constraints 183967
0.59/0.62 c SMALL=int, LARGE=long long
0.59/0.63 c bounds - >= 700801 @ 0.459961
0.59/0.63 c stratification level: 100302
119.22/119.65 c #Conflicts: 1000 | #Constraints: 184966
119.22/119.65 c #Conflicts: 2000 | #Constraints: 185966
119.22/119.65 c INPROCESSING
119.22/119.65 c #Conflicts: 3000 | #Constraints: 161617
119.22/119.65 c #Conflicts: 4000 | #Constraints: 162617
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 5000 | #Constraints: 162202
119.22/119.65 c #Conflicts: 6000 | #Constraints: 163202
119.22/119.65 c INPROCESSING
119.22/119.65 c #Conflicts: 7000 | #Constraints: 162422
119.22/119.65 c #Conflicts: 8000 | #Constraints: 163422
119.22/119.65 c #Conflicts: 9000 | #Constraints: 164422
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 10000 | #Constraints: 163247
119.22/119.65 c #Conflicts: 11000 | #Constraints: 164247
119.22/119.65 c #Conflicts: 12000 | #Constraints: 165247
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 13000 | #Constraints: 163771
119.22/119.65 c #Conflicts: 14000 | #Constraints: 164771
119.22/119.65 c #Conflicts: 15000 | #Constraints: 165771
119.22/119.65 c #Conflicts: 16000 | #Constraints: 166771
119.22/119.65 c #Conflicts: 17000 | #Constraints: 167771
119.22/119.65 c #Conflicts: 18000 | #Constraints: 168771
119.22/119.65 c #Conflicts: 19000 | #Constraints: 169771
119.22/119.65 c #Conflicts: 20000 | #Constraints: 170771
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 21000 | #Constraints: 166517
119.22/119.65 c #Conflicts: 22000 | #Constraints: 167517
119.22/119.65 c #Conflicts: 23000 | #Constraints: 168517
119.22/119.65 c #Conflicts: 24000 | #Constraints: 169517
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 25000 | #Constraints: 165945
119.22/119.65 c #Conflicts: 26000 | #Constraints: 166945
119.22/119.65 c #Conflicts: 27000 | #Constraints: 167945
119.22/119.65 c #Conflicts: 28000 | #Constraints: 168945
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 29000 | #Constraints: 165485
119.22/119.65 c #Conflicts: 30000 | #Constraints: 166485
119.22/119.65 c #Conflicts: 31000 | #Constraints: 167485
119.22/119.65 c #Conflicts: 32000 | #Constraints: 168485
119.22/119.65 c #Conflicts: 33000 | #Constraints: 169485
119.22/119.65 c #Conflicts: 34000 | #Constraints: 170485
119.22/119.65 c #Conflicts: 35000 | #Constraints: 171485
119.22/119.65 c #Conflicts: 36000 | #Constraints: 172485
119.22/119.65 c #Conflicts: 37000 | #Constraints: 173485
119.22/119.65 c #Conflicts: 38000 | #Constraints: 174485
119.22/119.65 c #Conflicts: 39000 | #Constraints: 175485
119.22/119.65 c #Conflicts: 40000 | #Constraints: 176485
119.22/119.65 c #Conflicts: 41000 | #Constraints: 177485
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 42000 | #Constraints: 170054
119.22/119.65 c #Conflicts: 43000 | #Constraints: 171054
119.22/119.65 c #Conflicts: 44000 | #Constraints: 172054
119.22/119.65 c #Conflicts: 45000 | #Constraints: 173054
119.22/119.65 c #Conflicts: 46000 | #Constraints: 174054
119.22/119.65 c #Conflicts: 47000 | #Constraints: 175054
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 48000 | #Constraints: 169072
119.22/119.65 c #Conflicts: 49000 | #Constraints: 170072
119.22/119.65 c #Conflicts: 50000 | #Constraints: 171072
119.22/119.65 c #Conflicts: 51000 | #Constraints: 172072
119.22/119.65 c #Conflicts: 52000 | #Constraints: 173072
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 53000 | #Constraints: 167704
119.22/119.65 c #Conflicts: 54000 | #Constraints: 168704
119.22/119.65 c #Conflicts: 55000 | #Constraints: 169704
119.22/119.65 c #Conflicts: 56000 | #Constraints: 170704
119.22/119.65 c #Conflicts: 57000 | #Constraints: 171704
119.22/119.65 c #Conflicts: 58000 | #Constraints: 172704
119.22/119.65 c #Conflicts: 59000 | #Constraints: 173704
119.22/119.65 c #Conflicts: 60000 | #Constraints: 174704
119.22/119.65 c #Conflicts: 61000 | #Constraints: 175704
119.22/119.65 c #Conflicts: 62000 | #Constraints: 176704
119.22/119.65 c #Conflicts: 63000 | #Constraints: 177704
119.22/119.65 c #Conflicts: 64000 | #Constraints: 178704
119.22/119.65 c #Conflicts: 65000 | #Constraints: 179704
119.22/119.65 c #Conflicts: 66000 | #Constraints: 180704
119.22/119.65 c #Conflicts: 67000 | #Constraints: 181704
119.22/119.65 c #Conflicts: 68000 | #Constraints: 182704
119.22/119.65 c #Conflicts: 69000 | #Constraints: 183704
119.22/119.65 c INPROCESSING
119.22/119.65 c GARBAGE COLLECT
119.22/119.65 c #Conflicts: 70000 | #Constraints: 173294
119.22/119.65 c #Conflicts: 71000 | #Constraints: 174294
119.22/119.65 c #Conflicts: 72000 | #Constraints: 175294
304.29/305.37 c #Conflicts: 73000 | #Constraints: 176294
304.29/305.37 c #Conflicts: 74000 | #Constraints: 177294
304.29/305.37 c #Conflicts: 75000 | #Constraints: 178294
304.29/305.37 c #Conflicts: 76000 | #Constraints: 179294
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
304.29/305.37 c #Conflicts: 77000 | #Constraints: 171095
304.29/305.37 c #Conflicts: 78000 | #Constraints: 172095
304.29/305.37 c #Conflicts: 79000 | #Constraints: 173095
304.29/305.37 c #Conflicts: 80000 | #Constraints: 174095
304.29/305.37 c #Conflicts: 81000 | #Constraints: 175095
304.29/305.37 c #Conflicts: 82000 | #Constraints: 176095
304.29/305.37 c #Conflicts: 83000 | #Constraints: 177095
304.29/305.37 c #Conflicts: 84000 | #Constraints: 178095
304.29/305.37 c #Conflicts: 85000 | #Constraints: 179095
304.29/305.37 c #Conflicts: 86000 | #Constraints: 180095
304.29/305.37 c #Conflicts: 87000 | #Constraints: 181095
304.29/305.37 c #Conflicts: 88000 | #Constraints: 182095
304.29/305.37 c #Conflicts: 89000 | #Constraints: 183095
304.29/305.37 c #Conflicts: 90000 | #Constraints: 184095
304.29/305.37 c #Conflicts: 91000 | #Constraints: 185095
304.29/305.37 c #Conflicts: 92000 | #Constraints: 186095
304.29/305.37 c #Conflicts: 93000 | #Constraints: 187095
304.29/305.37 c #Conflicts: 94000 | #Constraints: 188095
304.29/305.37 c #Conflicts: 95000 | #Constraints: 189095
304.29/305.37 c #Conflicts: 96000 | #Constraints: 190095
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
304.29/305.37 c #Conflicts: 97000 | #Constraints: 176552
304.29/305.37 c #Conflicts: 98000 | #Constraints: 177552
304.29/305.37 c #Conflicts: 99000 | #Constraints: 178552
304.29/305.37 c #Conflicts: 100000 | #Constraints: 179552
304.29/305.37 c #Conflicts: 101000 | #Constraints: 180552
304.29/305.37 c #Conflicts: 102000 | #Constraints: 181552
304.29/305.37 c #Conflicts: 103000 | #Constraints: 182552
304.29/305.37 c #Conflicts: 104000 | #Constraints: 183552
304.29/305.37 c #Conflicts: 105000 | #Constraints: 184552
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
304.29/305.37 c #Conflicts: 106000 | #Constraints: 174111
304.29/305.37 c #Conflicts: 107000 | #Constraints: 175111
304.29/305.37 c #Conflicts: 108000 | #Constraints: 176111
304.29/305.37 c #Conflicts: 109000 | #Constraints: 177111
304.29/305.37 c #Conflicts: 110000 | #Constraints: 178111
304.29/305.37 c #Conflicts: 111000 | #Constraints: 179111
304.29/305.37 c #Conflicts: 112000 | #Constraints: 180111
304.29/305.37 c #Conflicts: 113000 | #Constraints: 181111
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
304.29/305.37 c #Conflicts: 114000 | #Constraints: 172116
304.29/305.37 c #Conflicts: 115000 | #Constraints: 173116
304.29/305.37 c #Conflicts: 116000 | #Constraints: 174116
304.29/305.37 c #Conflicts: 117000 | #Constraints: 175116
304.29/305.37 c #Conflicts: 118000 | #Constraints: 176116
304.29/305.37 c #Conflicts: 119000 | #Constraints: 177116
304.29/305.37 c #Conflicts: 120000 | #Constraints: 178116
304.29/305.37 c #Conflicts: 121000 | #Constraints: 179116
304.29/305.37 c #Conflicts: 122000 | #Constraints: 180116
304.29/305.37 c #Conflicts: 123000 | #Constraints: 181116
304.29/305.37 c #Conflicts: 124000 | #Constraints: 182116
304.29/305.37 c #Conflicts: 125000 | #Constraints: 183116
304.29/305.37 c #Conflicts: 126000 | #Constraints: 184116
304.29/305.37 c #Conflicts: 127000 | #Constraints: 185116
304.29/305.37 c #Conflicts: 128000 | #Constraints: 186116
304.29/305.37 c #Conflicts: 129000 | #Constraints: 187116
304.29/305.37 c #Conflicts: 130000 | #Constraints: 188116
304.29/305.37 c #Conflicts: 131000 | #Constraints: 189116
304.29/305.37 c #Conflicts: 132000 | #Constraints: 190116
304.29/305.37 c #Conflicts: 133000 | #Constraints: 191116
304.29/305.37 c #Conflicts: 134000 | #Constraints: 192116
304.29/305.37 c #Conflicts: 135000 | #Constraints: 193116
304.29/305.37 c #Conflicts: 136000 | #Constraints: 194116
304.29/305.37 c #Conflicts: 137000 | #Constraints: 195116
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
304.29/305.37 c #Conflicts: 138000 | #Constraints: 179253
304.29/305.37 c #Conflicts: 139000 | #Constraints: 180253
304.29/305.37 c #Conflicts: 140000 | #Constraints: 181253
304.29/305.37 c #Conflicts: 141000 | #Constraints: 182253
304.29/305.37 c #Conflicts: 142000 | #Constraints: 183253
304.29/305.37 c #Conflicts: 143000 | #Constraints: 184253
304.29/305.37 c #Conflicts: 144000 | #Constraints: 185253
304.29/305.37 c #Conflicts: 145000 | #Constraints: 186253
304.29/305.37 c #Conflicts: 146000 | #Constraints: 187253
304.29/305.37 c #Conflicts: 147000 | #Constraints: 188253
304.29/305.37 c INPROCESSING
304.29/305.37 c GARBAGE COLLECT
644.07/646.14 c #Conflicts: 148000 | #Constraints: 175827
644.07/646.14 c #Conflicts: 149000 | #Constraints: 176827
644.07/646.14 c #Conflicts: 150000 | #Constraints: 177827
644.07/646.14 c #Conflicts: 151000 | #Constraints: 178827
644.07/646.14 c #Conflicts: 152000 | #Constraints: 179827
644.07/646.14 c #Conflicts: 153000 | #Constraints: 180827
644.07/646.14 c #Conflicts: 154000 | #Constraints: 181827
644.07/646.14 c #Conflicts: 155000 | #Constraints: 182827
644.07/646.14 c #Conflicts: 156000 | #Constraints: 183827
644.07/646.14 c #Conflicts: 157000 | #Constraints: 184827
644.07/646.14 c INPROCESSING
644.07/646.14 c GARBAGE COLLECT
644.07/646.14 c #Conflicts: 158000 | #Constraints: 174170
644.07/646.14 c #Conflicts: 159000 | #Constraints: 175170
644.07/646.14 c #Conflicts: 160000 | #Constraints: 176170
644.07/646.14 c #Conflicts: 161000 | #Constraints: 177170
644.07/646.14 c #Conflicts: 162000 | #Constraints: 178170
644.07/646.14 c #Conflicts: 163000 | #Constraints: 179170
644.07/646.14 c #Conflicts: 164000 | #Constraints: 180170
644.07/646.14 c #Conflicts: 165000 | #Constraints: 181170
644.07/646.14 c #Conflicts: 166000 | #Constraints: 182170
644.07/646.14 c #Conflicts: 167000 | #Constraints: 183170
644.07/646.14 c #Conflicts: 168000 | #Constraints: 184170
644.07/646.14 c #Conflicts: 169000 | #Constraints: 185170
644.07/646.14 c #Conflicts: 170000 | #Constraints: 186170
644.07/646.14 c #Conflicts: 171000 | #Constraints: 187170
644.07/646.14 c #Conflicts: 172000 | #Constraints: 188170
644.07/646.14 c #Conflicts: 173000 | #Constraints: 189170
644.07/646.14 c #Conflicts: 174000 | #Constraints: 190170
644.07/646.14 c #Conflicts: 175000 | #Constraints: 191170
644.07/646.14 c #Conflicts: 176000 | #Constraints: 192170
644.07/646.14 c #Conflicts: 177000 | #Constraints: 193170
644.07/646.14 c #Conflicts: 178000 | #Constraints: 194170
644.07/646.14 c #Conflicts: 179000 | #Constraints: 195170
644.07/646.14 c #Conflicts: 180000 | #Constraints: 196170
644.07/646.14 c #Conflicts: 181000 | #Constraints: 197170
644.07/646.14 c #Conflicts: 182000 | #Constraints: 198170
644.07/646.14 c #Conflicts: 183000 | #Constraints: 199170
644.07/646.14 c #Conflicts: 184000 | #Constraints: 200170
644.07/646.14 c #Conflicts: 185000 | #Constraints: 201170
644.07/646.14 c #Conflicts: 186000 | #Constraints: 202170
644.07/646.14 c INPROCESSING
644.07/646.14 c GARBAGE COLLECT
644.07/646.14 c #Conflicts: 187000 | #Constraints: 183199
644.07/646.14 c #Conflicts: 188000 | #Constraints: 184199
644.07/646.14 c #Conflicts: 189000 | #Constraints: 185199
644.07/646.14 c #Conflicts: 190000 | #Constraints: 186199
644.07/646.14 c #Conflicts: 191000 | #Constraints: 187199
644.07/646.14 c #Conflicts: 192000 | #Constraints: 188199
644.07/646.14 c #Conflicts: 193000 | #Constraints: 189199
644.07/646.14 c #Conflicts: 194000 | #Constraints: 190199
644.07/646.14 c #Conflicts: 195000 | #Constraints: 191199
644.07/646.14 c #Conflicts: 196000 | #Constraints: 192199
644.07/646.14 c #Conflicts: 197000 | #Constraints: 193199
644.07/646.14 c INPROCESSING
644.07/646.14 c GARBAGE COLLECT
644.07/646.14 c #Conflicts: 198000 | #Constraints: 178567
644.07/646.14 c #Conflicts: 199000 | #Constraints: 179567
644.07/646.14 c #Conflicts: 200000 | #Constraints: 180567
644.07/646.14 c #Conflicts: 201000 | #Constraints: 181567
644.07/646.14 c #Conflicts: 202000 | #Constraints: 182567
644.07/646.14 c #Conflicts: 203000 | #Constraints: 183567
644.07/646.14 c #Conflicts: 204000 | #Constraints: 184567
644.07/646.14 c #Conflicts: 205000 | #Constraints: 185567
644.07/646.14 c #Conflicts: 206000 | #Constraints: 186567
644.07/646.14 c #Conflicts: 207000 | #Constraints: 187567
644.07/646.14 c #Conflicts: 208000 | #Constraints: 188567
644.07/646.14 c #Conflicts: 209000 | #Constraints: 189567
644.07/646.14 c INPROCESSING
644.07/646.14 c GARBAGE COLLECT
644.07/646.14 c #Conflicts: 210000 | #Constraints: 177417
644.07/646.14 c #Conflicts: 211000 | #Constraints: 178417
644.07/646.14 c #Conflicts: 212000 | #Constraints: 179417
644.07/646.14 c #Conflicts: 213000 | #Constraints: 180417
644.07/646.14 c #Conflicts: 214000 | #Constraints: 181417
644.07/646.14 c #Conflicts: 215000 | #Constraints: 182417
644.07/646.14 c #Conflicts: 216000 | #Constraints: 183417
644.07/646.14 c #Conflicts: 217000 | #Constraints: 184417
644.07/646.14 c #Conflicts: 218000 | #Constraints: 185417
644.07/646.14 c #Conflicts: 219000 | #Constraints: 186417
644.07/646.14 c #Conflicts: 220000 | #Constraints: 187417
644.07/646.14 c #Conflicts: 221000 | #Constraints: 188417
644.07/646.14 c #Conflicts: 222000 | #Constraints: 189417
644.07/646.14 c #Conflicts: 223000 | #Constraints: 190417
644.07/646.14 c #Conflicts: 224000 | #Constraints: 191417
986.90/989.94 c #Conflicts: 225000 | #Constraints: 192417
986.90/989.94 c #Conflicts: 226000 | #Constraints: 193417
986.90/989.94 c #Conflicts: 227000 | #Constraints: 194417
986.90/989.94 c #Conflicts: 228000 | #Constraints: 195417
986.90/989.94 c #Conflicts: 229000 | #Constraints: 196417
986.90/989.94 c #Conflicts: 230000 | #Constraints: 197417
986.90/989.94 c #Conflicts: 231000 | #Constraints: 198417
986.90/989.94 c #Conflicts: 232000 | #Constraints: 199417
986.90/989.94 c #Conflicts: 233000 | #Constraints: 200417
986.90/989.94 c #Conflicts: 234000 | #Constraints: 201417
986.90/989.94 c #Conflicts: 235000 | #Constraints: 202417
986.90/989.94 c #Conflicts: 236000 | #Constraints: 203417
986.90/989.94 c #Conflicts: 237000 | #Constraints: 204417
986.90/989.94 c #Conflicts: 238000 | #Constraints: 205417
986.90/989.94 c #Conflicts: 239000 | #Constraints: 206417
986.90/989.94 c #Conflicts: 240000 | #Constraints: 207417
986.90/989.94 c #Conflicts: 241000 | #Constraints: 208417
986.90/989.94 c INPROCESSING
986.90/989.94 c GARBAGE COLLECT
986.90/989.94 c #Conflicts: 242000 | #Constraints: 186132
986.90/989.94 c #Conflicts: 243000 | #Constraints: 187132
986.90/989.94 c #Conflicts: 244000 | #Constraints: 188132
986.90/989.94 c #Conflicts: 245000 | #Constraints: 189132
986.90/989.94 c #Conflicts: 246000 | #Constraints: 190132
986.90/989.94 c #Conflicts: 247000 | #Constraints: 191132
986.90/989.94 c #Conflicts: 248000 | #Constraints: 192132
986.90/989.94 c #Conflicts: 249000 | #Constraints: 193132
986.90/989.94 c #Conflicts: 250000 | #Constraints: 194132
986.90/989.94 c #Conflicts: 251000 | #Constraints: 195132
986.90/989.94 c #Conflicts: 252000 | #Constraints: 196132
986.90/989.94 c #Conflicts: 253000 | #Constraints: 197132
986.90/989.94 c #Conflicts: 254000 | #Constraints: 198132
986.90/989.94 c INPROCESSING
986.90/989.94 c GARBAGE COLLECT
986.90/989.94 c #Conflicts: 255000 | #Constraints: 181169
986.90/989.94 c #Conflicts: 256000 | #Constraints: 182169
986.90/989.94 c #Conflicts: 257000 | #Constraints: 183169
986.90/989.94 c #Conflicts: 258000 | #Constraints: 184169
986.90/989.94 c #Conflicts: 259000 | #Constraints: 185169
986.90/989.94 c #Conflicts: 260000 | #Constraints: 186169
986.90/989.94 c #Conflicts: 261000 | #Constraints: 187169
986.90/989.94 c #Conflicts: 262000 | #Constraints: 188169
986.90/989.94 c #Conflicts: 263000 | #Constraints: 189169
986.90/989.94 c #Conflicts: 264000 | #Constraints: 190169
986.90/989.94 c #Conflicts: 265000 | #Constraints: 191169
986.90/989.94 c #Conflicts: 266000 | #Constraints: 192169
986.90/989.94 c #Conflicts: 267000 | #Constraints: 193169
986.90/989.94 c INPROCESSING
986.90/989.94 c GARBAGE COLLECT
986.90/989.94 c #Conflicts: 268000 | #Constraints: 179527
986.90/989.94 c #Conflicts: 269000 | #Constraints: 180527
986.90/989.94 c #Conflicts: 270000 | #Constraints: 181527
986.90/989.94 c #Conflicts: 271000 | #Constraints: 182527
986.90/989.94 c #Conflicts: 272000 | #Constraints: 183527
986.90/989.94 c #Conflicts: 273000 | #Constraints: 184527
986.90/989.94 c #Conflicts: 274000 | #Constraints: 185527
986.90/989.94 c #Conflicts: 275000 | #Constraints: 186527
986.90/989.94 c #Conflicts: 276000 | #Constraints: 187527
986.90/989.94 c #Conflicts: 277000 | #Constraints: 188527
986.90/989.94 c #Conflicts: 278000 | #Constraints: 189527
986.90/989.94 c #Conflicts: 279000 | #Constraints: 190527
986.90/989.94 c #Conflicts: 280000 | #Constraints: 191527
986.90/989.94 c #Conflicts: 281000 | #Constraints: 192527
986.90/989.94 c #Conflicts: 282000 | #Constraints: 193527
986.90/989.94 c #Conflicts: 283000 | #Constraints: 194527
986.90/989.94 c #Conflicts: 284000 | #Constraints: 195527
986.90/989.94 c #Conflicts: 285000 | #Constraints: 196527
986.90/989.94 c #Conflicts: 286000 | #Constraints: 197527
986.90/989.94 c #Conflicts: 287000 | #Constraints: 198527
986.90/989.94 c #Conflicts: 288000 | #Constraints: 199527
986.90/989.94 c #Conflicts: 289000 | #Constraints: 200527
986.90/989.94 c #Conflicts: 290000 | #Constraints: 201527
986.90/989.94 c #Conflicts: 291000 | #Constraints: 202527
986.90/989.94 c #Conflicts: 292000 | #Constraints: 203527
986.90/989.94 c #Conflicts: 293000 | #Constraints: 204527
986.90/989.94 c #Conflicts: 294000 | #Constraints: 205527
986.90/989.94 c #Conflicts: 295000 | #Constraints: 206527
986.90/989.94 c #Conflicts: 296000 | #Constraints: 207527
986.90/989.94 c #Conflicts: 297000 | #Constraints: 208527
986.90/989.94 c #Conflicts: 298000 | #Constraints: 209527
986.90/989.94 c #Conflicts: 299000 | #Constraints: 210527
986.90/989.94 c #Conflicts: 300000 | #Constraints: 211527
1217.06/1220.71 c #Conflicts: 301000 | #Constraints: 212527
1217.06/1220.71 c #Conflicts: 302000 | #Constraints: 213527
1217.06/1220.71 c #Conflicts: 303000 | #Constraints: 214527
1217.06/1220.71 c #Conflicts: 304000 | #Constraints: 215527
1217.06/1220.71 c INPROCESSING
1217.06/1220.71 c GARBAGE COLLECT
1217.06/1220.71 c #Conflicts: 305000 | #Constraints: 190097
1217.06/1220.71 c #Conflicts: 306000 | #Constraints: 191097
1217.06/1220.71 c #Conflicts: 307000 | #Constraints: 192097
1217.06/1220.71 c #Conflicts: 308000 | #Constraints: 193097
1217.06/1220.71 c #Conflicts: 309000 | #Constraints: 194097
1217.06/1220.71 c #Conflicts: 310000 | #Constraints: 195097
1217.06/1220.71 c #Conflicts: 311000 | #Constraints: 196097
1217.06/1220.71 c #Conflicts: 312000 | #Constraints: 197097
1217.06/1220.71 c #Conflicts: 313000 | #Constraints: 198097
1217.06/1220.71 c #Conflicts: 314000 | #Constraints: 199097
1217.06/1220.71 c #Conflicts: 315000 | #Constraints: 200097
1217.06/1220.71 c #Conflicts: 316000 | #Constraints: 201097
1217.06/1220.71 c #Conflicts: 317000 | #Constraints: 202097
1217.06/1220.71 c #Conflicts: 318000 | #Constraints: 203097
1217.06/1220.71 c INPROCESSING
1217.06/1220.71 c GARBAGE COLLECT
1217.06/1220.71 c #Conflicts: 319000 | #Constraints: 183648
1217.06/1220.71 c #Conflicts: 320000 | #Constraints: 184648
1217.06/1220.71 c #Conflicts: 321000 | #Constraints: 185648
1217.06/1220.71 c #Conflicts: 322000 | #Constraints: 186648
1217.06/1220.71 c #Conflicts: 323000 | #Constraints: 187648
1217.06/1220.71 c #Conflicts: 324000 | #Constraints: 188648
1217.06/1220.71 c #Conflicts: 325000 | #Constraints: 189648
1217.06/1220.71 c #Conflicts: 326000 | #Constraints: 190648
1217.06/1220.71 c #Conflicts: 327000 | #Constraints: 191648
1217.06/1220.71 c #Conflicts: 328000 | #Constraints: 192648
1217.06/1220.71 c #Conflicts: 329000 | #Constraints: 193648
1217.06/1220.71 c #Conflicts: 330000 | #Constraints: 194648
1217.06/1220.71 c #Conflicts: 331000 | #Constraints: 195648
1217.06/1220.71 c #Conflicts: 332000 | #Constraints: 196648
1217.06/1220.71 c #Conflicts: 333000 | #Constraints: 197648
1217.06/1220.71 c INPROCESSING
1217.06/1220.71 c GARBAGE COLLECT
1217.06/1220.71 c #Conflicts: 334000 | #Constraints: 182636
1217.06/1220.71 c #Conflicts: 335000 | #Constraints: 183636
1217.06/1220.71 c #Conflicts: 336000 | #Constraints: 184636
1217.06/1220.71 c #Conflicts: 337000 | #Constraints: 185636
1217.06/1220.71 c #Conflicts: 338000 | #Constraints: 186636
1217.06/1220.71 c #Conflicts: 339000 | #Constraints: 187636
1217.06/1220.71 c #Conflicts: 340000 | #Constraints: 188636
1217.06/1220.71 c #Conflicts: 341000 | #Constraints: 189636
1217.06/1220.71 c #Conflicts: 342000 | #Constraints: 190636
1217.06/1220.71 c #Conflicts: 343000 | #Constraints: 191636
1217.06/1220.71 c #Conflicts: 344000 | #Constraints: 192636
1217.06/1220.71 c #Conflicts: 345000 | #Constraints: 193636
1217.06/1220.71 c #Conflicts: 346000 | #Constraints: 194636
1217.06/1220.71 c #Conflicts: 347000 | #Constraints: 195636
1217.06/1220.71 c #Conflicts: 348000 | #Constraints: 196636
1217.06/1220.71 c #Conflicts: 349000 | #Constraints: 197636
1217.06/1220.71 c #Conflicts: 350000 | #Constraints: 198636
1217.06/1220.71 c #Conflicts: 351000 | #Constraints: 199636
1217.06/1220.71 c #Conflicts: 352000 | #Constraints: 200636
1217.06/1220.71 c #Conflicts: 353000 | #Constraints: 201636
1217.06/1220.71 c #Conflicts: 354000 | #Constraints: 202636
1217.06/1220.71 c #Conflicts: 355000 | #Constraints: 203636
1217.06/1220.71 c #Conflicts: 356000 | #Constraints: 204636
1217.06/1220.71 c #Conflicts: 357000 | #Constraints: 205636
1217.06/1220.71 c #Conflicts: 358000 | #Constraints: 206636
1217.06/1220.71 c #Conflicts: 359000 | #Constraints: 207636
1217.06/1220.71 c #Conflicts: 360000 | #Constraints: 208636
1217.06/1220.71 c #Conflicts: 361000 | #Constraints: 209636
1217.06/1220.71 c #Conflicts: 362000 | #Constraints: 210636
1217.06/1220.71 c #Conflicts: 363000 | #Constraints: 211636
1217.06/1220.71 c #Conflicts: 364000 | #Constraints: 212636
1217.06/1220.71 c #Conflicts: 365000 | #Constraints: 213636
1217.06/1220.71 c #Conflicts: 366000 | #Constraints: 214636
1217.06/1220.71 c #Conflicts: 367000 | #Constraints: 215636
1217.06/1220.71 c #Conflicts: 368000 | #Constraints: 216636
1217.06/1220.71 c #Conflicts: 369000 | #Constraints: 217636
1217.06/1220.71 c #Conflicts: 370000 | #Constraints: 218636
1217.06/1220.71 c #Conflicts: 371000 | #Constraints: 219636
1217.06/1220.71 c #Conflicts: 372000 | #Constraints: 220636
1217.06/1220.71 c #Conflicts: 373000 | #Constraints: 221636
1217.06/1220.71 c #Conflicts: 374000 | #Constraints: 222636
1217.06/1220.71 c INPROCESSING
1217.06/1220.71 c GARBAGE COLLECT
1217.06/1220.71 c #Conflicts: 375000 | #Constraints: 193758
1217.06/1220.71 c #Conflicts: 376000 | #Constraints: 194758
1217.06/1220.71 c #Conflicts: 377000 | #Constraints: 195758
1596.19/1600.90 c #Conflicts: 378000 | #Constraints: 196758
1596.19/1600.90 c #Conflicts: 379000 | #Constraints: 197758
1596.19/1600.90 c #Conflicts: 380000 | #Constraints: 198758
1596.19/1600.90 c #Conflicts: 381000 | #Constraints: 199758
1596.19/1600.90 c #Conflicts: 382000 | #Constraints: 200758
1596.19/1600.90 c #Conflicts: 383000 | #Constraints: 201758
1596.19/1600.90 c #Conflicts: 384000 | #Constraints: 202758
1596.19/1600.90 c #Conflicts: 385000 | #Constraints: 203758
1596.19/1600.90 c #Conflicts: 386000 | #Constraints: 204758
1596.19/1600.90 c #Conflicts: 387000 | #Constraints: 205758
1596.19/1600.90 c #Conflicts: 388000 | #Constraints: 206758
1596.19/1600.90 c #Conflicts: 389000 | #Constraints: 207758
1596.19/1600.90 c #Conflicts: 390000 | #Constraints: 208758
1596.19/1600.90 c INPROCESSING
1596.19/1600.90 c GARBAGE COLLECT
1596.19/1600.90 c #Conflicts: 391000 | #Constraints: 187084
1596.19/1600.90 c #Conflicts: 392000 | #Constraints: 188084
1596.19/1600.90 c #Conflicts: 393000 | #Constraints: 189084
1596.19/1600.90 c #Conflicts: 394000 | #Constraints: 190084
1596.19/1600.90 c #Conflicts: 395000 | #Constraints: 191084
1596.19/1600.90 c #Conflicts: 396000 | #Constraints: 192084
1596.19/1600.90 c #Conflicts: 397000 | #Constraints: 193084
1596.19/1600.90 c #Conflicts: 398000 | #Constraints: 194084
1596.19/1600.90 c #Conflicts: 399000 | #Constraints: 195084
1596.19/1600.90 c #Conflicts: 400000 | #Constraints: 196084
1596.19/1600.90 c #Conflicts: 401000 | #Constraints: 197084
1596.19/1600.90 c #Conflicts: 402000 | #Constraints: 198084
1596.19/1600.90 c #Conflicts: 403000 | #Constraints: 199084
1596.19/1600.90 c #Conflicts: 404000 | #Constraints: 200084
1596.19/1600.90 c #Conflicts: 405000 | #Constraints: 201084
1596.19/1600.90 c #Conflicts: 406000 | #Constraints: 202084
1596.19/1600.90 c #Conflicts: 407000 | #Constraints: 203084
1596.19/1600.90 c #Conflicts: 408000 | #Constraints: 204084
1596.19/1600.90 c #Conflicts: 409000 | #Constraints: 205084
1596.19/1600.90 c #Conflicts: 410000 | #Constraints: 206084
1596.19/1600.90 c #Conflicts: 411000 | #Constraints: 207084
1596.19/1600.90 c #Conflicts: 412000 | #Constraints: 208084
1596.19/1600.90 c #Conflicts: 413000 | #Constraints: 209084
1596.19/1600.90 c #Conflicts: 414000 | #Constraints: 210084
1596.19/1600.90 c #Conflicts: 415000 | #Constraints: 211084
1596.19/1600.90 c #Conflicts: 416000 | #Constraints: 212084
1596.19/1600.90 c #Conflicts: 417000 | #Constraints: 213084
1596.19/1600.90 c #Conflicts: 418000 | #Constraints: 214084
1596.19/1600.90 c #Conflicts: 419000 | #Constraints: 215084
1596.19/1600.90 c #Conflicts: 420000 | #Constraints: 216084
1596.19/1600.90 c #Conflicts: 421000 | #Constraints: 217084
1596.19/1600.90 c #Conflicts: 422000 | #Constraints: 218084
1596.19/1600.90 c #Conflicts: 423000 | #Constraints: 219084
1596.19/1600.90 c #Conflicts: 424000 | #Constraints: 220084
1596.19/1600.90 c #Conflicts: 425000 | #Constraints: 221084
1596.19/1600.90 c #Conflicts: 426000 | #Constraints: 222084
1596.19/1600.90 c #Conflicts: 427000 | #Constraints: 223084
1596.19/1600.90 c #Conflicts: 428000 | #Constraints: 224084
1596.19/1600.90 c #Conflicts: 429000 | #Constraints: 225084
1596.19/1600.90 c #Conflicts: 430000 | #Constraints: 226084
1596.19/1600.90 c #Conflicts: 431000 | #Constraints: 227084
1596.19/1600.90 c #Conflicts: 432000 | #Constraints: 228084
1596.19/1600.90 c #Conflicts: 433000 | #Constraints: 229084
1596.19/1600.90 c #Conflicts: 434000 | #Constraints: 230084
1596.19/1600.90 c INPROCESSING
1596.19/1600.90 c GARBAGE COLLECT
1596.19/1600.90 c #Conflicts: 435000 | #Constraints: 197654
1596.19/1600.90 c #Conflicts: 436000 | #Constraints: 198654
1596.19/1600.90 c #Conflicts: 437000 | #Constraints: 199654
1596.19/1600.90 c #Conflicts: 438000 | #Constraints: 200654
1596.19/1600.90 c #Conflicts: 439000 | #Constraints: 201654
1596.19/1600.90 c #Conflicts: 440000 | #Constraints: 202654
1596.19/1600.90 c #Conflicts: 441000 | #Constraints: 203654
1596.19/1600.90 c #Conflicts: 442000 | #Constraints: 204654
1596.19/1600.90 c #Conflicts: 443000 | #Constraints: 205654
1596.19/1600.90 c #Conflicts: 444000 | #Constraints: 206654
1596.19/1600.90 c #Conflicts: 445000 | #Constraints: 207654
1596.19/1600.90 c #Conflicts: 446000 | #Constraints: 208654
1596.19/1600.90 c #Conflicts: 447000 | #Constraints: 209654
1596.19/1600.90 c #Conflicts: 448000 | #Constraints: 210654
1596.19/1600.90 c #Conflicts: 449000 | #Constraints: 211654
1596.19/1600.90 c #Conflicts: 450000 | #Constraints: 212654
1596.19/1600.90 c #Conflicts: 451000 | #Constraints: 213654
1596.19/1600.90 c INPROCESSING
1596.19/1600.90 c GARBAGE COLLECT
1596.19/1600.90 c #Conflicts: 452000 | #Constraints: 189427
1596.19/1600.90 c #Conflicts: 453000 | #Constraints: 190427
2244.08/2250.73 c #Conflicts: 454000 | #Constraints: 191427
2244.08/2250.73 c #Conflicts: 455000 | #Constraints: 192427
2244.08/2250.73 c #Conflicts: 456000 | #Constraints: 193427
2244.08/2250.73 c #Conflicts: 457000 | #Constraints: 194427
2244.08/2250.73 c #Conflicts: 458000 | #Constraints: 195427
2244.08/2250.73 c #Conflicts: 459000 | #Constraints: 196427
2244.08/2250.73 c #Conflicts: 460000 | #Constraints: 197427
2244.08/2250.73 c #Conflicts: 461000 | #Constraints: 198427
2244.08/2250.73 c #Conflicts: 462000 | #Constraints: 199427
2244.08/2250.73 c #Conflicts: 463000 | #Constraints: 200427
2244.08/2250.73 c #Conflicts: 464000 | #Constraints: 201427
2244.08/2250.73 c #Conflicts: 465000 | #Constraints: 202427
2244.08/2250.73 c #Conflicts: 466000 | #Constraints: 203427
2244.08/2250.73 c #Conflicts: 467000 | #Constraints: 204427
2244.08/2250.73 c #Conflicts: 468000 | #Constraints: 205427
2244.08/2250.73 c #Conflicts: 469000 | #Constraints: 206427
2244.08/2250.73 c #Conflicts: 470000 | #Constraints: 207427
2244.08/2250.73 c #Conflicts: 471000 | #Constraints: 208427
2244.08/2250.73 c #Conflicts: 472000 | #Constraints: 209427
2244.08/2250.73 c #Conflicts: 473000 | #Constraints: 210427
2244.08/2250.73 c #Conflicts: 474000 | #Constraints: 211427
2244.08/2250.73 c #Conflicts: 475000 | #Constraints: 212427
2244.08/2250.73 c #Conflicts: 476000 | #Constraints: 213427
2244.08/2250.73 c #Conflicts: 477000 | #Constraints: 214427
2244.08/2250.73 c #Conflicts: 478000 | #Constraints: 215427
2244.08/2250.73 c #Conflicts: 479000 | #Constraints: 216427
2244.08/2250.73 c #Conflicts: 480000 | #Constraints: 217427
2244.08/2250.73 c #Conflicts: 481000 | #Constraints: 218427
2244.08/2250.73 c #Conflicts: 482000 | #Constraints: 219427
2244.08/2250.73 c #Conflicts: 483000 | #Constraints: 220427
2244.08/2250.73 c #Conflicts: 484000 | #Constraints: 221427
2244.08/2250.73 c #Conflicts: 485000 | #Constraints: 222427
2244.08/2250.73 c #Conflicts: 486000 | #Constraints: 223427
2244.08/2250.73 c #Conflicts: 487000 | #Constraints: 224427
2244.08/2250.73 c #Conflicts: 488000 | #Constraints: 225427
2244.08/2250.73 c #Conflicts: 489000 | #Constraints: 226427
2244.08/2250.73 c #Conflicts: 490000 | #Constraints: 227427
2244.08/2250.73 c #Conflicts: 491000 | #Constraints: 228427
2244.08/2250.73 c #Conflicts: 492000 | #Constraints: 229427
2244.08/2250.73 c #Conflicts: 493000 | #Constraints: 230427
2244.08/2250.73 c #Conflicts: 494000 | #Constraints: 231427
2244.08/2250.73 c #Conflicts: 495000 | #Constraints: 232427
2244.08/2250.73 c #Conflicts: 496000 | #Constraints: 233427
2244.08/2250.73 c #Conflicts: 497000 | #Constraints: 234427
2244.08/2250.73 c #Conflicts: 498000 | #Constraints: 235427
2244.08/2250.73 c INPROCESSING
2244.08/2250.73 c GARBAGE COLLECT
2244.08/2250.73 c #Conflicts: 499000 | #Constraints: 200308
2244.08/2250.73 c #Conflicts: 500000 | #Constraints: 201308
2244.08/2250.73 c #Conflicts: 501000 | #Constraints: 202308
2244.08/2250.73 c #Conflicts: 502000 | #Constraints: 203308
2244.08/2250.73 c #Conflicts: 503000 | #Constraints: 204308
2244.08/2250.73 c #Conflicts: 504000 | #Constraints: 205308
2244.08/2250.73 c #Conflicts: 505000 | #Constraints: 206308
2244.08/2250.73 c #Conflicts: 506000 | #Constraints: 207308
2244.08/2250.73 c #Conflicts: 507000 | #Constraints: 208308
2244.08/2250.73 c #Conflicts: 508000 | #Constraints: 209308
2244.08/2250.73 c #Conflicts: 509000 | #Constraints: 210308
2244.08/2250.73 c #Conflicts: 510000 | #Constraints: 211308
2244.08/2250.73 c #Conflicts: 511000 | #Constraints: 212308
2244.08/2250.73 c #Conflicts: 512000 | #Constraints: 213308
2244.08/2250.73 c #Conflicts: 513000 | #Constraints: 214308
2244.08/2250.73 c #Conflicts: 514000 | #Constraints: 215308
2244.08/2250.73 c #Conflicts: 515000 | #Constraints: 216308
2244.08/2250.73 c #Conflicts: 516000 | #Constraints: 217308
2244.08/2250.73 c INPROCESSING
2244.08/2250.73 c GARBAGE COLLECT
2244.08/2250.73 c #Conflicts: 517000 | #Constraints: 191106
2244.08/2250.73 c #Conflicts: 518000 | #Constraints: 192106
2244.08/2250.73 c #Conflicts: 519000 | #Constraints: 193106
2244.08/2250.73 c #Conflicts: 520000 | #Constraints: 194106
2244.08/2250.73 c #Conflicts: 521000 | #Constraints: 195106
2244.08/2250.73 c #Conflicts: 522000 | #Constraints: 196106
2244.08/2250.73 c #Conflicts: 523000 | #Constraints: 197106
2244.08/2250.73 c #Conflicts: 524000 | #Constraints: 198106
2244.08/2250.73 c #Conflicts: 525000 | #Constraints: 199106
2244.08/2250.73 c #Conflicts: 526000 | #Constraints: 200106
2244.08/2250.73 c #Conflicts: 527000 | #Constraints: 201106
2244.08/2250.73 c #Conflicts: 528000 | #Constraints: 202106
2244.08/2250.73 c #Conflicts: 529000 | #Constraints: 203106
2244.08/2250.73 c #Conflicts: 530000 | #Constraints: 204106
2244.08/2250.73 c #Conflicts: 531000 | #Constraints: 205106
2544.49/2551.97 c #Conflicts: 532000 | #Constraints: 206106
2544.49/2551.97 c #Conflicts: 533000 | #Constraints: 207106
2544.49/2551.97 c #Conflicts: 534000 | #Constraints: 208106
2544.49/2551.97 c #Conflicts: 535000 | #Constraints: 209106
2544.49/2551.97 c INPROCESSING
2544.49/2551.97 c GARBAGE COLLECT
2544.49/2551.97 c #Conflicts: 536000 | #Constraints: 189875
2544.49/2551.97 c #Conflicts: 537000 | #Constraints: 190875
2544.49/2551.97 c #Conflicts: 538000 | #Constraints: 191875
2544.49/2551.97 c #Conflicts: 539000 | #Constraints: 192875
2544.49/2551.97 c #Conflicts: 540000 | #Constraints: 193875
2544.49/2551.97 c #Conflicts: 541000 | #Constraints: 194875
2544.49/2551.97 c #Conflicts: 542000 | #Constraints: 195875
2544.49/2551.97 c #Conflicts: 543000 | #Constraints: 196875
2544.49/2551.97 c #Conflicts: 544000 | #Constraints: 197875
2544.49/2551.97 c #Conflicts: 545000 | #Constraints: 198875
2544.49/2551.97 c #Conflicts: 546000 | #Constraints: 199875
2544.49/2551.97 c #Conflicts: 547000 | #Constraints: 200875
2544.49/2551.97 c #Conflicts: 548000 | #Constraints: 201875
2544.49/2551.97 c #Conflicts: 549000 | #Constraints: 202875
2544.49/2551.97 c #Conflicts: 550000 | #Constraints: 203875
2544.49/2551.97 c #Conflicts: 551000 | #Constraints: 204875
2544.49/2551.97 c #Conflicts: 552000 | #Constraints: 205875
2544.49/2551.97 c #Conflicts: 553000 | #Constraints: 206875
2544.49/2551.97 c #Conflicts: 554000 | #Constraints: 207875
2544.49/2551.97 c #Conflicts: 555000 | #Constraints: 208875
2544.49/2551.97 c #Conflicts: 556000 | #Constraints: 209875
2544.49/2551.97 c #Conflicts: 557000 | #Constraints: 210875
2544.49/2551.97 c #Conflicts: 558000 | #Constraints: 211875
2544.49/2551.97 c #Conflicts: 559000 | #Constraints: 212875
2544.49/2551.97 c #Conflicts: 560000 | #Constraints: 213875
2544.49/2551.97 c #Conflicts: 561000 | #Constraints: 214875
2544.49/2551.97 c #Conflicts: 562000 | #Constraints: 215875
2544.49/2551.97 c #Conflicts: 563000 | #Constraints: 216875
2544.49/2551.97 c #Conflicts: 564000 | #Constraints: 217875
2544.49/2551.97 c #Conflicts: 565000 | #Constraints: 218875
2544.49/2551.97 c #Conflicts: 566000 | #Constraints: 219875
2544.49/2551.97 c #Conflicts: 567000 | #Constraints: 220875
2544.49/2551.97 c #Conflicts: 568000 | #Constraints: 221875
2544.49/2551.97 c #Conflicts: 569000 | #Constraints: 222875
2544.49/2551.97 c #Conflicts: 570000 | #Constraints: 223875
2544.49/2551.97 c #Conflicts: 571000 | #Constraints: 224875
2544.49/2551.97 c #Conflicts: 572000 | #Constraints: 225875
2544.49/2551.97 c #Conflicts: 573000 | #Constraints: 226875
2544.49/2551.97 c #Conflicts: 574000 | #Constraints: 227875
2544.49/2551.97 c #Conflicts: 575000 | #Constraints: 228875
2544.49/2551.97 c #Conflicts: 576000 | #Constraints: 229875
2544.49/2551.97 c #Conflicts: 577000 | #Constraints: 230875
2544.49/2551.97 c #Conflicts: 578000 | #Constraints: 231875
2544.49/2551.97 c #Conflicts: 579000 | #Constraints: 232875
2544.49/2551.97 c #Conflicts: 580000 | #Constraints: 233875
2544.49/2551.97 c #Conflicts: 581000 | #Constraints: 234875
2544.49/2551.97 c #Conflicts: 582000 | #Constraints: 235875
2544.49/2551.97 c #Conflicts: 583000 | #Constraints: 236875
2544.49/2551.97 c #Conflicts: 584000 | #Constraints: 237875
2544.49/2551.97 c #Conflicts: 585000 | #Constraints: 238875
2544.49/2551.97 c #Conflicts: 586000 | #Constraints: 239875
2544.49/2551.97 c INPROCESSING
2544.49/2551.97 c GARBAGE COLLECT
2544.49/2551.97 c #Conflicts: 587000 | #Constraints: 202242
2544.49/2551.97 c #Conflicts: 588000 | #Constraints: 203242
2544.49/2551.97 c #Conflicts: 589000 | #Constraints: 204242
2544.49/2551.97 c #Conflicts: 590000 | #Constraints: 205242
2544.49/2551.97 c #Conflicts: 591000 | #Constraints: 206242
2544.49/2551.97 c #Conflicts: 592000 | #Constraints: 207242
2544.49/2551.97 c #Conflicts: 593000 | #Constraints: 208242
2544.49/2551.97 c #Conflicts: 594000 | #Constraints: 209242
2544.49/2551.97 c #Conflicts: 595000 | #Constraints: 210242
2544.49/2551.97 c #Conflicts: 596000 | #Constraints: 211242
2544.49/2551.97 c #Conflicts: 597000 | #Constraints: 212242
2544.49/2551.97 c #Conflicts: 598000 | #Constraints: 213242
2544.49/2551.97 c #Conflicts: 599000 | #Constraints: 214242
2544.49/2551.97 c #Conflicts: 600000 | #Constraints: 215242
2544.49/2551.97 c #Conflicts: 601000 | #Constraints: 216242
2544.49/2551.97 c #Conflicts: 602000 | #Constraints: 217242
2544.49/2551.97 c #Conflicts: 603000 | #Constraints: 218242
2544.49/2551.97 c #Conflicts: 604000 | #Constraints: 219242
2544.49/2551.97 c #Conflicts: 605000 | #Constraints: 220242
2544.49/2551.97 c #Conflicts: 606000 | #Constraints: 221242
2544.49/2551.97 c INPROCESSING
2544.49/2551.97 c GARBAGE COLLECT
2544.49/2551.97 c #Conflicts: 607000 | #Constraints: 193210
2544.49/2551.97 c #Conflicts: 608000 | #Constraints: 194210
2834.11/2842.38 c #Conflicts: 609000 | #Constraints: 195210
2834.11/2842.38 c #Conflicts: 610000 | #Constraints: 196210
2834.11/2842.38 c #Conflicts: 611000 | #Constraints: 197210
2834.11/2842.38 c #Conflicts: 612000 | #Constraints: 198210
2834.11/2842.38 c #Conflicts: 613000 | #Constraints: 199210
2834.11/2842.38 c #Conflicts: 614000 | #Constraints: 200210
2834.11/2842.38 c #Conflicts: 615000 | #Constraints: 201210
2834.11/2842.38 c #Conflicts: 616000 | #Constraints: 202210
2834.11/2842.38 c #Conflicts: 617000 | #Constraints: 203210
2834.11/2842.38 c #Conflicts: 618000 | #Constraints: 204210
2834.11/2842.38 c #Conflicts: 619000 | #Constraints: 205210
2834.11/2842.38 c #Conflicts: 620000 | #Constraints: 206210
2834.11/2842.38 c #Conflicts: 621000 | #Constraints: 207210
2834.11/2842.38 c #Conflicts: 622000 | #Constraints: 208210
2834.11/2842.38 c #Conflicts: 623000 | #Constraints: 209210
2834.11/2842.38 c #Conflicts: 624000 | #Constraints: 210210
2834.11/2842.38 c #Conflicts: 625000 | #Constraints: 211210
2834.11/2842.38 c #Conflicts: 626000 | #Constraints: 212210
2834.11/2842.38 c #Conflicts: 627000 | #Constraints: 213210
2834.11/2842.38 c #Conflicts: 628000 | #Constraints: 214210
2834.11/2842.38 c #Conflicts: 629000 | #Constraints: 215210
2834.11/2842.38 c #Conflicts: 630000 | #Constraints: 216210
2834.11/2842.38 c #Conflicts: 631000 | #Constraints: 217210
2834.11/2842.38 c #Conflicts: 632000 | #Constraints: 218210
2834.11/2842.38 c #Conflicts: 633000 | #Constraints: 219210
2834.11/2842.38 c #Conflicts: 634000 | #Constraints: 220210
2834.11/2842.38 c #Conflicts: 635000 | #Constraints: 221210
2834.11/2842.38 c #Conflicts: 636000 | #Constraints: 222210
2834.11/2842.38 c #Conflicts: 637000 | #Constraints: 223210
2834.11/2842.38 c #Conflicts: 638000 | #Constraints: 224210
2834.11/2842.38 c #Conflicts: 639000 | #Constraints: 225210
2834.11/2842.38 c #Conflicts: 640000 | #Constraints: 226210
2834.11/2842.38 c #Conflicts: 641000 | #Constraints: 227210
2834.11/2842.38 c #Conflicts: 642000 | #Constraints: 228210
2834.11/2842.38 c #Conflicts: 643000 | #Constraints: 229210
2834.11/2842.38 c #Conflicts: 644000 | #Constraints: 230210
2834.11/2842.38 c #Conflicts: 645000 | #Constraints: 231210
2834.11/2842.38 c #Conflicts: 646000 | #Constraints: 232210
2834.11/2842.38 c #Conflicts: 647000 | #Constraints: 233210
2834.11/2842.38 c #Conflicts: 648000 | #Constraints: 234210
2834.11/2842.38 c #Conflicts: 649000 | #Constraints: 235210
2834.11/2842.38 c #Conflicts: 650000 | #Constraints: 236210
2834.11/2842.38 c #Conflicts: 651000 | #Constraints: 237210
2834.11/2842.38 c #Conflicts: 652000 | #Constraints: 238210
2834.11/2842.38 c #Conflicts: 653000 | #Constraints: 239210
2834.11/2842.38 c #Conflicts: 654000 | #Constraints: 240210
2834.11/2842.38 c #Conflicts: 655000 | #Constraints: 241210
2834.11/2842.38 c #Conflicts: 656000 | #Constraints: 242210
2834.11/2842.38 c #Conflicts: 657000 | #Constraints: 243210
2834.11/2842.38 c #Conflicts: 658000 | #Constraints: 244210
2834.11/2842.38 c #Conflicts: 659000 | #Constraints: 245210
2834.11/2842.38 c #Conflicts: 660000 | #Constraints: 246210
2834.11/2842.38 c #Conflicts: 661000 | #Constraints: 247210
2834.11/2842.38 c INPROCESSING
2834.11/2842.38 c GARBAGE COLLECT
2834.11/2842.38 c #Conflicts: 662000 | #Constraints: 198893
2834.11/2842.38 c #Conflicts: 663000 | #Constraints: 199893
2834.11/2842.38 c #Conflicts: 664000 | #Constraints: 200893
2834.11/2842.38 c #Conflicts: 665000 | #Constraints: 201893
2834.11/2842.38 c #Conflicts: 666000 | #Constraints: 202893
2834.11/2842.38 c #Conflicts: 667000 | #Constraints: 203893
2834.11/2842.38 c #Conflicts: 668000 | #Constraints: 204893
2834.11/2842.38 c #Conflicts: 669000 | #Constraints: 205893
2834.11/2842.38 c #Conflicts: 670000 | #Constraints: 206893
2834.11/2842.38 c #Conflicts: 671000 | #Constraints: 207893
2834.11/2842.38 c #Conflicts: 672000 | #Constraints: 208893
2834.11/2842.38 c #Conflicts: 673000 | #Constraints: 209893
2834.11/2842.38 c #Conflicts: 674000 | #Constraints: 210893
2834.11/2842.38 c #Conflicts: 675000 | #Constraints: 211893
2834.11/2842.38 c #Conflicts: 676000 | #Constraints: 212893
2834.11/2842.38 c #Conflicts: 677000 | #Constraints: 213893
2834.11/2842.38 c #Conflicts: 678000 | #Constraints: 214893
2834.11/2842.38 c #Conflicts: 679000 | #Constraints: 215893
2834.11/2842.38 c #Conflicts: 680000 | #Constraints: 216893
2834.11/2842.38 c #Conflicts: 681000 | #Constraints: 217893
2834.11/2842.38 c #Conflicts: 682000 | #Constraints: 218893
2834.11/2842.38 c INPROCESSING
2834.11/2842.38 c GARBAGE COLLECT
2834.11/2842.38 c #Conflicts: 683000 | #Constraints: 188762
2834.11/2842.38 c #Conflicts: 684000 | #Constraints: 189762
2834.11/2842.38 c #Conflicts: 685000 | #Constraints: 190762
3571.83/3582.19 c #Conflicts: 686000 | #Constraints: 191762
3571.83/3582.19 c #Conflicts: 687000 | #Constraints: 192762
3571.83/3582.19 c #Conflicts: 688000 | #Constraints: 193762
3571.83/3582.19 c #Conflicts: 689000 | #Constraints: 194762
3571.83/3582.19 c #Conflicts: 690000 | #Constraints: 195762
3571.83/3582.19 c #Conflicts: 691000 | #Constraints: 196762
3571.83/3582.19 c #Conflicts: 692000 | #Constraints: 197762
3571.83/3582.19 c #Conflicts: 693000 | #Constraints: 198762
3571.83/3582.19 c #Conflicts: 694000 | #Constraints: 199762
3571.83/3582.19 c #Conflicts: 695000 | #Constraints: 200762
3571.83/3582.19 c #Conflicts: 696000 | #Constraints: 201762
3571.83/3582.19 c #Conflicts: 697000 | #Constraints: 202762
3571.83/3582.19 c #Conflicts: 698000 | #Constraints: 203762
3571.83/3582.19 c #Conflicts: 699000 | #Constraints: 204762
3571.83/3582.19 c #Conflicts: 700000 | #Constraints: 205762
3571.83/3582.19 c #Conflicts: 701000 | #Constraints: 206762
3571.83/3582.19 c #Conflicts: 702000 | #Constraints: 207762
3571.83/3582.19 c #Conflicts: 703000 | #Constraints: 208762
3571.83/3582.19 c #Conflicts: 704000 | #Constraints: 209762
3571.83/3582.19 c #Conflicts: 705000 | #Constraints: 210762
3571.83/3582.19 c #Conflicts: 706000 | #Constraints: 211762
3571.83/3582.19 c #Conflicts: 707000 | #Constraints: 212762
3571.83/3582.19 c #Conflicts: 708000 | #Constraints: 213762
3571.83/3582.19 c #Conflicts: 709000 | #Constraints: 214762
3571.83/3582.19 c #Conflicts: 710000 | #Constraints: 215762
3571.83/3582.19 c #Conflicts: 711000 | #Constraints: 216762
3571.83/3582.19 c #Conflicts: 712000 | #Constraints: 217762
3571.83/3582.19 c #Conflicts: 713000 | #Constraints: 218762
3571.83/3582.19 c #Conflicts: 714000 | #Constraints: 219762
3571.83/3582.19 c #Conflicts: 715000 | #Constraints: 220762
3571.83/3582.19 c #Conflicts: 716000 | #Constraints: 221762
3571.83/3582.19 c #Conflicts: 717000 | #Constraints: 222762
3571.83/3582.19 c #Conflicts: 718000 | #Constraints: 223762
3571.83/3582.19 c #Conflicts: 719000 | #Constraints: 224762
3571.83/3582.19 c #Conflicts: 720000 | #Constraints: 225762
3571.83/3582.19 c #Conflicts: 721000 | #Constraints: 226762
3571.83/3582.19 c #Conflicts: 722000 | #Constraints: 227762
3571.83/3582.19 c #Conflicts: 723000 | #Constraints: 228762
3571.83/3582.19 c #Conflicts: 724000 | #Constraints: 229762
3571.83/3582.19 c #Conflicts: 725000 | #Constraints: 230762
3571.83/3582.19 c #Conflicts: 726000 | #Constraints: 231762
3571.83/3582.19 c #Conflicts: 727000 | #Constraints: 232762
3571.83/3582.19 c #Conflicts: 728000 | #Constraints: 233762
3571.83/3582.19 c #Conflicts: 729000 | #Constraints: 234762
3571.83/3582.19 c #Conflicts: 730000 | #Constraints: 235762
3571.83/3582.19 c #Conflicts: 731000 | #Constraints: 236762
3571.83/3582.19 c #Conflicts: 732000 | #Constraints: 237762
3571.83/3582.19 c #Conflicts: 733000 | #Constraints: 238762
3571.83/3582.19 c #Conflicts: 734000 | #Constraints: 239762
3571.83/3582.19 c #Conflicts: 735000 | #Constraints: 240762
3571.83/3582.19 c #Conflicts: 736000 | #Constraints: 241762
3571.83/3582.19 c #Conflicts: 737000 | #Constraints: 242762
3571.83/3582.19 c #Conflicts: 738000 | #Constraints: 243762
3571.83/3582.19 c #Conflicts: 739000 | #Constraints: 244762
3571.83/3582.19 c #Conflicts: 740000 | #Constraints: 245762
3571.83/3582.19 c INPROCESSING
3571.83/3582.19 c GARBAGE COLLECT
3571.83/3582.19 c #Conflicts: 741000 | #Constraints: 201277
3571.83/3582.19 c #Conflicts: 742000 | #Constraints: 202277
3571.83/3582.19 c #Conflicts: 743000 | #Constraints: 203277
3571.83/3582.19 c #Conflicts: 744000 | #Constraints: 204277
3571.83/3582.19 c #Conflicts: 745000 | #Constraints: 205277
3571.83/3582.19 c #Conflicts: 746000 | #Constraints: 206277
3571.83/3582.19 c #Conflicts: 747000 | #Constraints: 207277
3571.83/3582.19 c #Conflicts: 748000 | #Constraints: 208277
3571.83/3582.19 c #Conflicts: 749000 | #Constraints: 209277
3571.83/3582.19 c #Conflicts: 750000 | #Constraints: 210277
3571.83/3582.19 c #Conflicts: 751000 | #Constraints: 211277
3571.83/3582.19 c #Conflicts: 752000 | #Constraints: 212277
3571.83/3582.19 c #Conflicts: 753000 | #Constraints: 213277
3571.83/3582.19 c #Conflicts: 754000 | #Constraints: 214277
3571.83/3582.19 c #Conflicts: 755000 | #Constraints: 215277
3571.83/3582.19 c #Conflicts: 756000 | #Constraints: 216277
3571.83/3582.19 c #Conflicts: 757000 | #Constraints: 217277
3571.83/3582.19 c #Conflicts: 758000 | #Constraints: 218277
3571.83/3582.19 c #Conflicts: 759000 | #Constraints: 219277
3571.83/3582.19 c #Conflicts: 760000 | #Constraints: 220277
3571.83/3582.19 c #Conflicts: 761000 | #Constraints: 221277
3571.83/3582.19 c #Conflicts: 762000 | #Constraints: 222277
3571.83/3582.19 c INPROCESSING
3571.83/3582.19 c GARBAGE COLLECT
3571.83/3582.19 c #Conflicts: 763000 | #Constraints: 191014
3600.05/3610.40 c #Conflicts: 764000 | #Constraints: 192014
3600.05/3610.40 c #Conflicts: 765000 | #Constraints: 193014
3600.05/3610.40 c #Conflicts: 766000 | #Constraints: 194014
3600.05/3610.40 c #Conflicts: 767000 | #Constraints: 195014
3600.05/3610.40 c #Conflicts: 768000 | #Constraints: 196014
3600.05/3610.40 c #Conflicts: 769000 | #Constraints: 197014
3600.05/3610.40 c #Conflicts: 770000 | #Constraints: 198014
3600.05/3610.40 c #Conflicts: 771000 | #Constraints: 199014
3600.05/3610.40 c Program interrupted by user.
3600.05/3610.40 c cpu time 3587.39 s
3600.05/3610.40 c deterministic time 238752819512 2.39e+11
3600.05/3610.40 c optimization time 28.8018 s
3600.05/3610.40 c total solve time 3558.13 s
3600.05/3610.40 c core-guided solve time 3558.13 s
3600.05/3610.40 c propagation time 1481.61 s
3600.05/3610.40 c conflict analysis time 2020.1 s
3600.05/3610.40 c propagations 2660900643
3600.05/3610.40 c resolve steps 37021565
3600.05/3610.40 c decisions 10361822
3600.05/3610.40 c conflicts 771947
3600.05/3610.40 c restarts 1635
3600.05/3610.40 c inprocessing phases 41
3600.05/3610.40 c input clauses 129420
3600.05/3610.40 c input cardinalities 54547
3600.05/3610.40 c input general constraints 0
3600.05/3610.40 c input average constraint length 4.87
3600.05/3610.40 c input average constraint degree 2.86
3600.05/3610.40 c learned clauses 353947
3600.05/3610.40 c learned cardinalities 64491
3600.05/3610.40 c learned general constraints 353509
3600.05/3610.40 c learned average constraint length 902.95
3600.05/3610.40 c learned average constraint degree 164109177.32
3600.05/3610.40 c watched constraints 177255
3600.05/3610.40 c counting constraints 176254
3600.05/3610.40 c gcd simplifications 2241
3600.05/3610.40 c detected cardinalities 75
3600.05/3610.40 c weakened non-implied lits 838916910
3600.05/3610.40 c weakened non-implying lits 131776
3600.05/3610.40 c original variables 204880
3600.05/3610.40 c clausal propagations 881706618
3600.05/3610.40 c cardinality propagations 1450340835
3600.05/3610.40 c watched propagations 44381962
3600.05/3610.40 c counting propagations 262088124
3600.05/3610.40 c watch lookups 27027443980
3600.05/3610.40 c watch backjump lookups 24517406967
3600.05/3610.40 c watch checks 102692877536
3600.05/3610.40 c propagation checks 75395936088
3600.05/3610.40 c constraint additions 3775919144
3600.05/3610.40 c trail pops 2671973331
3600.05/3610.40 c formula constraints 183967
3600.05/3610.40 c learned constraints 771947
3600.05/3610.40 c bound constraints 0
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 27238477
3600.05/3610.40 c encountered learned constraints 10555035
3600.05/3610.40 c encountered bound constraints 0
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG exhausted 0
3600.05/3610.40 c CG exhaust time 0 s
3600.05/3610.40 c CG trimmed 0
3600.05/3610.40 c CG trim time 0 s
3600.05/3610.40 c CG minimized 0
3600.05/3610.40 c CG minimize time 0 s
3600.05/3610.40 c CG am1 prop time 0.000753 s
3600.05/3610.40 c CG # am1s reformulated 0
3600.05/3610.40 c CG lower bound derived from am1s 0
3600.05/3610.40 c CG # clausal cores 0
3600.05/3610.40 c CG # cardinality cores 0
3600.05/3610.40 c CG # pb cores 0
3600.05/3610.40 c CG # pb reforms 0
3600.05/3610.40 c CG # cores discarded because of pb reform 0
3600.05/3610.40 d LOWERBOUND 0
3600.05/3610.40 d NCORES 0
3600.05/3610.40 d NPBCORES 0
3600.05/3610.40 d NPBREFORM 0
3600.05/3610.40 d NTRIMMED 0
3600.05/3610.40 d NEXHAUSTED 0
3600.05/3610.40 d NAM1S 0
3600.05/3610.40 d AM1LB 0
3600.05/3610.45 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: 63931 MiB (58767 MiB free)
memory of node 1: 64510 MiB (61656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436058-1721126774/watcher-4436058-1721126774 -o /tmp/evaluation-result-4436058-1721126774/solver-4436058-1721126774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865523 --watchdog 3760 pb-oll-rs HOME/instance-4436058-1721126774.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=871860, runsolver pid=871857
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123267484/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=84596 memory=50684 CPUtime=0.1 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 10101 0 0 0 8 2 0 0 20 0 1 0 164844851 86626304 12671 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 21149 12671 1158 291 0 12683 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84596 KiB
Current children cumulated memory: 50684 KiB
[startup+0.20569 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123261992/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=86840 memory=56424 CPUtime=0.2 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 11032 0 0 0 15 5 0 0 20 0 1 0 164844851 88924160 14106 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 21710 14106 1158 291 0 13244 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86840 KiB
Current children cumulated memory: 56424 KiB
[startup+0.30565 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123259336/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=88820 memory=58536 CPUtime=0.3 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 11539 0 0 0 22 8 0 0 20 0 1 0 164844851 90951680 14634 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 22205 14634 1158 291 0 13739 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88820 KiB
Current children cumulated memory: 58536 KiB
[startup+0.700234 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123250460/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=118608 memory=88916 CPUtime=0.69 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 16537 0 0 0 51 18 0 0 20 0 1 0 164844851 121454592 22229 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 29652 22229 1363 291 0 21186 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118608 KiB
Current children cumulated memory: 88916 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123227256/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=122420 memory=92876 CPUtime=1.49 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 17519 0 0 0 124 25 0 0 20 0 1 0 164844851 125358080 23219 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 30605 23219 1363 291 0 22139 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122420 KiB
Current children cumulated memory: 92876 KiB
[startup+3.10554 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123220424/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=133536 memory=100900 CPUtime=3.08 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 18967 0 0 0 274 34 0 0 20 0 1 0 164844851 136740864 25225 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 33384 25225 1437 291 0 24918 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133536 KiB
Current children cumulated memory: 100900 KiB
[startup+6.30024 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123211264/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=141052 memory=107220 CPUtime=6.27 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 20566 0 0 0 581 46 0 0 20 0 1 0 164844851 144437248 26805 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 35263 26805 1437 291 0 26797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 107220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 871863
/proc/meminfo: memFree=123198904/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=147948 memory=118112 CPUtime=12.66 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 22782 0 0 0 1202 64 0 0 20 0 1 0 164844851 151498752 29528 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 36987 29528 1437 291 0 28521 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 147948 KiB
Current children cumulated memory: 118112 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 871864
/proc/meminfo: memFree=123147024/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=200444 memory=154576 CPUtime=25.42 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 28869 0 0 0 2462 80 0 0 20 0 1 0 164844851 205254656 38644 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 50111 38644 1437 291 0 41645 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 200444 KiB
Current children cumulated memory: 154576 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 871869
/proc/meminfo: memFree=123081152/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=255260 memory=195940 CPUtime=50.96 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 35680 0 0 0 4989 107 0 0 20 0 1 0 164844851 261386240 48985 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 63815 48985 1437 291 0 55349 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 255260 KiB
Current children cumulated memory: 195940 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 871878
/proc/meminfo: memFree=122974636/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=298992 memory=258260 CPUtime=101.98 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 46705 0 0 0 10042 156 0 0 20 0 1 0 164844851 306167808 64565 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 74748 64565 1437 291 0 66282 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 298992 KiB
Current children cumulated memory: 258260 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 871888
/proc/meminfo: memFree=122929404/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=331516 memory=299032 CPUtime=161.78 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 54867 0 0 0 15980 198 0 0 20 0 1 0 164844851 339472384 74758 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 82879 74758 1437 291 0 74413 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 331516 KiB
Current children cumulated memory: 299032 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 871903
/proc/meminfo: memFree=122840896/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=416632 memory=359280 CPUtime=221.58 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 63304 0 0 0 21929 229 0 0 20 0 1 0 164844851 426631168 89820 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 104158 89820 1437 291 0 95692 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 416632 KiB
Current children cumulated memory: 359280 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/258 871914
/proc/meminfo: memFree=122789216/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=435040 memory=389604 CPUtime=281.37 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 67358 0 0 0 27867 270 0 0 20 0 1 0 164844851 445480960 97401 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 108760 97401 1437 291 0 100294 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 435040 KiB
Current children cumulated memory: 389604 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 871924
/proc/meminfo: memFree=122763520/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=444492 memory=400380 CPUtime=341.18 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 69851 0 0 0 33800 318 0 0 20 0 1 0 164844851 455159808 100095 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 111123 100095 1437 291 0 102657 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 444492 KiB
Current children cumulated memory: 400380 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 871935
/proc/meminfo: memFree=122698584/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=549176 memory=444380 CPUtime=401 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 75837 0 0 0 39743 357 0 0 20 0 1 0 164844851 562356224 111095 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 137294 111095 1437 291 0 128828 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 549176 KiB
Current children cumulated memory: 444380 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 871946
/proc/meminfo: memFree=122665436/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=583164 memory=475444 CPUtime=460.81 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 83725 0 0 0 45697 384 0 0 20 0 1 0 164844851 597159936 118861 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 145791 118861 1437 291 0 137325 0
################
# More data... #
################
Current children cumulated memory: 1809092 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/257 873648
/proc/meminfo: memFree=120123796/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2031740 memory=1826996 CPUtime=2854.06 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 273799 0 0 0 284268 1138 0 0 20 0 1 0 164844851 2080501760 456749 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 507935 456749 1437 291 0 499469 0
Current children cumulated CPU time: 2854.06 s
Current children cumulated vsize: 2031740 KiB
Current children cumulated memory: 1826996 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/257 873658
/proc/meminfo: memFree=120037300/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2036416 memory=1831668 CPUtime=2913.9 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 275568 0 0 0 290238 1152 0 0 20 0 1 0 164844851 2085289984 457917 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 509104 457917 1437 291 0 500638 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 2036416 KiB
Current children cumulated memory: 1831668 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.13 6/254 873668
/proc/meminfo: memFree=119947980/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2066496 memory=1860480 CPUtime=2973.74 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 283215 0 0 0 296214 1160 0 0 20 0 1 0 164844851 2116091904 465120 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 516624 465120 1437 291 0 508158 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 2066496 KiB
Current children cumulated memory: 1860480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.13 6/255 873678
/proc/meminfo: memFree=119890352/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2088268 memory=1881708 CPUtime=3033.58 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 289150 0 0 0 302191 1167 0 0 20 0 1 0 164844851 2138386432 470427 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 522067 470427 1437 291 0 513601 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 2088268 KiB
Current children cumulated memory: 1881708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 873688
/proc/meminfo: memFree=119839244/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2108504 memory=1900040 CPUtime=3093.41 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 294225 0 0 0 308168 1173 0 0 20 0 1 0 164844851 2159108096 475010 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 527126 475010 1437 291 0 518660 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 2108504 KiB
Current children cumulated memory: 1900040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 873698
/proc/meminfo: memFree=119617848/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2141540 memory=1928260 CPUtime=3153.24 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 302027 0 0 0 314143 1181 0 0 20 0 1 0 164844851 2192936960 482065 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 535385 482065 1437 291 0 526919 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 2141540 KiB
Current children cumulated memory: 1928260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/255 873709
/proc/meminfo: memFree=118980000/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2163444 memory=1947828 CPUtime=3213.06 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 307407 0 0 0 320117 1189 0 0 20 0 1 0 164844851 2215366656 486957 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 540861 486957 1437 291 0 532395 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 2163444 KiB
Current children cumulated memory: 1947828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/257 873724
/proc/meminfo: memFree=118859528/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2185348 memory=1968316 CPUtime=3272.88 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 313183 0 0 0 326090 1198 0 0 20 0 1 0 164844851 2237796352 492079 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 546337 492079 1437 291 0 537871 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 2185348 KiB
Current children cumulated memory: 1968316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/257 873734
/proc/meminfo: memFree=118631132/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2198668 memory=1980832 CPUtime=3332.7 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 316965 0 0 0 332066 1204 0 0 20 0 1 0 164844851 2251436032 495208 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 549667 495208 1437 291 0 541201 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 2198668 KiB
Current children cumulated memory: 1980832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 873745
/proc/meminfo: memFree=118402916/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2224776 memory=2002032 CPUtime=3392.53 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 322776 0 0 0 338044 1209 0 0 20 0 1 0 164844851 2278170624 500508 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 556194 500508 1437 291 0 547728 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 2224776 KiB
Current children cumulated memory: 2002032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/257 873756
/proc/meminfo: memFree=118383496/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2229448 memory=2006696 CPUtime=3452.34 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 324360 0 0 0 344018 1216 0 0 20 0 1 0 164844851 2282954752 501674 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 557362 501674 1437 291 0 548896 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 2229448 KiB
Current children cumulated memory: 2006696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.12 5/257 873766
/proc/meminfo: memFree=118248444/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2235972 memory=2012920 CPUtime=3512.19 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 326532 0 0 0 349983 1236 0 0 20 0 1 0 164844851 2289635328 503230 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 558993 503230 1437 291 0 550527 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 2235972 KiB
Current children cumulated memory: 2012920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/254 873776
/proc/meminfo: memFree=118040056/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2258716 memory=2035552 CPUtime=3572.02 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 332749 0 0 0 355947 1255 0 0 20 0 1 0 164844851 2312925184 508888 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 564679 508888 1437 291 0 556213 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 2258716 KiB
Current children cumulated memory: 2035552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.05 4.12 4.11 4/247 873813
/proc/meminfo: memFree=118723616/131524600 swapFree=131071996/131071996
[pid=871860] ppid=871857 vsize=2258716 memory=2035580 CPUtime=3600.05 cores=5,7
/proc/871860/stat : 871860 (pb-oll-rs) R 871857 871860 865510 0 -1 4194304 333113 0 0 0 358739 1266 0 0 20 0 1 0 164844851 2312925184 508895 134679101440 4194304 5384005 140730137010768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 5906432 140730137019415 140730137019492 140730137019492 140730137026507 0
/proc/871860/statm: 564679 508895 1437 291 0 556213 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2258716 KiB
Current children cumulated memory: 2035580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.48 s]
# the end of solver process 871860 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.44 s, system=12.6973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.48
CPU time (s): 3600.13
CPU user time (s): 3587.44
CPU system time (s): 12.6973
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 2258716
Max. memory (cumulated for all children) (KiB): 2035580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.44
system time used= 12.6973
maximum resident set size= 2035580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333154
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= 159
involuntary context switches= 4368
# summary of solver processes directly reported to runsolver:
# pid: 871860
# total CPU time (s): 3600.13
# total CPU user time (s): 3587.44
# total CPU system time (s): 12.6973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67295 second user time and 17.1167 second system time
The end
Begin job on nodeC029 at 2024-07-16 12:46:28
IDJOB=4436058
IDBENCH=155358
IDSOLVER=3067
FILE ID=nodeC029/4436058-1721126774
RUNJOBID= nodeC029-1721119560-865523
SLURM_JOB_ID= 7505669
Free space on /tmp= 890052 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-stp3d.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436058-1721126774/watcher-4436058-1721126774 -o /tmp/evaluation-result-4436058-1721126774/solver-4436058-1721126774 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865523 --watchdog 3760 pb-oll-rs HOME/instance-4436058-1721126774.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=1854539671
nodeC029.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 : 0xb00002a
cpu MHz : 3675.431
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3683.694
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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.159
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3633.716
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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 : 3675.463
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3683.437
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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 : 3600.095
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3657.752
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123314280 kB
MemAvailable: 129366164 kB
Buffers: 406280 kB
Cached: 6409016 kB
SwapCached: 0 kB
Active: 736040 kB
Inactive: 6718352 kB
Active(anon): 1488 kB
Inactive(anon): 675332 kB
Active(file): 734552 kB
Inactive(file): 6043020 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13476 kB
Writeback: 0 kB
AnonPages: 636956 kB
Mapped: 108436 kB
Shmem: 37720 kB
KReclaimable: 227920 kB
Slab: 349484 kB
SReclaimable: 227920 kB
SUnreclaim: 121564 kB
KernelStack: 4108 kB
PageTables: 10552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1187928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 557056 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: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC029 at 2024-07-16 13:46:38