0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.19/300.25 c [STEP] preprocessing done, loading into solver
299.19/300.29 c [STEP] solving
299.19/300.29 c #variables 6068 #constraints 21380
299.19/300.29 c SMALL=int, LARGE=long long
299.19/300.29 c bounds - >= 0 @ 299.079
299.19/300.29 c stratification level: 0
414.73/416.17 c bounds - >= 1 @ 299.121
414.73/416.17 c bounds - >= 2 @ 299.123
414.73/416.17 c bounds - >= 3 @ 299.124
414.73/416.17 c bounds - >= 4 @ 299.124
414.73/416.17 c bounds - >= 5 @ 299.125
414.73/416.17 c bounds - >= 6 @ 299.126
414.73/416.17 c #Conflicts: 1000 | #Constraints: 22391
414.73/416.17 c #Conflicts: 2000 | #Constraints: 23391
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 3000 | #Constraints: 23393
414.73/416.17 c #Conflicts: 4000 | #Constraints: 24393
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 5000 | #Constraints: 23805
414.73/416.17 c #Conflicts: 6000 | #Constraints: 24805
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 7000 | #Constraints: 23815
414.73/416.17 c #Conflicts: 8000 | #Constraints: 24815
414.73/416.17 c #Conflicts: 9000 | #Constraints: 25815
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 10000 | #Constraints: 24525
414.73/416.17 c #Conflicts: 11000 | #Constraints: 25525
414.73/416.17 c #Conflicts: 12000 | #Constraints: 26525
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 13000 | #Constraints: 24970
414.73/416.17 c #Conflicts: 14000 | #Constraints: 25970
414.73/416.17 c #Conflicts: 15000 | #Constraints: 26970
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 16000 | #Constraints: 25193
414.73/416.17 c #Conflicts: 17000 | #Constraints: 26193
414.73/416.17 c #Conflicts: 18000 | #Constraints: 27193
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 19000 | #Constraints: 25212
414.73/416.17 c #Conflicts: 20000 | #Constraints: 26212
414.73/416.17 c #Conflicts: 21000 | #Constraints: 27212
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 22000 | #Constraints: 25015
414.73/416.17 c #Conflicts: 23000 | #Constraints: 26015
414.73/416.17 c #Conflicts: 24000 | #Constraints: 27015
414.73/416.17 c #Conflicts: 25000 | #Constraints: 28015
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 26000 | #Constraints: 25624
414.73/416.17 c #Conflicts: 27000 | #Constraints: 26624
414.73/416.17 c #Conflicts: 28000 | #Constraints: 27624
414.73/416.17 c #Conflicts: 29000 | #Constraints: 28624
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 30000 | #Constraints: 26027
414.73/416.17 c #Conflicts: 31000 | #Constraints: 27027
414.73/416.17 c #Conflicts: 32000 | #Constraints: 28027
414.73/416.17 c #Conflicts: 33000 | #Constraints: 29027
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 34000 | #Constraints: 26259
414.73/416.17 c #Conflicts: 35000 | #Constraints: 27259
414.73/416.17 c #Conflicts: 36000 | #Constraints: 28259
414.73/416.17 c #Conflicts: 37000 | #Constraints: 29259
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 38000 | #Constraints: 26241
414.73/416.17 c #Conflicts: 39000 | #Constraints: 27241
414.73/416.17 c #Conflicts: 40000 | #Constraints: 28241
414.73/416.17 c #Conflicts: 41000 | #Constraints: 29241
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 42000 | #Constraints: 26033
414.73/416.17 c #Conflicts: 43000 | #Constraints: 27033
414.73/416.17 c #Conflicts: 44000 | #Constraints: 28033
414.73/416.17 c #Conflicts: 45000 | #Constraints: 29033
414.73/416.17 c #Conflicts: 46000 | #Constraints: 30033
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 47000 | #Constraints: 26630
414.73/416.17 c #Conflicts: 48000 | #Constraints: 27630
414.73/416.17 c #Conflicts: 49000 | #Constraints: 28630
414.73/416.17 c #Conflicts: 50000 | #Constraints: 29630
414.73/416.17 c #Conflicts: 51000 | #Constraints: 30630
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 52000 | #Constraints: 27032
414.73/416.17 c #Conflicts: 53000 | #Constraints: 28032
414.73/416.17 c #Conflicts: 54000 | #Constraints: 29032
414.73/416.17 c #Conflicts: 55000 | #Constraints: 30032
414.73/416.17 c #Conflicts: 56000 | #Constraints: 31032
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 57000 | #Constraints: 27244
414.73/416.17 c #Conflicts: 58000 | #Constraints: 28244
414.73/416.17 c #Conflicts: 59000 | #Constraints: 29244
414.73/416.17 c #Conflicts: 60000 | #Constraints: 30244
414.73/416.17 c #Conflicts: 61000 | #Constraints: 31244
414.73/416.17 c INPROCESSING
414.73/416.17 c GARBAGE COLLECT
414.73/416.17 c #Conflicts: 62000 | #Constraints: 27255
414.73/416.17 c #Conflicts: 63000 | #Constraints: 28255
414.73/416.17 c #Conflicts: 64000 | #Constraints: 29255
414.73/416.17 c #Conflicts: 65000 | #Constraints: 30255
592.80/594.70 c #Conflicts: 66000 | #Constraints: 31255
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 67000 | #Constraints: 27050
592.80/594.70 c #Conflicts: 68000 | #Constraints: 28050
592.80/594.70 c #Conflicts: 69000 | #Constraints: 29050
592.80/594.70 c #Conflicts: 70000 | #Constraints: 30050
592.80/594.70 c #Conflicts: 71000 | #Constraints: 31050
592.80/594.70 c #Conflicts: 72000 | #Constraints: 32050
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 73000 | #Constraints: 27645
592.80/594.70 c #Conflicts: 74000 | #Constraints: 28645
592.80/594.70 c #Conflicts: 75000 | #Constraints: 29645
592.80/594.70 c #Conflicts: 76000 | #Constraints: 30645
592.80/594.70 c #Conflicts: 77000 | #Constraints: 31645
592.80/594.70 c #Conflicts: 78000 | #Constraints: 32645
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 79000 | #Constraints: 28050
592.80/594.70 c #Conflicts: 80000 | #Constraints: 29050
592.80/594.70 c #Conflicts: 81000 | #Constraints: 30050
592.80/594.70 c #Conflicts: 82000 | #Constraints: 31050
592.80/594.70 c #Conflicts: 83000 | #Constraints: 32050
592.80/594.70 c #Conflicts: 84000 | #Constraints: 33050
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 85000 | #Constraints: 28267
592.80/594.70 c #Conflicts: 86000 | #Constraints: 29267
592.80/594.70 c #Conflicts: 87000 | #Constraints: 30267
592.80/594.70 c #Conflicts: 88000 | #Constraints: 31267
592.80/594.70 c #Conflicts: 89000 | #Constraints: 32267
592.80/594.70 c #Conflicts: 90000 | #Constraints: 33267
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 91000 | #Constraints: 28268
592.80/594.70 c #Conflicts: 92000 | #Constraints: 29268
592.80/594.70 c #Conflicts: 93000 | #Constraints: 30268
592.80/594.70 c #Conflicts: 94000 | #Constraints: 31268
592.80/594.70 c #Conflicts: 95000 | #Constraints: 32268
592.80/594.70 c #Conflicts: 96000 | #Constraints: 33268
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 97000 | #Constraints: 28059
592.80/594.70 c #Conflicts: 98000 | #Constraints: 29059
592.80/594.70 c #Conflicts: 99000 | #Constraints: 30059
592.80/594.70 c #Conflicts: 100000 | #Constraints: 31059
592.80/594.70 c #Conflicts: 101000 | #Constraints: 32059
592.80/594.70 c #Conflicts: 102000 | #Constraints: 33059
592.80/594.70 c #Conflicts: 103000 | #Constraints: 34059
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 104000 | #Constraints: 28640
592.80/594.70 c #Conflicts: 105000 | #Constraints: 29640
592.80/594.70 c #Conflicts: 106000 | #Constraints: 30640
592.80/594.70 c #Conflicts: 107000 | #Constraints: 31640
592.80/594.70 c #Conflicts: 108000 | #Constraints: 32640
592.80/594.70 c #Conflicts: 109000 | #Constraints: 33640
592.80/594.70 c #Conflicts: 110000 | #Constraints: 34640
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 111000 | #Constraints: 29037
592.80/594.70 c #Conflicts: 112000 | #Constraints: 30037
592.80/594.70 c #Conflicts: 113000 | #Constraints: 31037
592.80/594.70 c #Conflicts: 114000 | #Constraints: 32037
592.80/594.70 c #Conflicts: 115000 | #Constraints: 33037
592.80/594.70 c #Conflicts: 116000 | #Constraints: 34037
592.80/594.70 c #Conflicts: 117000 | #Constraints: 35037
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 118000 | #Constraints: 29266
592.80/594.70 c #Conflicts: 119000 | #Constraints: 30266
592.80/594.70 c #Conflicts: 120000 | #Constraints: 31266
592.80/594.70 c #Conflicts: 121000 | #Constraints: 32266
592.80/594.70 c #Conflicts: 122000 | #Constraints: 33266
592.80/594.70 c #Conflicts: 123000 | #Constraints: 34266
592.80/594.70 c #Conflicts: 124000 | #Constraints: 35266
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 125000 | #Constraints: 29305
592.80/594.70 c #Conflicts: 126000 | #Constraints: 30305
592.80/594.70 c #Conflicts: 127000 | #Constraints: 31305
592.80/594.70 c #Conflicts: 128000 | #Constraints: 32305
592.80/594.70 c #Conflicts: 129000 | #Constraints: 33305
592.80/594.70 c #Conflicts: 130000 | #Constraints: 34305
592.80/594.70 c #Conflicts: 131000 | #Constraints: 35305
592.80/594.70 c INPROCESSING
592.80/594.70 c GARBAGE COLLECT
592.80/594.70 c #Conflicts: 132000 | #Constraints: 29103
592.80/594.70 c #Conflicts: 133000 | #Constraints: 30103
592.80/594.70 c #Conflicts: 134000 | #Constraints: 31103
592.80/594.70 c #Conflicts: 135000 | #Constraints: 32103
592.80/594.70 c #Conflicts: 136000 | #Constraints: 33103
592.80/594.70 c #Conflicts: 137000 | #Constraints: 34103
869.81/872.44 c #Conflicts: 138000 | #Constraints: 35103
869.81/872.44 c #Conflicts: 139000 | #Constraints: 36103
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 140000 | #Constraints: 29682
869.81/872.44 c #Conflicts: 141000 | #Constraints: 30682
869.81/872.44 c #Conflicts: 142000 | #Constraints: 31682
869.81/872.44 c #Conflicts: 143000 | #Constraints: 32682
869.81/872.44 c #Conflicts: 144000 | #Constraints: 33682
869.81/872.44 c #Conflicts: 145000 | #Constraints: 34682
869.81/872.44 c #Conflicts: 146000 | #Constraints: 35682
869.81/872.44 c #Conflicts: 147000 | #Constraints: 36682
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 148000 | #Constraints: 30075
869.81/872.44 c #Conflicts: 149000 | #Constraints: 31075
869.81/872.44 c #Conflicts: 150000 | #Constraints: 32075
869.81/872.44 c #Conflicts: 151000 | #Constraints: 33075
869.81/872.44 c #Conflicts: 152000 | #Constraints: 34075
869.81/872.44 c #Conflicts: 153000 | #Constraints: 35075
869.81/872.44 c #Conflicts: 154000 | #Constraints: 36075
869.81/872.44 c #Conflicts: 155000 | #Constraints: 37075
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 156000 | #Constraints: 30273
869.81/872.44 c #Conflicts: 157000 | #Constraints: 31273
869.81/872.44 c #Conflicts: 158000 | #Constraints: 32273
869.81/872.44 c #Conflicts: 159000 | #Constraints: 33273
869.81/872.44 c #Conflicts: 160000 | #Constraints: 34273
869.81/872.44 c #Conflicts: 161000 | #Constraints: 35273
869.81/872.44 c #Conflicts: 162000 | #Constraints: 36273
869.81/872.44 c #Conflicts: 163000 | #Constraints: 37273
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 164000 | #Constraints: 30288
869.81/872.44 c #Conflicts: 165000 | #Constraints: 31288
869.81/872.44 c #Conflicts: 166000 | #Constraints: 32288
869.81/872.44 c #Conflicts: 167000 | #Constraints: 33288
869.81/872.44 c #Conflicts: 168000 | #Constraints: 34288
869.81/872.44 c #Conflicts: 169000 | #Constraints: 35288
869.81/872.44 c #Conflicts: 170000 | #Constraints: 36288
869.81/872.44 c #Conflicts: 171000 | #Constraints: 37288
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 172000 | #Constraints: 30095
869.81/872.44 c #Conflicts: 173000 | #Constraints: 31095
869.81/872.44 c #Conflicts: 174000 | #Constraints: 32095
869.81/872.44 c #Conflicts: 175000 | #Constraints: 33095
869.81/872.44 c #Conflicts: 176000 | #Constraints: 34095
869.81/872.44 c #Conflicts: 177000 | #Constraints: 35095
869.81/872.44 c #Conflicts: 178000 | #Constraints: 36095
869.81/872.44 c #Conflicts: 179000 | #Constraints: 37095
869.81/872.44 c #Conflicts: 180000 | #Constraints: 38095
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 181000 | #Constraints: 30720
869.81/872.44 c #Conflicts: 182000 | #Constraints: 31720
869.81/872.44 c #Conflicts: 183000 | #Constraints: 32720
869.81/872.44 c #Conflicts: 184000 | #Constraints: 33720
869.81/872.44 c #Conflicts: 185000 | #Constraints: 34720
869.81/872.44 c #Conflicts: 186000 | #Constraints: 35720
869.81/872.44 c #Conflicts: 187000 | #Constraints: 36720
869.81/872.44 c #Conflicts: 188000 | #Constraints: 37720
869.81/872.44 c #Conflicts: 189000 | #Constraints: 38720
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 190000 | #Constraints: 31206
869.81/872.44 c #Conflicts: 191000 | #Constraints: 32206
869.81/872.44 c #Conflicts: 192000 | #Constraints: 33206
869.81/872.44 c #Conflicts: 193000 | #Constraints: 34206
869.81/872.44 c #Conflicts: 194000 | #Constraints: 35206
869.81/872.44 c #Conflicts: 195000 | #Constraints: 36206
869.81/872.44 c #Conflicts: 196000 | #Constraints: 37206
869.81/872.44 c #Conflicts: 197000 | #Constraints: 38206
869.81/872.44 c #Conflicts: 198000 | #Constraints: 39206
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 199000 | #Constraints: 31411
869.81/872.44 c #Conflicts: 200000 | #Constraints: 32411
869.81/872.44 c #Conflicts: 201000 | #Constraints: 33411
869.81/872.44 c #Conflicts: 202000 | #Constraints: 34411
869.81/872.44 c #Conflicts: 203000 | #Constraints: 35411
869.81/872.44 c #Conflicts: 204000 | #Constraints: 36411
869.81/872.44 c #Conflicts: 205000 | #Constraints: 37411
869.81/872.44 c #Conflicts: 206000 | #Constraints: 38411
869.81/872.44 c #Conflicts: 207000 | #Constraints: 39411
869.81/872.44 c INPROCESSING
869.81/872.44 c GARBAGE COLLECT
869.81/872.44 c #Conflicts: 208000 | #Constraints: 31403
869.81/872.44 c #Conflicts: 209000 | #Constraints: 32403
869.81/872.44 c #Conflicts: 210000 | #Constraints: 33403
1211.90/1215.37 c #Conflicts: 211000 | #Constraints: 34403
1211.90/1215.37 c #Conflicts: 212000 | #Constraints: 35403
1211.90/1215.37 c #Conflicts: 213000 | #Constraints: 36403
1211.90/1215.37 c #Conflicts: 214000 | #Constraints: 37403
1211.90/1215.37 c #Conflicts: 215000 | #Constraints: 38403
1211.90/1215.37 c #Conflicts: 216000 | #Constraints: 39403
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 217000 | #Constraints: 31188
1211.90/1215.37 c #Conflicts: 218000 | #Constraints: 32188
1211.90/1215.37 c #Conflicts: 219000 | #Constraints: 33188
1211.90/1215.37 c #Conflicts: 220000 | #Constraints: 34188
1211.90/1215.37 c #Conflicts: 221000 | #Constraints: 35188
1211.90/1215.37 c #Conflicts: 222000 | #Constraints: 36188
1211.90/1215.37 c #Conflicts: 223000 | #Constraints: 37188
1211.90/1215.37 c #Conflicts: 224000 | #Constraints: 38188
1211.90/1215.37 c #Conflicts: 225000 | #Constraints: 39188
1211.90/1215.37 c #Conflicts: 226000 | #Constraints: 40188
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 227000 | #Constraints: 31801
1211.90/1215.37 c #Conflicts: 228000 | #Constraints: 32801
1211.90/1215.37 c #Conflicts: 229000 | #Constraints: 33801
1211.90/1215.37 c #Conflicts: 230000 | #Constraints: 34801
1211.90/1215.37 c #Conflicts: 231000 | #Constraints: 35801
1211.90/1215.37 c #Conflicts: 232000 | #Constraints: 36801
1211.90/1215.37 c #Conflicts: 233000 | #Constraints: 37801
1211.90/1215.37 c #Conflicts: 234000 | #Constraints: 38801
1211.90/1215.37 c #Conflicts: 235000 | #Constraints: 39801
1211.90/1215.37 c #Conflicts: 236000 | #Constraints: 40801
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 237000 | #Constraints: 32179
1211.90/1215.37 c #Conflicts: 238000 | #Constraints: 33179
1211.90/1215.37 c #Conflicts: 239000 | #Constraints: 34179
1211.90/1215.37 c #Conflicts: 240000 | #Constraints: 35179
1211.90/1215.37 c #Conflicts: 241000 | #Constraints: 36179
1211.90/1215.37 c #Conflicts: 242000 | #Constraints: 37179
1211.90/1215.37 c #Conflicts: 243000 | #Constraints: 38179
1211.90/1215.37 c #Conflicts: 244000 | #Constraints: 39179
1211.90/1215.37 c #Conflicts: 245000 | #Constraints: 40179
1211.90/1215.37 c #Conflicts: 246000 | #Constraints: 41179
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 247000 | #Constraints: 32331
1211.90/1215.37 c #Conflicts: 248000 | #Constraints: 33331
1211.90/1215.37 c #Conflicts: 249000 | #Constraints: 34331
1211.90/1215.37 c #Conflicts: 250000 | #Constraints: 35331
1211.90/1215.37 c #Conflicts: 251000 | #Constraints: 36331
1211.90/1215.37 c #Conflicts: 252000 | #Constraints: 37331
1211.90/1215.37 c #Conflicts: 253000 | #Constraints: 38331
1211.90/1215.37 c #Conflicts: 254000 | #Constraints: 39331
1211.90/1215.37 c #Conflicts: 255000 | #Constraints: 40331
1211.90/1215.37 c #Conflicts: 256000 | #Constraints: 41331
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 257000 | #Constraints: 32344
1211.90/1215.37 c #Conflicts: 258000 | #Constraints: 33344
1211.90/1215.37 c #Conflicts: 259000 | #Constraints: 34344
1211.90/1215.37 c #Conflicts: 260000 | #Constraints: 35344
1211.90/1215.37 c #Conflicts: 261000 | #Constraints: 36344
1211.90/1215.37 c #Conflicts: 262000 | #Constraints: 37344
1211.90/1215.37 c #Conflicts: 263000 | #Constraints: 38344
1211.90/1215.37 c #Conflicts: 264000 | #Constraints: 39344
1211.90/1215.37 c #Conflicts: 265000 | #Constraints: 40344
1211.90/1215.37 c #Conflicts: 266000 | #Constraints: 41344
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 267000 | #Constraints: 32324
1211.90/1215.37 c #Conflicts: 268000 | #Constraints: 33324
1211.90/1215.37 c #Conflicts: 269000 | #Constraints: 34324
1211.90/1215.37 c #Conflicts: 270000 | #Constraints: 35324
1211.90/1215.37 c #Conflicts: 271000 | #Constraints: 36324
1211.90/1215.37 c #Conflicts: 272000 | #Constraints: 37324
1211.90/1215.37 c #Conflicts: 273000 | #Constraints: 38324
1211.90/1215.37 c #Conflicts: 274000 | #Constraints: 39324
1211.90/1215.37 c #Conflicts: 275000 | #Constraints: 40324
1211.90/1215.37 c #Conflicts: 276000 | #Constraints: 41324
1211.90/1215.37 c #Conflicts: 277000 | #Constraints: 42324
1211.90/1215.37 c INPROCESSING
1211.90/1215.37 c GARBAGE COLLECT
1211.90/1215.37 c #Conflicts: 278000 | #Constraints: 32987
1211.90/1215.37 c #Conflicts: 279000 | #Constraints: 33987
1211.90/1215.37 c #Conflicts: 280000 | #Constraints: 34987
1211.90/1215.37 c #Conflicts: 281000 | #Constraints: 35987
1211.90/1215.37 c #Conflicts: 282000 | #Constraints: 36987
1211.90/1215.37 c #Conflicts: 283000 | #Constraints: 37987
1211.90/1215.37 c #Conflicts: 284000 | #Constraints: 38987
1211.90/1215.37 c #Conflicts: 285000 | #Constraints: 39987
1605.69/1610.23 c #Conflicts: 286000 | #Constraints: 40987
1605.69/1610.23 c #Conflicts: 287000 | #Constraints: 41987
1605.69/1610.23 c #Conflicts: 288000 | #Constraints: 42987
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 289000 | #Constraints: 33233
1605.69/1610.23 c #Conflicts: 290000 | #Constraints: 34233
1605.69/1610.23 c #Conflicts: 291000 | #Constraints: 35233
1605.69/1610.23 c #Conflicts: 292000 | #Constraints: 36233
1605.69/1610.23 c #Conflicts: 293000 | #Constraints: 37233
1605.69/1610.23 c #Conflicts: 294000 | #Constraints: 38233
1605.69/1610.23 c #Conflicts: 295000 | #Constraints: 39233
1605.69/1610.23 c #Conflicts: 296000 | #Constraints: 40233
1605.69/1610.23 c #Conflicts: 297000 | #Constraints: 41233
1605.69/1610.23 c #Conflicts: 298000 | #Constraints: 42233
1605.69/1610.23 c #Conflicts: 299000 | #Constraints: 43233
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 300000 | #Constraints: 33334
1605.69/1610.23 c #Conflicts: 301000 | #Constraints: 34334
1605.69/1610.23 c #Conflicts: 302000 | #Constraints: 35334
1605.69/1610.23 c #Conflicts: 303000 | #Constraints: 36334
1605.69/1610.23 c #Conflicts: 304000 | #Constraints: 37334
1605.69/1610.23 c #Conflicts: 305000 | #Constraints: 38334
1605.69/1610.23 c #Conflicts: 306000 | #Constraints: 39334
1605.69/1610.23 c #Conflicts: 307000 | #Constraints: 40334
1605.69/1610.23 c #Conflicts: 308000 | #Constraints: 41334
1605.69/1610.23 c #Conflicts: 309000 | #Constraints: 42334
1605.69/1610.23 c #Conflicts: 310000 | #Constraints: 43334
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 311000 | #Constraints: 33307
1605.69/1610.23 c #Conflicts: 312000 | #Constraints: 34307
1605.69/1610.23 c #Conflicts: 313000 | #Constraints: 35307
1605.69/1610.23 c #Conflicts: 314000 | #Constraints: 36307
1605.69/1610.23 c #Conflicts: 315000 | #Constraints: 37307
1605.69/1610.23 c #Conflicts: 316000 | #Constraints: 38307
1605.69/1610.23 c #Conflicts: 317000 | #Constraints: 39307
1605.69/1610.23 c #Conflicts: 318000 | #Constraints: 40307
1605.69/1610.23 c #Conflicts: 319000 | #Constraints: 41307
1605.69/1610.23 c #Conflicts: 320000 | #Constraints: 42307
1605.69/1610.23 c #Conflicts: 321000 | #Constraints: 43307
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 322000 | #Constraints: 33089
1605.69/1610.23 c #Conflicts: 323000 | #Constraints: 34089
1605.69/1610.23 c #Conflicts: 324000 | #Constraints: 35089
1605.69/1610.23 c #Conflicts: 325000 | #Constraints: 36089
1605.69/1610.23 c #Conflicts: 326000 | #Constraints: 37089
1605.69/1610.23 c #Conflicts: 327000 | #Constraints: 38089
1605.69/1610.23 c #Conflicts: 328000 | #Constraints: 39089
1605.69/1610.23 c #Conflicts: 329000 | #Constraints: 40089
1605.69/1610.23 c #Conflicts: 330000 | #Constraints: 41089
1605.69/1610.23 c #Conflicts: 331000 | #Constraints: 42089
1605.69/1610.23 c #Conflicts: 332000 | #Constraints: 43089
1605.69/1610.23 c #Conflicts: 333000 | #Constraints: 44089
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 334000 | #Constraints: 33702
1605.69/1610.23 c #Conflicts: 335000 | #Constraints: 34702
1605.69/1610.23 c #Conflicts: 336000 | #Constraints: 35702
1605.69/1610.23 c #Conflicts: 337000 | #Constraints: 36702
1605.69/1610.23 c #Conflicts: 338000 | #Constraints: 37702
1605.69/1610.23 c #Conflicts: 339000 | #Constraints: 38702
1605.69/1610.23 c #Conflicts: 340000 | #Constraints: 39702
1605.69/1610.23 c #Conflicts: 341000 | #Constraints: 40702
1605.69/1610.23 c #Conflicts: 342000 | #Constraints: 41702
1605.69/1610.23 c #Conflicts: 343000 | #Constraints: 42702
1605.69/1610.23 c #Conflicts: 344000 | #Constraints: 43702
1605.69/1610.23 c #Conflicts: 345000 | #Constraints: 44702
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 346000 | #Constraints: 34119
1605.69/1610.23 c #Conflicts: 347000 | #Constraints: 35119
1605.69/1610.23 c #Conflicts: 348000 | #Constraints: 36119
1605.69/1610.23 c #Conflicts: 349000 | #Constraints: 37119
1605.69/1610.23 c #Conflicts: 350000 | #Constraints: 38119
1605.69/1610.23 c #Conflicts: 351000 | #Constraints: 39119
1605.69/1610.23 c #Conflicts: 352000 | #Constraints: 40119
1605.69/1610.23 c #Conflicts: 353000 | #Constraints: 41119
1605.69/1610.23 c #Conflicts: 354000 | #Constraints: 42119
1605.69/1610.23 c #Conflicts: 355000 | #Constraints: 43119
1605.69/1610.23 c #Conflicts: 356000 | #Constraints: 44119
1605.69/1610.23 c #Conflicts: 357000 | #Constraints: 45119
1605.69/1610.23 c INPROCESSING
1605.69/1610.23 c GARBAGE COLLECT
1605.69/1610.23 c #Conflicts: 358000 | #Constraints: 34320
1605.69/1610.23 c #Conflicts: 359000 | #Constraints: 35320
1979.82/1985.45 c #Conflicts: 360000 | #Constraints: 36320
1979.82/1985.45 c #Conflicts: 361000 | #Constraints: 37320
1979.82/1985.45 c #Conflicts: 362000 | #Constraints: 38320
1979.82/1985.45 c #Conflicts: 363000 | #Constraints: 39320
1979.82/1985.45 c #Conflicts: 364000 | #Constraints: 40320
1979.82/1985.45 c #Conflicts: 365000 | #Constraints: 41320
1979.82/1985.45 c #Conflicts: 366000 | #Constraints: 42320
1979.82/1985.45 c #Conflicts: 367000 | #Constraints: 43320
1979.82/1985.45 c #Conflicts: 368000 | #Constraints: 44320
1979.82/1985.45 c #Conflicts: 369000 | #Constraints: 45320
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 370000 | #Constraints: 34414
1979.82/1985.45 c #Conflicts: 371000 | #Constraints: 35414
1979.82/1985.45 c #Conflicts: 372000 | #Constraints: 36414
1979.82/1985.45 c #Conflicts: 373000 | #Constraints: 37414
1979.82/1985.45 c #Conflicts: 374000 | #Constraints: 38414
1979.82/1985.45 c #Conflicts: 375000 | #Constraints: 39414
1979.82/1985.45 c #Conflicts: 376000 | #Constraints: 40414
1979.82/1985.45 c #Conflicts: 377000 | #Constraints: 41414
1979.82/1985.45 c #Conflicts: 378000 | #Constraints: 42414
1979.82/1985.45 c #Conflicts: 379000 | #Constraints: 43414
1979.82/1985.45 c #Conflicts: 380000 | #Constraints: 44414
1979.82/1985.45 c #Conflicts: 381000 | #Constraints: 45414
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 382000 | #Constraints: 34166
1979.82/1985.45 c #Conflicts: 383000 | #Constraints: 35166
1979.82/1985.45 c #Conflicts: 384000 | #Constraints: 36166
1979.82/1985.45 c #Conflicts: 385000 | #Constraints: 37166
1979.82/1985.45 c #Conflicts: 386000 | #Constraints: 38166
1979.82/1985.45 c #Conflicts: 387000 | #Constraints: 39166
1979.82/1985.45 c #Conflicts: 388000 | #Constraints: 40166
1979.82/1985.45 c #Conflicts: 389000 | #Constraints: 41166
1979.82/1985.45 c #Conflicts: 390000 | #Constraints: 42166
1979.82/1985.45 c #Conflicts: 391000 | #Constraints: 43166
1979.82/1985.45 c #Conflicts: 392000 | #Constraints: 44166
1979.82/1985.45 c #Conflicts: 393000 | #Constraints: 45166
1979.82/1985.45 c #Conflicts: 394000 | #Constraints: 46166
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 395000 | #Constraints: 34953
1979.82/1985.45 c #Conflicts: 396000 | #Constraints: 35953
1979.82/1985.45 c #Conflicts: 397000 | #Constraints: 36953
1979.82/1985.45 c #Conflicts: 398000 | #Constraints: 37953
1979.82/1985.45 c #Conflicts: 399000 | #Constraints: 38953
1979.82/1985.45 c #Conflicts: 400000 | #Constraints: 39953
1979.82/1985.45 c #Conflicts: 401000 | #Constraints: 40953
1979.82/1985.45 c #Conflicts: 402000 | #Constraints: 41953
1979.82/1985.45 c #Conflicts: 403000 | #Constraints: 42953
1979.82/1985.45 c #Conflicts: 404000 | #Constraints: 43953
1979.82/1985.45 c #Conflicts: 405000 | #Constraints: 44953
1979.82/1985.45 c #Conflicts: 406000 | #Constraints: 45953
1979.82/1985.45 c #Conflicts: 407000 | #Constraints: 46953
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 408000 | #Constraints: 35263
1979.82/1985.45 c #Conflicts: 409000 | #Constraints: 36263
1979.82/1985.45 c #Conflicts: 410000 | #Constraints: 37263
1979.82/1985.45 c #Conflicts: 411000 | #Constraints: 38263
1979.82/1985.45 c #Conflicts: 412000 | #Constraints: 39263
1979.82/1985.45 c #Conflicts: 413000 | #Constraints: 40263
1979.82/1985.45 c #Conflicts: 414000 | #Constraints: 41263
1979.82/1985.45 c #Conflicts: 415000 | #Constraints: 42263
1979.82/1985.45 c #Conflicts: 416000 | #Constraints: 43263
1979.82/1985.45 c #Conflicts: 417000 | #Constraints: 44263
1979.82/1985.45 c #Conflicts: 418000 | #Constraints: 45263
1979.82/1985.45 c #Conflicts: 419000 | #Constraints: 46263
1979.82/1985.45 c #Conflicts: 420000 | #Constraints: 47263
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 421000 | #Constraints: 35375
1979.82/1985.45 c #Conflicts: 422000 | #Constraints: 36375
1979.82/1985.45 c #Conflicts: 423000 | #Constraints: 37375
1979.82/1985.45 c #Conflicts: 424000 | #Constraints: 38375
1979.82/1985.45 c #Conflicts: 425000 | #Constraints: 39375
1979.82/1985.45 c #Conflicts: 426000 | #Constraints: 40375
1979.82/1985.45 c #Conflicts: 427000 | #Constraints: 41375
1979.82/1985.45 c #Conflicts: 428000 | #Constraints: 42375
1979.82/1985.45 c #Conflicts: 429000 | #Constraints: 43375
1979.82/1985.45 c #Conflicts: 430000 | #Constraints: 44375
1979.82/1985.45 c #Conflicts: 431000 | #Constraints: 45375
1979.82/1985.45 c #Conflicts: 432000 | #Constraints: 46375
1979.82/1985.45 c #Conflicts: 433000 | #Constraints: 47375
1979.82/1985.45 c INPROCESSING
1979.82/1985.45 c GARBAGE COLLECT
1979.82/1985.45 c #Conflicts: 434000 | #Constraints: 35370
2481.12/2488.19 c #Conflicts: 435000 | #Constraints: 36370
2481.12/2488.19 c #Conflicts: 436000 | #Constraints: 37370
2481.12/2488.19 c #Conflicts: 437000 | #Constraints: 38370
2481.12/2488.19 c #Conflicts: 438000 | #Constraints: 39370
2481.12/2488.19 c #Conflicts: 439000 | #Constraints: 40370
2481.12/2488.19 c #Conflicts: 440000 | #Constraints: 41370
2481.12/2488.19 c #Conflicts: 441000 | #Constraints: 42370
2481.12/2488.19 c #Conflicts: 442000 | #Constraints: 43370
2481.12/2488.19 c #Conflicts: 443000 | #Constraints: 44370
2481.12/2488.19 c #Conflicts: 444000 | #Constraints: 45370
2481.12/2488.19 c #Conflicts: 445000 | #Constraints: 46370
2481.12/2488.19 c #Conflicts: 446000 | #Constraints: 47370
2481.12/2488.19 c INPROCESSING
2481.12/2488.19 c GARBAGE COLLECT
2481.12/2488.19 c #Conflicts: 447000 | #Constraints: 35293
2481.12/2488.19 c #Conflicts: 448000 | #Constraints: 36293
2481.12/2488.19 c #Conflicts: 449000 | #Constraints: 37293
2481.12/2488.19 c #Conflicts: 450000 | #Constraints: 38293
2481.12/2488.19 c #Conflicts: 451000 | #Constraints: 39293
2481.12/2488.19 c #Conflicts: 452000 | #Constraints: 40293
2481.12/2488.19 c #Conflicts: 453000 | #Constraints: 41293
2481.12/2488.19 c #Conflicts: 454000 | #Constraints: 42293
2481.12/2488.19 c #Conflicts: 455000 | #Constraints: 43293
2481.12/2488.19 c #Conflicts: 456000 | #Constraints: 44293
2481.12/2488.19 c #Conflicts: 457000 | #Constraints: 45293
2481.12/2488.19 c #Conflicts: 458000 | #Constraints: 46293
2481.12/2488.19 c #Conflicts: 459000 | #Constraints: 47293
2481.12/2488.19 c #Conflicts: 460000 | #Constraints: 48293
2481.12/2488.19 c INPROCESSING
2481.12/2488.19 c GARBAGE COLLECT
2481.12/2488.19 c #Conflicts: 461000 | #Constraints: 35936
2481.12/2488.19 c #Conflicts: 462000 | #Constraints: 36936
2481.12/2488.19 c #Conflicts: 463000 | #Constraints: 37936
2481.12/2488.19 c #Conflicts: 464000 | #Constraints: 38936
2481.12/2488.19 c #Conflicts: 465000 | #Constraints: 39936
2481.12/2488.19 c #Conflicts: 466000 | #Constraints: 40936
2481.12/2488.19 c #Conflicts: 467000 | #Constraints: 41936
2481.12/2488.19 c #Conflicts: 468000 | #Constraints: 42936
2481.12/2488.19 c #Conflicts: 469000 | #Constraints: 43936
2481.12/2488.19 c #Conflicts: 470000 | #Constraints: 44936
2481.12/2488.19 c #Conflicts: 471000 | #Constraints: 45936
2481.12/2488.19 c #Conflicts: 472000 | #Constraints: 46936
2481.12/2488.19 c #Conflicts: 473000 | #Constraints: 47936
2481.12/2488.19 c #Conflicts: 474000 | #Constraints: 48936
2481.12/2488.19 c INPROCESSING
2481.12/2488.19 c GARBAGE COLLECT
2481.12/2488.19 c #Conflicts: 475000 | #Constraints: 36464
2481.12/2488.19 c #Conflicts: 476000 | #Constraints: 37464
2481.12/2488.19 c #Conflicts: 477000 | #Constraints: 38464
2481.12/2488.19 c #Conflicts: 478000 | #Constraints: 39464
2481.12/2488.19 c #Conflicts: 479000 | #Constraints: 40464
2481.12/2488.19 c #Conflicts: 480000 | #Constraints: 41464
2481.12/2488.19 c #Conflicts: 481000 | #Constraints: 42464
2481.12/2488.19 c #Conflicts: 482000 | #Constraints: 43464
2481.12/2488.19 c #Conflicts: 483000 | #Constraints: 44464
2481.12/2488.19 c #Conflicts: 484000 | #Constraints: 45464
2481.12/2488.19 c #Conflicts: 485000 | #Constraints: 46464
2481.12/2488.19 c #Conflicts: 486000 | #Constraints: 47464
2481.12/2488.19 c #Conflicts: 487000 | #Constraints: 48464
2481.12/2488.19 c #Conflicts: 488000 | #Constraints: 49464
2481.12/2488.19 c INPROCESSING
2481.12/2488.19 c GARBAGE COLLECT
2481.12/2488.19 c #Conflicts: 489000 | #Constraints: 36724
2481.12/2488.19 c #Conflicts: 490000 | #Constraints: 37724
2481.12/2488.19 c #Conflicts: 491000 | #Constraints: 38724
2481.12/2488.19 c #Conflicts: 492000 | #Constraints: 39724
2481.12/2488.19 c #Conflicts: 493000 | #Constraints: 40724
2481.12/2488.19 c #Conflicts: 494000 | #Constraints: 41724
2481.12/2488.19 c #Conflicts: 495000 | #Constraints: 42724
2481.12/2488.19 c #Conflicts: 496000 | #Constraints: 43724
2481.12/2488.19 c #Conflicts: 497000 | #Constraints: 44724
2481.12/2488.19 c #Conflicts: 498000 | #Constraints: 45724
2481.12/2488.19 c #Conflicts: 499000 | #Constraints: 46724
2481.12/2488.19 c #Conflicts: 500000 | #Constraints: 47724
2481.12/2488.19 c #Conflicts: 501000 | #Constraints: 48724
2481.12/2488.19 c #Conflicts: 502000 | #Constraints: 49724
2481.12/2488.19 c INPROCESSING
2481.12/2488.19 c GARBAGE COLLECT
2481.12/2488.19 c #Conflicts: 503000 | #Constraints: 36525
2481.12/2488.19 c #Conflicts: 504000 | #Constraints: 37525
2481.12/2488.19 c #Conflicts: 505000 | #Constraints: 38525
2481.12/2488.19 c #Conflicts: 506000 | #Constraints: 39525
2481.12/2488.19 c #Conflicts: 507000 | #Constraints: 40525
2481.12/2488.19 c #Conflicts: 508000 | #Constraints: 41525
2481.12/2488.19 c #Conflicts: 509000 | #Constraints: 42525
2481.12/2488.19 c #Conflicts: 510000 | #Constraints: 43525
2888.00/2896.14 c #Conflicts: 511000 | #Constraints: 44525
2888.00/2896.14 c #Conflicts: 512000 | #Constraints: 45525
2888.00/2896.14 c #Conflicts: 513000 | #Constraints: 46525
2888.00/2896.14 c #Conflicts: 514000 | #Constraints: 47525
2888.00/2896.14 c #Conflicts: 515000 | #Constraints: 48525
2888.00/2896.14 c #Conflicts: 516000 | #Constraints: 49525
2888.00/2896.14 c INPROCESSING
2888.00/2896.14 c GARBAGE COLLECT
2888.00/2896.14 c #Conflicts: 517000 | #Constraints: 36286
2888.00/2896.14 c #Conflicts: 518000 | #Constraints: 37286
2888.00/2896.14 c #Conflicts: 519000 | #Constraints: 38286
2888.00/2896.14 c #Conflicts: 520000 | #Constraints: 39286
2888.00/2896.14 c #Conflicts: 521000 | #Constraints: 40286
2888.00/2896.14 c #Conflicts: 522000 | #Constraints: 41286
2888.00/2896.14 c #Conflicts: 523000 | #Constraints: 42286
2888.00/2896.14 c #Conflicts: 524000 | #Constraints: 43286
2888.00/2896.14 c #Conflicts: 525000 | #Constraints: 44286
2888.00/2896.14 c #Conflicts: 526000 | #Constraints: 45286
2888.00/2896.14 c #Conflicts: 527000 | #Constraints: 46286
2888.00/2896.14 c #Conflicts: 528000 | #Constraints: 47286
2888.00/2896.14 c #Conflicts: 529000 | #Constraints: 48286
2888.00/2896.14 c #Conflicts: 530000 | #Constraints: 49286
2888.00/2896.14 c #Conflicts: 531000 | #Constraints: 50286
2888.00/2896.14 c INPROCESSING
2888.00/2896.14 c GARBAGE COLLECT
2888.00/2896.14 c #Conflicts: 532000 | #Constraints: 36924
2888.00/2896.14 c #Conflicts: 533000 | #Constraints: 37924
2888.00/2896.14 c #Conflicts: 534000 | #Constraints: 38924
2888.00/2896.14 c #Conflicts: 535000 | #Constraints: 39924
2888.00/2896.14 c #Conflicts: 536000 | #Constraints: 40924
2888.00/2896.14 c #Conflicts: 537000 | #Constraints: 41924
2888.00/2896.14 c #Conflicts: 538000 | #Constraints: 42924
2888.00/2896.14 c #Conflicts: 539000 | #Constraints: 43924
2888.00/2896.14 c #Conflicts: 540000 | #Constraints: 44924
2888.00/2896.14 c #Conflicts: 541000 | #Constraints: 45924
2888.00/2896.14 c #Conflicts: 542000 | #Constraints: 46924
2888.00/2896.14 c #Conflicts: 543000 | #Constraints: 47924
2888.00/2896.14 c #Conflicts: 544000 | #Constraints: 48924
2888.00/2896.14 c #Conflicts: 545000 | #Constraints: 49924
2888.00/2896.14 c #Conflicts: 546000 | #Constraints: 50924
2888.00/2896.14 c INPROCESSING
2888.00/2896.14 c GARBAGE COLLECT
2888.00/2896.14 c #Conflicts: 547000 | #Constraints: 37239
2888.00/2896.14 c #Conflicts: 548000 | #Constraints: 38239
2888.00/2896.14 c #Conflicts: 549000 | #Constraints: 39239
2888.00/2896.14 c #Conflicts: 550000 | #Constraints: 40239
2888.00/2896.14 c #Conflicts: 551000 | #Constraints: 41239
2888.00/2896.14 c #Conflicts: 552000 | #Constraints: 42239
2888.00/2896.14 c #Conflicts: 553000 | #Constraints: 43239
2888.00/2896.14 c #Conflicts: 554000 | #Constraints: 44239
2888.00/2896.14 c #Conflicts: 555000 | #Constraints: 45239
2888.00/2896.14 c #Conflicts: 556000 | #Constraints: 46239
2888.00/2896.14 c #Conflicts: 557000 | #Constraints: 47239
2888.00/2896.14 c #Conflicts: 558000 | #Constraints: 48239
2888.00/2896.14 c #Conflicts: 559000 | #Constraints: 49239
2888.00/2896.14 c #Conflicts: 560000 | #Constraints: 50239
2888.00/2896.14 c #Conflicts: 561000 | #Constraints: 51239
2888.00/2896.14 c INPROCESSING
2888.00/2896.14 c GARBAGE COLLECT
2888.00/2896.14 c #Conflicts: 562000 | #Constraints: 37434
2888.00/2896.14 c #Conflicts: 563000 | #Constraints: 38434
2888.00/2896.14 c #Conflicts: 564000 | #Constraints: 39434
2888.00/2896.14 c #Conflicts: 565000 | #Constraints: 40434
2888.00/2896.14 c #Conflicts: 566000 | #Constraints: 41434
2888.00/2896.14 c #Conflicts: 567000 | #Constraints: 42434
2888.00/2896.14 c #Conflicts: 568000 | #Constraints: 43434
2888.00/2896.14 c #Conflicts: 569000 | #Constraints: 44434
2888.00/2896.14 c #Conflicts: 570000 | #Constraints: 45434
2888.00/2896.14 c #Conflicts: 571000 | #Constraints: 46434
2888.00/2896.14 c #Conflicts: 572000 | #Constraints: 47434
2888.00/2896.14 c #Conflicts: 573000 | #Constraints: 48434
2888.00/2896.14 c #Conflicts: 574000 | #Constraints: 49434
2888.00/2896.14 c #Conflicts: 575000 | #Constraints: 50434
2888.00/2896.14 c #Conflicts: 576000 | #Constraints: 51434
2888.00/2896.14 c INPROCESSING
2888.00/2896.14 c GARBAGE COLLECT
2888.00/2896.14 c #Conflicts: 577000 | #Constraints: 37601
2888.00/2896.14 c #Conflicts: 578000 | #Constraints: 38601
2888.00/2896.14 c #Conflicts: 579000 | #Constraints: 39601
2888.00/2896.14 c #Conflicts: 580000 | #Constraints: 40601
2888.00/2896.14 c #Conflicts: 581000 | #Constraints: 41601
2888.00/2896.14 c #Conflicts: 582000 | #Constraints: 42601
2888.00/2896.14 c #Conflicts: 583000 | #Constraints: 43601
2888.00/2896.14 c #Conflicts: 584000 | #Constraints: 44601
2888.00/2896.14 c #Conflicts: 585000 | #Constraints: 45601
3275.52/3284.71 c #Conflicts: 586000 | #Constraints: 46601
3275.52/3284.71 c #Conflicts: 587000 | #Constraints: 47601
3275.52/3284.71 c #Conflicts: 588000 | #Constraints: 48601
3275.52/3284.71 c #Conflicts: 589000 | #Constraints: 49601
3275.52/3284.71 c #Conflicts: 590000 | #Constraints: 50601
3275.52/3284.71 c #Conflicts: 591000 | #Constraints: 51601
3275.52/3284.71 c INPROCESSING
3275.52/3284.71 c GARBAGE COLLECT
3275.52/3284.71 c #Conflicts: 592000 | #Constraints: 37235
3275.52/3284.71 c #Conflicts: 593000 | #Constraints: 38235
3275.52/3284.71 c #Conflicts: 594000 | #Constraints: 39235
3275.52/3284.71 c #Conflicts: 595000 | #Constraints: 40235
3275.52/3284.71 c #Conflicts: 596000 | #Constraints: 41235
3275.52/3284.71 c #Conflicts: 597000 | #Constraints: 42235
3275.52/3284.71 c #Conflicts: 598000 | #Constraints: 43235
3275.52/3284.71 c #Conflicts: 599000 | #Constraints: 44235
3275.52/3284.71 c #Conflicts: 600000 | #Constraints: 45235
3275.52/3284.71 c #Conflicts: 601000 | #Constraints: 46235
3275.52/3284.71 c #Conflicts: 602000 | #Constraints: 47235
3275.52/3284.71 c #Conflicts: 603000 | #Constraints: 48235
3275.52/3284.71 c #Conflicts: 604000 | #Constraints: 49235
3275.52/3284.71 c #Conflicts: 605000 | #Constraints: 50235
3275.52/3284.71 c #Conflicts: 606000 | #Constraints: 51235
3275.52/3284.71 c #Conflicts: 607000 | #Constraints: 52235
3275.52/3284.71 c INPROCESSING
3275.52/3284.71 c GARBAGE COLLECT
3275.52/3284.71 c #Conflicts: 608000 | #Constraints: 37772
3275.52/3284.71 c #Conflicts: 609000 | #Constraints: 38772
3275.52/3284.71 c #Conflicts: 610000 | #Constraints: 39772
3275.52/3284.71 c #Conflicts: 611000 | #Constraints: 40772
3275.52/3284.71 c #Conflicts: 612000 | #Constraints: 41772
3275.52/3284.71 c #Conflicts: 613000 | #Constraints: 42772
3275.52/3284.71 c #Conflicts: 614000 | #Constraints: 43772
3275.52/3284.71 c #Conflicts: 615000 | #Constraints: 44772
3275.52/3284.71 c #Conflicts: 616000 | #Constraints: 45772
3275.52/3284.71 c #Conflicts: 617000 | #Constraints: 46772
3275.52/3284.71 c #Conflicts: 618000 | #Constraints: 47772
3275.52/3284.71 c #Conflicts: 619000 | #Constraints: 48772
3275.52/3284.71 c #Conflicts: 620000 | #Constraints: 49772
3275.52/3284.71 c #Conflicts: 621000 | #Constraints: 50772
3275.52/3284.71 c #Conflicts: 622000 | #Constraints: 51772
3275.52/3284.71 c #Conflicts: 623000 | #Constraints: 52772
3275.52/3284.71 c INPROCESSING
3275.52/3284.71 c GARBAGE COLLECT
3275.52/3284.71 c #Conflicts: 624000 | #Constraints: 38218
3275.52/3284.71 c #Conflicts: 625000 | #Constraints: 39218
3275.52/3284.71 c #Conflicts: 626000 | #Constraints: 40218
3275.52/3284.71 c #Conflicts: 627000 | #Constraints: 41218
3275.52/3284.71 c #Conflicts: 628000 | #Constraints: 42218
3275.52/3284.71 c #Conflicts: 629000 | #Constraints: 43218
3275.52/3284.71 c #Conflicts: 630000 | #Constraints: 44218
3275.52/3284.71 c #Conflicts: 631000 | #Constraints: 45218
3275.52/3284.71 c #Conflicts: 632000 | #Constraints: 46218
3275.52/3284.71 c #Conflicts: 633000 | #Constraints: 47218
3275.52/3284.71 c #Conflicts: 634000 | #Constraints: 48218
3275.52/3284.71 c #Conflicts: 635000 | #Constraints: 49218
3275.52/3284.71 c #Conflicts: 636000 | #Constraints: 50218
3275.52/3284.71 c #Conflicts: 637000 | #Constraints: 51218
3275.52/3284.71 c #Conflicts: 638000 | #Constraints: 52218
3275.52/3284.71 c #Conflicts: 639000 | #Constraints: 53218
3275.52/3284.71 c INPROCESSING
3275.52/3284.71 c GARBAGE COLLECT
3275.52/3284.71 c #Conflicts: 640000 | #Constraints: 38668
3275.52/3284.71 c #Conflicts: 641000 | #Constraints: 39668
3275.52/3284.71 c #Conflicts: 642000 | #Constraints: 40668
3275.52/3284.71 c #Conflicts: 643000 | #Constraints: 41668
3275.52/3284.71 c #Conflicts: 644000 | #Constraints: 42668
3275.52/3284.71 c #Conflicts: 645000 | #Constraints: 43668
3275.52/3284.71 c #Conflicts: 646000 | #Constraints: 44668
3275.52/3284.71 c #Conflicts: 647000 | #Constraints: 45668
3275.52/3284.71 c #Conflicts: 648000 | #Constraints: 46668
3275.52/3284.71 c #Conflicts: 649000 | #Constraints: 47668
3275.52/3284.71 c #Conflicts: 650000 | #Constraints: 48668
3275.52/3284.71 c #Conflicts: 651000 | #Constraints: 49668
3275.52/3284.71 c #Conflicts: 652000 | #Constraints: 50668
3275.52/3284.71 c #Conflicts: 653000 | #Constraints: 51668
3275.52/3284.71 c #Conflicts: 654000 | #Constraints: 52668
3275.52/3284.71 c #Conflicts: 655000 | #Constraints: 53668
3275.52/3284.71 c INPROCESSING
3275.52/3284.71 c GARBAGE COLLECT
3275.52/3284.71 c #Conflicts: 656000 | #Constraints: 38708
3275.52/3284.71 c #Conflicts: 657000 | #Constraints: 39708
3275.52/3284.71 c #Conflicts: 658000 | #Constraints: 40708
3275.52/3284.71 c #Conflicts: 659000 | #Constraints: 41708
3275.52/3284.71 c #Conflicts: 660000 | #Constraints: 42708
3275.52/3284.71 c #Conflicts: 661000 | #Constraints: 43708
3600.04/3610.11 c #Conflicts: 662000 | #Constraints: 44708
3600.04/3610.11 c #Conflicts: 663000 | #Constraints: 45708
3600.04/3610.11 c #Conflicts: 664000 | #Constraints: 46708
3600.04/3610.11 c #Conflicts: 665000 | #Constraints: 47708
3600.04/3610.11 c #Conflicts: 666000 | #Constraints: 48708
3600.04/3610.11 c #Conflicts: 667000 | #Constraints: 49708
3600.04/3610.11 c #Conflicts: 668000 | #Constraints: 50708
3600.04/3610.11 c #Conflicts: 669000 | #Constraints: 51708
3600.04/3610.11 c #Conflicts: 670000 | #Constraints: 52708
3600.04/3610.11 c #Conflicts: 671000 | #Constraints: 53708
3600.04/3610.11 c INPROCESSING
3600.04/3610.11 c GARBAGE COLLECT
3600.04/3610.11 c #Conflicts: 672000 | #Constraints: 38627
3600.04/3610.11 c #Conflicts: 673000 | #Constraints: 39627
3600.04/3610.11 c #Conflicts: 674000 | #Constraints: 40627
3600.04/3610.11 c #Conflicts: 675000 | #Constraints: 41627
3600.04/3610.11 c #Conflicts: 676000 | #Constraints: 42627
3600.04/3610.11 c #Conflicts: 677000 | #Constraints: 43627
3600.04/3610.11 c #Conflicts: 678000 | #Constraints: 44627
3600.04/3610.11 c #Conflicts: 679000 | #Constraints: 45627
3600.04/3610.11 c #Conflicts: 680000 | #Constraints: 46627
3600.04/3610.11 c #Conflicts: 681000 | #Constraints: 47627
3600.04/3610.11 c #Conflicts: 682000 | #Constraints: 48627
3600.04/3610.11 c #Conflicts: 683000 | #Constraints: 49627
3600.04/3610.11 c #Conflicts: 684000 | #Constraints: 50627
3600.04/3610.11 c #Conflicts: 685000 | #Constraints: 51627
3600.04/3610.11 c #Conflicts: 686000 | #Constraints: 52627
3600.04/3610.11 c #Conflicts: 687000 | #Constraints: 53627
3600.04/3610.11 c #Conflicts: 688000 | #Constraints: 54627
3600.04/3610.11 c INPROCESSING
3600.04/3610.11 c GARBAGE COLLECT
3600.04/3610.11 c #Conflicts: 689000 | #Constraints: 39116
3600.04/3610.11 c #Conflicts: 690000 | #Constraints: 40116
3600.04/3610.11 c #Conflicts: 691000 | #Constraints: 41116
3600.04/3610.11 c #Conflicts: 692000 | #Constraints: 42116
3600.04/3610.11 c #Conflicts: 693000 | #Constraints: 43116
3600.04/3610.11 c #Conflicts: 694000 | #Constraints: 44116
3600.04/3610.11 c #Conflicts: 695000 | #Constraints: 45116
3600.04/3610.11 c #Conflicts: 696000 | #Constraints: 46116
3600.04/3610.11 c #Conflicts: 697000 | #Constraints: 47116
3600.04/3610.11 c #Conflicts: 698000 | #Constraints: 48116
3600.04/3610.11 c #Conflicts: 699000 | #Constraints: 49116
3600.04/3610.11 c #Conflicts: 700000 | #Constraints: 50116
3600.04/3610.11 c #Conflicts: 701000 | #Constraints: 51116
3600.04/3610.11 c #Conflicts: 702000 | #Constraints: 52116
3600.04/3610.11 c #Conflicts: 703000 | #Constraints: 53116
3600.04/3610.11 c #Conflicts: 704000 | #Constraints: 54116
3600.04/3610.11 c #Conflicts: 705000 | #Constraints: 55116
3600.04/3610.11 c INPROCESSING
3600.04/3610.11 c GARBAGE COLLECT
3600.04/3610.11 c #Conflicts: 706000 | #Constraints: 39440
3600.04/3610.11 c #Conflicts: 707000 | #Constraints: 40440
3600.04/3610.11 c #Conflicts: 708000 | #Constraints: 41440
3600.04/3610.11 c #Conflicts: 709000 | #Constraints: 42440
3600.04/3610.11 c #Conflicts: 710000 | #Constraints: 43440
3600.04/3610.11 c #Conflicts: 711000 | #Constraints: 44440
3600.04/3610.11 c #Conflicts: 712000 | #Constraints: 45440
3600.04/3610.11 c #Conflicts: 713000 | #Constraints: 46440
3600.04/3610.11 c #Conflicts: 714000 | #Constraints: 47440
3600.04/3610.11 c #Conflicts: 715000 | #Constraints: 48440
3600.04/3610.11 c #Conflicts: 716000 | #Constraints: 49440
3600.04/3610.11 c #Conflicts: 717000 | #Constraints: 50440
3600.04/3610.11 c #Conflicts: 718000 | #Constraints: 51440
3600.04/3610.11 c #Conflicts: 719000 | #Constraints: 52440
3600.04/3610.11 c #Conflicts: 720000 | #Constraints: 53440
3600.04/3610.11 c #Conflicts: 721000 | #Constraints: 54440
3600.04/3610.11 c #Conflicts: 722000 | #Constraints: 55440
3600.04/3610.11 c INPROCESSING
3600.04/3610.11 c GARBAGE COLLECT
3600.04/3610.11 c Program interrupted by user.
3600.04/3610.11 c cpu time 3590.03 s
3600.04/3610.11 c deterministic time 1239201095970 1.24e+12
3600.04/3610.11 c optimization time 1.38672 s
3600.04/3610.11 c total solve time 3289.57 s
3600.04/3610.11 c core-guided solve time 3289.57 s
3600.04/3610.11 c propagation time 2708.69 s
3600.04/3610.11 c conflict analysis time 538.456 s
3600.04/3610.11 c propagations 494858414
3600.04/3610.11 c resolve steps 18183635
3600.04/3610.11 c decisions 8519304
3600.04/3610.11 c conflicts 722371
3600.04/3610.11 c restarts 1533
3600.04/3610.11 c inprocessing phases 76
3600.04/3610.11 c input clauses 21380
3600.04/3610.11 c input cardinalities 7
3600.04/3610.11 c input general constraints 0
3600.04/3610.11 c input average constraint length 2.76
3600.04/3610.11 c input average constraint degree 1.06
3600.04/3610.11 c learned clauses 391385
3600.04/3610.11 c learned cardinalities 784
3600.04/3610.11 c learned general constraints 330206
3600.04/3610.11 c learned average constraint length 1276.08
3600.04/3610.11 c learned average constraint degree 24013.75
3600.04/3610.11 c watched constraints 315676
3600.04/3610.11 c counting constraints 14530
3600.04/3610.11 c gcd simplifications 3291
3600.04/3610.11 c detected cardinalities 0
3600.04/3610.11 c weakened non-implied lits 125639441
3600.04/3610.11 c weakened non-implying lits 21387
3600.04/3610.11 c original variables 6076
3600.04/3610.11 c clausal propagations 396319123
3600.04/3610.11 c cardinality propagations 671564
3600.04/3610.11 c watched propagations 70050475
3600.04/3610.11 c counting propagations 26814490
3600.04/3610.11 c watch lookups 7288015654
3600.04/3610.11 c watch backjump lookups 4280439600
3600.04/3610.11 c watch checks 991755635075
3600.04/3610.11 c propagation checks 229086547091
3600.04/3610.11 c constraint additions 5782985097
3600.04/3610.11 c trail pops 504095734
3600.04/3610.11 c formula constraints 21380
3600.04/3610.11 c learned constraints 722375
3600.04/3610.11 c bound constraints 7
3600.04/3610.11 c core-guided constraints 0
3600.04/3610.11 c encountered formula constraints 11537199
3600.04/3610.11 c encountered learned constraints 7368802
3600.04/3610.11 c encountered bound constraints 5
3600.04/3610.11 c encountered core-guided constraints 0
3600.04/3610.11 c LP total time 0 s
3600.04/3610.11 c LP solve time 0 s
3600.04/3610.11 c LP constraints added 0
3600.04/3610.11 c LP constraints removed 0
3600.04/3610.11 c LP pivots internal 0
3600.04/3610.11 c LP pivots root 0
3600.04/3610.11 c LP calls 0
3600.04/3610.11 c LP optimalities 0
3600.04/3610.11 c LP no pivot count 0
3600.04/3610.11 c LP infeasibilities 0
3600.04/3610.11 c LP valid Farkas constraints 0
3600.04/3610.11 c LP learned Farkas constraints 0
3600.04/3610.11 c LP basis resets 0
3600.04/3610.11 c LP cycling count 0
3600.04/3610.11 c LP singular count 0
3600.04/3610.11 c LP no primal count 0
3600.04/3610.11 c LP no farkas count 0
3600.04/3610.11 c LP other issue count 0
3600.04/3610.11 c LP Gomory cuts 0
3600.04/3610.11 c LP learned cuts 0
3600.04/3610.11 c LP deleted cuts 0
3600.04/3610.11 c LP encountered Gomory constraints 0
3600.04/3610.11 c LP encountered Farkas constraints 0
3600.04/3610.11 c LP encountered learned Farkas constraints 0
3600.04/3610.11 c CG auxiliary variables introduced 0
3600.04/3610.11 c CG solutions found 0
3600.04/3610.11 c CG cores constructed 6
3600.04/3610.11 c CG core cardinality constraints returned 0
3600.04/3610.11 c CG unit cores 0
3600.04/3610.11 c CG single cores 6
3600.04/3610.11 c CG blocks removed during cardinality reduction 0
3600.04/3610.11 c CG first core best 0
3600.04/3610.11 c CG decision core best 0
3600.04/3610.11 c CG core reduction tie 0
3600.04/3610.11 c CG core degree average 1.00
3600.04/3610.11 c CG core slack average 57.50
3600.04/3610.11 c CG exhausted 0
3600.04/3610.11 c CG exhaust time 0 s
3600.04/3610.11 c CG trimmed 1
3600.04/3610.11 c CG trim time 0.000855 s
3600.04/3610.11 c CG minimized 0
3600.04/3610.11 c CG minimize time 0 s
3600.04/3610.11 c CG am1 prop time 0.001194 s
3600.04/3610.11 c CG # am1s reformulated 0
3600.04/3610.11 c CG lower bound derived from am1s 0
3600.04/3610.11 c CG # clausal cores 6
3600.04/3610.11 c CG # cardinality cores 0
3600.04/3610.11 c CG # pb cores 0
3600.04/3610.11 c CG # pb reforms 0
3600.04/3610.11 c CG # cores discarded because of pb reform 0
3600.04/3610.11 d LOWERBOUND 6
3600.04/3610.11 d NCORES 6
3600.04/3610.11 d NPBCORES 0
3600.04/3610.11 d NPBREFORM 0
3600.04/3610.11 d NTRIMMED 1
3600.04/3610.11 d NEXHAUSTED 0
3600.04/3610.11 d NAM1S 0
3600.04/3610.11 d AM1LB 0
3600.04/3610.11 c [Papilo Statistics]
3600.04/3610.11 c prepro time 0.0230345s
3600.04/3610.11 c # tsx applied 20
3600.04/3610.11 c # tsx conflicts 0
3600.04/3610.11 c # bound changes 5
3600.04/3610.11 c # side changes 8
3600.04/3610.11 c # coef changes 32
3600.04/3610.11 c # rounds 2
3600.04/3610.11 c # deted vars 9
3600.04/3610.11 c # deted constrs 21
3600.04/3610.11 c # consecutive rounds of only bound changes 0
3600.04/3610.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58160 MiB free)
memory of node 1: 64510 MiB (62080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435554-1721107919/watcher-4435554-1721107919 -o /tmp/evaluation-result-4435554-1721107919/solver-4435554-1721107919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834477 --watchdog 3760 mixed-bag HOME/instance-4435554-1721107919.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=838051, runsolver pid=838048
[startup+0.100754 s]*
/proc/loadavg: 3.96 4.08 4.08 4/253 838069
/proc/meminfo: memFree=123105912/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=119536 memory=53064 CPUtime=0.09 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 11781 0 0 0 8 1 0 0 20 0 1 0 162952102 122404864 13266 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 29884 13266 3668 3002 0 13635 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 119536 KiB
Current children cumulated memory: 53064 KiB
[startup+0.205749 s]*
/proc/loadavg: 3.96 4.08 4.08 5/253 838074
/proc/meminfo: memFree=123063112/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=147148 memory=79452 CPUtime=0.18 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 19562 0 0 0 16 2 0 0 20 0 1 0 162952102 150679552 19863 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 36787 19863 3780 3002 0 20538 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 147148 KiB
Current children cumulated memory: 79452 KiB
[startup+0.305736 s]*
/proc/loadavg: 3.96 4.08 4.08 4/257 838084
/proc/meminfo: memFree=123056036/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=154640 memory=86168 CPUtime=0.29 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 21231 0 0 0 26 3 0 0 20 0 1 0 162952102 158351360 21542 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 38660 21542 3812 3002 0 22411 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 154640 KiB
Current children cumulated memory: 86168 KiB
[startup+0.700234 s]
/proc/loadavg: 3.96 4.08 4.08 5/255 838104
/proc/meminfo: memFree=123032488/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=189064 memory=112756 CPUtime=0.67 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 27828 0 0 0 63 4 0 0 20 0 1 0 162952102 193601536 28189 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 47266 28189 3902 3002 0 31017 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 189064 KiB
Current children cumulated memory: 112756 KiB
[startup+1.50022 s]
/proc/loadavg: 3.96 4.08 4.08 5/259 838130
/proc/meminfo: memFree=122896884/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=255680 memory=176776 CPUtime=1.46 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 43743 0 0 0 140 6 0 0 20 0 1 0 162952102 261816320 44194 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 63920 44194 4061 3002 0 47671 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 255680 KiB
Current children cumulated memory: 176776 KiB
[startup+3.1054 s]
/proc/loadavg: 3.96 4.08 4.08 5/259 838177
/proc/meminfo: memFree=122518664/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=256336 memory=179936 CPUtime=3.06 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 44539 0 0 0 300 6 0 0 20 0 1 0 162952102 262488064 44984 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 64084 44984 4061 3002 0 47835 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 256336 KiB
Current children cumulated memory: 179936 KiB
[startup+6.30021 s]
/proc/loadavg: 3.96 4.08 4.08 4/256 838237
/proc/meminfo: memFree=120571780/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=298264 memory=209504 CPUtime=6.26 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 51967 0 0 0 618 8 0 0 20 0 1 0 162952102 305422336 52376 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 74566 52376 4061 3002 0 58317 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 298264 KiB
Current children cumulated memory: 209504 KiB
[startup+12.7002 s]
/proc/loadavg: 3.96 4.08 4.08 5/257 838331
/proc/meminfo: memFree=121873680/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=307456 memory=213936 CPUtime=12.63 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 53058 0 0 0 1255 8 0 0 20 0 1 0 162952102 314834944 53484 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 76864 53484 4061 3002 0 60615 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 307456 KiB
Current children cumulated memory: 213936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.08 5/259 838549
/proc/meminfo: memFree=118338044/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=358084 memory=262500 CPUtime=25.39 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 65172 0 0 0 2528 11 0 0 20 0 1 0 162952102 366678016 65625 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 89521 65625 4077 3002 0 73272 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 358084 KiB
Current children cumulated memory: 262500 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 838552
/proc/meminfo: memFree=104444376/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=362588 memory=269020 CPUtime=50.91 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 66868 0 0 0 5077 14 0 0 20 0 1 0 162952102 371290112 67255 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 90647 67255 4077 3002 0 74398 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 269020 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 838662
/proc/meminfo: memFree=122265368/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=362588 memory=269328 CPUtime=101.93 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 67052 0 0 0 10176 17 0 0 20 0 1 0 162952102 371290112 67332 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 90647 67332 4077 3002 0 74398 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 269328 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/259 838674
/proc/meminfo: memFree=122252220/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=362588 memory=269400 CPUtime=161.74 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 67157 0 0 0 16156 18 0 0 20 0 1 0 162952102 371290112 67350 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 90647 67350 4077 3002 0 74398 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 269400 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 838685
/proc/meminfo: memFree=122231228/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=362588 memory=269400 CPUtime=221.54 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 67167 0 0 0 22136 18 0 0 20 0 1 0 162952102 371290112 67350 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 90647 67350 4077 3002 0 74398 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 269400 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 838695
/proc/meminfo: memFree=122151092/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=362588 memory=269588 CPUtime=281.35 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 67243 0 0 0 28116 19 0 0 20 0 1 0 162952102 371290112 67397 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 90647 67397 4077 3002 0 74398 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 362588 KiB
Current children cumulated memory: 269588 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 838707
/proc/meminfo: memFree=122074264/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=396288 memory=308904 CPUtime=341.15 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 70605 0 0 0 34067 48 0 0 20 0 1 0 162952102 405798912 77226 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 99072 77226 4189 3002 0 82823 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 396288 KiB
Current children cumulated memory: 308904 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 838718
/proc/meminfo: memFree=122007280/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=427108 memory=333644 CPUtime=400.97 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 71208 0 0 0 40009 88 0 0 20 0 1 0 162952102 437358592 83411 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 106777 83411 4189 3002 0 90528 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 427108 KiB
Current children cumulated memory: 333644 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 838728
/proc/meminfo: memFree=121935252/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=427108 memory=337868 CPUtime=460.79 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 71248 0 0 0 45962 117 0 0 20 0 1 0 162952102 437358592 84467 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 106777 84467 4189 3002 0 90528 0
################
# More data... #
################
Current children cumulated memory: 452804 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 839849
/proc/meminfo: memFree=122209184/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=452804 CPUtime=2914.12 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 77507 0 0 0 290586 826 0 0 20 0 1 0 162952102 571990016 113201 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 113201 4189 3002 0 123397 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 452804 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 839859
/proc/meminfo: memFree=122167916/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=465092 CPUtime=2973.96 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 77664 0 0 0 296559 837 0 0 20 0 1 0 162952102 571990016 116273 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 116273 4189 3002 0 123397 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 465092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 839869
/proc/meminfo: memFree=122117484/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3033.79 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 77810 0 0 0 302532 847 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 839879
/proc/meminfo: memFree=122118800/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3093.62 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 77974 0 0 0 308496 866 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 839891
/proc/meminfo: memFree=122102400/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3153.46 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78115 0 0 0 314464 882 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 840285
/proc/meminfo: memFree=122098548/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3213.29 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78243 0 0 0 320427 902 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/256 840296
/proc/meminfo: memFree=122096428/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3273.13 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78399 0 0 0 326394 919 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/256 840308
/proc/meminfo: memFree=122091516/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3332.97 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78553 0 0 0 332363 934 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/256 840486
/proc/meminfo: memFree=122086748/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3392.8 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78684 0 0 0 338330 950 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/256 840496
/proc/meminfo: memFree=122063344/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3452.63 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78837 0 0 0 344298 965 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/257 840567
/proc/meminfo: memFree=122008628/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3512.47 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 78974 0 0 0 350266 981 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 840577
/proc/meminfo: memFree=122006356/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3572.32 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 79104 0 0 0 356236 996 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 840580
/proc/meminfo: memFree=122002908/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3600.04 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 79190 0 0 0 359002 1002 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 838051 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.04 s, system=10.0308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 840580
/proc/meminfo: memFree=122002908/131524600 swapFree=131071996/131071996
[pid=838051] ppid=838048 vsize=558584 memory=483524 CPUtime=3600.04 cores=4,6
/proc/838051/stat : 838051 (mixed-bag) R 838048 838051 834466 0 -1 4194304 79190 0 0 0 359002 1002 0 0 20 0 1 0 162952102 571990016 120881 134679101440 4194304 16487941 140720884195824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 30330880 140720884204567 140720884204644 140720884204644 140720884211659 0
/proc/838051/statm: 139646 120881 4189 3002 0 123397 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 558584 KiB
Current children cumulated memory: 483524 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.07
CPU user time (s): 3590.04
CPU system time (s): 10.0308
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 558584
Max. memory (cumulated for all children) (KiB): 483524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.04
system time used= 10.0308
maximum resident set size= 484428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79213
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= 82
involuntary context switches= 1200
# summary of solver processes directly reported to runsolver:
# pid: 838051
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.04
# total CPU system time (s): 10.0308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.992 second user time and 16.1849 second system time
The end
Begin job on nodeC015 at 2024-07-16 07:32:11
IDJOB=4435554
IDBENCH=148194
IDSOLVER=3066
FILE ID=nodeC015/4435554-1721107919
RUNJOBID= nodeC015-1721104319-834477
SLURM_JOB_ID= 7505624
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435554-1721107919/watcher-4435554-1721107919 -o /tmp/evaluation-result-4435554-1721107919/solver-4435554-1721107919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834477 --watchdog 3760 mixed-bag HOME/instance-4435554-1721107919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=224431503
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.513
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3670.332
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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.866
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3619.486
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3644.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3654.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3647.635
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3627.467
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123127288 kB
MemAvailable: 128550104 kB
Buffers: 382808 kB
Cached: 5868384 kB
SwapCached: 0 kB
Active: 1246260 kB
Inactive: 6536280 kB
Active(anon): 1540 kB
Inactive(anon): 1567520 kB
Active(file): 1244720 kB
Inactive(file): 4968760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16880 kB
Writeback: 8 kB
AnonPages: 1528828 kB
Mapped: 127708 kB
Shmem: 37720 kB
KReclaimable: 97968 kB
Slab: 205216 kB
SReclaimable: 97968 kB
SUnreclaim: 107248 kB
KernelStack: 4080 kB
PageTables: 12420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2029184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62624 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1245184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC015 at 2024-07-16 08:32:21