0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c Papilo could not simplify the problem
0.00/0.03 c [STEP] solving with SCIP
299.32/300.17 c [STEP] preprocessing done, loading into solver
299.32/300.18 c [STEP] solving
299.32/300.18 c #variables 1836 #constraints 2149
299.32/300.18 c SMALL=int, LARGE=long long
299.32/300.18 d SCIPUB -21
299.32/300.18 c bounds - >= -120 @ 299.29
299.32/300.18 c stratification level: 0
304.21/305.05 c bounds - >= -119 @ 299.291
304.21/305.05 c bounds - >= -118 @ 299.293
304.21/305.05 c bounds - >= -117 @ 299.295
304.21/305.05 c bounds - >= -116 @ 299.296
304.21/305.05 c bounds - >= -115 @ 299.301
304.21/305.05 c bounds - >= -114 @ 299.302
304.21/305.05 c bounds - >= -113 @ 299.304
304.21/305.05 c bounds - >= -112 @ 299.305
304.21/305.05 c bounds - >= -111 @ 299.309
304.21/305.05 c bounds - >= -110 @ 299.313
304.21/305.05 c bounds - >= -109 @ 299.319
304.21/305.05 c bounds - >= -108 @ 299.332
304.21/305.05 c #Conflicts: 1000 | #Constraints: 3161
304.21/305.05 c #Conflicts: 2000 | #Constraints: 4161
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 3000 | #Constraints: 4191
304.21/305.05 c #Conflicts: 4000 | #Constraints: 5191
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 5000 | #Constraints: 4616
304.21/305.05 c #Conflicts: 6000 | #Constraints: 5616
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 7000 | #Constraints: 4649
304.21/305.05 c #Conflicts: 8000 | #Constraints: 5649
304.21/305.05 c #Conflicts: 9000 | #Constraints: 6649
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 10000 | #Constraints: 5368
304.21/305.05 c #Conflicts: 11000 | #Constraints: 6368
304.21/305.05 c #Conflicts: 12000 | #Constraints: 7368
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 13000 | #Constraints: 5847
304.21/305.05 c #Conflicts: 14000 | #Constraints: 6847
304.21/305.05 c #Conflicts: 15000 | #Constraints: 7847
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 16000 | #Constraints: 6081
304.21/305.05 c #Conflicts: 17000 | #Constraints: 7081
304.21/305.05 c #Conflicts: 18000 | #Constraints: 8081
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 19000 | #Constraints: 6124
304.21/305.05 c #Conflicts: 20000 | #Constraints: 7124
304.21/305.05 c #Conflicts: 21000 | #Constraints: 8124
304.21/305.05 c INPROCESSING
304.21/305.05 c GARBAGE COLLECT
304.21/305.05 c #Conflicts: 22000 | #Constraints: 5940
304.21/305.05 c #Conflicts: 23000 | #Constraints: 6940
304.21/305.05 c finalizing WCE round: reformulating cores
353.67/354.62 c #Conflicts: 24000 | #Constraints: 7943
353.67/354.62 c #Conflicts: 25000 | #Constraints: 8945
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 26000 | #Constraints: 6565
353.67/354.62 c bounds -23 >= -117 @ 304.42
353.67/354.62 c bounds -23 >= -117 @ 304.568
353.67/354.62 c #Conflicts: 27000 | #Constraints: 7571
353.67/354.62 c #Conflicts: 28000 | #Constraints: 8573
353.67/354.62 c #Conflicts: 29000 | #Constraints: 9577
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c bounds -23 >= -111 @ 305.285
353.67/354.62 c bounds -23 >= -111 @ 305.317
353.67/354.62 c #Conflicts: 30000 | #Constraints: 6941
353.67/354.62 c bounds -23 >= -108 @ 305.51
353.67/354.62 c bounds -23 >= -108 @ 305.526
353.67/354.62 c bounds -23 >= -108 @ 305.552
353.67/354.62 c #Conflicts: 31000 | #Constraints: 7952
353.67/354.62 c bounds -23 >= -108 @ 305.644
353.67/354.62 c #Conflicts: 32000 | #Constraints: 8957
353.67/354.62 c #Conflicts: 33000 | #Constraints: 9959
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 34000 | #Constraints: 7145
353.67/354.62 c bounds -24 >= -100 @ 306.489
353.67/354.62 c #Conflicts: 35000 | #Constraints: 8151
353.67/354.62 c bounds -24 >= -99 @ 306.656
353.67/354.62 c bounds -24 >= -98 @ 306.658
353.67/354.62 c bounds -24 >= -97 @ 306.674
353.67/354.62 c bounds -24 >= -96 @ 306.825
353.67/354.62 c #Conflicts: 36000 | #Constraints: 9211
353.67/354.62 c #Conflicts: 37000 | #Constraints: 10211
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 38000 | #Constraints: 7216
353.67/354.62 c #Conflicts: 39000 | #Constraints: 8216
353.67/354.62 c bounds -24 >= -95 @ 307.848
353.67/354.62 c #Conflicts: 40000 | #Constraints: 9244
353.67/354.62 c #Conflicts: 41000 | #Constraints: 10244
353.67/354.62 c #Conflicts: 42000 | #Constraints: 11244
353.67/354.62 c #Conflicts: 43000 | #Constraints: 12244
353.67/354.62 c #Conflicts: 44000 | #Constraints: 13244
353.67/354.62 c #Conflicts: 45000 | #Constraints: 14244
353.67/354.62 c #Conflicts: 46000 | #Constraints: 15244
353.67/354.62 c #Conflicts: 47000 | #Constraints: 16244
353.67/354.62 c #Conflicts: 48000 | #Constraints: 17244
353.67/354.62 c #Conflicts: 49000 | #Constraints: 18244
353.67/354.62 c #Conflicts: 50000 | #Constraints: 19244
353.67/354.62 c bounds -24 >= -94 @ 318.371
353.67/354.62 c #Conflicts: 51000 | #Constraints: 20278
353.67/354.62 c #Conflicts: 52000 | #Constraints: 21278
353.67/354.62 c #Conflicts: 53000 | #Constraints: 22278
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 54000 | #Constraints: 13293
353.67/354.62 c #Conflicts: 55000 | #Constraints: 14293
353.67/354.62 c #Conflicts: 56000 | #Constraints: 15293
353.67/354.62 c #Conflicts: 57000 | #Constraints: 16293
353.67/354.62 c #Conflicts: 58000 | #Constraints: 17293
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 59000 | #Constraints: 10552
353.67/354.62 c #Conflicts: 60000 | #Constraints: 11552
353.67/354.62 c #Conflicts: 61000 | #Constraints: 12552
353.67/354.62 c #Conflicts: 62000 | #Constraints: 13552
353.67/354.62 c #Conflicts: 63000 | #Constraints: 14552
353.67/354.62 c #Conflicts: 64000 | #Constraints: 15552
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 65000 | #Constraints: 9806
353.67/354.62 c #Conflicts: 66000 | #Constraints: 10806
353.67/354.62 c #Conflicts: 67000 | #Constraints: 11806
353.67/354.62 c #Conflicts: 68000 | #Constraints: 12806
353.67/354.62 c #Conflicts: 69000 | #Constraints: 13806
353.67/354.62 c #Conflicts: 70000 | #Constraints: 14806
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 71000 | #Constraints: 9495
353.67/354.62 c #Conflicts: 72000 | #Constraints: 10495
353.67/354.62 c #Conflicts: 73000 | #Constraints: 11495
353.67/354.62 c #Conflicts: 74000 | #Constraints: 12495
353.67/354.62 c #Conflicts: 75000 | #Constraints: 13495
353.67/354.62 c #Conflicts: 76000 | #Constraints: 14495
353.67/354.62 c INPROCESSING
353.67/354.62 c GARBAGE COLLECT
353.67/354.62 c #Conflicts: 77000 | #Constraints: 9303
353.67/354.62 c #Conflicts: 78000 | #Constraints: 10303
353.67/354.62 c #Conflicts: 79000 | #Constraints: 11303
353.67/354.62 c #Conflicts: 80000 | #Constraints: 12303
353.67/354.62 c #Conflicts: 81000 | #Constraints: 13303
353.67/354.62 c #Conflicts: 82000 | #Constraints: 14303
353.67/354.62 c #Conflicts: 83000 | #Constraints: 15303
353.67/354.62 c #Conflicts: 84000 | #Constraints: 16303
353.67/354.62 c #Conflicts: 85000 | #Constraints: 17303
353.67/354.62 c #Conflicts: 86000 | #Constraints: 18303
353.67/354.62 c #Conflicts: 87000 | #Constraints: 19303
353.67/354.62 c #Conflicts: 88000 | #Constraints: 20303
535.07/536.54 c #Conflicts: 89000 | #Constraints: 21303
535.07/536.54 c #Conflicts: 90000 | #Constraints: 22303
535.07/536.54 c #Conflicts: 91000 | #Constraints: 23303
535.07/536.54 c #Conflicts: 92000 | #Constraints: 24303
535.07/536.54 c #Conflicts: 93000 | #Constraints: 25303
535.07/536.54 c #Conflicts: 94000 | #Constraints: 26303
535.07/536.54 c #Conflicts: 95000 | #Constraints: 27303
535.07/536.54 c #Conflicts: 96000 | #Constraints: 28303
535.07/536.54 c #Conflicts: 97000 | #Constraints: 29303
535.07/536.54 c #Conflicts: 98000 | #Constraints: 30303
535.07/536.54 c #Conflicts: 99000 | #Constraints: 31303
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 100000 | #Constraints: 17954
535.07/536.54 c #Conflicts: 101000 | #Constraints: 18954
535.07/536.54 c #Conflicts: 102000 | #Constraints: 19954
535.07/536.54 c #Conflicts: 103000 | #Constraints: 20954
535.07/536.54 c #Conflicts: 104000 | #Constraints: 21954
535.07/536.54 c #Conflicts: 105000 | #Constraints: 22954
535.07/536.54 c #Conflicts: 106000 | #Constraints: 23954
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 107000 | #Constraints: 14087
535.07/536.54 c #Conflicts: 108000 | #Constraints: 15087
535.07/536.54 c #Conflicts: 109000 | #Constraints: 16087
535.07/536.54 c #Conflicts: 110000 | #Constraints: 17087
535.07/536.54 c #Conflicts: 111000 | #Constraints: 18087
535.07/536.54 c #Conflicts: 112000 | #Constraints: 19087
535.07/536.54 c #Conflicts: 113000 | #Constraints: 20087
535.07/536.54 c #Conflicts: 114000 | #Constraints: 21087
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 115000 | #Constraints: 12857
535.07/536.54 c #Conflicts: 116000 | #Constraints: 13857
535.07/536.54 c #Conflicts: 117000 | #Constraints: 14857
535.07/536.54 c #Conflicts: 118000 | #Constraints: 15857
535.07/536.54 c #Conflicts: 119000 | #Constraints: 16857
535.07/536.54 c #Conflicts: 120000 | #Constraints: 17857
535.07/536.54 c #Conflicts: 121000 | #Constraints: 18857
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 122000 | #Constraints: 11330
535.07/536.54 c #Conflicts: 123000 | #Constraints: 12330
535.07/536.54 c #Conflicts: 124000 | #Constraints: 13330
535.07/536.54 c #Conflicts: 125000 | #Constraints: 14330
535.07/536.54 c #Conflicts: 126000 | #Constraints: 15330
535.07/536.54 c #Conflicts: 127000 | #Constraints: 16330
535.07/536.54 c #Conflicts: 128000 | #Constraints: 17330
535.07/536.54 c #Conflicts: 129000 | #Constraints: 18330
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 130000 | #Constraints: 11085
535.07/536.54 c #Conflicts: 131000 | #Constraints: 12085
535.07/536.54 c #Conflicts: 132000 | #Constraints: 13085
535.07/536.54 c #Conflicts: 133000 | #Constraints: 14085
535.07/536.54 c #Conflicts: 134000 | #Constraints: 15085
535.07/536.54 c #Conflicts: 135000 | #Constraints: 16085
535.07/536.54 c #Conflicts: 136000 | #Constraints: 17085
535.07/536.54 c #Conflicts: 137000 | #Constraints: 18085
535.07/536.54 c #Conflicts: 138000 | #Constraints: 19085
535.07/536.54 c #Conflicts: 139000 | #Constraints: 20085
535.07/536.54 c #Conflicts: 140000 | #Constraints: 21085
535.07/536.54 c #Conflicts: 141000 | #Constraints: 22085
535.07/536.54 c #Conflicts: 142000 | #Constraints: 23085
535.07/536.54 c #Conflicts: 143000 | #Constraints: 24085
535.07/536.54 c #Conflicts: 144000 | #Constraints: 25085
535.07/536.54 c #Conflicts: 145000 | #Constraints: 26085
535.07/536.54 c #Conflicts: 146000 | #Constraints: 27085
535.07/536.54 c #Conflicts: 147000 | #Constraints: 28085
535.07/536.54 c #Conflicts: 148000 | #Constraints: 29085
535.07/536.54 c #Conflicts: 149000 | #Constraints: 30085
535.07/536.54 c #Conflicts: 150000 | #Constraints: 31085
535.07/536.54 c #Conflicts: 151000 | #Constraints: 32085
535.07/536.54 c #Conflicts: 152000 | #Constraints: 33085
535.07/536.54 c #Conflicts: 153000 | #Constraints: 34085
535.07/536.54 c #Conflicts: 154000 | #Constraints: 35085
535.07/536.54 c #Conflicts: 155000 | #Constraints: 36085
535.07/536.54 c #Conflicts: 156000 | #Constraints: 37085
535.07/536.54 c #Conflicts: 157000 | #Constraints: 38085
535.07/536.54 c #Conflicts: 158000 | #Constraints: 39085
535.07/536.54 c INPROCESSING
535.07/536.54 c GARBAGE COLLECT
535.07/536.54 c #Conflicts: 159000 | #Constraints: 21512
535.07/536.54 c #Conflicts: 160000 | #Constraints: 22512
535.07/536.54 c #Conflicts: 161000 | #Constraints: 23512
535.07/536.54 c #Conflicts: 162000 | #Constraints: 24512
535.07/536.54 c #Conflicts: 163000 | #Constraints: 25512
770.53/772.69 c #Conflicts: 164000 | #Constraints: 26512
770.53/772.69 c #Conflicts: 165000 | #Constraints: 27512
770.53/772.69 c #Conflicts: 166000 | #Constraints: 28512
770.53/772.69 c #Conflicts: 167000 | #Constraints: 29512
770.53/772.69 c #Conflicts: 168000 | #Constraints: 30512
770.53/772.69 c INPROCESSING
770.53/772.69 c GARBAGE COLLECT
770.53/772.69 c #Conflicts: 169000 | #Constraints: 17593
770.53/772.69 c #Conflicts: 170000 | #Constraints: 18593
770.53/772.69 c #Conflicts: 171000 | #Constraints: 19593
770.53/772.69 c #Conflicts: 172000 | #Constraints: 20593
770.53/772.69 c #Conflicts: 173000 | #Constraints: 21593
770.53/772.69 c #Conflicts: 174000 | #Constraints: 22593
770.53/772.69 c #Conflicts: 175000 | #Constraints: 23593
770.53/772.69 c #Conflicts: 176000 | #Constraints: 24593
770.53/772.69 c #Conflicts: 177000 | #Constraints: 25593
770.53/772.69 c INPROCESSING
770.53/772.69 c GARBAGE COLLECT
770.53/772.69 c #Conflicts: 178000 | #Constraints: 14876
770.53/772.69 c #Conflicts: 179000 | #Constraints: 15876
770.53/772.69 c #Conflicts: 180000 | #Constraints: 16876
770.53/772.69 c #Conflicts: 181000 | #Constraints: 17876
770.53/772.69 c #Conflicts: 182000 | #Constraints: 18876
770.53/772.69 c #Conflicts: 183000 | #Constraints: 19876
770.53/772.69 c #Conflicts: 184000 | #Constraints: 20876
770.53/772.69 c #Conflicts: 185000 | #Constraints: 21876
770.53/772.69 c #Conflicts: 186000 | #Constraints: 22876
770.53/772.69 c #Conflicts: 187000 | #Constraints: 23876
770.53/772.69 c INPROCESSING
770.53/772.69 c GARBAGE COLLECT
770.53/772.69 c #Conflicts: 188000 | #Constraints: 14184
770.53/772.69 c #Conflicts: 189000 | #Constraints: 15184
770.53/772.69 c #Conflicts: 190000 | #Constraints: 16184
770.53/772.69 c #Conflicts: 191000 | #Constraints: 17184
770.53/772.69 c #Conflicts: 192000 | #Constraints: 18184
770.53/772.69 c #Conflicts: 193000 | #Constraints: 19184
770.53/772.69 c #Conflicts: 194000 | #Constraints: 20184
770.53/772.69 c #Conflicts: 195000 | #Constraints: 21184
770.53/772.69 c #Conflicts: 196000 | #Constraints: 22184
770.53/772.69 c #Conflicts: 197000 | #Constraints: 23184
770.53/772.69 c INPROCESSING
770.53/772.69 c GARBAGE COLLECT
770.53/772.69 c #Conflicts: 198000 | #Constraints: 13885
770.53/772.69 c #Conflicts: 199000 | #Constraints: 14885
770.53/772.69 c #Conflicts: 200000 | #Constraints: 15885
770.53/772.69 c #Conflicts: 201000 | #Constraints: 16885
770.53/772.69 c #Conflicts: 202000 | #Constraints: 17885
770.53/772.69 c #Conflicts: 203000 | #Constraints: 18885
770.53/772.69 c #Conflicts: 204000 | #Constraints: 19885
770.53/772.69 c #Conflicts: 205000 | #Constraints: 20885
770.53/772.69 c #Conflicts: 206000 | #Constraints: 21885
770.53/772.69 c #Conflicts: 207000 | #Constraints: 22885
770.53/772.69 c #Conflicts: 208000 | #Constraints: 23885
770.53/772.69 c #Conflicts: 209000 | #Constraints: 24885
770.53/772.69 c #Conflicts: 210000 | #Constraints: 25885
770.53/772.69 c #Conflicts: 211000 | #Constraints: 26885
770.53/772.69 c #Conflicts: 212000 | #Constraints: 27885
770.53/772.69 c #Conflicts: 213000 | #Constraints: 28885
770.53/772.69 c #Conflicts: 214000 | #Constraints: 29885
770.53/772.69 c #Conflicts: 215000 | #Constraints: 30885
770.53/772.69 c #Conflicts: 216000 | #Constraints: 31885
770.53/772.69 c #Conflicts: 217000 | #Constraints: 32885
770.53/772.69 c #Conflicts: 218000 | #Constraints: 33885
770.53/772.69 c #Conflicts: 219000 | #Constraints: 34885
770.53/772.69 c #Conflicts: 220000 | #Constraints: 35885
770.53/772.69 c #Conflicts: 221000 | #Constraints: 36885
770.53/772.69 c #Conflicts: 222000 | #Constraints: 37885
770.53/772.69 c #Conflicts: 223000 | #Constraints: 38885
770.53/772.69 c #Conflicts: 224000 | #Constraints: 39885
770.53/772.69 c #Conflicts: 225000 | #Constraints: 40885
770.53/772.69 c #Conflicts: 226000 | #Constraints: 41885
770.53/772.69 c #Conflicts: 227000 | #Constraints: 42885
770.53/772.69 c #Conflicts: 228000 | #Constraints: 43885
770.53/772.69 c #Conflicts: 229000 | #Constraints: 44885
770.53/772.69 c #Conflicts: 230000 | #Constraints: 45885
770.53/772.69 c #Conflicts: 231000 | #Constraints: 46885
770.53/772.69 c #Conflicts: 232000 | #Constraints: 47885
770.53/772.69 c INPROCESSING
770.53/772.69 c GARBAGE COLLECT
770.53/772.69 c #Conflicts: 233000 | #Constraints: 26066
770.53/772.69 c #Conflicts: 234000 | #Constraints: 27066
770.53/772.69 c #Conflicts: 235000 | #Constraints: 28066
770.53/772.69 c #Conflicts: 236000 | #Constraints: 29066
770.53/772.69 c #Conflicts: 237000 | #Constraints: 30066
770.53/772.69 c #Conflicts: 238000 | #Constraints: 31066
1034.26/1037.06 c #Conflicts: 239000 | #Constraints: 32066
1034.26/1037.06 c #Conflicts: 240000 | #Constraints: 33066
1034.26/1037.06 c #Conflicts: 241000 | #Constraints: 34066
1034.26/1037.06 c #Conflicts: 242000 | #Constraints: 35066
1034.26/1037.06 c #Conflicts: 243000 | #Constraints: 36066
1034.26/1037.06 c INPROCESSING
1034.26/1037.06 c GARBAGE COLLECT
1034.26/1037.06 c #Conflicts: 244000 | #Constraints: 20061
1034.26/1037.06 c #Conflicts: 245000 | #Constraints: 21061
1034.26/1037.06 c #Conflicts: 246000 | #Constraints: 22061
1034.26/1037.06 c #Conflicts: 247000 | #Constraints: 23061
1034.26/1037.06 c #Conflicts: 248000 | #Constraints: 24061
1034.26/1037.06 c #Conflicts: 249000 | #Constraints: 25061
1034.26/1037.06 c #Conflicts: 250000 | #Constraints: 26061
1034.26/1037.06 c #Conflicts: 251000 | #Constraints: 27061
1034.26/1037.06 c #Conflicts: 252000 | #Constraints: 28061
1034.26/1037.06 c #Conflicts: 253000 | #Constraints: 29061
1034.26/1037.06 c #Conflicts: 254000 | #Constraints: 30061
1034.26/1037.06 c #Conflicts: 255000 | #Constraints: 31061
1034.26/1037.06 c INPROCESSING
1034.26/1037.06 c GARBAGE COLLECT
1034.26/1037.06 c #Conflicts: 256000 | #Constraints: 17856
1034.26/1037.06 c #Conflicts: 257000 | #Constraints: 18856
1034.26/1037.06 c #Conflicts: 258000 | #Constraints: 19856
1034.26/1037.06 c #Conflicts: 259000 | #Constraints: 20856
1034.26/1037.06 c #Conflicts: 260000 | #Constraints: 21856
1034.26/1037.06 c #Conflicts: 261000 | #Constraints: 22856
1034.26/1037.06 c #Conflicts: 262000 | #Constraints: 23856
1034.26/1037.06 c #Conflicts: 263000 | #Constraints: 24856
1034.26/1037.06 c #Conflicts: 264000 | #Constraints: 25856
1034.26/1037.06 c #Conflicts: 265000 | #Constraints: 26856
1034.26/1037.06 c #Conflicts: 266000 | #Constraints: 27856
1034.26/1037.06 c INPROCESSING
1034.26/1037.06 c GARBAGE COLLECT
1034.26/1037.06 c #Conflicts: 267000 | #Constraints: 15960
1034.26/1037.06 c #Conflicts: 268000 | #Constraints: 16960
1034.26/1037.06 c #Conflicts: 269000 | #Constraints: 17960
1034.26/1037.06 c #Conflicts: 270000 | #Constraints: 18960
1034.26/1037.06 c #Conflicts: 271000 | #Constraints: 19960
1034.26/1037.06 c #Conflicts: 272000 | #Constraints: 20960
1034.26/1037.06 c #Conflicts: 273000 | #Constraints: 21960
1034.26/1037.06 c #Conflicts: 274000 | #Constraints: 22960
1034.26/1037.06 c #Conflicts: 275000 | #Constraints: 23960
1034.26/1037.06 c #Conflicts: 276000 | #Constraints: 24960
1034.26/1037.06 c #Conflicts: 277000 | #Constraints: 25960
1034.26/1037.06 c #Conflicts: 278000 | #Constraints: 26960
1034.26/1037.06 c INPROCESSING
1034.26/1037.06 c GARBAGE COLLECT
1034.26/1037.06 c #Conflicts: 279000 | #Constraints: 15636
1034.26/1037.06 c #Conflicts: 280000 | #Constraints: 16636
1034.26/1037.06 c #Conflicts: 281000 | #Constraints: 17636
1034.26/1037.06 c #Conflicts: 282000 | #Constraints: 18636
1034.26/1037.06 c #Conflicts: 283000 | #Constraints: 19636
1034.26/1037.06 c #Conflicts: 284000 | #Constraints: 20636
1034.26/1037.06 c #Conflicts: 285000 | #Constraints: 21636
1034.26/1037.06 c #Conflicts: 286000 | #Constraints: 22636
1034.26/1037.06 c #Conflicts: 287000 | #Constraints: 23636
1034.26/1037.06 c #Conflicts: 288000 | #Constraints: 24636
1034.26/1037.06 c #Conflicts: 289000 | #Constraints: 25636
1034.26/1037.06 c #Conflicts: 290000 | #Constraints: 26636
1034.26/1037.06 c #Conflicts: 291000 | #Constraints: 27636
1034.26/1037.06 c #Conflicts: 292000 | #Constraints: 28636
1034.26/1037.06 c #Conflicts: 293000 | #Constraints: 29636
1034.26/1037.06 c #Conflicts: 294000 | #Constraints: 30636
1034.26/1037.06 c #Conflicts: 295000 | #Constraints: 31636
1034.26/1037.06 c #Conflicts: 296000 | #Constraints: 32636
1034.26/1037.06 c #Conflicts: 297000 | #Constraints: 33636
1034.26/1037.06 c #Conflicts: 298000 | #Constraints: 34636
1034.26/1037.06 c #Conflicts: 299000 | #Constraints: 35636
1034.26/1037.06 c #Conflicts: 300000 | #Constraints: 36636
1034.26/1037.06 c #Conflicts: 301000 | #Constraints: 37636
1034.26/1037.06 c #Conflicts: 302000 | #Constraints: 38636
1034.26/1037.06 c #Conflicts: 303000 | #Constraints: 39636
1034.26/1037.06 c #Conflicts: 304000 | #Constraints: 40636
1034.26/1037.06 c #Conflicts: 305000 | #Constraints: 41636
1034.26/1037.06 c #Conflicts: 306000 | #Constraints: 42636
1034.26/1037.06 c #Conflicts: 307000 | #Constraints: 43636
1034.26/1037.06 c #Conflicts: 308000 | #Constraints: 44636
1034.26/1037.06 c #Conflicts: 309000 | #Constraints: 45636
1034.26/1037.06 c #Conflicts: 310000 | #Constraints: 46636
1034.26/1037.06 c #Conflicts: 311000 | #Constraints: 47636
1034.26/1037.06 c #Conflicts: 312000 | #Constraints: 48636
1034.26/1037.06 c #Conflicts: 313000 | #Constraints: 49636
1034.26/1037.06 c #Conflicts: 314000 | #Constraints: 50636
1034.26/1037.06 c #Conflicts: 315000 | #Constraints: 51636
1260.33/1263.72 c #Conflicts: 316000 | #Constraints: 52636
1260.33/1263.72 c #Conflicts: 317000 | #Constraints: 53636
1260.33/1263.72 c #Conflicts: 318000 | #Constraints: 54636
1260.33/1263.72 c #Conflicts: 319000 | #Constraints: 55636
1260.33/1263.72 c #Conflicts: 320000 | #Constraints: 56636
1260.33/1263.72 c INPROCESSING
1260.33/1263.72 c GARBAGE COLLECT
1260.33/1263.72 c #Conflicts: 321000 | #Constraints: 30624
1260.33/1263.72 c #Conflicts: 322000 | #Constraints: 31624
1260.33/1263.72 c #Conflicts: 323000 | #Constraints: 32624
1260.33/1263.72 c #Conflicts: 324000 | #Constraints: 33624
1260.33/1263.72 c #Conflicts: 325000 | #Constraints: 34624
1260.33/1263.72 c #Conflicts: 326000 | #Constraints: 35624
1260.33/1263.72 c #Conflicts: 327000 | #Constraints: 36624
1260.33/1263.72 c #Conflicts: 328000 | #Constraints: 37624
1260.33/1263.72 c #Conflicts: 329000 | #Constraints: 38624
1260.33/1263.72 c #Conflicts: 330000 | #Constraints: 39624
1260.33/1263.72 c #Conflicts: 331000 | #Constraints: 40624
1260.33/1263.72 c #Conflicts: 332000 | #Constraints: 41624
1260.33/1263.72 c #Conflicts: 333000 | #Constraints: 42624
1260.33/1263.72 c INPROCESSING
1260.33/1263.72 c GARBAGE COLLECT
1260.33/1263.72 c #Conflicts: 334000 | #Constraints: 23555
1260.33/1263.72 c #Conflicts: 335000 | #Constraints: 24555
1260.33/1263.72 c #Conflicts: 336000 | #Constraints: 25555
1260.33/1263.72 c #Conflicts: 337000 | #Constraints: 26555
1260.33/1263.72 c bounds -24 >= -93 @ 1162.3
1260.33/1263.72 c #Conflicts: 338000 | #Constraints: 27583
1260.33/1263.72 c #Conflicts: 339000 | #Constraints: 28583
1260.33/1263.72 c #Conflicts: 340000 | #Constraints: 29583
1260.33/1263.72 c #Conflicts: 341000 | #Constraints: 30583
1260.33/1263.72 c #Conflicts: 342000 | #Constraints: 31583
1260.33/1263.72 c #Conflicts: 343000 | #Constraints: 32583
1260.33/1263.72 c #Conflicts: 344000 | #Constraints: 33583
1260.33/1263.72 c #Conflicts: 345000 | #Constraints: 34583
1260.33/1263.72 c #Conflicts: 346000 | #Constraints: 35583
1260.33/1263.72 c INPROCESSING
1260.33/1263.72 c GARBAGE COLLECT
1260.33/1263.72 c #Conflicts: 347000 | #Constraints: 19903
1260.33/1263.72 c #Conflicts: 348000 | #Constraints: 20903
1260.33/1263.72 c #Conflicts: 349000 | #Constraints: 21903
1260.33/1263.72 c #Conflicts: 350000 | #Constraints: 22903
1260.33/1263.72 c #Conflicts: 351000 | #Constraints: 23903
1260.33/1263.72 c #Conflicts: 352000 | #Constraints: 24903
1260.33/1263.72 c #Conflicts: 353000 | #Constraints: 25903
1260.33/1263.72 c #Conflicts: 354000 | #Constraints: 26903
1260.33/1263.72 c #Conflicts: 355000 | #Constraints: 27903
1260.33/1263.72 c #Conflicts: 356000 | #Constraints: 28903
1260.33/1263.72 c #Conflicts: 357000 | #Constraints: 29903
1260.33/1263.72 c #Conflicts: 358000 | #Constraints: 30903
1260.33/1263.72 c #Conflicts: 359000 | #Constraints: 31903
1260.33/1263.72 c #Conflicts: 360000 | #Constraints: 32903
1260.33/1263.72 c INPROCESSING
1260.33/1263.72 c GARBAGE COLLECT
1260.33/1263.72 c #Conflicts: 361000 | #Constraints: 18814
1260.33/1263.72 c #Conflicts: 362000 | #Constraints: 19814
1260.33/1263.72 c #Conflicts: 363000 | #Constraints: 20814
1260.33/1263.72 c #Conflicts: 364000 | #Constraints: 21814
1260.33/1263.72 c #Conflicts: 365000 | #Constraints: 22814
1260.33/1263.72 c #Conflicts: 366000 | #Constraints: 23814
1260.33/1263.72 c #Conflicts: 367000 | #Constraints: 24814
1260.33/1263.72 c #Conflicts: 368000 | #Constraints: 25814
1260.33/1263.72 c #Conflicts: 369000 | #Constraints: 26814
1260.33/1263.72 c #Conflicts: 370000 | #Constraints: 27814
1260.33/1263.72 c #Conflicts: 371000 | #Constraints: 28814
1260.33/1263.72 c #Conflicts: 372000 | #Constraints: 29814
1260.33/1263.72 c #Conflicts: 373000 | #Constraints: 30814
1260.33/1263.72 c INPROCESSING
1260.33/1263.72 c GARBAGE COLLECT
1260.33/1263.72 c #Conflicts: 374000 | #Constraints: 17412
1260.33/1263.72 c #Conflicts: 375000 | #Constraints: 18412
1260.33/1263.72 c #Conflicts: 376000 | #Constraints: 19412
1260.33/1263.72 c #Conflicts: 377000 | #Constraints: 20412
1260.33/1263.72 c #Conflicts: 378000 | #Constraints: 21412
1260.33/1263.72 c #Conflicts: 379000 | #Constraints: 22412
1260.33/1263.72 c #Conflicts: 380000 | #Constraints: 23412
1260.33/1263.72 c #Conflicts: 381000 | #Constraints: 24412
1260.33/1263.72 c #Conflicts: 382000 | #Constraints: 25412
1260.33/1263.72 c #Conflicts: 383000 | #Constraints: 26412
1260.33/1263.72 c #Conflicts: 384000 | #Constraints: 27412
1260.33/1263.72 c #Conflicts: 385000 | #Constraints: 28412
1260.33/1263.72 c #Conflicts: 386000 | #Constraints: 29412
1260.33/1263.72 c #Conflicts: 387000 | #Constraints: 30412
1260.33/1263.72 c #Conflicts: 388000 | #Constraints: 31412
1260.33/1263.72 c #Conflicts: 389000 | #Constraints: 32412
1260.33/1263.72 c #Conflicts: 390000 | #Constraints: 33412
1636.58/1641.01 c #Conflicts: 391000 | #Constraints: 34412
1636.58/1641.01 c #Conflicts: 392000 | #Constraints: 35412
1636.58/1641.01 c #Conflicts: 393000 | #Constraints: 36412
1636.58/1641.01 c #Conflicts: 394000 | #Constraints: 37412
1636.58/1641.01 c #Conflicts: 395000 | #Constraints: 38412
1636.58/1641.01 c #Conflicts: 396000 | #Constraints: 39412
1636.58/1641.01 c #Conflicts: 397000 | #Constraints: 40412
1636.58/1641.01 c #Conflicts: 398000 | #Constraints: 41412
1636.58/1641.01 c #Conflicts: 399000 | #Constraints: 42412
1636.58/1641.01 c #Conflicts: 400000 | #Constraints: 43412
1636.58/1641.01 c #Conflicts: 401000 | #Constraints: 44412
1636.58/1641.01 c #Conflicts: 402000 | #Constraints: 45412
1636.58/1641.01 c #Conflicts: 403000 | #Constraints: 46412
1636.58/1641.01 c #Conflicts: 404000 | #Constraints: 47412
1636.58/1641.01 c #Conflicts: 405000 | #Constraints: 48412
1636.58/1641.01 c #Conflicts: 406000 | #Constraints: 49412
1636.58/1641.01 c #Conflicts: 407000 | #Constraints: 50412
1636.58/1641.01 c #Conflicts: 408000 | #Constraints: 51412
1636.58/1641.01 c #Conflicts: 409000 | #Constraints: 52412
1636.58/1641.01 c #Conflicts: 410000 | #Constraints: 53412
1636.58/1641.01 c #Conflicts: 411000 | #Constraints: 54412
1636.58/1641.01 c #Conflicts: 412000 | #Constraints: 55412
1636.58/1641.01 c #Conflicts: 413000 | #Constraints: 56412
1636.58/1641.01 c #Conflicts: 414000 | #Constraints: 57412
1636.58/1641.01 c #Conflicts: 415000 | #Constraints: 58412
1636.58/1641.01 c #Conflicts: 416000 | #Constraints: 59412
1636.58/1641.01 c #Conflicts: 417000 | #Constraints: 60412
1636.58/1641.01 c #Conflicts: 418000 | #Constraints: 61412
1636.58/1641.01 c #Conflicts: 419000 | #Constraints: 62412
1636.58/1641.01 c #Conflicts: 420000 | #Constraints: 63412
1636.58/1641.01 c #Conflicts: 421000 | #Constraints: 64412
1636.58/1641.01 c INPROCESSING
1636.58/1641.01 c GARBAGE COLLECT
1636.58/1641.01 c #Conflicts: 422000 | #Constraints: 34159
1636.58/1641.01 c #Conflicts: 423000 | #Constraints: 35159
1636.58/1641.01 c #Conflicts: 424000 | #Constraints: 36159
1636.58/1641.01 c #Conflicts: 425000 | #Constraints: 37159
1636.58/1641.01 c #Conflicts: 426000 | #Constraints: 38159
1636.58/1641.01 c #Conflicts: 427000 | #Constraints: 39159
1636.58/1641.01 c #Conflicts: 428000 | #Constraints: 40159
1636.58/1641.01 c #Conflicts: 429000 | #Constraints: 41159
1636.58/1641.01 c #Conflicts: 430000 | #Constraints: 42159
1636.58/1641.01 c #Conflicts: 431000 | #Constraints: 43159
1636.58/1641.01 c #Conflicts: 432000 | #Constraints: 44159
1636.58/1641.01 c #Conflicts: 433000 | #Constraints: 45159
1636.58/1641.01 c #Conflicts: 434000 | #Constraints: 46159
1636.58/1641.01 c #Conflicts: 435000 | #Constraints: 47159
1636.58/1641.01 c #Conflicts: 436000 | #Constraints: 48159
1636.58/1641.01 c INPROCESSING
1636.58/1641.01 c GARBAGE COLLECT
1636.58/1641.01 c #Conflicts: 437000 | #Constraints: 26021
1636.58/1641.01 c #Conflicts: 438000 | #Constraints: 27021
1636.58/1641.01 c #Conflicts: 439000 | #Constraints: 28021
1636.58/1641.01 c #Conflicts: 440000 | #Constraints: 29021
1636.58/1641.01 c #Conflicts: 441000 | #Constraints: 30021
1636.58/1641.01 c #Conflicts: 442000 | #Constraints: 31021
1636.58/1641.01 c #Conflicts: 443000 | #Constraints: 32021
1636.58/1641.01 c #Conflicts: 444000 | #Constraints: 33021
1636.58/1641.01 c #Conflicts: 445000 | #Constraints: 34021
1636.58/1641.01 c #Conflicts: 446000 | #Constraints: 35021
1636.58/1641.01 c #Conflicts: 447000 | #Constraints: 36021
1636.58/1641.01 c #Conflicts: 448000 | #Constraints: 37021
1636.58/1641.01 c #Conflicts: 449000 | #Constraints: 38021
1636.58/1641.01 c #Conflicts: 450000 | #Constraints: 39021
1636.58/1641.01 c #Conflicts: 451000 | #Constraints: 40021
1636.58/1641.01 c #Conflicts: 452000 | #Constraints: 41021
1636.58/1641.01 c INPROCESSING
1636.58/1641.01 c GARBAGE COLLECT
1636.58/1641.01 c #Conflicts: 453000 | #Constraints: 22865
1636.58/1641.01 c #Conflicts: 454000 | #Constraints: 23865
1636.58/1641.01 c #Conflicts: 455000 | #Constraints: 24865
1636.58/1641.01 c #Conflicts: 456000 | #Constraints: 25865
1636.58/1641.01 c #Conflicts: 457000 | #Constraints: 26865
1636.58/1641.01 c #Conflicts: 458000 | #Constraints: 27865
1636.58/1641.01 c #Conflicts: 459000 | #Constraints: 28865
1636.58/1641.01 c #Conflicts: 460000 | #Constraints: 29865
1636.58/1641.01 c #Conflicts: 461000 | #Constraints: 30865
1636.58/1641.01 c #Conflicts: 462000 | #Constraints: 31865
1636.58/1641.01 c #Conflicts: 463000 | #Constraints: 32865
1636.58/1641.01 c #Conflicts: 464000 | #Constraints: 33865
1636.58/1641.01 c #Conflicts: 465000 | #Constraints: 34865
1636.58/1641.01 c #Conflicts: 466000 | #Constraints: 35865
2032.45/2038.06 c #Conflicts: 467000 | #Constraints: 36865
2032.45/2038.06 c INPROCESSING
2032.45/2038.06 c GARBAGE COLLECT
2032.45/2038.06 c #Conflicts: 468000 | #Constraints: 20589
2032.45/2038.06 c #Conflicts: 469000 | #Constraints: 21589
2032.45/2038.06 c #Conflicts: 470000 | #Constraints: 22589
2032.45/2038.06 c #Conflicts: 471000 | #Constraints: 23589
2032.45/2038.06 c #Conflicts: 472000 | #Constraints: 24589
2032.45/2038.06 c #Conflicts: 473000 | #Constraints: 25589
2032.45/2038.06 c #Conflicts: 474000 | #Constraints: 26589
2032.45/2038.06 c #Conflicts: 475000 | #Constraints: 27589
2032.45/2038.06 c #Conflicts: 476000 | #Constraints: 28589
2032.45/2038.06 c #Conflicts: 477000 | #Constraints: 29589
2032.45/2038.06 c #Conflicts: 478000 | #Constraints: 30589
2032.45/2038.06 c #Conflicts: 479000 | #Constraints: 31589
2032.45/2038.06 c #Conflicts: 480000 | #Constraints: 32589
2032.45/2038.06 c #Conflicts: 481000 | #Constraints: 33589
2032.45/2038.06 c #Conflicts: 482000 | #Constraints: 34589
2032.45/2038.06 c #Conflicts: 483000 | #Constraints: 35589
2032.45/2038.06 c INPROCESSING
2032.45/2038.06 c GARBAGE COLLECT
2032.45/2038.06 c #Conflicts: 484000 | #Constraints: 20159
2032.45/2038.06 c #Conflicts: 485000 | #Constraints: 21159
2032.45/2038.06 c #Conflicts: 486000 | #Constraints: 22159
2032.45/2038.06 c #Conflicts: 487000 | #Constraints: 23159
2032.45/2038.06 c #Conflicts: 488000 | #Constraints: 24159
2032.45/2038.06 c #Conflicts: 489000 | #Constraints: 25159
2032.45/2038.06 c #Conflicts: 490000 | #Constraints: 26159
2032.45/2038.06 c #Conflicts: 491000 | #Constraints: 27159
2032.45/2038.06 c #Conflicts: 492000 | #Constraints: 28159
2032.45/2038.06 c #Conflicts: 493000 | #Constraints: 29159
2032.45/2038.06 c #Conflicts: 494000 | #Constraints: 30159
2032.45/2038.06 c #Conflicts: 495000 | #Constraints: 31159
2032.45/2038.06 c #Conflicts: 496000 | #Constraints: 32159
2032.45/2038.06 c #Conflicts: 497000 | #Constraints: 33159
2032.45/2038.06 c #Conflicts: 498000 | #Constraints: 34159
2032.45/2038.06 c #Conflicts: 499000 | #Constraints: 35159
2032.45/2038.06 c #Conflicts: 500000 | #Constraints: 36159
2032.45/2038.06 c #Conflicts: 501000 | #Constraints: 37159
2032.45/2038.06 c #Conflicts: 502000 | #Constraints: 38159
2032.45/2038.06 c #Conflicts: 503000 | #Constraints: 39159
2032.45/2038.06 c #Conflicts: 504000 | #Constraints: 40159
2032.45/2038.06 c #Conflicts: 505000 | #Constraints: 41159
2032.45/2038.06 c #Conflicts: 506000 | #Constraints: 42159
2032.45/2038.06 c #Conflicts: 507000 | #Constraints: 43159
2032.45/2038.06 c #Conflicts: 508000 | #Constraints: 44159
2032.45/2038.06 c #Conflicts: 509000 | #Constraints: 45159
2032.45/2038.06 c #Conflicts: 510000 | #Constraints: 46159
2032.45/2038.06 c #Conflicts: 511000 | #Constraints: 47159
2032.45/2038.06 c #Conflicts: 512000 | #Constraints: 48159
2032.45/2038.06 c #Conflicts: 513000 | #Constraints: 49159
2032.45/2038.06 c #Conflicts: 514000 | #Constraints: 50159
2032.45/2038.06 c #Conflicts: 515000 | #Constraints: 51159
2032.45/2038.06 c #Conflicts: 516000 | #Constraints: 52159
2032.45/2038.06 c #Conflicts: 517000 | #Constraints: 53159
2032.45/2038.06 c #Conflicts: 518000 | #Constraints: 54159
2032.45/2038.06 c #Conflicts: 519000 | #Constraints: 55159
2032.45/2038.06 c #Conflicts: 520000 | #Constraints: 56159
2032.45/2038.06 c #Conflicts: 521000 | #Constraints: 57159
2032.45/2038.06 c #Conflicts: 522000 | #Constraints: 58159
2032.45/2038.06 c #Conflicts: 523000 | #Constraints: 59159
2032.45/2038.06 c #Conflicts: 524000 | #Constraints: 60159
2032.45/2038.06 c #Conflicts: 525000 | #Constraints: 61159
2032.45/2038.06 c #Conflicts: 526000 | #Constraints: 62159
2032.45/2038.06 c #Conflicts: 527000 | #Constraints: 63159
2032.45/2038.06 c #Conflicts: 528000 | #Constraints: 64159
2032.45/2038.06 c #Conflicts: 529000 | #Constraints: 65159
2032.45/2038.06 c #Conflicts: 530000 | #Constraints: 66159
2032.45/2038.06 c #Conflicts: 531000 | #Constraints: 67159
2032.45/2038.06 c #Conflicts: 532000 | #Constraints: 68159
2032.45/2038.06 c #Conflicts: 533000 | #Constraints: 69159
2032.45/2038.06 c #Conflicts: 534000 | #Constraints: 70159
2032.45/2038.06 c #Conflicts: 535000 | #Constraints: 71159
2032.45/2038.06 c #Conflicts: 536000 | #Constraints: 72159
2032.45/2038.06 c #Conflicts: 537000 | #Constraints: 73159
2032.45/2038.06 c INPROCESSING
2032.45/2038.06 c GARBAGE COLLECT
2032.45/2038.06 c #Conflicts: 538000 | #Constraints: 38698
2032.45/2038.06 c #Conflicts: 539000 | #Constraints: 39698
2032.45/2038.06 c #Conflicts: 540000 | #Constraints: 40698
2032.45/2038.06 c #Conflicts: 541000 | #Constraints: 41698
2032.45/2038.06 c #Conflicts: 542000 | #Constraints: 42698
2032.45/2038.06 c #Conflicts: 543000 | #Constraints: 43698
2315.15/2321.56 c #Conflicts: 544000 | #Constraints: 44698
2315.15/2321.56 c #Conflicts: 545000 | #Constraints: 45698
2315.15/2321.56 c #Conflicts: 546000 | #Constraints: 46698
2315.15/2321.56 c #Conflicts: 547000 | #Constraints: 47698
2315.15/2321.56 c #Conflicts: 548000 | #Constraints: 48698
2315.15/2321.56 c #Conflicts: 549000 | #Constraints: 49698
2315.15/2321.56 c #Conflicts: 550000 | #Constraints: 50698
2315.15/2321.56 c #Conflicts: 551000 | #Constraints: 51698
2315.15/2321.56 c #Conflicts: 552000 | #Constraints: 52698
2315.15/2321.56 c #Conflicts: 553000 | #Constraints: 53698
2315.15/2321.56 c #Conflicts: 554000 | #Constraints: 54698
2315.15/2321.56 c INPROCESSING
2315.15/2321.56 c GARBAGE COLLECT
2315.15/2321.56 c #Conflicts: 555000 | #Constraints: 29554
2315.15/2321.56 c #Conflicts: 556000 | #Constraints: 30554
2315.15/2321.56 c #Conflicts: 557000 | #Constraints: 31554
2315.15/2321.56 c #Conflicts: 558000 | #Constraints: 32554
2315.15/2321.56 c #Conflicts: 559000 | #Constraints: 33554
2315.15/2321.56 c #Conflicts: 560000 | #Constraints: 34554
2315.15/2321.56 c #Conflicts: 561000 | #Constraints: 35554
2315.15/2321.56 c #Conflicts: 562000 | #Constraints: 36554
2315.15/2321.56 c #Conflicts: 563000 | #Constraints: 37554
2315.15/2321.56 c #Conflicts: 564000 | #Constraints: 38554
2315.15/2321.56 c #Conflicts: 565000 | #Constraints: 39554
2315.15/2321.56 c #Conflicts: 566000 | #Constraints: 40554
2315.15/2321.56 c #Conflicts: 567000 | #Constraints: 41554
2315.15/2321.56 c #Conflicts: 568000 | #Constraints: 42554
2315.15/2321.56 c #Conflicts: 569000 | #Constraints: 43554
2315.15/2321.56 c #Conflicts: 570000 | #Constraints: 44554
2315.15/2321.56 c #Conflicts: 571000 | #Constraints: 45554
2315.15/2321.56 c INPROCESSING
2315.15/2321.56 c GARBAGE COLLECT
2315.15/2321.56 c #Conflicts: 572000 | #Constraints: 24909
2315.15/2321.56 c #Conflicts: 573000 | #Constraints: 25909
2315.15/2321.56 c #Conflicts: 574000 | #Constraints: 26909
2315.15/2321.56 c #Conflicts: 575000 | #Constraints: 27909
2315.15/2321.56 c #Conflicts: 576000 | #Constraints: 28909
2315.15/2321.56 c #Conflicts: 577000 | #Constraints: 29909
2315.15/2321.56 c #Conflicts: 578000 | #Constraints: 30909
2315.15/2321.56 c #Conflicts: 579000 | #Constraints: 31909
2315.15/2321.56 c #Conflicts: 580000 | #Constraints: 32909
2315.15/2321.56 c #Conflicts: 581000 | #Constraints: 33909
2315.15/2321.56 c #Conflicts: 582000 | #Constraints: 34909
2315.15/2321.56 c #Conflicts: 583000 | #Constraints: 35909
2315.15/2321.56 c #Conflicts: 584000 | #Constraints: 36909
2315.15/2321.56 c #Conflicts: 585000 | #Constraints: 37909
2315.15/2321.56 c #Conflicts: 586000 | #Constraints: 38909
2315.15/2321.56 c #Conflicts: 587000 | #Constraints: 39909
2315.15/2321.56 c #Conflicts: 588000 | #Constraints: 40909
2315.15/2321.56 c INPROCESSING
2315.15/2321.56 c GARBAGE COLLECT
2315.15/2321.56 c #Conflicts: 589000 | #Constraints: 22388
2315.15/2321.56 c #Conflicts: 590000 | #Constraints: 23388
2315.15/2321.56 c #Conflicts: 591000 | #Constraints: 24388
2315.15/2321.56 c #Conflicts: 592000 | #Constraints: 25388
2315.15/2321.56 c #Conflicts: 593000 | #Constraints: 26388
2315.15/2321.56 c #Conflicts: 594000 | #Constraints: 27388
2315.15/2321.56 c #Conflicts: 595000 | #Constraints: 28388
2315.15/2321.56 c #Conflicts: 596000 | #Constraints: 29388
2315.15/2321.56 c #Conflicts: 597000 | #Constraints: 30388
2315.15/2321.56 c #Conflicts: 598000 | #Constraints: 31388
2315.15/2321.56 c #Conflicts: 599000 | #Constraints: 32388
2315.15/2321.56 c #Conflicts: 600000 | #Constraints: 33388
2315.15/2321.56 c #Conflicts: 601000 | #Constraints: 34388
2315.15/2321.56 c #Conflicts: 602000 | #Constraints: 35388
2315.15/2321.56 c #Conflicts: 603000 | #Constraints: 36388
2315.15/2321.56 c #Conflicts: 604000 | #Constraints: 37388
2315.15/2321.56 c #Conflicts: 605000 | #Constraints: 38388
2315.15/2321.56 c #Conflicts: 606000 | #Constraints: 39388
2315.15/2321.56 c INPROCESSING
2315.15/2321.56 c GARBAGE COLLECT
2315.15/2321.56 c #Conflicts: 607000 | #Constraints: 21917
2315.15/2321.56 c #Conflicts: 608000 | #Constraints: 22917
2315.15/2321.56 c #Conflicts: 609000 | #Constraints: 23917
2315.15/2321.56 c #Conflicts: 610000 | #Constraints: 24917
2315.15/2321.56 c #Conflicts: 611000 | #Constraints: 25917
2315.15/2321.56 c #Conflicts: 612000 | #Constraints: 26917
2315.15/2321.56 c #Conflicts: 613000 | #Constraints: 27917
2315.15/2321.56 c #Conflicts: 614000 | #Constraints: 28917
2315.15/2321.56 c #Conflicts: 615000 | #Constraints: 29917
2315.15/2321.56 c #Conflicts: 616000 | #Constraints: 30917
2315.15/2321.56 c #Conflicts: 617000 | #Constraints: 31917
2315.15/2321.56 c #Conflicts: 618000 | #Constraints: 32917
2315.15/2321.56 c #Conflicts: 619000 | #Constraints: 33917
2315.15/2321.56 c #Conflicts: 620000 | #Constraints: 34917
2913.72/2921.89 c #Conflicts: 621000 | #Constraints: 35917
2913.72/2921.89 c #Conflicts: 622000 | #Constraints: 36917
2913.72/2921.89 c #Conflicts: 623000 | #Constraints: 37917
2913.72/2921.89 c #Conflicts: 624000 | #Constraints: 38917
2913.72/2921.89 c #Conflicts: 625000 | #Constraints: 39917
2913.72/2921.89 c #Conflicts: 626000 | #Constraints: 40917
2913.72/2921.89 c #Conflicts: 627000 | #Constraints: 41917
2913.72/2921.89 c #Conflicts: 628000 | #Constraints: 42917
2913.72/2921.89 c #Conflicts: 629000 | #Constraints: 43917
2913.72/2921.89 c #Conflicts: 630000 | #Constraints: 44917
2913.72/2921.89 c #Conflicts: 631000 | #Constraints: 45917
2913.72/2921.89 c #Conflicts: 632000 | #Constraints: 46917
2913.72/2921.89 c #Conflicts: 633000 | #Constraints: 47917
2913.72/2921.89 c #Conflicts: 634000 | #Constraints: 48917
2913.72/2921.89 c #Conflicts: 635000 | #Constraints: 49917
2913.72/2921.89 c #Conflicts: 636000 | #Constraints: 50917
2913.72/2921.89 c #Conflicts: 637000 | #Constraints: 51917
2913.72/2921.89 c #Conflicts: 638000 | #Constraints: 52917
2913.72/2921.89 c #Conflicts: 639000 | #Constraints: 53917
2913.72/2921.89 c #Conflicts: 640000 | #Constraints: 54917
2913.72/2921.89 c #Conflicts: 641000 | #Constraints: 55917
2913.72/2921.89 c #Conflicts: 642000 | #Constraints: 56917
2913.72/2921.89 c #Conflicts: 643000 | #Constraints: 57917
2913.72/2921.89 c #Conflicts: 644000 | #Constraints: 58917
2913.72/2921.89 c #Conflicts: 645000 | #Constraints: 59917
2913.72/2921.89 c #Conflicts: 646000 | #Constraints: 60917
2913.72/2921.89 c #Conflicts: 647000 | #Constraints: 61917
2913.72/2921.89 c #Conflicts: 648000 | #Constraints: 62917
2913.72/2921.89 c #Conflicts: 649000 | #Constraints: 63917
2913.72/2921.89 c #Conflicts: 650000 | #Constraints: 64917
2913.72/2921.89 c #Conflicts: 651000 | #Constraints: 65917
2913.72/2921.89 c #Conflicts: 652000 | #Constraints: 66917
2913.72/2921.89 c #Conflicts: 653000 | #Constraints: 67917
2913.72/2921.89 c #Conflicts: 654000 | #Constraints: 68917
2913.72/2921.89 c #Conflicts: 655000 | #Constraints: 69917
2913.72/2921.89 c #Conflicts: 656000 | #Constraints: 70917
2913.72/2921.89 c #Conflicts: 657000 | #Constraints: 71917
2913.72/2921.89 c #Conflicts: 658000 | #Constraints: 72917
2913.72/2921.89 c #Conflicts: 659000 | #Constraints: 73917
2913.72/2921.89 c #Conflicts: 660000 | #Constraints: 74917
2913.72/2921.89 c #Conflicts: 661000 | #Constraints: 75917
2913.72/2921.89 c #Conflicts: 662000 | #Constraints: 76917
2913.72/2921.89 c #Conflicts: 663000 | #Constraints: 77917
2913.72/2921.89 c #Conflicts: 664000 | #Constraints: 78917
2913.72/2921.89 c #Conflicts: 665000 | #Constraints: 79917
2913.72/2921.89 c #Conflicts: 666000 | #Constraints: 80917
2913.72/2921.89 c #Conflicts: 667000 | #Constraints: 81917
2913.72/2921.89 c INPROCESSING
2913.72/2921.89 c GARBAGE COLLECT
2913.72/2921.89 c #Conflicts: 668000 | #Constraints: 43210
2913.72/2921.89 c #Conflicts: 669000 | #Constraints: 44210
2913.72/2921.89 c #Conflicts: 670000 | #Constraints: 45210
2913.72/2921.89 c #Conflicts: 671000 | #Constraints: 46210
2913.72/2921.89 c #Conflicts: 672000 | #Constraints: 47210
2913.72/2921.89 c #Conflicts: 673000 | #Constraints: 48210
2913.72/2921.89 c #Conflicts: 674000 | #Constraints: 49210
2913.72/2921.89 c #Conflicts: 675000 | #Constraints: 50210
2913.72/2921.89 c #Conflicts: 676000 | #Constraints: 51210
2913.72/2921.89 c #Conflicts: 677000 | #Constraints: 52210
2913.72/2921.89 c #Conflicts: 678000 | #Constraints: 53210
2913.72/2921.89 c #Conflicts: 679000 | #Constraints: 54210
2913.72/2921.89 c #Conflicts: 680000 | #Constraints: 55210
2913.72/2921.89 c #Conflicts: 681000 | #Constraints: 56210
2913.72/2921.89 c #Conflicts: 682000 | #Constraints: 57210
2913.72/2921.89 c #Conflicts: 683000 | #Constraints: 58210
2913.72/2921.89 c #Conflicts: 684000 | #Constraints: 59210
2913.72/2921.89 c #Conflicts: 685000 | #Constraints: 60210
2913.72/2921.89 c #Conflicts: 686000 | #Constraints: 61210
2913.72/2921.89 c INPROCESSING
2913.72/2921.89 c GARBAGE COLLECT
2913.72/2921.89 c #Conflicts: 687000 | #Constraints: 32998
2913.72/2921.89 c #Conflicts: 688000 | #Constraints: 33998
2913.72/2921.89 c #Conflicts: 689000 | #Constraints: 34998
2913.72/2921.89 c #Conflicts: 690000 | #Constraints: 35998
2913.72/2921.89 c #Conflicts: 691000 | #Constraints: 36998
2913.72/2921.89 c #Conflicts: 692000 | #Constraints: 37998
2913.72/2921.89 c #Conflicts: 693000 | #Constraints: 38998
2913.72/2921.89 c #Conflicts: 694000 | #Constraints: 39998
2913.72/2921.89 c #Conflicts: 695000 | #Constraints: 40998
2913.72/2921.89 c #Conflicts: 696000 | #Constraints: 41998
2913.72/2921.89 c #Conflicts: 697000 | #Constraints: 42998
3250.74/3259.84 c #Conflicts: 698000 | #Constraints: 43998
3250.74/3259.84 c #Conflicts: 699000 | #Constraints: 44998
3250.74/3259.84 c #Conflicts: 700000 | #Constraints: 45998
3250.74/3259.84 c #Conflicts: 701000 | #Constraints: 46998
3250.74/3259.84 c #Conflicts: 702000 | #Constraints: 47998
3250.74/3259.84 c #Conflicts: 703000 | #Constraints: 48998
3250.74/3259.84 c #Conflicts: 704000 | #Constraints: 49998
3250.74/3259.84 c #Conflicts: 705000 | #Constraints: 50998
3250.74/3259.84 c INPROCESSING
3250.74/3259.84 c GARBAGE COLLECT
3250.74/3259.84 c #Conflicts: 706000 | #Constraints: 27868
3250.74/3259.84 c #Conflicts: 707000 | #Constraints: 28868
3250.74/3259.84 c #Conflicts: 708000 | #Constraints: 29868
3250.74/3259.84 c #Conflicts: 709000 | #Constraints: 30868
3250.74/3259.84 c #Conflicts: 710000 | #Constraints: 31868
3250.74/3259.84 c #Conflicts: 711000 | #Constraints: 32868
3250.74/3259.84 c #Conflicts: 712000 | #Constraints: 33868
3250.74/3259.84 c #Conflicts: 713000 | #Constraints: 34868
3250.74/3259.84 c #Conflicts: 714000 | #Constraints: 35868
3250.74/3259.84 c #Conflicts: 715000 | #Constraints: 36868
3250.74/3259.84 c #Conflicts: 716000 | #Constraints: 37868
3250.74/3259.84 c #Conflicts: 717000 | #Constraints: 38868
3250.74/3259.84 c #Conflicts: 718000 | #Constraints: 39868
3250.74/3259.84 c #Conflicts: 719000 | #Constraints: 40868
3250.74/3259.84 c #Conflicts: 720000 | #Constraints: 41868
3250.74/3259.84 c #Conflicts: 721000 | #Constraints: 42868
3250.74/3259.84 c #Conflicts: 722000 | #Constraints: 43868
3250.74/3259.84 c #Conflicts: 723000 | #Constraints: 44868
3250.74/3259.84 c #Conflicts: 724000 | #Constraints: 45868
3250.74/3259.84 c INPROCESSING
3250.74/3259.84 c GARBAGE COLLECT
3250.74/3259.84 c #Conflicts: 725000 | #Constraints: 25199
3250.74/3259.84 c #Conflicts: 726000 | #Constraints: 26199
3250.74/3259.84 c #Conflicts: 727000 | #Constraints: 27199
3250.74/3259.84 c #Conflicts: 728000 | #Constraints: 28199
3250.74/3259.84 c #Conflicts: 729000 | #Constraints: 29199
3250.74/3259.84 c #Conflicts: 730000 | #Constraints: 30199
3250.74/3259.84 c #Conflicts: 731000 | #Constraints: 31199
3250.74/3259.84 c #Conflicts: 732000 | #Constraints: 32199
3250.74/3259.84 c #Conflicts: 733000 | #Constraints: 33199
3250.74/3259.84 c #Conflicts: 734000 | #Constraints: 34199
3250.74/3259.84 c #Conflicts: 735000 | #Constraints: 35199
3250.74/3259.84 c #Conflicts: 736000 | #Constraints: 36199
3250.74/3259.84 c #Conflicts: 737000 | #Constraints: 37199
3250.74/3259.84 c #Conflicts: 738000 | #Constraints: 38199
3250.74/3259.84 c #Conflicts: 739000 | #Constraints: 39199
3250.74/3259.84 c #Conflicts: 740000 | #Constraints: 40199
3250.74/3259.84 c #Conflicts: 741000 | #Constraints: 41199
3250.74/3259.84 c #Conflicts: 742000 | #Constraints: 42199
3250.74/3259.84 c #Conflicts: 743000 | #Constraints: 43199
3250.74/3259.84 c INPROCESSING
3250.74/3259.84 c GARBAGE COLLECT
3250.74/3259.84 c #Conflicts: 744000 | #Constraints: 23666
3250.74/3259.84 c #Conflicts: 745000 | #Constraints: 24666
3250.74/3259.84 c #Conflicts: 746000 | #Constraints: 25666
3250.74/3259.84 c #Conflicts: 747000 | #Constraints: 26666
3250.74/3259.84 c #Conflicts: 748000 | #Constraints: 27666
3250.74/3259.84 c #Conflicts: 749000 | #Constraints: 28666
3250.74/3259.84 c #Conflicts: 750000 | #Constraints: 29666
3250.74/3259.84 c #Conflicts: 751000 | #Constraints: 30666
3250.74/3259.84 c #Conflicts: 752000 | #Constraints: 31666
3250.74/3259.84 c #Conflicts: 753000 | #Constraints: 32666
3250.74/3259.84 c #Conflicts: 754000 | #Constraints: 33666
3250.74/3259.84 c #Conflicts: 755000 | #Constraints: 34666
3250.74/3259.84 c #Conflicts: 756000 | #Constraints: 35666
3250.74/3259.84 c #Conflicts: 757000 | #Constraints: 36666
3250.74/3259.84 c #Conflicts: 758000 | #Constraints: 37666
3250.74/3259.84 c #Conflicts: 759000 | #Constraints: 38666
3250.74/3259.84 c #Conflicts: 760000 | #Constraints: 39666
3250.74/3259.84 c #Conflicts: 761000 | #Constraints: 40666
3250.74/3259.84 c #Conflicts: 762000 | #Constraints: 41666
3250.74/3259.84 c #Conflicts: 763000 | #Constraints: 42666
3250.74/3259.84 c #Conflicts: 764000 | #Constraints: 43666
3250.74/3259.84 c #Conflicts: 765000 | #Constraints: 44666
3250.74/3259.84 c #Conflicts: 766000 | #Constraints: 45666
3250.74/3259.84 c #Conflicts: 767000 | #Constraints: 46666
3250.74/3259.84 c #Conflicts: 768000 | #Constraints: 47666
3250.74/3259.84 c #Conflicts: 769000 | #Constraints: 48666
3250.74/3259.84 c #Conflicts: 770000 | #Constraints: 49666
3250.74/3259.84 c #Conflicts: 771000 | #Constraints: 50666
3250.74/3259.84 c #Conflicts: 772000 | #Constraints: 51666
3250.74/3259.84 c #Conflicts: 773000 | #Constraints: 52666
3250.74/3259.84 c #Conflicts: 774000 | #Constraints: 53666
3600.01/3610.10 c #Conflicts: 775000 | #Constraints: 54666
3600.01/3610.10 c #Conflicts: 776000 | #Constraints: 55666
3600.01/3610.10 c #Conflicts: 777000 | #Constraints: 56666
3600.01/3610.10 c #Conflicts: 778000 | #Constraints: 57666
3600.01/3610.10 c #Conflicts: 779000 | #Constraints: 58666
3600.01/3610.10 c #Conflicts: 780000 | #Constraints: 59666
3600.01/3610.10 c #Conflicts: 781000 | #Constraints: 60666
3600.01/3610.10 c #Conflicts: 782000 | #Constraints: 61666
3600.01/3610.10 c #Conflicts: 783000 | #Constraints: 62666
3600.01/3610.10 c #Conflicts: 784000 | #Constraints: 63666
3600.01/3610.10 c #Conflicts: 785000 | #Constraints: 64666
3600.01/3610.10 c #Conflicts: 786000 | #Constraints: 65666
3600.01/3610.10 c #Conflicts: 787000 | #Constraints: 66666
3600.01/3610.10 c #Conflicts: 788000 | #Constraints: 67666
3600.01/3610.10 c #Conflicts: 789000 | #Constraints: 68666
3600.01/3610.10 c #Conflicts: 790000 | #Constraints: 69666
3600.01/3610.10 c #Conflicts: 791000 | #Constraints: 70666
3600.01/3610.10 c #Conflicts: 792000 | #Constraints: 71666
3600.01/3610.10 c #Conflicts: 793000 | #Constraints: 72666
3600.01/3610.10 c #Conflicts: 794000 | #Constraints: 73666
3600.01/3610.10 c #Conflicts: 795000 | #Constraints: 74666
3600.01/3610.10 c #Conflicts: 796000 | #Constraints: 75666
3600.01/3610.10 c #Conflicts: 797000 | #Constraints: 76666
3600.01/3610.10 c #Conflicts: 798000 | #Constraints: 77666
3600.01/3610.10 c #Conflicts: 799000 | #Constraints: 78666
3600.01/3610.10 c #Conflicts: 800000 | #Constraints: 79666
3600.01/3610.10 c #Conflicts: 801000 | #Constraints: 80666
3600.01/3610.10 c #Conflicts: 802000 | #Constraints: 81666
3600.01/3610.10 c #Conflicts: 803000 | #Constraints: 82666
3600.01/3610.10 c #Conflicts: 804000 | #Constraints: 83666
3600.01/3610.10 c Program interrupted by user.
3600.01/3610.10 c cpu time 3591.59 s
3600.01/3610.10 c deterministic time 381827741878 3.82e+11
3600.01/3610.10 c optimization time 497.393 s
3600.01/3610.10 c total solve time 2794.91 s
3600.01/3610.10 c core-guided solve time 2794.91 s
3600.01/3610.10 c propagation time 2806.64 s
3600.01/3610.10 c conflict analysis time 464.851 s
3600.01/3610.10 c propagations 294548582
3600.01/3610.10 c resolve steps 24031385
3600.01/3610.10 c decisions 5158608
3600.01/3610.10 c conflicts 804720
3600.01/3610.10 c restarts 1723
3600.01/3610.10 c inprocessing phases 52
3600.01/3610.10 c input clauses 1999
3600.01/3610.10 c input cardinalities 302
3600.01/3610.10 c input general constraints 64
3600.01/3610.10 c input average constraint length 13.35
3600.01/3610.10 c input average constraint degree 5.21
3600.01/3610.10 c learned clauses 390441
3600.01/3610.10 c learned cardinalities 15779
3600.01/3610.10 c learned general constraints 398500
3600.01/3610.10 c learned average constraint length 277.97
3600.01/3610.10 c learned average constraint degree 4879121.05
3600.01/3610.10 c watched constraints 326783
3600.01/3610.10 c counting constraints 71781
3600.01/3610.10 c gcd simplifications 3524
3600.01/3610.10 c detected cardinalities 68
3600.01/3610.10 c weakened non-implied lits 59346359
3600.01/3610.10 c weakened non-implying lits 85285
3600.01/3610.10 c original variables 1835
3600.01/3610.10 c clausal propagations 92079624
3600.01/3610.10 c cardinality propagations 128260968
3600.01/3610.10 c watched propagations 19214312
3600.01/3610.10 c counting propagations 54045122
3600.01/3610.10 c watch lookups 53904912649
3600.01/3610.10 c watch backjump lookups 44991263144
3600.01/3610.10 c watch checks 268121083545
3600.01/3610.10 c propagation checks 13293067447
3600.01/3610.10 c constraint additions 917196539
3600.01/3610.10 c trail pops 300511363
3600.01/3610.10 c formula constraints 2149
3600.01/3610.10 c learned constraints 804720
3600.01/3610.10 c bound constraints 21
3600.01/3610.10 c core-guided constraints 195
3600.01/3610.10 c encountered formula constraints 9685881
3600.01/3610.10 c encountered learned constraints 15134628
3600.01/3610.10 c encountered bound constraints 1921
3600.01/3610.10 c encountered core-guided constraints 13675
3600.01/3610.10 c LP total time 0 s
3600.01/3610.10 c LP solve time 0 s
3600.01/3610.10 c LP constraints added 0
3600.01/3610.10 c LP constraints removed 0
3600.01/3610.10 c LP pivots internal 0
3600.01/3610.10 c LP pivots root 0
3600.01/3610.10 c LP calls 0
3600.01/3610.10 c LP optimalities 0
3600.01/3610.10 c LP no pivot count 0
3600.01/3610.10 c LP infeasibilities 0
3600.01/3610.10 c LP valid Farkas constraints 0
3600.01/3610.10 c LP learned Farkas constraints 0
3600.01/3610.10 c LP basis resets 0
3600.01/3610.10 c LP cycling count 0
3600.01/3610.10 c LP singular count 0
3600.01/3610.10 c LP no primal count 0
3600.01/3610.10 c LP no farkas count 0
3600.01/3610.10 c LP other issue count 0
3600.01/3610.10 c LP Gomory cuts 0
3600.01/3610.10 c LP learned cuts 0
3600.01/3610.10 c LP deleted cuts 0
3600.01/3610.10 c LP encountered Gomory constraints 0
3600.01/3610.10 c LP encountered Farkas constraints 0
3600.01/3610.10 c LP encountered learned Farkas constraints 0
3600.01/3610.10 c CG auxiliary variables introduced 69
3600.01/3610.10 c CG solutions found 1
3600.01/3610.10 c CG cores constructed 18
3600.01/3610.10 c CG core cardinality constraints returned 0
3600.01/3610.10 c CG unit cores 0
3600.01/3610.10 c CG single cores 18
3600.01/3610.10 c CG blocks removed during cardinality reduction 0
3600.01/3610.10 c CG first core best 0
3600.01/3610.10 c CG decision core best 0
3600.01/3610.10 c CG core reduction tie 0
3600.01/3610.10 c CG core degree average 1.00
3600.01/3610.10 c CG core slack average 8.50
3600.01/3610.10 c CG exhausted 9
3600.01/3610.10 c CG exhaust time 2.6327 s
3600.01/3610.10 c CG trimmed 3
3600.01/3610.10 c CG trim time 0.002126 s
3600.01/3610.10 c CG minimized 0
3600.01/3610.10 c CG minimize time 0 s
3600.01/3610.10 c CG am1 prop time 0.000718 s
3600.01/3610.10 c CG # am1s reformulated 0
3600.01/3610.10 c CG lower bound derived from am1s 0
3600.01/3610.10 c CG # clausal cores 17
3600.01/3610.10 c CG # cardinality cores 0
3600.01/3610.10 c CG # pb cores 1
3600.01/3610.10 c CG # pb reforms 0
3600.01/3610.10 c CG # cores discarded because of pb reform 0
3600.01/3610.10 d LOWERBOUND -93
3600.01/3610.10 d NCORES 18
3600.01/3610.10 d NPBCORES 1
3600.01/3610.10 d NPBREFORM 0
3600.01/3610.10 d NTRIMMED 3
3600.01/3610.10 d NEXHAUSTED 9
3600.01/3610.10 d NAM1S 0
3600.01/3610.10 d AM1LB 0
3600.01/3610.10 c [Papilo Statistics]
3600.01/3610.10 c prepro time 0.00635571s
3600.01/3610.10 c # tsx applied 0
3600.01/3610.10 c # tsx conflicts 0
3600.01/3610.10 c # bound changes 0
3600.01/3610.10 c # side changes 0
3600.01/3610.10 c # coef changes 0
3600.01/3610.10 c # rounds 1
3600.01/3610.10 c # deted vars 0
3600.01/3610.10 c # deted constrs 0
3600.01/3610.10 c # consecutive rounds of only bound changes 0
3600.01/3610.10 c [STEP] postprocessing with Papilo
3600.01/3610.10 o -24
3600.01/3610.10 s SATISFIABLE
3600.01/3610.10 v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835
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 (52215 MiB free)
memory of node 1: 64507 MiB (62837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529117-1752260127/watcher-4529117-1752260127 -o /tmp/evaluation-result-4529117-1752260127/solver-4529117-1752260127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133554 --watchdog 3760 mixed-bag HOME/instance-4529117-1752260127.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=134210, runsolver pid=134207
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117798092/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=114396 memory=41312 CPUtime=0.09 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 7074 0 0 0 8 1 0 0 20 0 1 0 141692993 117141504 10328 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 28599 10328 4096 2834 0 10804 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114396 KiB
Current children cumulated memory: 41312 KiB
[startup+0.205486 s]*
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117774404/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=139296 memory=61480 CPUtime=0.19 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 12344 0 0 0 17 2 0 0 20 0 1 0 141692993 142639104 15370 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 34824 15370 4320 2834 0 17029 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139296 KiB
Current children cumulated memory: 61480 KiB
[startup+0.305398 s]*
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117774404/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=139760 memory=61992 CPUtime=0.29 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 12483 0 0 0 27 2 0 0 20 0 1 0 141692993 143114240 15498 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 34940 15498 4320 2834 0 17145 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 139760 KiB
Current children cumulated memory: 61992 KiB
[startup+0.70011 s]
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117774404/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=140632 memory=62888 CPUtime=0.68 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 12703 0 0 0 66 2 0 0 20 0 1 0 141692993 144007168 15722 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 35158 15722 4320 2834 0 17363 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140632 KiB
Current children cumulated memory: 62888 KiB
[startup+1.50019 s]
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117774512/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=141124 memory=63144 CPUtime=1.48 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 12773 0 0 0 146 2 0 0 20 0 1 0 141692993 144510976 15786 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 35281 15786 4320 2834 0 17486 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 63144 KiB
[startup+3.10528 s]
/proc/loadavg: 4.17 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117726844/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=168104 memory=88836 CPUtime=3.08 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 21004 0 0 0 305 3 0 0 20 0 1 0 141692993 172138496 22209 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 42026 22209 4352 2834 0 24231 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 168104 KiB
Current children cumulated memory: 88836 KiB
[startup+6.30012 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 134211
/proc/meminfo: memFree=117670396/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=168104 memory=89348 CPUtime=6.26 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 21106 0 0 0 623 3 0 0 20 0 1 0 141692993 172138496 22337 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 42026 22337 4352 2834 0 24231 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 168104 KiB
Current children cumulated memory: 89348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 134225
/proc/meminfo: memFree=117911588/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=176916 memory=99204 CPUtime=12.65 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 23567 0 0 0 1261 4 0 0 20 0 1 0 141692993 181161984 24801 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 44229 24801 4352 2834 0 26434 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 176916 KiB
Current children cumulated memory: 99204 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 134257
/proc/meminfo: memFree=117806780/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=195968 memory=116356 CPUtime=25.41 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 27867 0 0 0 2537 4 0 0 20 0 1 0 141692993 200671232 29089 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 48992 29089 4352 2834 0 31197 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 195968 KiB
Current children cumulated memory: 116356 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 134257
/proc/meminfo: memFree=117753440/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=195968 memory=116356 CPUtime=50.95 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 27869 0 0 0 5091 4 0 0 20 0 1 0 141692993 200671232 29089 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 48992 29089 4352 2834 0 31197 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 195968 KiB
Current children cumulated memory: 116356 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 134259
/proc/meminfo: memFree=117718628/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=211072 memory=132888 CPUtime=102.02 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 32681 0 0 0 10197 5 0 0 20 0 1 0 141692993 216137728 33222 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 52768 33222 4352 2834 0 34973 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 211072 KiB
Current children cumulated memory: 132888 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/263 134261
/proc/meminfo: memFree=117611100/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=252124 memory=173464 CPUtime=161.87 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 42832 0 0 0 16180 7 0 0 20 0 1 0 141692993 258174976 43366 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 63031 43366 4352 2834 0 45236 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 252124 KiB
Current children cumulated memory: 173464 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 134263
/proc/meminfo: memFree=117458704/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=305316 memory=227132 CPUtime=221.71 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 58510 0 0 0 22162 9 0 0 20 0 1 0 141692993 312643584 56783 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 76329 56783 4352 2834 0 58534 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 305316 KiB
Current children cumulated memory: 227132 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/262 134267
/proc/meminfo: memFree=117460348/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=303436 memory=225260 CPUtime=281.55 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 60794 0 0 0 28145 10 0 0 20 0 1 0 141692993 310718464 56315 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 75859 56315 4352 2834 0 58064 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 225260 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/262 134325
/proc/meminfo: memFree=114218192/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=309868 memory=236176 CPUtime=341.41 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 64026 0 0 0 34072 69 0 0 20 0 1 0 141692993 317304832 59044 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 77467 59044 4512 2834 0 59672 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 309868 KiB
Current children cumulated memory: 236176 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/262 134327
/proc/meminfo: memFree=114102032/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=328836 memory=254796 CPUtime=401.24 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 64599 0 0 0 40028 96 0 0 20 0 1 0 141692993 336728064 63699 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 82209 63699 4512 2834 0 64414 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 328836 KiB
Current children cumulated memory: 254796 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 134334
/proc/meminfo: memFree=114025904/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=328836 memory=254796 CPUtime=461.08 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 64599 0 0 0 45975 133 0 0 20 0 1 0 141692993 336728064 63699 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 82209 63699 4512 2834 0 64414 0
################
# More data... #
################
Current children cumulated memory: 345096 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 134675
/proc/meminfo: memFree=107342300/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=2914.22 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 290702 720 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 2914.22 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+2982.3 s]
/proc/loadavg: 4.41 4.22 4.13 5/263 134677
/proc/meminfo: memFree=107267024/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=2974.04 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 296672 732 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/263 134679
/proc/meminfo: memFree=107244096/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3033.88 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 302641 747 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/263 134725
/proc/meminfo: memFree=105603028/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3093.7 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 308605 765 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 134727
/proc/meminfo: memFree=104910056/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3153.53 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 314569 784 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 134730
/proc/meminfo: memFree=104912464/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3213.35 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 320540 795 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 134732
/proc/meminfo: memFree=104919132/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3273.17 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 326513 804 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 134737
/proc/meminfo: memFree=104790480/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3332.99 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 332486 813 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/265 134739
/proc/meminfo: memFree=104732592/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3392.82 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65608 0 0 0 338462 820 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 134741
/proc/meminfo: memFree=104671972/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3452.65 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65622 0 0 0 344439 826 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 134743
/proc/meminfo: memFree=104522000/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=345096 CPUtime=3512.47 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65627 0 0 0 350414 833 0 0 20 0 1 0 141692993 419577856 86274 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86274 4512 2834 0 84641 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 345096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 134749
/proc/meminfo: memFree=104517004/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=409744 memory=347144 CPUtime=3572.29 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65631 0 0 0 356389 840 0 0 20 0 1 0 141692993 419577856 86786 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 102436 86786 4512 2834 0 84641 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 409744 KiB
Current children cumulated memory: 347144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 134782
/proc/meminfo: memFree=105982868/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=491132 memory=349576 CPUtime=3600.01 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65730 0 0 0 359159 842 0 0 20 0 1 0 141692993 502919168 87394 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 122783 87394 4512 2834 0 104988 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 491132 KiB
Current children cumulated memory: 349576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 134210 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.6 s, system=8.42976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 134782
/proc/meminfo: memFree=105982868/131250000 swapFree=33008868/33010684
[pid=134210] ppid=134207 vsize=491132 memory=349576 CPUtime=3600.01 cores=5,7
/proc/134210/stat : 134210 (mixed-bag) R 134207 134210 133541 0 -1 4194304 65730 0 0 0 359159 842 0 0 20 0 1 0 141692993 502919168 87394 18446744073709551615 4235264 15840557 140727354354336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 36638720 140727354362266 140727354362343 140727354362343 140727354367947 0
/proc/134210/statm: 122783 87394 4512 2834 0 104988 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 491132 KiB
Current children cumulated memory: 349576 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.03
CPU user time (s): 3591.6
CPU system time (s): 8.42976
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 491132
Max. memory (cumulated for all children) (KiB): 349576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.6
system time used= 8.42976
maximum resident set size= 350088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65759
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= 153
involuntary context switches= 1199
# summary of solver processes directly reported to runsolver:
# pid: 134210
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.6
# total CPU system time (s): 8.42976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66494 second user time and 15.9326 second system time
The end
Begin job on nodeC013 at 2025-07-11 20:55:27
IDJOB=4529117
IDBENCH=155330
IDSOLVER=3386
FILE ID=nodeC013/4529117-1752260127
RUNJOBID= nodeC013-1752256208-133554
SLURM_JOB_ID= 9682595
Free space on /tmp= 432200 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529117-1752260127/watcher-4529117-1752260127 -o /tmp/evaluation-result-4529117-1752260127/solver-4529117-1752260127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133554 --watchdog 3760 mixed-bag HOME/instance-4529117-1752260127.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=1277837475
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.834
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3692.035
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.037
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3657.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.105
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117813632 kB
MemAvailable: 128974784 kB
Buffers: 1668 kB
Cached: 11907424 kB
SwapCached: 160 kB
Active: 1195616 kB
Inactive: 11464988 kB
Active(anon): 767956 kB
Inactive(anon): 4868 kB
Active(file): 427660 kB
Inactive(file): 11460120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31804 kB
Writeback: 0 kB
AnonPages: 754536 kB
Mapped: 136256 kB
Shmem: 21308 kB
KReclaimable: 224820 kB
Slab: 319044 kB
SReclaimable: 224820 kB
SUnreclaim: 94224 kB
KernelStack: 4256 kB
PageTables: 4804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1152452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 49152 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432148 MiB
End job on nodeC013 at 2025-07-11 21:55:38