0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.37/300.26 c [STEP] preprocessing done, loading into solver
299.37/300.29 c [STEP] solving
299.37/300.29 c #variables 6068 #constraints 21380
299.37/300.29 c SMALL=int, LARGE=long long
299.37/300.29 d SCIPUB 21
299.37/300.29 c bounds - >= 0 @ 299.34
299.37/300.29 c stratification level: 0
414.87/416.08 c bounds - >= 1 @ 299.384
414.87/416.08 c bounds - >= 2 @ 299.384
414.87/416.08 c bounds - >= 3 @ 299.385
414.87/416.08 c bounds - >= 4 @ 299.386
414.87/416.08 c bounds - >= 5 @ 299.387
414.87/416.08 c bounds - >= 6 @ 299.388
414.87/416.08 c #Conflicts: 1000 | #Constraints: 22391
414.87/416.08 c #Conflicts: 2000 | #Constraints: 23391
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 3000 | #Constraints: 23393
414.87/416.08 c #Conflicts: 4000 | #Constraints: 24393
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 5000 | #Constraints: 23805
414.87/416.08 c #Conflicts: 6000 | #Constraints: 24805
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 7000 | #Constraints: 23815
414.87/416.08 c #Conflicts: 8000 | #Constraints: 24815
414.87/416.08 c #Conflicts: 9000 | #Constraints: 25815
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 10000 | #Constraints: 24525
414.87/416.08 c #Conflicts: 11000 | #Constraints: 25525
414.87/416.08 c #Conflicts: 12000 | #Constraints: 26525
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 13000 | #Constraints: 24970
414.87/416.08 c #Conflicts: 14000 | #Constraints: 25970
414.87/416.08 c #Conflicts: 15000 | #Constraints: 26970
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 16000 | #Constraints: 25193
414.87/416.08 c #Conflicts: 17000 | #Constraints: 26193
414.87/416.08 c #Conflicts: 18000 | #Constraints: 27193
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 19000 | #Constraints: 25212
414.87/416.08 c #Conflicts: 20000 | #Constraints: 26212
414.87/416.08 c #Conflicts: 21000 | #Constraints: 27212
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 22000 | #Constraints: 25015
414.87/416.08 c #Conflicts: 23000 | #Constraints: 26015
414.87/416.08 c #Conflicts: 24000 | #Constraints: 27015
414.87/416.08 c #Conflicts: 25000 | #Constraints: 28015
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 26000 | #Constraints: 25624
414.87/416.08 c #Conflicts: 27000 | #Constraints: 26624
414.87/416.08 c #Conflicts: 28000 | #Constraints: 27624
414.87/416.08 c #Conflicts: 29000 | #Constraints: 28624
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 30000 | #Constraints: 26027
414.87/416.08 c #Conflicts: 31000 | #Constraints: 27027
414.87/416.08 c #Conflicts: 32000 | #Constraints: 28027
414.87/416.08 c #Conflicts: 33000 | #Constraints: 29027
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 34000 | #Constraints: 26259
414.87/416.08 c #Conflicts: 35000 | #Constraints: 27259
414.87/416.08 c #Conflicts: 36000 | #Constraints: 28259
414.87/416.08 c #Conflicts: 37000 | #Constraints: 29259
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 38000 | #Constraints: 26241
414.87/416.08 c #Conflicts: 39000 | #Constraints: 27241
414.87/416.08 c #Conflicts: 40000 | #Constraints: 28241
414.87/416.08 c #Conflicts: 41000 | #Constraints: 29241
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 42000 | #Constraints: 26033
414.87/416.08 c #Conflicts: 43000 | #Constraints: 27033
414.87/416.08 c #Conflicts: 44000 | #Constraints: 28033
414.87/416.08 c #Conflicts: 45000 | #Constraints: 29033
414.87/416.08 c #Conflicts: 46000 | #Constraints: 30033
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 47000 | #Constraints: 26630
414.87/416.08 c #Conflicts: 48000 | #Constraints: 27630
414.87/416.08 c #Conflicts: 49000 | #Constraints: 28630
414.87/416.08 c #Conflicts: 50000 | #Constraints: 29630
414.87/416.08 c #Conflicts: 51000 | #Constraints: 30630
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 52000 | #Constraints: 27032
414.87/416.08 c #Conflicts: 53000 | #Constraints: 28032
414.87/416.08 c #Conflicts: 54000 | #Constraints: 29032
414.87/416.08 c #Conflicts: 55000 | #Constraints: 30032
414.87/416.08 c #Conflicts: 56000 | #Constraints: 31032
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 57000 | #Constraints: 27244
414.87/416.08 c #Conflicts: 58000 | #Constraints: 28244
414.87/416.08 c #Conflicts: 59000 | #Constraints: 29244
414.87/416.08 c #Conflicts: 60000 | #Constraints: 30244
414.87/416.08 c #Conflicts: 61000 | #Constraints: 31244
414.87/416.08 c INPROCESSING
414.87/416.08 c GARBAGE COLLECT
414.87/416.08 c #Conflicts: 62000 | #Constraints: 27255
414.87/416.08 c #Conflicts: 63000 | #Constraints: 28255
414.87/416.08 c #Conflicts: 64000 | #Constraints: 29255
414.87/416.08 c #Conflicts: 65000 | #Constraints: 30255
590.18/591.80 c #Conflicts: 66000 | #Constraints: 31255
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 67000 | #Constraints: 27050
590.18/591.80 c #Conflicts: 68000 | #Constraints: 28050
590.18/591.80 c #Conflicts: 69000 | #Constraints: 29050
590.18/591.80 c #Conflicts: 70000 | #Constraints: 30050
590.18/591.80 c #Conflicts: 71000 | #Constraints: 31050
590.18/591.80 c #Conflicts: 72000 | #Constraints: 32050
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 73000 | #Constraints: 27645
590.18/591.80 c #Conflicts: 74000 | #Constraints: 28645
590.18/591.80 c #Conflicts: 75000 | #Constraints: 29645
590.18/591.80 c #Conflicts: 76000 | #Constraints: 30645
590.18/591.80 c #Conflicts: 77000 | #Constraints: 31645
590.18/591.80 c #Conflicts: 78000 | #Constraints: 32645
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 79000 | #Constraints: 28050
590.18/591.80 c #Conflicts: 80000 | #Constraints: 29050
590.18/591.80 c #Conflicts: 81000 | #Constraints: 30050
590.18/591.80 c #Conflicts: 82000 | #Constraints: 31050
590.18/591.80 c #Conflicts: 83000 | #Constraints: 32050
590.18/591.80 c #Conflicts: 84000 | #Constraints: 33050
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 85000 | #Constraints: 28267
590.18/591.80 c #Conflicts: 86000 | #Constraints: 29267
590.18/591.80 c #Conflicts: 87000 | #Constraints: 30267
590.18/591.80 c #Conflicts: 88000 | #Constraints: 31267
590.18/591.80 c #Conflicts: 89000 | #Constraints: 32267
590.18/591.80 c #Conflicts: 90000 | #Constraints: 33267
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 91000 | #Constraints: 28268
590.18/591.80 c #Conflicts: 92000 | #Constraints: 29268
590.18/591.80 c #Conflicts: 93000 | #Constraints: 30268
590.18/591.80 c #Conflicts: 94000 | #Constraints: 31268
590.18/591.80 c #Conflicts: 95000 | #Constraints: 32268
590.18/591.80 c #Conflicts: 96000 | #Constraints: 33268
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 97000 | #Constraints: 28059
590.18/591.80 c #Conflicts: 98000 | #Constraints: 29059
590.18/591.80 c #Conflicts: 99000 | #Constraints: 30059
590.18/591.80 c #Conflicts: 100000 | #Constraints: 31059
590.18/591.80 c #Conflicts: 101000 | #Constraints: 32059
590.18/591.80 c #Conflicts: 102000 | #Constraints: 33059
590.18/591.80 c #Conflicts: 103000 | #Constraints: 34059
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 104000 | #Constraints: 28640
590.18/591.80 c #Conflicts: 105000 | #Constraints: 29640
590.18/591.80 c #Conflicts: 106000 | #Constraints: 30640
590.18/591.80 c #Conflicts: 107000 | #Constraints: 31640
590.18/591.80 c #Conflicts: 108000 | #Constraints: 32640
590.18/591.80 c #Conflicts: 109000 | #Constraints: 33640
590.18/591.80 c #Conflicts: 110000 | #Constraints: 34640
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 111000 | #Constraints: 29037
590.18/591.80 c #Conflicts: 112000 | #Constraints: 30037
590.18/591.80 c #Conflicts: 113000 | #Constraints: 31037
590.18/591.80 c #Conflicts: 114000 | #Constraints: 32037
590.18/591.80 c #Conflicts: 115000 | #Constraints: 33037
590.18/591.80 c #Conflicts: 116000 | #Constraints: 34037
590.18/591.80 c #Conflicts: 117000 | #Constraints: 35037
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 118000 | #Constraints: 29266
590.18/591.80 c #Conflicts: 119000 | #Constraints: 30266
590.18/591.80 c #Conflicts: 120000 | #Constraints: 31266
590.18/591.80 c #Conflicts: 121000 | #Constraints: 32266
590.18/591.80 c #Conflicts: 122000 | #Constraints: 33266
590.18/591.80 c #Conflicts: 123000 | #Constraints: 34266
590.18/591.80 c #Conflicts: 124000 | #Constraints: 35266
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 125000 | #Constraints: 29305
590.18/591.80 c #Conflicts: 126000 | #Constraints: 30305
590.18/591.80 c #Conflicts: 127000 | #Constraints: 31305
590.18/591.80 c #Conflicts: 128000 | #Constraints: 32305
590.18/591.80 c #Conflicts: 129000 | #Constraints: 33305
590.18/591.80 c #Conflicts: 130000 | #Constraints: 34305
590.18/591.80 c #Conflicts: 131000 | #Constraints: 35305
590.18/591.80 c INPROCESSING
590.18/591.80 c GARBAGE COLLECT
590.18/591.80 c #Conflicts: 132000 | #Constraints: 29103
590.18/591.80 c #Conflicts: 133000 | #Constraints: 30103
590.18/591.80 c #Conflicts: 134000 | #Constraints: 31103
590.18/591.80 c #Conflicts: 135000 | #Constraints: 32103
590.18/591.80 c #Conflicts: 136000 | #Constraints: 33103
590.18/591.80 c #Conflicts: 137000 | #Constraints: 34103
858.77/861.19 c #Conflicts: 138000 | #Constraints: 35103
858.77/861.19 c #Conflicts: 139000 | #Constraints: 36103
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 140000 | #Constraints: 29682
858.77/861.19 c #Conflicts: 141000 | #Constraints: 30682
858.77/861.19 c #Conflicts: 142000 | #Constraints: 31682
858.77/861.19 c #Conflicts: 143000 | #Constraints: 32682
858.77/861.19 c #Conflicts: 144000 | #Constraints: 33682
858.77/861.19 c #Conflicts: 145000 | #Constraints: 34682
858.77/861.19 c #Conflicts: 146000 | #Constraints: 35682
858.77/861.19 c #Conflicts: 147000 | #Constraints: 36682
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 148000 | #Constraints: 30075
858.77/861.19 c #Conflicts: 149000 | #Constraints: 31075
858.77/861.19 c #Conflicts: 150000 | #Constraints: 32075
858.77/861.19 c #Conflicts: 151000 | #Constraints: 33075
858.77/861.19 c #Conflicts: 152000 | #Constraints: 34075
858.77/861.19 c #Conflicts: 153000 | #Constraints: 35075
858.77/861.19 c #Conflicts: 154000 | #Constraints: 36075
858.77/861.19 c #Conflicts: 155000 | #Constraints: 37075
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 156000 | #Constraints: 30273
858.77/861.19 c #Conflicts: 157000 | #Constraints: 31273
858.77/861.19 c #Conflicts: 158000 | #Constraints: 32273
858.77/861.19 c #Conflicts: 159000 | #Constraints: 33273
858.77/861.19 c #Conflicts: 160000 | #Constraints: 34273
858.77/861.19 c #Conflicts: 161000 | #Constraints: 35273
858.77/861.19 c #Conflicts: 162000 | #Constraints: 36273
858.77/861.19 c #Conflicts: 163000 | #Constraints: 37273
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 164000 | #Constraints: 30288
858.77/861.19 c #Conflicts: 165000 | #Constraints: 31288
858.77/861.19 c #Conflicts: 166000 | #Constraints: 32288
858.77/861.19 c #Conflicts: 167000 | #Constraints: 33288
858.77/861.19 c #Conflicts: 168000 | #Constraints: 34288
858.77/861.19 c #Conflicts: 169000 | #Constraints: 35288
858.77/861.19 c #Conflicts: 170000 | #Constraints: 36288
858.77/861.19 c #Conflicts: 171000 | #Constraints: 37288
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 172000 | #Constraints: 30095
858.77/861.19 c #Conflicts: 173000 | #Constraints: 31095
858.77/861.19 c #Conflicts: 174000 | #Constraints: 32095
858.77/861.19 c #Conflicts: 175000 | #Constraints: 33095
858.77/861.19 c #Conflicts: 176000 | #Constraints: 34095
858.77/861.19 c #Conflicts: 177000 | #Constraints: 35095
858.77/861.19 c #Conflicts: 178000 | #Constraints: 36095
858.77/861.19 c #Conflicts: 179000 | #Constraints: 37095
858.77/861.19 c #Conflicts: 180000 | #Constraints: 38095
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 181000 | #Constraints: 30720
858.77/861.19 c #Conflicts: 182000 | #Constraints: 31720
858.77/861.19 c #Conflicts: 183000 | #Constraints: 32720
858.77/861.19 c #Conflicts: 184000 | #Constraints: 33720
858.77/861.19 c #Conflicts: 185000 | #Constraints: 34720
858.77/861.19 c #Conflicts: 186000 | #Constraints: 35720
858.77/861.19 c #Conflicts: 187000 | #Constraints: 36720
858.77/861.19 c #Conflicts: 188000 | #Constraints: 37720
858.77/861.19 c #Conflicts: 189000 | #Constraints: 38720
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 190000 | #Constraints: 31206
858.77/861.19 c #Conflicts: 191000 | #Constraints: 32206
858.77/861.19 c #Conflicts: 192000 | #Constraints: 33206
858.77/861.19 c #Conflicts: 193000 | #Constraints: 34206
858.77/861.19 c #Conflicts: 194000 | #Constraints: 35206
858.77/861.19 c #Conflicts: 195000 | #Constraints: 36206
858.77/861.19 c #Conflicts: 196000 | #Constraints: 37206
858.77/861.19 c #Conflicts: 197000 | #Constraints: 38206
858.77/861.19 c #Conflicts: 198000 | #Constraints: 39206
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 199000 | #Constraints: 31411
858.77/861.19 c #Conflicts: 200000 | #Constraints: 32411
858.77/861.19 c #Conflicts: 201000 | #Constraints: 33411
858.77/861.19 c #Conflicts: 202000 | #Constraints: 34411
858.77/861.19 c #Conflicts: 203000 | #Constraints: 35411
858.77/861.19 c #Conflicts: 204000 | #Constraints: 36411
858.77/861.19 c #Conflicts: 205000 | #Constraints: 37411
858.77/861.19 c #Conflicts: 206000 | #Constraints: 38411
858.77/861.19 c #Conflicts: 207000 | #Constraints: 39411
858.77/861.19 c INPROCESSING
858.77/861.19 c GARBAGE COLLECT
858.77/861.19 c #Conflicts: 208000 | #Constraints: 31403
858.77/861.19 c #Conflicts: 209000 | #Constraints: 32403
858.77/861.19 c #Conflicts: 210000 | #Constraints: 33403
1200.48/1203.70 c #Conflicts: 211000 | #Constraints: 34403
1200.48/1203.70 c #Conflicts: 212000 | #Constraints: 35403
1200.48/1203.70 c #Conflicts: 213000 | #Constraints: 36403
1200.48/1203.70 c #Conflicts: 214000 | #Constraints: 37403
1200.48/1203.70 c #Conflicts: 215000 | #Constraints: 38403
1200.48/1203.70 c #Conflicts: 216000 | #Constraints: 39403
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 217000 | #Constraints: 31188
1200.48/1203.70 c #Conflicts: 218000 | #Constraints: 32188
1200.48/1203.70 c #Conflicts: 219000 | #Constraints: 33188
1200.48/1203.70 c #Conflicts: 220000 | #Constraints: 34188
1200.48/1203.70 c #Conflicts: 221000 | #Constraints: 35188
1200.48/1203.70 c #Conflicts: 222000 | #Constraints: 36188
1200.48/1203.70 c #Conflicts: 223000 | #Constraints: 37188
1200.48/1203.70 c #Conflicts: 224000 | #Constraints: 38188
1200.48/1203.70 c #Conflicts: 225000 | #Constraints: 39188
1200.48/1203.70 c #Conflicts: 226000 | #Constraints: 40188
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 227000 | #Constraints: 31801
1200.48/1203.70 c #Conflicts: 228000 | #Constraints: 32801
1200.48/1203.70 c #Conflicts: 229000 | #Constraints: 33801
1200.48/1203.70 c #Conflicts: 230000 | #Constraints: 34801
1200.48/1203.70 c #Conflicts: 231000 | #Constraints: 35801
1200.48/1203.70 c #Conflicts: 232000 | #Constraints: 36801
1200.48/1203.70 c #Conflicts: 233000 | #Constraints: 37801
1200.48/1203.70 c #Conflicts: 234000 | #Constraints: 38801
1200.48/1203.70 c #Conflicts: 235000 | #Constraints: 39801
1200.48/1203.70 c #Conflicts: 236000 | #Constraints: 40801
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 237000 | #Constraints: 32179
1200.48/1203.70 c #Conflicts: 238000 | #Constraints: 33179
1200.48/1203.70 c #Conflicts: 239000 | #Constraints: 34179
1200.48/1203.70 c #Conflicts: 240000 | #Constraints: 35179
1200.48/1203.70 c #Conflicts: 241000 | #Constraints: 36179
1200.48/1203.70 c #Conflicts: 242000 | #Constraints: 37179
1200.48/1203.70 c #Conflicts: 243000 | #Constraints: 38179
1200.48/1203.70 c #Conflicts: 244000 | #Constraints: 39179
1200.48/1203.70 c #Conflicts: 245000 | #Constraints: 40179
1200.48/1203.70 c #Conflicts: 246000 | #Constraints: 41179
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 247000 | #Constraints: 32331
1200.48/1203.70 c #Conflicts: 248000 | #Constraints: 33331
1200.48/1203.70 c #Conflicts: 249000 | #Constraints: 34331
1200.48/1203.70 c #Conflicts: 250000 | #Constraints: 35331
1200.48/1203.70 c #Conflicts: 251000 | #Constraints: 36331
1200.48/1203.70 c #Conflicts: 252000 | #Constraints: 37331
1200.48/1203.70 c #Conflicts: 253000 | #Constraints: 38331
1200.48/1203.70 c #Conflicts: 254000 | #Constraints: 39331
1200.48/1203.70 c #Conflicts: 255000 | #Constraints: 40331
1200.48/1203.70 c #Conflicts: 256000 | #Constraints: 41331
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 257000 | #Constraints: 32344
1200.48/1203.70 c #Conflicts: 258000 | #Constraints: 33344
1200.48/1203.70 c #Conflicts: 259000 | #Constraints: 34344
1200.48/1203.70 c #Conflicts: 260000 | #Constraints: 35344
1200.48/1203.70 c #Conflicts: 261000 | #Constraints: 36344
1200.48/1203.70 c #Conflicts: 262000 | #Constraints: 37344
1200.48/1203.70 c #Conflicts: 263000 | #Constraints: 38344
1200.48/1203.70 c #Conflicts: 264000 | #Constraints: 39344
1200.48/1203.70 c #Conflicts: 265000 | #Constraints: 40344
1200.48/1203.70 c #Conflicts: 266000 | #Constraints: 41344
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 267000 | #Constraints: 32324
1200.48/1203.70 c #Conflicts: 268000 | #Constraints: 33324
1200.48/1203.70 c #Conflicts: 269000 | #Constraints: 34324
1200.48/1203.70 c #Conflicts: 270000 | #Constraints: 35324
1200.48/1203.70 c #Conflicts: 271000 | #Constraints: 36324
1200.48/1203.70 c #Conflicts: 272000 | #Constraints: 37324
1200.48/1203.70 c #Conflicts: 273000 | #Constraints: 38324
1200.48/1203.70 c #Conflicts: 274000 | #Constraints: 39324
1200.48/1203.70 c #Conflicts: 275000 | #Constraints: 40324
1200.48/1203.70 c #Conflicts: 276000 | #Constraints: 41324
1200.48/1203.70 c #Conflicts: 277000 | #Constraints: 42324
1200.48/1203.70 c INPROCESSING
1200.48/1203.70 c GARBAGE COLLECT
1200.48/1203.70 c #Conflicts: 278000 | #Constraints: 32987
1200.48/1203.70 c #Conflicts: 279000 | #Constraints: 33987
1200.48/1203.70 c #Conflicts: 280000 | #Constraints: 34987
1200.48/1203.70 c #Conflicts: 281000 | #Constraints: 35987
1200.48/1203.70 c #Conflicts: 282000 | #Constraints: 36987
1200.48/1203.70 c #Conflicts: 283000 | #Constraints: 37987
1200.48/1203.70 c #Conflicts: 284000 | #Constraints: 38987
1200.48/1203.70 c #Conflicts: 285000 | #Constraints: 39987
1591.97/1596.31 c #Conflicts: 286000 | #Constraints: 40987
1591.97/1596.31 c #Conflicts: 287000 | #Constraints: 41987
1591.97/1596.31 c #Conflicts: 288000 | #Constraints: 42987
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 289000 | #Constraints: 33233
1591.97/1596.31 c #Conflicts: 290000 | #Constraints: 34233
1591.97/1596.31 c #Conflicts: 291000 | #Constraints: 35233
1591.97/1596.31 c #Conflicts: 292000 | #Constraints: 36233
1591.97/1596.31 c #Conflicts: 293000 | #Constraints: 37233
1591.97/1596.31 c #Conflicts: 294000 | #Constraints: 38233
1591.97/1596.31 c #Conflicts: 295000 | #Constraints: 39233
1591.97/1596.31 c #Conflicts: 296000 | #Constraints: 40233
1591.97/1596.31 c #Conflicts: 297000 | #Constraints: 41233
1591.97/1596.31 c #Conflicts: 298000 | #Constraints: 42233
1591.97/1596.31 c #Conflicts: 299000 | #Constraints: 43233
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 300000 | #Constraints: 33334
1591.97/1596.31 c #Conflicts: 301000 | #Constraints: 34334
1591.97/1596.31 c #Conflicts: 302000 | #Constraints: 35334
1591.97/1596.31 c #Conflicts: 303000 | #Constraints: 36334
1591.97/1596.31 c #Conflicts: 304000 | #Constraints: 37334
1591.97/1596.31 c #Conflicts: 305000 | #Constraints: 38334
1591.97/1596.31 c #Conflicts: 306000 | #Constraints: 39334
1591.97/1596.31 c #Conflicts: 307000 | #Constraints: 40334
1591.97/1596.31 c #Conflicts: 308000 | #Constraints: 41334
1591.97/1596.31 c #Conflicts: 309000 | #Constraints: 42334
1591.97/1596.31 c #Conflicts: 310000 | #Constraints: 43334
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 311000 | #Constraints: 33307
1591.97/1596.31 c #Conflicts: 312000 | #Constraints: 34307
1591.97/1596.31 c #Conflicts: 313000 | #Constraints: 35307
1591.97/1596.31 c #Conflicts: 314000 | #Constraints: 36307
1591.97/1596.31 c #Conflicts: 315000 | #Constraints: 37307
1591.97/1596.31 c #Conflicts: 316000 | #Constraints: 38307
1591.97/1596.31 c #Conflicts: 317000 | #Constraints: 39307
1591.97/1596.31 c #Conflicts: 318000 | #Constraints: 40307
1591.97/1596.31 c #Conflicts: 319000 | #Constraints: 41307
1591.97/1596.31 c #Conflicts: 320000 | #Constraints: 42307
1591.97/1596.31 c #Conflicts: 321000 | #Constraints: 43307
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 322000 | #Constraints: 33089
1591.97/1596.31 c #Conflicts: 323000 | #Constraints: 34089
1591.97/1596.31 c #Conflicts: 324000 | #Constraints: 35089
1591.97/1596.31 c #Conflicts: 325000 | #Constraints: 36089
1591.97/1596.31 c #Conflicts: 326000 | #Constraints: 37089
1591.97/1596.31 c #Conflicts: 327000 | #Constraints: 38089
1591.97/1596.31 c #Conflicts: 328000 | #Constraints: 39089
1591.97/1596.31 c #Conflicts: 329000 | #Constraints: 40089
1591.97/1596.31 c #Conflicts: 330000 | #Constraints: 41089
1591.97/1596.31 c #Conflicts: 331000 | #Constraints: 42089
1591.97/1596.31 c #Conflicts: 332000 | #Constraints: 43089
1591.97/1596.31 c #Conflicts: 333000 | #Constraints: 44089
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 334000 | #Constraints: 33702
1591.97/1596.31 c #Conflicts: 335000 | #Constraints: 34702
1591.97/1596.31 c #Conflicts: 336000 | #Constraints: 35702
1591.97/1596.31 c #Conflicts: 337000 | #Constraints: 36702
1591.97/1596.31 c #Conflicts: 338000 | #Constraints: 37702
1591.97/1596.31 c #Conflicts: 339000 | #Constraints: 38702
1591.97/1596.31 c #Conflicts: 340000 | #Constraints: 39702
1591.97/1596.31 c #Conflicts: 341000 | #Constraints: 40702
1591.97/1596.31 c #Conflicts: 342000 | #Constraints: 41702
1591.97/1596.31 c #Conflicts: 343000 | #Constraints: 42702
1591.97/1596.31 c #Conflicts: 344000 | #Constraints: 43702
1591.97/1596.31 c #Conflicts: 345000 | #Constraints: 44702
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 346000 | #Constraints: 34119
1591.97/1596.31 c #Conflicts: 347000 | #Constraints: 35119
1591.97/1596.31 c #Conflicts: 348000 | #Constraints: 36119
1591.97/1596.31 c #Conflicts: 349000 | #Constraints: 37119
1591.97/1596.31 c #Conflicts: 350000 | #Constraints: 38119
1591.97/1596.31 c #Conflicts: 351000 | #Constraints: 39119
1591.97/1596.31 c #Conflicts: 352000 | #Constraints: 40119
1591.97/1596.31 c #Conflicts: 353000 | #Constraints: 41119
1591.97/1596.31 c #Conflicts: 354000 | #Constraints: 42119
1591.97/1596.31 c #Conflicts: 355000 | #Constraints: 43119
1591.97/1596.31 c #Conflicts: 356000 | #Constraints: 44119
1591.97/1596.31 c #Conflicts: 357000 | #Constraints: 45119
1591.97/1596.31 c INPROCESSING
1591.97/1596.31 c GARBAGE COLLECT
1591.97/1596.31 c #Conflicts: 358000 | #Constraints: 34320
1591.97/1596.31 c #Conflicts: 359000 | #Constraints: 35320
1967.78/1973.29 c #Conflicts: 360000 | #Constraints: 36320
1967.78/1973.29 c #Conflicts: 361000 | #Constraints: 37320
1967.78/1973.29 c #Conflicts: 362000 | #Constraints: 38320
1967.78/1973.29 c #Conflicts: 363000 | #Constraints: 39320
1967.78/1973.29 c #Conflicts: 364000 | #Constraints: 40320
1967.78/1973.29 c #Conflicts: 365000 | #Constraints: 41320
1967.78/1973.29 c #Conflicts: 366000 | #Constraints: 42320
1967.78/1973.29 c #Conflicts: 367000 | #Constraints: 43320
1967.78/1973.29 c #Conflicts: 368000 | #Constraints: 44320
1967.78/1973.29 c #Conflicts: 369000 | #Constraints: 45320
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 370000 | #Constraints: 34414
1967.78/1973.29 c #Conflicts: 371000 | #Constraints: 35414
1967.78/1973.29 c #Conflicts: 372000 | #Constraints: 36414
1967.78/1973.29 c #Conflicts: 373000 | #Constraints: 37414
1967.78/1973.29 c #Conflicts: 374000 | #Constraints: 38414
1967.78/1973.29 c #Conflicts: 375000 | #Constraints: 39414
1967.78/1973.29 c #Conflicts: 376000 | #Constraints: 40414
1967.78/1973.29 c #Conflicts: 377000 | #Constraints: 41414
1967.78/1973.29 c #Conflicts: 378000 | #Constraints: 42414
1967.78/1973.29 c #Conflicts: 379000 | #Constraints: 43414
1967.78/1973.29 c #Conflicts: 380000 | #Constraints: 44414
1967.78/1973.29 c #Conflicts: 381000 | #Constraints: 45414
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 382000 | #Constraints: 34166
1967.78/1973.29 c #Conflicts: 383000 | #Constraints: 35166
1967.78/1973.29 c #Conflicts: 384000 | #Constraints: 36166
1967.78/1973.29 c #Conflicts: 385000 | #Constraints: 37166
1967.78/1973.29 c #Conflicts: 386000 | #Constraints: 38166
1967.78/1973.29 c #Conflicts: 387000 | #Constraints: 39166
1967.78/1973.29 c #Conflicts: 388000 | #Constraints: 40166
1967.78/1973.29 c #Conflicts: 389000 | #Constraints: 41166
1967.78/1973.29 c #Conflicts: 390000 | #Constraints: 42166
1967.78/1973.29 c #Conflicts: 391000 | #Constraints: 43166
1967.78/1973.29 c #Conflicts: 392000 | #Constraints: 44166
1967.78/1973.29 c #Conflicts: 393000 | #Constraints: 45166
1967.78/1973.29 c #Conflicts: 394000 | #Constraints: 46166
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 395000 | #Constraints: 34953
1967.78/1973.29 c #Conflicts: 396000 | #Constraints: 35953
1967.78/1973.29 c #Conflicts: 397000 | #Constraints: 36953
1967.78/1973.29 c #Conflicts: 398000 | #Constraints: 37953
1967.78/1973.29 c #Conflicts: 399000 | #Constraints: 38953
1967.78/1973.29 c #Conflicts: 400000 | #Constraints: 39953
1967.78/1973.29 c #Conflicts: 401000 | #Constraints: 40953
1967.78/1973.29 c #Conflicts: 402000 | #Constraints: 41953
1967.78/1973.29 c #Conflicts: 403000 | #Constraints: 42953
1967.78/1973.29 c #Conflicts: 404000 | #Constraints: 43953
1967.78/1973.29 c #Conflicts: 405000 | #Constraints: 44953
1967.78/1973.29 c #Conflicts: 406000 | #Constraints: 45953
1967.78/1973.29 c #Conflicts: 407000 | #Constraints: 46953
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 408000 | #Constraints: 35263
1967.78/1973.29 c #Conflicts: 409000 | #Constraints: 36263
1967.78/1973.29 c #Conflicts: 410000 | #Constraints: 37263
1967.78/1973.29 c #Conflicts: 411000 | #Constraints: 38263
1967.78/1973.29 c #Conflicts: 412000 | #Constraints: 39263
1967.78/1973.29 c #Conflicts: 413000 | #Constraints: 40263
1967.78/1973.29 c #Conflicts: 414000 | #Constraints: 41263
1967.78/1973.29 c #Conflicts: 415000 | #Constraints: 42263
1967.78/1973.29 c #Conflicts: 416000 | #Constraints: 43263
1967.78/1973.29 c #Conflicts: 417000 | #Constraints: 44263
1967.78/1973.29 c #Conflicts: 418000 | #Constraints: 45263
1967.78/1973.29 c #Conflicts: 419000 | #Constraints: 46263
1967.78/1973.29 c #Conflicts: 420000 | #Constraints: 47263
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 421000 | #Constraints: 35375
1967.78/1973.29 c #Conflicts: 422000 | #Constraints: 36375
1967.78/1973.29 c #Conflicts: 423000 | #Constraints: 37375
1967.78/1973.29 c #Conflicts: 424000 | #Constraints: 38375
1967.78/1973.29 c #Conflicts: 425000 | #Constraints: 39375
1967.78/1973.29 c #Conflicts: 426000 | #Constraints: 40375
1967.78/1973.29 c #Conflicts: 427000 | #Constraints: 41375
1967.78/1973.29 c #Conflicts: 428000 | #Constraints: 42375
1967.78/1973.29 c #Conflicts: 429000 | #Constraints: 43375
1967.78/1973.29 c #Conflicts: 430000 | #Constraints: 44375
1967.78/1973.29 c #Conflicts: 431000 | #Constraints: 45375
1967.78/1973.29 c #Conflicts: 432000 | #Constraints: 46375
1967.78/1973.29 c #Conflicts: 433000 | #Constraints: 47375
1967.78/1973.29 c INPROCESSING
1967.78/1973.29 c GARBAGE COLLECT
1967.78/1973.29 c #Conflicts: 434000 | #Constraints: 35370
2466.71/2473.63 c #Conflicts: 435000 | #Constraints: 36370
2466.71/2473.63 c #Conflicts: 436000 | #Constraints: 37370
2466.71/2473.63 c #Conflicts: 437000 | #Constraints: 38370
2466.71/2473.63 c #Conflicts: 438000 | #Constraints: 39370
2466.71/2473.63 c #Conflicts: 439000 | #Constraints: 40370
2466.71/2473.63 c #Conflicts: 440000 | #Constraints: 41370
2466.71/2473.63 c #Conflicts: 441000 | #Constraints: 42370
2466.71/2473.63 c #Conflicts: 442000 | #Constraints: 43370
2466.71/2473.63 c #Conflicts: 443000 | #Constraints: 44370
2466.71/2473.63 c #Conflicts: 444000 | #Constraints: 45370
2466.71/2473.63 c #Conflicts: 445000 | #Constraints: 46370
2466.71/2473.63 c #Conflicts: 446000 | #Constraints: 47370
2466.71/2473.63 c INPROCESSING
2466.71/2473.63 c GARBAGE COLLECT
2466.71/2473.63 c #Conflicts: 447000 | #Constraints: 35293
2466.71/2473.63 c #Conflicts: 448000 | #Constraints: 36293
2466.71/2473.63 c #Conflicts: 449000 | #Constraints: 37293
2466.71/2473.63 c #Conflicts: 450000 | #Constraints: 38293
2466.71/2473.63 c #Conflicts: 451000 | #Constraints: 39293
2466.71/2473.63 c #Conflicts: 452000 | #Constraints: 40293
2466.71/2473.63 c #Conflicts: 453000 | #Constraints: 41293
2466.71/2473.63 c #Conflicts: 454000 | #Constraints: 42293
2466.71/2473.63 c #Conflicts: 455000 | #Constraints: 43293
2466.71/2473.63 c #Conflicts: 456000 | #Constraints: 44293
2466.71/2473.63 c #Conflicts: 457000 | #Constraints: 45293
2466.71/2473.63 c #Conflicts: 458000 | #Constraints: 46293
2466.71/2473.63 c #Conflicts: 459000 | #Constraints: 47293
2466.71/2473.63 c #Conflicts: 460000 | #Constraints: 48293
2466.71/2473.63 c INPROCESSING
2466.71/2473.63 c GARBAGE COLLECT
2466.71/2473.63 c #Conflicts: 461000 | #Constraints: 35936
2466.71/2473.63 c #Conflicts: 462000 | #Constraints: 36936
2466.71/2473.63 c #Conflicts: 463000 | #Constraints: 37936
2466.71/2473.63 c #Conflicts: 464000 | #Constraints: 38936
2466.71/2473.63 c #Conflicts: 465000 | #Constraints: 39936
2466.71/2473.63 c #Conflicts: 466000 | #Constraints: 40936
2466.71/2473.63 c #Conflicts: 467000 | #Constraints: 41936
2466.71/2473.63 c #Conflicts: 468000 | #Constraints: 42936
2466.71/2473.63 c #Conflicts: 469000 | #Constraints: 43936
2466.71/2473.63 c #Conflicts: 470000 | #Constraints: 44936
2466.71/2473.63 c #Conflicts: 471000 | #Constraints: 45936
2466.71/2473.63 c #Conflicts: 472000 | #Constraints: 46936
2466.71/2473.63 c #Conflicts: 473000 | #Constraints: 47936
2466.71/2473.63 c #Conflicts: 474000 | #Constraints: 48936
2466.71/2473.63 c INPROCESSING
2466.71/2473.63 c GARBAGE COLLECT
2466.71/2473.63 c #Conflicts: 475000 | #Constraints: 36464
2466.71/2473.63 c #Conflicts: 476000 | #Constraints: 37464
2466.71/2473.63 c #Conflicts: 477000 | #Constraints: 38464
2466.71/2473.63 c #Conflicts: 478000 | #Constraints: 39464
2466.71/2473.63 c #Conflicts: 479000 | #Constraints: 40464
2466.71/2473.63 c #Conflicts: 480000 | #Constraints: 41464
2466.71/2473.63 c #Conflicts: 481000 | #Constraints: 42464
2466.71/2473.63 c #Conflicts: 482000 | #Constraints: 43464
2466.71/2473.63 c #Conflicts: 483000 | #Constraints: 44464
2466.71/2473.63 c #Conflicts: 484000 | #Constraints: 45464
2466.71/2473.63 c #Conflicts: 485000 | #Constraints: 46464
2466.71/2473.63 c #Conflicts: 486000 | #Constraints: 47464
2466.71/2473.63 c #Conflicts: 487000 | #Constraints: 48464
2466.71/2473.63 c #Conflicts: 488000 | #Constraints: 49464
2466.71/2473.63 c INPROCESSING
2466.71/2473.63 c GARBAGE COLLECT
2466.71/2473.63 c #Conflicts: 489000 | #Constraints: 36724
2466.71/2473.63 c #Conflicts: 490000 | #Constraints: 37724
2466.71/2473.63 c #Conflicts: 491000 | #Constraints: 38724
2466.71/2473.63 c #Conflicts: 492000 | #Constraints: 39724
2466.71/2473.63 c #Conflicts: 493000 | #Constraints: 40724
2466.71/2473.63 c #Conflicts: 494000 | #Constraints: 41724
2466.71/2473.63 c #Conflicts: 495000 | #Constraints: 42724
2466.71/2473.63 c #Conflicts: 496000 | #Constraints: 43724
2466.71/2473.63 c #Conflicts: 497000 | #Constraints: 44724
2466.71/2473.63 c #Conflicts: 498000 | #Constraints: 45724
2466.71/2473.63 c #Conflicts: 499000 | #Constraints: 46724
2466.71/2473.63 c #Conflicts: 500000 | #Constraints: 47724
2466.71/2473.63 c #Conflicts: 501000 | #Constraints: 48724
2466.71/2473.63 c #Conflicts: 502000 | #Constraints: 49724
2466.71/2473.63 c INPROCESSING
2466.71/2473.63 c GARBAGE COLLECT
2466.71/2473.63 c #Conflicts: 503000 | #Constraints: 36525
2466.71/2473.63 c #Conflicts: 504000 | #Constraints: 37525
2466.71/2473.63 c #Conflicts: 505000 | #Constraints: 38525
2466.71/2473.63 c #Conflicts: 506000 | #Constraints: 39525
2466.71/2473.63 c #Conflicts: 507000 | #Constraints: 40525
2466.71/2473.63 c #Conflicts: 508000 | #Constraints: 41525
2466.71/2473.63 c #Conflicts: 509000 | #Constraints: 42525
2466.71/2473.63 c #Conflicts: 510000 | #Constraints: 43525
2884.98/2893.17 c #Conflicts: 511000 | #Constraints: 44525
2884.98/2893.17 c #Conflicts: 512000 | #Constraints: 45525
2884.98/2893.17 c #Conflicts: 513000 | #Constraints: 46525
2884.98/2893.17 c #Conflicts: 514000 | #Constraints: 47525
2884.98/2893.17 c #Conflicts: 515000 | #Constraints: 48525
2884.98/2893.17 c #Conflicts: 516000 | #Constraints: 49525
2884.98/2893.17 c INPROCESSING
2884.98/2893.17 c GARBAGE COLLECT
2884.98/2893.17 c #Conflicts: 517000 | #Constraints: 36286
2884.98/2893.17 c #Conflicts: 518000 | #Constraints: 37286
2884.98/2893.17 c #Conflicts: 519000 | #Constraints: 38286
2884.98/2893.17 c #Conflicts: 520000 | #Constraints: 39286
2884.98/2893.17 c #Conflicts: 521000 | #Constraints: 40286
2884.98/2893.17 c #Conflicts: 522000 | #Constraints: 41286
2884.98/2893.17 c #Conflicts: 523000 | #Constraints: 42286
2884.98/2893.17 c #Conflicts: 524000 | #Constraints: 43286
2884.98/2893.17 c #Conflicts: 525000 | #Constraints: 44286
2884.98/2893.17 c #Conflicts: 526000 | #Constraints: 45286
2884.98/2893.17 c #Conflicts: 527000 | #Constraints: 46286
2884.98/2893.17 c #Conflicts: 528000 | #Constraints: 47286
2884.98/2893.17 c #Conflicts: 529000 | #Constraints: 48286
2884.98/2893.17 c #Conflicts: 530000 | #Constraints: 49286
2884.98/2893.17 c #Conflicts: 531000 | #Constraints: 50286
2884.98/2893.17 c INPROCESSING
2884.98/2893.17 c GARBAGE COLLECT
2884.98/2893.17 c #Conflicts: 532000 | #Constraints: 36924
2884.98/2893.17 c #Conflicts: 533000 | #Constraints: 37924
2884.98/2893.17 c #Conflicts: 534000 | #Constraints: 38924
2884.98/2893.17 c #Conflicts: 535000 | #Constraints: 39924
2884.98/2893.17 c #Conflicts: 536000 | #Constraints: 40924
2884.98/2893.17 c #Conflicts: 537000 | #Constraints: 41924
2884.98/2893.17 c #Conflicts: 538000 | #Constraints: 42924
2884.98/2893.17 c #Conflicts: 539000 | #Constraints: 43924
2884.98/2893.17 c #Conflicts: 540000 | #Constraints: 44924
2884.98/2893.17 c #Conflicts: 541000 | #Constraints: 45924
2884.98/2893.17 c #Conflicts: 542000 | #Constraints: 46924
2884.98/2893.17 c #Conflicts: 543000 | #Constraints: 47924
2884.98/2893.17 c #Conflicts: 544000 | #Constraints: 48924
2884.98/2893.17 c #Conflicts: 545000 | #Constraints: 49924
2884.98/2893.17 c #Conflicts: 546000 | #Constraints: 50924
2884.98/2893.17 c INPROCESSING
2884.98/2893.17 c GARBAGE COLLECT
2884.98/2893.17 c #Conflicts: 547000 | #Constraints: 37239
2884.98/2893.17 c #Conflicts: 548000 | #Constraints: 38239
2884.98/2893.17 c #Conflicts: 549000 | #Constraints: 39239
2884.98/2893.17 c #Conflicts: 550000 | #Constraints: 40239
2884.98/2893.17 c #Conflicts: 551000 | #Constraints: 41239
2884.98/2893.17 c #Conflicts: 552000 | #Constraints: 42239
2884.98/2893.17 c #Conflicts: 553000 | #Constraints: 43239
2884.98/2893.17 c #Conflicts: 554000 | #Constraints: 44239
2884.98/2893.17 c #Conflicts: 555000 | #Constraints: 45239
2884.98/2893.17 c #Conflicts: 556000 | #Constraints: 46239
2884.98/2893.17 c #Conflicts: 557000 | #Constraints: 47239
2884.98/2893.17 c #Conflicts: 558000 | #Constraints: 48239
2884.98/2893.17 c #Conflicts: 559000 | #Constraints: 49239
2884.98/2893.17 c #Conflicts: 560000 | #Constraints: 50239
2884.98/2893.17 c #Conflicts: 561000 | #Constraints: 51239
2884.98/2893.17 c INPROCESSING
2884.98/2893.17 c GARBAGE COLLECT
2884.98/2893.17 c #Conflicts: 562000 | #Constraints: 37434
2884.98/2893.17 c #Conflicts: 563000 | #Constraints: 38434
2884.98/2893.17 c #Conflicts: 564000 | #Constraints: 39434
2884.98/2893.17 c #Conflicts: 565000 | #Constraints: 40434
2884.98/2893.17 c #Conflicts: 566000 | #Constraints: 41434
2884.98/2893.17 c #Conflicts: 567000 | #Constraints: 42434
2884.98/2893.17 c #Conflicts: 568000 | #Constraints: 43434
2884.98/2893.17 c #Conflicts: 569000 | #Constraints: 44434
2884.98/2893.17 c #Conflicts: 570000 | #Constraints: 45434
2884.98/2893.17 c #Conflicts: 571000 | #Constraints: 46434
2884.98/2893.17 c #Conflicts: 572000 | #Constraints: 47434
2884.98/2893.17 c #Conflicts: 573000 | #Constraints: 48434
2884.98/2893.17 c #Conflicts: 574000 | #Constraints: 49434
2884.98/2893.17 c #Conflicts: 575000 | #Constraints: 50434
2884.98/2893.17 c #Conflicts: 576000 | #Constraints: 51434
2884.98/2893.17 c INPROCESSING
2884.98/2893.17 c GARBAGE COLLECT
2884.98/2893.17 c #Conflicts: 577000 | #Constraints: 37601
2884.98/2893.17 c #Conflicts: 578000 | #Constraints: 38601
2884.98/2893.17 c #Conflicts: 579000 | #Constraints: 39601
2884.98/2893.17 c #Conflicts: 580000 | #Constraints: 40601
2884.98/2893.17 c #Conflicts: 581000 | #Constraints: 41601
2884.98/2893.17 c #Conflicts: 582000 | #Constraints: 42601
2884.98/2893.17 c #Conflicts: 583000 | #Constraints: 43601
2884.98/2893.17 c #Conflicts: 584000 | #Constraints: 44601
2884.98/2893.17 c #Conflicts: 585000 | #Constraints: 45601
3280.42/3289.73 c #Conflicts: 586000 | #Constraints: 46601
3280.42/3289.73 c #Conflicts: 587000 | #Constraints: 47601
3280.42/3289.73 c #Conflicts: 588000 | #Constraints: 48601
3280.42/3289.73 c #Conflicts: 589000 | #Constraints: 49601
3280.42/3289.73 c #Conflicts: 590000 | #Constraints: 50601
3280.42/3289.73 c #Conflicts: 591000 | #Constraints: 51601
3280.42/3289.73 c INPROCESSING
3280.42/3289.73 c GARBAGE COLLECT
3280.42/3289.73 c #Conflicts: 592000 | #Constraints: 37235
3280.42/3289.73 c #Conflicts: 593000 | #Constraints: 38235
3280.42/3289.73 c #Conflicts: 594000 | #Constraints: 39235
3280.42/3289.73 c #Conflicts: 595000 | #Constraints: 40235
3280.42/3289.73 c #Conflicts: 596000 | #Constraints: 41235
3280.42/3289.73 c #Conflicts: 597000 | #Constraints: 42235
3280.42/3289.73 c #Conflicts: 598000 | #Constraints: 43235
3280.42/3289.73 c #Conflicts: 599000 | #Constraints: 44235
3280.42/3289.73 c #Conflicts: 600000 | #Constraints: 45235
3280.42/3289.73 c #Conflicts: 601000 | #Constraints: 46235
3280.42/3289.73 c #Conflicts: 602000 | #Constraints: 47235
3280.42/3289.73 c #Conflicts: 603000 | #Constraints: 48235
3280.42/3289.73 c #Conflicts: 604000 | #Constraints: 49235
3280.42/3289.73 c #Conflicts: 605000 | #Constraints: 50235
3280.42/3289.73 c #Conflicts: 606000 | #Constraints: 51235
3280.42/3289.73 c #Conflicts: 607000 | #Constraints: 52235
3280.42/3289.73 c INPROCESSING
3280.42/3289.73 c GARBAGE COLLECT
3280.42/3289.73 c #Conflicts: 608000 | #Constraints: 37772
3280.42/3289.73 c #Conflicts: 609000 | #Constraints: 38772
3280.42/3289.73 c #Conflicts: 610000 | #Constraints: 39772
3280.42/3289.73 c #Conflicts: 611000 | #Constraints: 40772
3280.42/3289.73 c #Conflicts: 612000 | #Constraints: 41772
3280.42/3289.73 c #Conflicts: 613000 | #Constraints: 42772
3280.42/3289.73 c #Conflicts: 614000 | #Constraints: 43772
3280.42/3289.73 c #Conflicts: 615000 | #Constraints: 44772
3280.42/3289.73 c #Conflicts: 616000 | #Constraints: 45772
3280.42/3289.73 c #Conflicts: 617000 | #Constraints: 46772
3280.42/3289.73 c #Conflicts: 618000 | #Constraints: 47772
3280.42/3289.73 c #Conflicts: 619000 | #Constraints: 48772
3280.42/3289.73 c #Conflicts: 620000 | #Constraints: 49772
3280.42/3289.73 c #Conflicts: 621000 | #Constraints: 50772
3280.42/3289.73 c #Conflicts: 622000 | #Constraints: 51772
3280.42/3289.73 c #Conflicts: 623000 | #Constraints: 52772
3280.42/3289.73 c INPROCESSING
3280.42/3289.73 c GARBAGE COLLECT
3280.42/3289.73 c #Conflicts: 624000 | #Constraints: 38218
3280.42/3289.73 c #Conflicts: 625000 | #Constraints: 39218
3280.42/3289.73 c #Conflicts: 626000 | #Constraints: 40218
3280.42/3289.73 c #Conflicts: 627000 | #Constraints: 41218
3280.42/3289.73 c #Conflicts: 628000 | #Constraints: 42218
3280.42/3289.73 c #Conflicts: 629000 | #Constraints: 43218
3280.42/3289.73 c #Conflicts: 630000 | #Constraints: 44218
3280.42/3289.73 c #Conflicts: 631000 | #Constraints: 45218
3280.42/3289.73 c #Conflicts: 632000 | #Constraints: 46218
3280.42/3289.73 c #Conflicts: 633000 | #Constraints: 47218
3280.42/3289.73 c #Conflicts: 634000 | #Constraints: 48218
3280.42/3289.73 c #Conflicts: 635000 | #Constraints: 49218
3280.42/3289.73 c #Conflicts: 636000 | #Constraints: 50218
3280.42/3289.73 c #Conflicts: 637000 | #Constraints: 51218
3280.42/3289.73 c #Conflicts: 638000 | #Constraints: 52218
3280.42/3289.73 c #Conflicts: 639000 | #Constraints: 53218
3280.42/3289.73 c INPROCESSING
3280.42/3289.73 c GARBAGE COLLECT
3280.42/3289.73 c #Conflicts: 640000 | #Constraints: 38668
3280.42/3289.73 c #Conflicts: 641000 | #Constraints: 39668
3280.42/3289.73 c #Conflicts: 642000 | #Constraints: 40668
3280.42/3289.73 c #Conflicts: 643000 | #Constraints: 41668
3280.42/3289.73 c #Conflicts: 644000 | #Constraints: 42668
3280.42/3289.73 c #Conflicts: 645000 | #Constraints: 43668
3280.42/3289.73 c #Conflicts: 646000 | #Constraints: 44668
3280.42/3289.73 c #Conflicts: 647000 | #Constraints: 45668
3280.42/3289.73 c #Conflicts: 648000 | #Constraints: 46668
3280.42/3289.73 c #Conflicts: 649000 | #Constraints: 47668
3280.42/3289.73 c #Conflicts: 650000 | #Constraints: 48668
3280.42/3289.73 c #Conflicts: 651000 | #Constraints: 49668
3280.42/3289.73 c #Conflicts: 652000 | #Constraints: 50668
3280.42/3289.73 c #Conflicts: 653000 | #Constraints: 51668
3280.42/3289.73 c #Conflicts: 654000 | #Constraints: 52668
3280.42/3289.73 c #Conflicts: 655000 | #Constraints: 53668
3280.42/3289.73 c INPROCESSING
3280.42/3289.73 c GARBAGE COLLECT
3280.42/3289.73 c #Conflicts: 656000 | #Constraints: 38708
3280.42/3289.73 c #Conflicts: 657000 | #Constraints: 39708
3280.42/3289.73 c #Conflicts: 658000 | #Constraints: 40708
3280.42/3289.73 c #Conflicts: 659000 | #Constraints: 41708
3280.42/3289.73 c #Conflicts: 660000 | #Constraints: 42708
3280.42/3289.73 c #Conflicts: 661000 | #Constraints: 43708
3600.09/3610.30 c #Conflicts: 662000 | #Constraints: 44708
3600.09/3610.30 c #Conflicts: 663000 | #Constraints: 45708
3600.09/3610.30 c #Conflicts: 664000 | #Constraints: 46708
3600.09/3610.30 c #Conflicts: 665000 | #Constraints: 47708
3600.09/3610.30 c #Conflicts: 666000 | #Constraints: 48708
3600.09/3610.30 c #Conflicts: 667000 | #Constraints: 49708
3600.09/3610.30 c #Conflicts: 668000 | #Constraints: 50708
3600.09/3610.30 c #Conflicts: 669000 | #Constraints: 51708
3600.09/3610.30 c #Conflicts: 670000 | #Constraints: 52708
3600.09/3610.30 c #Conflicts: 671000 | #Constraints: 53708
3600.09/3610.30 c INPROCESSING
3600.09/3610.30 c GARBAGE COLLECT
3600.09/3610.30 c #Conflicts: 672000 | #Constraints: 38627
3600.09/3610.30 c #Conflicts: 673000 | #Constraints: 39627
3600.09/3610.30 c #Conflicts: 674000 | #Constraints: 40627
3600.09/3610.30 c #Conflicts: 675000 | #Constraints: 41627
3600.09/3610.30 c #Conflicts: 676000 | #Constraints: 42627
3600.09/3610.30 c #Conflicts: 677000 | #Constraints: 43627
3600.09/3610.30 c #Conflicts: 678000 | #Constraints: 44627
3600.09/3610.30 c #Conflicts: 679000 | #Constraints: 45627
3600.09/3610.30 c #Conflicts: 680000 | #Constraints: 46627
3600.09/3610.30 c #Conflicts: 681000 | #Constraints: 47627
3600.09/3610.30 c #Conflicts: 682000 | #Constraints: 48627
3600.09/3610.30 c #Conflicts: 683000 | #Constraints: 49627
3600.09/3610.30 c #Conflicts: 684000 | #Constraints: 50627
3600.09/3610.30 c #Conflicts: 685000 | #Constraints: 51627
3600.09/3610.30 c #Conflicts: 686000 | #Constraints: 52627
3600.09/3610.30 c #Conflicts: 687000 | #Constraints: 53627
3600.09/3610.30 c #Conflicts: 688000 | #Constraints: 54627
3600.09/3610.30 c INPROCESSING
3600.09/3610.30 c GARBAGE COLLECT
3600.09/3610.30 c #Conflicts: 689000 | #Constraints: 39116
3600.09/3610.30 c #Conflicts: 690000 | #Constraints: 40116
3600.09/3610.30 c #Conflicts: 691000 | #Constraints: 41116
3600.09/3610.30 c #Conflicts: 692000 | #Constraints: 42116
3600.09/3610.30 c #Conflicts: 693000 | #Constraints: 43116
3600.09/3610.30 c #Conflicts: 694000 | #Constraints: 44116
3600.09/3610.30 c #Conflicts: 695000 | #Constraints: 45116
3600.09/3610.30 c #Conflicts: 696000 | #Constraints: 46116
3600.09/3610.30 c #Conflicts: 697000 | #Constraints: 47116
3600.09/3610.30 c #Conflicts: 698000 | #Constraints: 48116
3600.09/3610.30 c #Conflicts: 699000 | #Constraints: 49116
3600.09/3610.30 c #Conflicts: 700000 | #Constraints: 50116
3600.09/3610.30 c #Conflicts: 701000 | #Constraints: 51116
3600.09/3610.30 c #Conflicts: 702000 | #Constraints: 52116
3600.09/3610.30 c #Conflicts: 703000 | #Constraints: 53116
3600.09/3610.30 c #Conflicts: 704000 | #Constraints: 54116
3600.09/3610.30 c #Conflicts: 705000 | #Constraints: 55116
3600.09/3610.30 c INPROCESSING
3600.09/3610.30 c GARBAGE COLLECT
3600.09/3610.30 c #Conflicts: 706000 | #Constraints: 39440
3600.09/3610.30 c #Conflicts: 707000 | #Constraints: 40440
3600.09/3610.30 c #Conflicts: 708000 | #Constraints: 41440
3600.09/3610.30 c #Conflicts: 709000 | #Constraints: 42440
3600.09/3610.30 c #Conflicts: 710000 | #Constraints: 43440
3600.09/3610.30 c #Conflicts: 711000 | #Constraints: 44440
3600.09/3610.30 c #Conflicts: 712000 | #Constraints: 45440
3600.09/3610.30 c #Conflicts: 713000 | #Constraints: 46440
3600.09/3610.30 c #Conflicts: 714000 | #Constraints: 47440
3600.09/3610.30 c #Conflicts: 715000 | #Constraints: 48440
3600.09/3610.30 c #Conflicts: 716000 | #Constraints: 49440
3600.09/3610.30 c #Conflicts: 717000 | #Constraints: 50440
3600.09/3610.30 c #Conflicts: 718000 | #Constraints: 51440
3600.09/3610.30 c #Conflicts: 719000 | #Constraints: 52440
3600.09/3610.30 c #Conflicts: 720000 | #Constraints: 53440
3600.09/3610.30 c Program interrupted by user.
3600.09/3610.30 c cpu time 3590.95 s
3600.09/3610.30 c deterministic time 1235588511929 1.24e+12
3600.09/3610.30 c optimization time 75.5669 s
3600.09/3610.30 c total solve time 3216.05 s
3600.09/3610.30 c core-guided solve time 3216.05 s
3600.09/3610.30 c propagation time 2667.19 s
3600.09/3610.30 c conflict analysis time 580.067 s
3600.09/3610.30 c propagations 493211950
3600.09/3610.30 c resolve steps 18147424
3600.09/3610.30 c decisions 8498636
3600.09/3610.30 c conflicts 720375
3600.09/3610.30 c restarts 1533
3600.09/3610.30 c inprocessing phases 75
3600.09/3610.30 c input clauses 21380
3600.09/3610.30 c input cardinalities 7
3600.09/3610.30 c input general constraints 0
3600.09/3610.30 c input average constraint length 2.76
3600.09/3610.30 c input average constraint degree 1.06
3600.09/3610.30 c learned clauses 390334
3600.09/3610.30 c learned cardinalities 784
3600.09/3610.30 c learned general constraints 329262
3600.09/3610.30 c learned average constraint length 1276.90
3600.09/3610.30 c learned average constraint degree 24074.33
3600.09/3610.30 c watched constraints 314858
3600.09/3610.30 c counting constraints 14404
3600.09/3610.30 c gcd simplifications 3282
3600.09/3610.30 c detected cardinalities 0
3600.09/3610.30 c weakened non-implied lits 125342134
3600.09/3610.30 c weakened non-implying lits 21371
3600.09/3610.30 c original variables 6076
3600.09/3610.30 c clausal propagations 395020804
3600.09/3610.30 c cardinality propagations 671430
3600.09/3610.30 c watched propagations 70039050
3600.09/3610.30 c counting propagations 26479826
3600.09/3610.30 c watch lookups 7266573762
3600.09/3610.30 c watch backjump lookups 4269403905
3600.09/3610.30 c watch checks 989070661350
3600.09/3610.30 c propagation checks 228208574179
3600.09/3610.30 c constraint additions 5769160894
3600.09/3610.30 c trail pops 502427252
3600.09/3610.30 c formula constraints 21380
3600.09/3610.30 c learned constraints 720380
3600.09/3610.30 c bound constraints 7
3600.09/3610.30 c core-guided constraints 0
3600.09/3610.30 c encountered formula constraints 11518901
3600.09/3610.30 c encountered learned constraints 7348893
3600.09/3610.30 c encountered bound constraints 5
3600.09/3610.30 c encountered core-guided constraints 0
3600.09/3610.30 c LP total time 0 s
3600.09/3610.30 c LP solve time 0 s
3600.09/3610.30 c LP constraints added 0
3600.09/3610.30 c LP constraints removed 0
3600.09/3610.30 c LP pivots internal 0
3600.09/3610.30 c LP pivots root 0
3600.09/3610.30 c LP calls 0
3600.09/3610.30 c LP optimalities 0
3600.09/3610.30 c LP no pivot count 0
3600.09/3610.30 c LP infeasibilities 0
3600.09/3610.30 c LP valid Farkas constraints 0
3600.09/3610.30 c LP learned Farkas constraints 0
3600.09/3610.30 c LP basis resets 0
3600.09/3610.30 c LP cycling count 0
3600.09/3610.30 c LP singular count 0
3600.09/3610.30 c LP no primal count 0
3600.09/3610.30 c LP no farkas count 0
3600.09/3610.30 c LP other issue count 0
3600.09/3610.30 c LP Gomory cuts 0
3600.09/3610.30 c LP learned cuts 0
3600.09/3610.30 c LP deleted cuts 0
3600.09/3610.30 c LP encountered Gomory constraints 0
3600.09/3610.30 c LP encountered Farkas constraints 0
3600.09/3610.30 c LP encountered learned Farkas constraints 0
3600.09/3610.30 c CG auxiliary variables introduced 0
3600.09/3610.30 c CG solutions found 0
3600.09/3610.30 c CG cores constructed 6
3600.09/3610.30 c CG core cardinality constraints returned 0
3600.09/3610.30 c CG unit cores 0
3600.09/3610.30 c CG single cores 6
3600.09/3610.30 c CG blocks removed during cardinality reduction 0
3600.09/3610.30 c CG first core best 0
3600.09/3610.30 c CG decision core best 0
3600.09/3610.30 c CG core reduction tie 0
3600.09/3610.30 c CG core degree average 1.00
3600.09/3610.30 c CG core slack average 57.50
3600.09/3610.30 c CG exhausted 0
3600.09/3610.30 c CG exhaust time 0 s
3600.09/3610.30 c CG trimmed 1
3600.09/3610.30 c CG trim time 0.000883 s
3600.09/3610.30 c CG minimized 0
3600.09/3610.30 c CG minimize time 0 s
3600.09/3610.30 c CG am1 prop time 0.00132 s
3600.09/3610.30 c CG # am1s reformulated 0
3600.09/3610.30 c CG lower bound derived from am1s 0
3600.09/3610.30 c CG # clausal cores 6
3600.09/3610.30 c CG # cardinality cores 0
3600.09/3610.30 c CG # pb cores 0
3600.09/3610.30 c CG # pb reforms 0
3600.09/3610.30 c CG # cores discarded because of pb reform 0
3600.09/3610.30 d LOWERBOUND 6
3600.09/3610.30 d NCORES 6
3600.09/3610.30 d NPBCORES 0
3600.09/3610.30 d NPBREFORM 0
3600.09/3610.30 d NTRIMMED 1
3600.09/3610.30 d NEXHAUSTED 0
3600.09/3610.30 d NAM1S 0
3600.09/3610.30 d AM1LB 0
3600.09/3610.30 c [Papilo Statistics]
3600.09/3610.30 c prepro time 0.0221477s
3600.09/3610.30 c # tsx applied 20
3600.09/3610.30 c # tsx conflicts 0
3600.09/3610.30 c # bound changes 5
3600.09/3610.30 c # side changes 8
3600.09/3610.30 c # coef changes 32
3600.09/3610.30 c # rounds 2
3600.09/3610.30 c # deted vars 9
3600.09/3610.30 c # deted constrs 21
3600.09/3610.30 c # consecutive rounds of only bound changes 0
3600.09/3610.30 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50932 MiB free)
memory of node 1: 64465 MiB (56041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497827-1751400993/watcher-4497827-1751400993 -o /tmp/evaluation-result-4497827-1751400993/solver-4497827-1751400993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4497827-1751400993.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55413, runsolver pid=55409
[startup+0.100062 s]*
/proc/loadavg: 4.29 4.26 4.15 4/262 55419
/proc/meminfo: memFree=109520348/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=115052 memory=40552 CPUtime=0.07 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 8632 0 0 0 6 1 0 0 20 0 1 0 55777831 117813248 10138 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 28763 10138 3712 2842 0 10457 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 115052 KiB
Current children cumulated memory: 40552 KiB
[startup+0.205462 s]*
/proc/loadavg: 4.29 4.26 4.15 4/260 55423
/proc/meminfo: memFree=109471724/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=155456 memory=80784 CPUtime=0.19 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 19658 0 0 0 16 3 0 0 20 0 1 0 55777831 159186944 20196 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 38864 20196 4064 2842 0 20558 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 155456 KiB
Current children cumulated memory: 80784 KiB
[startup+0.305571 s]*
/proc/loadavg: 4.29 4.26 4.15 4/260 55435
/proc/meminfo: memFree=109470024/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=163064 memory=87184 CPUtime=0.28 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 21238 0 0 0 25 3 0 0 20 0 1 0 55777831 166977536 21796 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 40766 21796 4096 2842 0 22460 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 163064 KiB
Current children cumulated memory: 87184 KiB
[startup+0.700165 s]
/proc/loadavg: 4.29 4.26 4.15 4/262 55445
/proc/meminfo: memFree=109439132/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=197340 memory=113552 CPUtime=0.67 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 27824 0 0 0 63 4 0 0 20 0 1 0 55777831 202076160 28388 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 49335 28388 4160 2842 0 31029 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 197340 KiB
Current children cumulated memory: 113552 KiB
[startup+1.50013 s]
/proc/loadavg: 4.29 4.26 4.15 5/264 55450
/proc/meminfo: memFree=109183088/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=263948 memory=177168 CPUtime=1.47 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 43663 0 0 0 141 6 0 0 20 0 1 0 55777831 270282752 44292 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 65987 44292 4288 2842 0 47681 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 263948 KiB
Current children cumulated memory: 177168 KiB
[startup+3.10523 s]
/proc/loadavg: 4.29 4.26 4.15 5/264 55450
/proc/meminfo: memFree=108885116/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=264532 memory=179600 CPUtime=3.06 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 44271 0 0 0 300 6 0 0 20 0 1 0 55777831 270880768 44900 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 66133 44900 4288 2842 0 47827 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 264532 KiB
Current children cumulated memory: 179600 KiB
[startup+6.30016 s]
/proc/loadavg: 4.27 4.25 4.15 5/264 55450
/proc/meminfo: memFree=107076736/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=306164 memory=208784 CPUtime=6.26 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 51540 0 0 0 618 8 0 0 20 0 1 0 55777831 313511936 52196 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 76541 52196 4288 2842 0 58235 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 306164 KiB
Current children cumulated memory: 208784 KiB
[startup+12.7001 s]
/proc/loadavg: 4.33 4.27 4.16 5/260 55486
/proc/meminfo: memFree=108569920/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=315528 memory=213264 CPUtime=12.64 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 52683 0 0 0 1256 8 0 0 20 0 1 0 55777831 323100672 53316 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 78882 53316 4288 2842 0 60576 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 315528 KiB
Current children cumulated memory: 213264 KiB
[startup+25.5001 s]
/proc/loadavg: 4.26 4.25 4.15 5/265 55496
/proc/meminfo: memFree=105907868/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=366524 memory=261776 CPUtime=25.41 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 64846 0 0 0 2531 10 0 0 20 0 1 0 55777831 375320576 65444 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 91631 65444 4288 2842 0 73325 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 366524 KiB
Current children cumulated memory: 261776 KiB
[startup+51.1053 s]
/proc/loadavg: 4.24 4.25 4.16 5/264 55496
/proc/meminfo: memFree=96321116/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=370868 memory=268048 CPUtime=50.93 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 66420 0 0 0 5083 10 0 0 20 0 1 0 55777831 379768832 67012 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 92717 67012 4288 2842 0 74411 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 370868 KiB
Current children cumulated memory: 268048 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.24 4.16 5/266 55687
/proc/meminfo: memFree=108121196/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=370868 memory=268176 CPUtime=102 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 66455 0 0 0 10189 11 0 0 20 0 1 0 55777831 379768832 67044 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 92717 67044 4288 2842 0 74411 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 370868 KiB
Current children cumulated memory: 268176 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/266 55778
/proc/meminfo: memFree=98005716/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=370868 memory=268432 CPUtime=161.84 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 66525 0 0 0 16172 12 0 0 20 0 1 0 55777831 379768832 67108 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 92717 67108 4288 2842 0 74411 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 370868 KiB
Current children cumulated memory: 268432 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/266 55780
/proc/meminfo: memFree=96756264/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=370868 memory=268432 CPUtime=221.68 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 66534 0 0 0 22156 12 0 0 20 0 1 0 55777831 379768832 67108 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 92717 67108 4288 2842 0 74411 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 370868 KiB
Current children cumulated memory: 268432 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/267 55835
/proc/meminfo: memFree=102687660/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=370868 memory=268560 CPUtime=281.52 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 66552 0 0 0 28140 12 0 0 20 0 1 0 55777831 379768832 67140 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 92717 67140 4288 2842 0 74411 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 370868 KiB
Current children cumulated memory: 268560 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/267 55936
/proc/meminfo: memFree=107966736/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=404568 memory=308232 CPUtime=341.36 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 69343 0 0 0 34096 40 0 0 20 0 1 0 55777831 414277632 77058 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 101142 77058 4480 2842 0 82836 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 404568 KiB
Current children cumulated memory: 308232 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 55938
/proc/meminfo: memFree=108250316/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=435388 memory=332872 CPUtime=401.21 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 69897 0 0 0 40047 74 0 0 20 0 1 0 55777831 445837312 83218 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 108847 83218 4480 2842 0 90541 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 435388 KiB
Current children cumulated memory: 332872 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/265 55940
/proc/meminfo: memFree=108216752/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=435388 memory=336968 CPUtime=461.04 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 69900 0 0 0 46002 102 0 0 20 0 1 0 55777831 445837312 84242 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 108847 84242 4480 2842 0 90541 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 453960 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 56065
/proc/meminfo: memFree=107529164/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=453960 CPUtime=2914.09 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71730 0 0 0 290660 749 0 0 20 0 1 0 55777831 580468736 113490 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 113490 4480 2842 0 123410 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 453960 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/264 56067
/proc/meminfo: memFree=107512588/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=468296 CPUtime=2973.92 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71816 0 0 0 296632 760 0 0 20 0 1 0 55777831 580468736 117074 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 117074 4480 2842 0 123410 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 468296 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 56076
/proc/meminfo: memFree=107492232/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3033.73 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 302600 773 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/265 56078
/proc/meminfo: memFree=107492588/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3093.56 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 308566 790 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/265 56080
/proc/meminfo: memFree=107492284/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3153.38 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 314533 805 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 56082
/proc/meminfo: memFree=107484492/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3213.21 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 320497 824 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 56086
/proc/meminfo: memFree=107436472/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3273.04 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 326463 841 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56088
/proc/meminfo: memFree=107427400/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3332.87 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 332432 855 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56090
/proc/meminfo: memFree=107427504/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3392.69 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 338402 867 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 56092
/proc/meminfo: memFree=107427376/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3452.52 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 344372 880 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 56094
/proc/meminfo: memFree=107427480/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3512.34 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 350339 895 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/262 56096
/proc/meminfo: memFree=107427228/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3572.17 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 356307 910 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.29 4.16 4.11 4/254 56168
/proc/meminfo: memFree=108513120/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3600.09 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 359095 914 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 55413 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.96 s, system=9.14884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.29 4.16 4.11 4/254 56168
/proc/meminfo: memFree=108513120/131249988 swapFree=33010416/33010684
[pid=55413] ppid=55409 vsize=566864 memory=484680 CPUtime=3600.09 cores=0,2
/proc/55413/stat : 55413 (mixed-bag) R 55409 55413 55025 0 -1 4194304 71824 0 0 0 359095 914 0 0 20 0 1 0 55777831 580468736 121170 18446744073709551615 4235264 15874749 140735164251472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40902656 140735164258716 140735164258793 140735164258793 140735164264395 0
/proc/55413/statm: 141716 121170 4480 2842 0 123410 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 566864 KiB
Current children cumulated memory: 484680 KiB
Child status: 0
Real time (s): 3610.3
CPU time (s): 3600.1
CPU user time (s): 3590.96
CPU system time (s): 9.14884
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 566864
Max. memory (cumulated for all children) (KiB): 484680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.96
system time used= 9.14884
maximum resident set size= 485704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71853
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= 215
involuntary context switches= 7857
# summary of solver processes directly reported to runsolver:
# pid: 55413
# total CPU time (s): 3600.1
# total CPU user time (s): 3590.96
# total CPU system time (s): 9.14884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65883 second user time and 15.6285 second system time
The end
Begin job on nodeC031 at 2025-07-01 22:16:33
IDJOB=4497827
IDBENCH=148194
IDSOLVER=3340
FILE ID=nodeC031/4497827-1751400993
RUNJOBID= nodeC031-1751397381-55035
SLURM_JOB_ID= 9598276
Free space on /tmp= 432856 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497827-1751400993/watcher-4497827-1751400993 -o /tmp/evaluation-result-4497827-1751400993/solver-4497827-1751400993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4497827-1751400993.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=161699557
nodeC031 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 : 3525.673
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.78
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.886
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.78
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 : 3599.908
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.78
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 : 3638.739
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.78
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.883
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.78
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 : 3599.760
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.978
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.78
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 : 3700.000
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 109573948 kB
MemAvailable: 129330192 kB
Buffers: 2128 kB
Cached: 20442676 kB
SwapCached: 12 kB
Active: 802840 kB
Inactive: 20036828 kB
Active(anon): 402452 kB
Inactive(anon): 10472 kB
Active(file): 400388 kB
Inactive(file): 20026356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48676 kB
Writeback: 0 kB
AnonPages: 397968 kB
Mapped: 127156 kB
Shmem: 18052 kB
KReclaimable: 337480 kB
Slab: 428692 kB
SReclaimable: 337480 kB
SUnreclaim: 91212 kB
KernelStack: 4176 kB
PageTables: 3796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 772364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432660 MiB
End job on nodeC031 at 2025-07-01 23:16:43