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.10/0.14 c [STEP] preprocessing with Papilo
0.10/0.21 c [STEP] solving with SCIP
299.36/300.41 c [STEP] preprocessing done, loading into solver
299.36/300.44 c [STEP] solving
299.36/300.44 c #variables 6068 #constraints 21380
299.36/300.44 c SMALL=int, LARGE=long long
299.36/300.44 d SCIPUB 21
299.36/300.44 c bounds - >= 0 @ 299.156
299.36/300.44 c stratification level: 0
414.07/415.56 c bounds - >= 1 @ 299.197
414.07/415.56 c bounds - >= 2 @ 299.198
414.07/415.56 c bounds - >= 3 @ 299.199
414.07/415.56 c bounds - >= 4 @ 299.199
414.07/415.56 c bounds - >= 5 @ 299.2
414.07/415.56 c bounds - >= 6 @ 299.201
414.07/415.56 c #Conflicts: 1000 | #Constraints: 22391
414.07/415.56 c #Conflicts: 2000 | #Constraints: 23391
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 3000 | #Constraints: 23393
414.07/415.56 c #Conflicts: 4000 | #Constraints: 24393
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 5000 | #Constraints: 23805
414.07/415.56 c #Conflicts: 6000 | #Constraints: 24805
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 7000 | #Constraints: 23815
414.07/415.56 c #Conflicts: 8000 | #Constraints: 24815
414.07/415.56 c #Conflicts: 9000 | #Constraints: 25815
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 10000 | #Constraints: 24525
414.07/415.56 c #Conflicts: 11000 | #Constraints: 25525
414.07/415.56 c #Conflicts: 12000 | #Constraints: 26525
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 13000 | #Constraints: 24970
414.07/415.56 c #Conflicts: 14000 | #Constraints: 25970
414.07/415.56 c #Conflicts: 15000 | #Constraints: 26970
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 16000 | #Constraints: 25193
414.07/415.56 c #Conflicts: 17000 | #Constraints: 26193
414.07/415.56 c #Conflicts: 18000 | #Constraints: 27193
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 19000 | #Constraints: 25212
414.07/415.56 c #Conflicts: 20000 | #Constraints: 26212
414.07/415.56 c #Conflicts: 21000 | #Constraints: 27212
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 22000 | #Constraints: 25015
414.07/415.56 c #Conflicts: 23000 | #Constraints: 26015
414.07/415.56 c #Conflicts: 24000 | #Constraints: 27015
414.07/415.56 c #Conflicts: 25000 | #Constraints: 28015
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 26000 | #Constraints: 25624
414.07/415.56 c #Conflicts: 27000 | #Constraints: 26624
414.07/415.56 c #Conflicts: 28000 | #Constraints: 27624
414.07/415.56 c #Conflicts: 29000 | #Constraints: 28624
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 30000 | #Constraints: 26027
414.07/415.56 c #Conflicts: 31000 | #Constraints: 27027
414.07/415.56 c #Conflicts: 32000 | #Constraints: 28027
414.07/415.56 c #Conflicts: 33000 | #Constraints: 29027
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 34000 | #Constraints: 26259
414.07/415.56 c #Conflicts: 35000 | #Constraints: 27259
414.07/415.56 c #Conflicts: 36000 | #Constraints: 28259
414.07/415.56 c #Conflicts: 37000 | #Constraints: 29259
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 38000 | #Constraints: 26241
414.07/415.56 c #Conflicts: 39000 | #Constraints: 27241
414.07/415.56 c #Conflicts: 40000 | #Constraints: 28241
414.07/415.56 c #Conflicts: 41000 | #Constraints: 29241
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 42000 | #Constraints: 26033
414.07/415.56 c #Conflicts: 43000 | #Constraints: 27033
414.07/415.56 c #Conflicts: 44000 | #Constraints: 28033
414.07/415.56 c #Conflicts: 45000 | #Constraints: 29033
414.07/415.56 c #Conflicts: 46000 | #Constraints: 30033
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 47000 | #Constraints: 26630
414.07/415.56 c #Conflicts: 48000 | #Constraints: 27630
414.07/415.56 c #Conflicts: 49000 | #Constraints: 28630
414.07/415.56 c #Conflicts: 50000 | #Constraints: 29630
414.07/415.56 c #Conflicts: 51000 | #Constraints: 30630
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 52000 | #Constraints: 27032
414.07/415.56 c #Conflicts: 53000 | #Constraints: 28032
414.07/415.56 c #Conflicts: 54000 | #Constraints: 29032
414.07/415.56 c #Conflicts: 55000 | #Constraints: 30032
414.07/415.56 c #Conflicts: 56000 | #Constraints: 31032
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 57000 | #Constraints: 27244
414.07/415.56 c #Conflicts: 58000 | #Constraints: 28244
414.07/415.56 c #Conflicts: 59000 | #Constraints: 29244
414.07/415.56 c #Conflicts: 60000 | #Constraints: 30244
414.07/415.56 c #Conflicts: 61000 | #Constraints: 31244
414.07/415.56 c INPROCESSING
414.07/415.56 c GARBAGE COLLECT
414.07/415.56 c #Conflicts: 62000 | #Constraints: 27255
414.07/415.56 c #Conflicts: 63000 | #Constraints: 28255
414.07/415.56 c #Conflicts: 64000 | #Constraints: 29255
414.07/415.56 c #Conflicts: 65000 | #Constraints: 30255
414.07/415.56 c #Conflicts: 66000 | #Constraints: 31255
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 67000 | #Constraints: 27050
587.15/589.27 c #Conflicts: 68000 | #Constraints: 28050
587.15/589.27 c #Conflicts: 69000 | #Constraints: 29050
587.15/589.27 c #Conflicts: 70000 | #Constraints: 30050
587.15/589.27 c #Conflicts: 71000 | #Constraints: 31050
587.15/589.27 c #Conflicts: 72000 | #Constraints: 32050
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 73000 | #Constraints: 27645
587.15/589.27 c #Conflicts: 74000 | #Constraints: 28645
587.15/589.27 c #Conflicts: 75000 | #Constraints: 29645
587.15/589.27 c #Conflicts: 76000 | #Constraints: 30645
587.15/589.27 c #Conflicts: 77000 | #Constraints: 31645
587.15/589.27 c #Conflicts: 78000 | #Constraints: 32645
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 79000 | #Constraints: 28050
587.15/589.27 c #Conflicts: 80000 | #Constraints: 29050
587.15/589.27 c #Conflicts: 81000 | #Constraints: 30050
587.15/589.27 c #Conflicts: 82000 | #Constraints: 31050
587.15/589.27 c #Conflicts: 83000 | #Constraints: 32050
587.15/589.27 c #Conflicts: 84000 | #Constraints: 33050
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 85000 | #Constraints: 28267
587.15/589.27 c #Conflicts: 86000 | #Constraints: 29267
587.15/589.27 c #Conflicts: 87000 | #Constraints: 30267
587.15/589.27 c #Conflicts: 88000 | #Constraints: 31267
587.15/589.27 c #Conflicts: 89000 | #Constraints: 32267
587.15/589.27 c #Conflicts: 90000 | #Constraints: 33267
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 91000 | #Constraints: 28268
587.15/589.27 c #Conflicts: 92000 | #Constraints: 29268
587.15/589.27 c #Conflicts: 93000 | #Constraints: 30268
587.15/589.27 c #Conflicts: 94000 | #Constraints: 31268
587.15/589.27 c #Conflicts: 95000 | #Constraints: 32268
587.15/589.27 c #Conflicts: 96000 | #Constraints: 33268
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 97000 | #Constraints: 28059
587.15/589.27 c #Conflicts: 98000 | #Constraints: 29059
587.15/589.27 c #Conflicts: 99000 | #Constraints: 30059
587.15/589.27 c #Conflicts: 100000 | #Constraints: 31059
587.15/589.27 c #Conflicts: 101000 | #Constraints: 32059
587.15/589.27 c #Conflicts: 102000 | #Constraints: 33059
587.15/589.27 c #Conflicts: 103000 | #Constraints: 34059
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 104000 | #Constraints: 28640
587.15/589.27 c #Conflicts: 105000 | #Constraints: 29640
587.15/589.27 c #Conflicts: 106000 | #Constraints: 30640
587.15/589.27 c #Conflicts: 107000 | #Constraints: 31640
587.15/589.27 c #Conflicts: 108000 | #Constraints: 32640
587.15/589.27 c #Conflicts: 109000 | #Constraints: 33640
587.15/589.27 c #Conflicts: 110000 | #Constraints: 34640
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 111000 | #Constraints: 29037
587.15/589.27 c #Conflicts: 112000 | #Constraints: 30037
587.15/589.27 c #Conflicts: 113000 | #Constraints: 31037
587.15/589.27 c #Conflicts: 114000 | #Constraints: 32037
587.15/589.27 c #Conflicts: 115000 | #Constraints: 33037
587.15/589.27 c #Conflicts: 116000 | #Constraints: 34037
587.15/589.27 c #Conflicts: 117000 | #Constraints: 35037
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 118000 | #Constraints: 29266
587.15/589.27 c #Conflicts: 119000 | #Constraints: 30266
587.15/589.27 c #Conflicts: 120000 | #Constraints: 31266
587.15/589.27 c #Conflicts: 121000 | #Constraints: 32266
587.15/589.27 c #Conflicts: 122000 | #Constraints: 33266
587.15/589.27 c #Conflicts: 123000 | #Constraints: 34266
587.15/589.27 c #Conflicts: 124000 | #Constraints: 35266
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 125000 | #Constraints: 29305
587.15/589.27 c #Conflicts: 126000 | #Constraints: 30305
587.15/589.27 c #Conflicts: 127000 | #Constraints: 31305
587.15/589.27 c #Conflicts: 128000 | #Constraints: 32305
587.15/589.27 c #Conflicts: 129000 | #Constraints: 33305
587.15/589.27 c #Conflicts: 130000 | #Constraints: 34305
587.15/589.27 c #Conflicts: 131000 | #Constraints: 35305
587.15/589.27 c INPROCESSING
587.15/589.27 c GARBAGE COLLECT
587.15/589.27 c #Conflicts: 132000 | #Constraints: 29103
587.15/589.27 c #Conflicts: 133000 | #Constraints: 30103
587.15/589.27 c #Conflicts: 134000 | #Constraints: 31103
587.15/589.27 c #Conflicts: 135000 | #Constraints: 32103
587.15/589.27 c #Conflicts: 136000 | #Constraints: 33103
587.15/589.27 c #Conflicts: 137000 | #Constraints: 34103
869.41/872.44 c #Conflicts: 138000 | #Constraints: 35103
869.41/872.44 c #Conflicts: 139000 | #Constraints: 36103
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 140000 | #Constraints: 29682
869.41/872.44 c #Conflicts: 141000 | #Constraints: 30682
869.41/872.44 c #Conflicts: 142000 | #Constraints: 31682
869.41/872.44 c #Conflicts: 143000 | #Constraints: 32682
869.41/872.44 c #Conflicts: 144000 | #Constraints: 33682
869.41/872.44 c #Conflicts: 145000 | #Constraints: 34682
869.41/872.44 c #Conflicts: 146000 | #Constraints: 35682
869.41/872.44 c #Conflicts: 147000 | #Constraints: 36682
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 148000 | #Constraints: 30075
869.41/872.44 c #Conflicts: 149000 | #Constraints: 31075
869.41/872.44 c #Conflicts: 150000 | #Constraints: 32075
869.41/872.44 c #Conflicts: 151000 | #Constraints: 33075
869.41/872.44 c #Conflicts: 152000 | #Constraints: 34075
869.41/872.44 c #Conflicts: 153000 | #Constraints: 35075
869.41/872.44 c #Conflicts: 154000 | #Constraints: 36075
869.41/872.44 c #Conflicts: 155000 | #Constraints: 37075
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 156000 | #Constraints: 30273
869.41/872.44 c #Conflicts: 157000 | #Constraints: 31273
869.41/872.44 c #Conflicts: 158000 | #Constraints: 32273
869.41/872.44 c #Conflicts: 159000 | #Constraints: 33273
869.41/872.44 c #Conflicts: 160000 | #Constraints: 34273
869.41/872.44 c #Conflicts: 161000 | #Constraints: 35273
869.41/872.44 c #Conflicts: 162000 | #Constraints: 36273
869.41/872.44 c #Conflicts: 163000 | #Constraints: 37273
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 164000 | #Constraints: 30288
869.41/872.44 c #Conflicts: 165000 | #Constraints: 31288
869.41/872.44 c #Conflicts: 166000 | #Constraints: 32288
869.41/872.44 c #Conflicts: 167000 | #Constraints: 33288
869.41/872.44 c #Conflicts: 168000 | #Constraints: 34288
869.41/872.44 c #Conflicts: 169000 | #Constraints: 35288
869.41/872.44 c #Conflicts: 170000 | #Constraints: 36288
869.41/872.44 c #Conflicts: 171000 | #Constraints: 37288
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 172000 | #Constraints: 30095
869.41/872.44 c #Conflicts: 173000 | #Constraints: 31095
869.41/872.44 c #Conflicts: 174000 | #Constraints: 32095
869.41/872.44 c #Conflicts: 175000 | #Constraints: 33095
869.41/872.44 c #Conflicts: 176000 | #Constraints: 34095
869.41/872.44 c #Conflicts: 177000 | #Constraints: 35095
869.41/872.44 c #Conflicts: 178000 | #Constraints: 36095
869.41/872.44 c #Conflicts: 179000 | #Constraints: 37095
869.41/872.44 c #Conflicts: 180000 | #Constraints: 38095
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 181000 | #Constraints: 30720
869.41/872.44 c #Conflicts: 182000 | #Constraints: 31720
869.41/872.44 c #Conflicts: 183000 | #Constraints: 32720
869.41/872.44 c #Conflicts: 184000 | #Constraints: 33720
869.41/872.44 c #Conflicts: 185000 | #Constraints: 34720
869.41/872.44 c #Conflicts: 186000 | #Constraints: 35720
869.41/872.44 c #Conflicts: 187000 | #Constraints: 36720
869.41/872.44 c #Conflicts: 188000 | #Constraints: 37720
869.41/872.44 c #Conflicts: 189000 | #Constraints: 38720
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 190000 | #Constraints: 31206
869.41/872.44 c #Conflicts: 191000 | #Constraints: 32206
869.41/872.44 c #Conflicts: 192000 | #Constraints: 33206
869.41/872.44 c #Conflicts: 193000 | #Constraints: 34206
869.41/872.44 c #Conflicts: 194000 | #Constraints: 35206
869.41/872.44 c #Conflicts: 195000 | #Constraints: 36206
869.41/872.44 c #Conflicts: 196000 | #Constraints: 37206
869.41/872.44 c #Conflicts: 197000 | #Constraints: 38206
869.41/872.44 c #Conflicts: 198000 | #Constraints: 39206
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 199000 | #Constraints: 31411
869.41/872.44 c #Conflicts: 200000 | #Constraints: 32411
869.41/872.44 c #Conflicts: 201000 | #Constraints: 33411
869.41/872.44 c #Conflicts: 202000 | #Constraints: 34411
869.41/872.44 c #Conflicts: 203000 | #Constraints: 35411
869.41/872.44 c #Conflicts: 204000 | #Constraints: 36411
869.41/872.44 c #Conflicts: 205000 | #Constraints: 37411
869.41/872.44 c #Conflicts: 206000 | #Constraints: 38411
869.41/872.44 c #Conflicts: 207000 | #Constraints: 39411
869.41/872.44 c INPROCESSING
869.41/872.44 c GARBAGE COLLECT
869.41/872.44 c #Conflicts: 208000 | #Constraints: 31403
869.41/872.44 c #Conflicts: 209000 | #Constraints: 32403
869.41/872.44 c #Conflicts: 210000 | #Constraints: 33403
1236.08/1240.33 c #Conflicts: 211000 | #Constraints: 34403
1236.08/1240.33 c #Conflicts: 212000 | #Constraints: 35403
1236.08/1240.33 c #Conflicts: 213000 | #Constraints: 36403
1236.08/1240.33 c #Conflicts: 214000 | #Constraints: 37403
1236.08/1240.33 c #Conflicts: 215000 | #Constraints: 38403
1236.08/1240.33 c #Conflicts: 216000 | #Constraints: 39403
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 217000 | #Constraints: 31188
1236.08/1240.33 c #Conflicts: 218000 | #Constraints: 32188
1236.08/1240.33 c #Conflicts: 219000 | #Constraints: 33188
1236.08/1240.33 c #Conflicts: 220000 | #Constraints: 34188
1236.08/1240.33 c #Conflicts: 221000 | #Constraints: 35188
1236.08/1240.33 c #Conflicts: 222000 | #Constraints: 36188
1236.08/1240.33 c #Conflicts: 223000 | #Constraints: 37188
1236.08/1240.33 c #Conflicts: 224000 | #Constraints: 38188
1236.08/1240.33 c #Conflicts: 225000 | #Constraints: 39188
1236.08/1240.33 c #Conflicts: 226000 | #Constraints: 40188
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 227000 | #Constraints: 31801
1236.08/1240.33 c #Conflicts: 228000 | #Constraints: 32801
1236.08/1240.33 c #Conflicts: 229000 | #Constraints: 33801
1236.08/1240.33 c #Conflicts: 230000 | #Constraints: 34801
1236.08/1240.33 c #Conflicts: 231000 | #Constraints: 35801
1236.08/1240.33 c #Conflicts: 232000 | #Constraints: 36801
1236.08/1240.33 c #Conflicts: 233000 | #Constraints: 37801
1236.08/1240.33 c #Conflicts: 234000 | #Constraints: 38801
1236.08/1240.33 c #Conflicts: 235000 | #Constraints: 39801
1236.08/1240.33 c #Conflicts: 236000 | #Constraints: 40801
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 237000 | #Constraints: 32179
1236.08/1240.33 c #Conflicts: 238000 | #Constraints: 33179
1236.08/1240.33 c #Conflicts: 239000 | #Constraints: 34179
1236.08/1240.33 c #Conflicts: 240000 | #Constraints: 35179
1236.08/1240.33 c #Conflicts: 241000 | #Constraints: 36179
1236.08/1240.33 c #Conflicts: 242000 | #Constraints: 37179
1236.08/1240.33 c #Conflicts: 243000 | #Constraints: 38179
1236.08/1240.33 c #Conflicts: 244000 | #Constraints: 39179
1236.08/1240.33 c #Conflicts: 245000 | #Constraints: 40179
1236.08/1240.33 c #Conflicts: 246000 | #Constraints: 41179
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 247000 | #Constraints: 32331
1236.08/1240.33 c #Conflicts: 248000 | #Constraints: 33331
1236.08/1240.33 c #Conflicts: 249000 | #Constraints: 34331
1236.08/1240.33 c #Conflicts: 250000 | #Constraints: 35331
1236.08/1240.33 c #Conflicts: 251000 | #Constraints: 36331
1236.08/1240.33 c #Conflicts: 252000 | #Constraints: 37331
1236.08/1240.33 c #Conflicts: 253000 | #Constraints: 38331
1236.08/1240.33 c #Conflicts: 254000 | #Constraints: 39331
1236.08/1240.33 c #Conflicts: 255000 | #Constraints: 40331
1236.08/1240.33 c #Conflicts: 256000 | #Constraints: 41331
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 257000 | #Constraints: 32344
1236.08/1240.33 c #Conflicts: 258000 | #Constraints: 33344
1236.08/1240.33 c #Conflicts: 259000 | #Constraints: 34344
1236.08/1240.33 c #Conflicts: 260000 | #Constraints: 35344
1236.08/1240.33 c #Conflicts: 261000 | #Constraints: 36344
1236.08/1240.33 c #Conflicts: 262000 | #Constraints: 37344
1236.08/1240.33 c #Conflicts: 263000 | #Constraints: 38344
1236.08/1240.33 c #Conflicts: 264000 | #Constraints: 39344
1236.08/1240.33 c #Conflicts: 265000 | #Constraints: 40344
1236.08/1240.33 c #Conflicts: 266000 | #Constraints: 41344
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 267000 | #Constraints: 32324
1236.08/1240.33 c #Conflicts: 268000 | #Constraints: 33324
1236.08/1240.33 c #Conflicts: 269000 | #Constraints: 34324
1236.08/1240.33 c #Conflicts: 270000 | #Constraints: 35324
1236.08/1240.33 c #Conflicts: 271000 | #Constraints: 36324
1236.08/1240.33 c #Conflicts: 272000 | #Constraints: 37324
1236.08/1240.33 c #Conflicts: 273000 | #Constraints: 38324
1236.08/1240.33 c #Conflicts: 274000 | #Constraints: 39324
1236.08/1240.33 c #Conflicts: 275000 | #Constraints: 40324
1236.08/1240.33 c #Conflicts: 276000 | #Constraints: 41324
1236.08/1240.33 c #Conflicts: 277000 | #Constraints: 42324
1236.08/1240.33 c INPROCESSING
1236.08/1240.33 c GARBAGE COLLECT
1236.08/1240.33 c #Conflicts: 278000 | #Constraints: 32987
1236.08/1240.33 c #Conflicts: 279000 | #Constraints: 33987
1236.08/1240.33 c #Conflicts: 280000 | #Constraints: 34987
1236.08/1240.33 c #Conflicts: 281000 | #Constraints: 35987
1236.08/1240.33 c #Conflicts: 282000 | #Constraints: 36987
1236.08/1240.33 c #Conflicts: 283000 | #Constraints: 37987
1236.08/1240.33 c #Conflicts: 284000 | #Constraints: 38987
1236.08/1240.33 c #Conflicts: 285000 | #Constraints: 39987
1658.94/1664.62 c #Conflicts: 286000 | #Constraints: 40987
1658.94/1664.62 c #Conflicts: 287000 | #Constraints: 41987
1658.94/1664.62 c #Conflicts: 288000 | #Constraints: 42987
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 289000 | #Constraints: 33233
1658.94/1664.62 c #Conflicts: 290000 | #Constraints: 34233
1658.94/1664.62 c #Conflicts: 291000 | #Constraints: 35233
1658.94/1664.62 c #Conflicts: 292000 | #Constraints: 36233
1658.94/1664.62 c #Conflicts: 293000 | #Constraints: 37233
1658.94/1664.62 c #Conflicts: 294000 | #Constraints: 38233
1658.94/1664.62 c #Conflicts: 295000 | #Constraints: 39233
1658.94/1664.62 c #Conflicts: 296000 | #Constraints: 40233
1658.94/1664.62 c #Conflicts: 297000 | #Constraints: 41233
1658.94/1664.62 c #Conflicts: 298000 | #Constraints: 42233
1658.94/1664.62 c #Conflicts: 299000 | #Constraints: 43233
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 300000 | #Constraints: 33334
1658.94/1664.62 c #Conflicts: 301000 | #Constraints: 34334
1658.94/1664.62 c #Conflicts: 302000 | #Constraints: 35334
1658.94/1664.62 c #Conflicts: 303000 | #Constraints: 36334
1658.94/1664.62 c #Conflicts: 304000 | #Constraints: 37334
1658.94/1664.62 c #Conflicts: 305000 | #Constraints: 38334
1658.94/1664.62 c #Conflicts: 306000 | #Constraints: 39334
1658.94/1664.62 c #Conflicts: 307000 | #Constraints: 40334
1658.94/1664.62 c #Conflicts: 308000 | #Constraints: 41334
1658.94/1664.62 c #Conflicts: 309000 | #Constraints: 42334
1658.94/1664.62 c #Conflicts: 310000 | #Constraints: 43334
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 311000 | #Constraints: 33307
1658.94/1664.62 c #Conflicts: 312000 | #Constraints: 34307
1658.94/1664.62 c #Conflicts: 313000 | #Constraints: 35307
1658.94/1664.62 c #Conflicts: 314000 | #Constraints: 36307
1658.94/1664.62 c #Conflicts: 315000 | #Constraints: 37307
1658.94/1664.62 c #Conflicts: 316000 | #Constraints: 38307
1658.94/1664.62 c #Conflicts: 317000 | #Constraints: 39307
1658.94/1664.62 c #Conflicts: 318000 | #Constraints: 40307
1658.94/1664.62 c #Conflicts: 319000 | #Constraints: 41307
1658.94/1664.62 c #Conflicts: 320000 | #Constraints: 42307
1658.94/1664.62 c #Conflicts: 321000 | #Constraints: 43307
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 322000 | #Constraints: 33089
1658.94/1664.62 c #Conflicts: 323000 | #Constraints: 34089
1658.94/1664.62 c #Conflicts: 324000 | #Constraints: 35089
1658.94/1664.62 c #Conflicts: 325000 | #Constraints: 36089
1658.94/1664.62 c #Conflicts: 326000 | #Constraints: 37089
1658.94/1664.62 c #Conflicts: 327000 | #Constraints: 38089
1658.94/1664.62 c #Conflicts: 328000 | #Constraints: 39089
1658.94/1664.62 c #Conflicts: 329000 | #Constraints: 40089
1658.94/1664.62 c #Conflicts: 330000 | #Constraints: 41089
1658.94/1664.62 c #Conflicts: 331000 | #Constraints: 42089
1658.94/1664.62 c #Conflicts: 332000 | #Constraints: 43089
1658.94/1664.62 c #Conflicts: 333000 | #Constraints: 44089
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 334000 | #Constraints: 33702
1658.94/1664.62 c #Conflicts: 335000 | #Constraints: 34702
1658.94/1664.62 c #Conflicts: 336000 | #Constraints: 35702
1658.94/1664.62 c #Conflicts: 337000 | #Constraints: 36702
1658.94/1664.62 c #Conflicts: 338000 | #Constraints: 37702
1658.94/1664.62 c #Conflicts: 339000 | #Constraints: 38702
1658.94/1664.62 c #Conflicts: 340000 | #Constraints: 39702
1658.94/1664.62 c #Conflicts: 341000 | #Constraints: 40702
1658.94/1664.62 c #Conflicts: 342000 | #Constraints: 41702
1658.94/1664.62 c #Conflicts: 343000 | #Constraints: 42702
1658.94/1664.62 c #Conflicts: 344000 | #Constraints: 43702
1658.94/1664.62 c #Conflicts: 345000 | #Constraints: 44702
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 346000 | #Constraints: 34119
1658.94/1664.62 c #Conflicts: 347000 | #Constraints: 35119
1658.94/1664.62 c #Conflicts: 348000 | #Constraints: 36119
1658.94/1664.62 c #Conflicts: 349000 | #Constraints: 37119
1658.94/1664.62 c #Conflicts: 350000 | #Constraints: 38119
1658.94/1664.62 c #Conflicts: 351000 | #Constraints: 39119
1658.94/1664.62 c #Conflicts: 352000 | #Constraints: 40119
1658.94/1664.62 c #Conflicts: 353000 | #Constraints: 41119
1658.94/1664.62 c #Conflicts: 354000 | #Constraints: 42119
1658.94/1664.62 c #Conflicts: 355000 | #Constraints: 43119
1658.94/1664.62 c #Conflicts: 356000 | #Constraints: 44119
1658.94/1664.62 c #Conflicts: 357000 | #Constraints: 45119
1658.94/1664.62 c INPROCESSING
1658.94/1664.62 c GARBAGE COLLECT
1658.94/1664.62 c #Conflicts: 358000 | #Constraints: 34320
1658.94/1664.62 c #Conflicts: 359000 | #Constraints: 35320
2048.56/2055.59 c #Conflicts: 360000 | #Constraints: 36320
2048.56/2055.59 c #Conflicts: 361000 | #Constraints: 37320
2048.56/2055.59 c #Conflicts: 362000 | #Constraints: 38320
2048.56/2055.59 c #Conflicts: 363000 | #Constraints: 39320
2048.56/2055.59 c #Conflicts: 364000 | #Constraints: 40320
2048.56/2055.59 c #Conflicts: 365000 | #Constraints: 41320
2048.56/2055.59 c #Conflicts: 366000 | #Constraints: 42320
2048.56/2055.59 c #Conflicts: 367000 | #Constraints: 43320
2048.56/2055.59 c #Conflicts: 368000 | #Constraints: 44320
2048.56/2055.59 c #Conflicts: 369000 | #Constraints: 45320
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 370000 | #Constraints: 34414
2048.56/2055.59 c #Conflicts: 371000 | #Constraints: 35414
2048.56/2055.59 c #Conflicts: 372000 | #Constraints: 36414
2048.56/2055.59 c #Conflicts: 373000 | #Constraints: 37414
2048.56/2055.59 c #Conflicts: 374000 | #Constraints: 38414
2048.56/2055.59 c #Conflicts: 375000 | #Constraints: 39414
2048.56/2055.59 c #Conflicts: 376000 | #Constraints: 40414
2048.56/2055.59 c #Conflicts: 377000 | #Constraints: 41414
2048.56/2055.59 c #Conflicts: 378000 | #Constraints: 42414
2048.56/2055.59 c #Conflicts: 379000 | #Constraints: 43414
2048.56/2055.59 c #Conflicts: 380000 | #Constraints: 44414
2048.56/2055.59 c #Conflicts: 381000 | #Constraints: 45414
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 382000 | #Constraints: 34166
2048.56/2055.59 c #Conflicts: 383000 | #Constraints: 35166
2048.56/2055.59 c #Conflicts: 384000 | #Constraints: 36166
2048.56/2055.59 c #Conflicts: 385000 | #Constraints: 37166
2048.56/2055.59 c #Conflicts: 386000 | #Constraints: 38166
2048.56/2055.59 c #Conflicts: 387000 | #Constraints: 39166
2048.56/2055.59 c #Conflicts: 388000 | #Constraints: 40166
2048.56/2055.59 c #Conflicts: 389000 | #Constraints: 41166
2048.56/2055.59 c #Conflicts: 390000 | #Constraints: 42166
2048.56/2055.59 c #Conflicts: 391000 | #Constraints: 43166
2048.56/2055.59 c #Conflicts: 392000 | #Constraints: 44166
2048.56/2055.59 c #Conflicts: 393000 | #Constraints: 45166
2048.56/2055.59 c #Conflicts: 394000 | #Constraints: 46166
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 395000 | #Constraints: 34953
2048.56/2055.59 c #Conflicts: 396000 | #Constraints: 35953
2048.56/2055.59 c #Conflicts: 397000 | #Constraints: 36953
2048.56/2055.59 c #Conflicts: 398000 | #Constraints: 37953
2048.56/2055.59 c #Conflicts: 399000 | #Constraints: 38953
2048.56/2055.59 c #Conflicts: 400000 | #Constraints: 39953
2048.56/2055.59 c #Conflicts: 401000 | #Constraints: 40953
2048.56/2055.59 c #Conflicts: 402000 | #Constraints: 41953
2048.56/2055.59 c #Conflicts: 403000 | #Constraints: 42953
2048.56/2055.59 c #Conflicts: 404000 | #Constraints: 43953
2048.56/2055.59 c #Conflicts: 405000 | #Constraints: 44953
2048.56/2055.59 c #Conflicts: 406000 | #Constraints: 45953
2048.56/2055.59 c #Conflicts: 407000 | #Constraints: 46953
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 408000 | #Constraints: 35263
2048.56/2055.59 c #Conflicts: 409000 | #Constraints: 36263
2048.56/2055.59 c #Conflicts: 410000 | #Constraints: 37263
2048.56/2055.59 c #Conflicts: 411000 | #Constraints: 38263
2048.56/2055.59 c #Conflicts: 412000 | #Constraints: 39263
2048.56/2055.59 c #Conflicts: 413000 | #Constraints: 40263
2048.56/2055.59 c #Conflicts: 414000 | #Constraints: 41263
2048.56/2055.59 c #Conflicts: 415000 | #Constraints: 42263
2048.56/2055.59 c #Conflicts: 416000 | #Constraints: 43263
2048.56/2055.59 c #Conflicts: 417000 | #Constraints: 44263
2048.56/2055.59 c #Conflicts: 418000 | #Constraints: 45263
2048.56/2055.59 c #Conflicts: 419000 | #Constraints: 46263
2048.56/2055.59 c #Conflicts: 420000 | #Constraints: 47263
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 421000 | #Constraints: 35375
2048.56/2055.59 c #Conflicts: 422000 | #Constraints: 36375
2048.56/2055.59 c #Conflicts: 423000 | #Constraints: 37375
2048.56/2055.59 c #Conflicts: 424000 | #Constraints: 38375
2048.56/2055.59 c #Conflicts: 425000 | #Constraints: 39375
2048.56/2055.59 c #Conflicts: 426000 | #Constraints: 40375
2048.56/2055.59 c #Conflicts: 427000 | #Constraints: 41375
2048.56/2055.59 c #Conflicts: 428000 | #Constraints: 42375
2048.56/2055.59 c #Conflicts: 429000 | #Constraints: 43375
2048.56/2055.59 c #Conflicts: 430000 | #Constraints: 44375
2048.56/2055.59 c #Conflicts: 431000 | #Constraints: 45375
2048.56/2055.59 c #Conflicts: 432000 | #Constraints: 46375
2048.56/2055.59 c #Conflicts: 433000 | #Constraints: 47375
2048.56/2055.59 c INPROCESSING
2048.56/2055.59 c GARBAGE COLLECT
2048.56/2055.59 c #Conflicts: 434000 | #Constraints: 35370
2560.00/2568.75 c #Conflicts: 435000 | #Constraints: 36370
2560.00/2568.75 c #Conflicts: 436000 | #Constraints: 37370
2560.00/2568.75 c #Conflicts: 437000 | #Constraints: 38370
2560.00/2568.75 c #Conflicts: 438000 | #Constraints: 39370
2560.00/2568.75 c #Conflicts: 439000 | #Constraints: 40370
2560.00/2568.75 c #Conflicts: 440000 | #Constraints: 41370
2560.00/2568.75 c #Conflicts: 441000 | #Constraints: 42370
2560.00/2568.75 c #Conflicts: 442000 | #Constraints: 43370
2560.00/2568.75 c #Conflicts: 443000 | #Constraints: 44370
2560.00/2568.75 c #Conflicts: 444000 | #Constraints: 45370
2560.00/2568.75 c #Conflicts: 445000 | #Constraints: 46370
2560.00/2568.75 c #Conflicts: 446000 | #Constraints: 47370
2560.00/2568.75 c INPROCESSING
2560.00/2568.75 c GARBAGE COLLECT
2560.00/2568.75 c #Conflicts: 447000 | #Constraints: 35293
2560.00/2568.75 c #Conflicts: 448000 | #Constraints: 36293
2560.00/2568.75 c #Conflicts: 449000 | #Constraints: 37293
2560.00/2568.75 c #Conflicts: 450000 | #Constraints: 38293
2560.00/2568.75 c #Conflicts: 451000 | #Constraints: 39293
2560.00/2568.75 c #Conflicts: 452000 | #Constraints: 40293
2560.00/2568.75 c #Conflicts: 453000 | #Constraints: 41293
2560.00/2568.75 c #Conflicts: 454000 | #Constraints: 42293
2560.00/2568.75 c #Conflicts: 455000 | #Constraints: 43293
2560.00/2568.75 c #Conflicts: 456000 | #Constraints: 44293
2560.00/2568.75 c #Conflicts: 457000 | #Constraints: 45293
2560.00/2568.75 c #Conflicts: 458000 | #Constraints: 46293
2560.00/2568.75 c #Conflicts: 459000 | #Constraints: 47293
2560.00/2568.75 c #Conflicts: 460000 | #Constraints: 48293
2560.00/2568.75 c INPROCESSING
2560.00/2568.75 c GARBAGE COLLECT
2560.00/2568.75 c #Conflicts: 461000 | #Constraints: 35936
2560.00/2568.75 c #Conflicts: 462000 | #Constraints: 36936
2560.00/2568.75 c #Conflicts: 463000 | #Constraints: 37936
2560.00/2568.75 c #Conflicts: 464000 | #Constraints: 38936
2560.00/2568.75 c #Conflicts: 465000 | #Constraints: 39936
2560.00/2568.75 c #Conflicts: 466000 | #Constraints: 40936
2560.00/2568.75 c #Conflicts: 467000 | #Constraints: 41936
2560.00/2568.75 c #Conflicts: 468000 | #Constraints: 42936
2560.00/2568.75 c #Conflicts: 469000 | #Constraints: 43936
2560.00/2568.75 c #Conflicts: 470000 | #Constraints: 44936
2560.00/2568.75 c #Conflicts: 471000 | #Constraints: 45936
2560.00/2568.75 c #Conflicts: 472000 | #Constraints: 46936
2560.00/2568.75 c #Conflicts: 473000 | #Constraints: 47936
2560.00/2568.75 c #Conflicts: 474000 | #Constraints: 48936
2560.00/2568.75 c INPROCESSING
2560.00/2568.75 c GARBAGE COLLECT
2560.00/2568.75 c #Conflicts: 475000 | #Constraints: 36464
2560.00/2568.75 c #Conflicts: 476000 | #Constraints: 37464
2560.00/2568.75 c #Conflicts: 477000 | #Constraints: 38464
2560.00/2568.75 c #Conflicts: 478000 | #Constraints: 39464
2560.00/2568.75 c #Conflicts: 479000 | #Constraints: 40464
2560.00/2568.75 c #Conflicts: 480000 | #Constraints: 41464
2560.00/2568.75 c #Conflicts: 481000 | #Constraints: 42464
2560.00/2568.75 c #Conflicts: 482000 | #Constraints: 43464
2560.00/2568.75 c #Conflicts: 483000 | #Constraints: 44464
2560.00/2568.75 c #Conflicts: 484000 | #Constraints: 45464
2560.00/2568.75 c #Conflicts: 485000 | #Constraints: 46464
2560.00/2568.75 c #Conflicts: 486000 | #Constraints: 47464
2560.00/2568.75 c #Conflicts: 487000 | #Constraints: 48464
2560.00/2568.75 c #Conflicts: 488000 | #Constraints: 49464
2560.00/2568.75 c INPROCESSING
2560.00/2568.75 c GARBAGE COLLECT
2560.00/2568.75 c #Conflicts: 489000 | #Constraints: 36724
2560.00/2568.75 c #Conflicts: 490000 | #Constraints: 37724
2560.00/2568.75 c #Conflicts: 491000 | #Constraints: 38724
2560.00/2568.75 c #Conflicts: 492000 | #Constraints: 39724
2560.00/2568.75 c #Conflicts: 493000 | #Constraints: 40724
2560.00/2568.75 c #Conflicts: 494000 | #Constraints: 41724
2560.00/2568.75 c #Conflicts: 495000 | #Constraints: 42724
2560.00/2568.75 c #Conflicts: 496000 | #Constraints: 43724
2560.00/2568.75 c #Conflicts: 497000 | #Constraints: 44724
2560.00/2568.75 c #Conflicts: 498000 | #Constraints: 45724
2560.00/2568.75 c #Conflicts: 499000 | #Constraints: 46724
2560.00/2568.75 c #Conflicts: 500000 | #Constraints: 47724
2560.00/2568.75 c #Conflicts: 501000 | #Constraints: 48724
2560.00/2568.75 c #Conflicts: 502000 | #Constraints: 49724
2560.00/2568.75 c INPROCESSING
2560.00/2568.75 c GARBAGE COLLECT
2560.00/2568.75 c #Conflicts: 503000 | #Constraints: 36525
2560.00/2568.75 c #Conflicts: 504000 | #Constraints: 37525
2560.00/2568.75 c #Conflicts: 505000 | #Constraints: 38525
2560.00/2568.75 c #Conflicts: 506000 | #Constraints: 39525
2560.00/2568.75 c #Conflicts: 507000 | #Constraints: 40525
2560.00/2568.75 c #Conflicts: 508000 | #Constraints: 41525
2560.00/2568.75 c #Conflicts: 509000 | #Constraints: 42525
2560.00/2568.75 c #Conflicts: 510000 | #Constraints: 43525
2986.73/2996.94 c #Conflicts: 511000 | #Constraints: 44525
2986.73/2996.94 c #Conflicts: 512000 | #Constraints: 45525
2986.73/2996.94 c #Conflicts: 513000 | #Constraints: 46525
2986.73/2996.94 c #Conflicts: 514000 | #Constraints: 47525
2986.73/2996.94 c #Conflicts: 515000 | #Constraints: 48525
2986.73/2996.94 c #Conflicts: 516000 | #Constraints: 49525
2986.73/2996.94 c INPROCESSING
2986.73/2996.94 c GARBAGE COLLECT
2986.73/2996.94 c #Conflicts: 517000 | #Constraints: 36286
2986.73/2996.94 c #Conflicts: 518000 | #Constraints: 37286
2986.73/2996.94 c #Conflicts: 519000 | #Constraints: 38286
2986.73/2996.94 c #Conflicts: 520000 | #Constraints: 39286
2986.73/2996.94 c #Conflicts: 521000 | #Constraints: 40286
2986.73/2996.94 c #Conflicts: 522000 | #Constraints: 41286
2986.73/2996.94 c #Conflicts: 523000 | #Constraints: 42286
2986.73/2996.94 c #Conflicts: 524000 | #Constraints: 43286
2986.73/2996.94 c #Conflicts: 525000 | #Constraints: 44286
2986.73/2996.94 c #Conflicts: 526000 | #Constraints: 45286
2986.73/2996.94 c #Conflicts: 527000 | #Constraints: 46286
2986.73/2996.94 c #Conflicts: 528000 | #Constraints: 47286
2986.73/2996.94 c #Conflicts: 529000 | #Constraints: 48286
2986.73/2996.94 c #Conflicts: 530000 | #Constraints: 49286
2986.73/2996.94 c #Conflicts: 531000 | #Constraints: 50286
2986.73/2996.94 c INPROCESSING
2986.73/2996.94 c GARBAGE COLLECT
2986.73/2996.94 c #Conflicts: 532000 | #Constraints: 36924
2986.73/2996.94 c #Conflicts: 533000 | #Constraints: 37924
2986.73/2996.94 c #Conflicts: 534000 | #Constraints: 38924
2986.73/2996.94 c #Conflicts: 535000 | #Constraints: 39924
2986.73/2996.94 c #Conflicts: 536000 | #Constraints: 40924
2986.73/2996.94 c #Conflicts: 537000 | #Constraints: 41924
2986.73/2996.94 c #Conflicts: 538000 | #Constraints: 42924
2986.73/2996.94 c #Conflicts: 539000 | #Constraints: 43924
2986.73/2996.94 c #Conflicts: 540000 | #Constraints: 44924
2986.73/2996.94 c #Conflicts: 541000 | #Constraints: 45924
2986.73/2996.94 c #Conflicts: 542000 | #Constraints: 46924
2986.73/2996.94 c #Conflicts: 543000 | #Constraints: 47924
2986.73/2996.94 c #Conflicts: 544000 | #Constraints: 48924
2986.73/2996.94 c #Conflicts: 545000 | #Constraints: 49924
2986.73/2996.94 c #Conflicts: 546000 | #Constraints: 50924
2986.73/2996.94 c INPROCESSING
2986.73/2996.94 c GARBAGE COLLECT
2986.73/2996.94 c #Conflicts: 547000 | #Constraints: 37239
2986.73/2996.94 c #Conflicts: 548000 | #Constraints: 38239
2986.73/2996.94 c #Conflicts: 549000 | #Constraints: 39239
2986.73/2996.94 c #Conflicts: 550000 | #Constraints: 40239
2986.73/2996.94 c #Conflicts: 551000 | #Constraints: 41239
2986.73/2996.94 c #Conflicts: 552000 | #Constraints: 42239
2986.73/2996.94 c #Conflicts: 553000 | #Constraints: 43239
2986.73/2996.94 c #Conflicts: 554000 | #Constraints: 44239
2986.73/2996.94 c #Conflicts: 555000 | #Constraints: 45239
2986.73/2996.94 c #Conflicts: 556000 | #Constraints: 46239
2986.73/2996.94 c #Conflicts: 557000 | #Constraints: 47239
2986.73/2996.94 c #Conflicts: 558000 | #Constraints: 48239
2986.73/2996.94 c #Conflicts: 559000 | #Constraints: 49239
2986.73/2996.94 c #Conflicts: 560000 | #Constraints: 50239
2986.73/2996.94 c #Conflicts: 561000 | #Constraints: 51239
2986.73/2996.94 c INPROCESSING
2986.73/2996.94 c GARBAGE COLLECT
2986.73/2996.94 c #Conflicts: 562000 | #Constraints: 37434
2986.73/2996.94 c #Conflicts: 563000 | #Constraints: 38434
2986.73/2996.94 c #Conflicts: 564000 | #Constraints: 39434
2986.73/2996.94 c #Conflicts: 565000 | #Constraints: 40434
2986.73/2996.94 c #Conflicts: 566000 | #Constraints: 41434
2986.73/2996.94 c #Conflicts: 567000 | #Constraints: 42434
2986.73/2996.94 c #Conflicts: 568000 | #Constraints: 43434
2986.73/2996.94 c #Conflicts: 569000 | #Constraints: 44434
2986.73/2996.94 c #Conflicts: 570000 | #Constraints: 45434
2986.73/2996.94 c #Conflicts: 571000 | #Constraints: 46434
2986.73/2996.94 c #Conflicts: 572000 | #Constraints: 47434
2986.73/2996.94 c #Conflicts: 573000 | #Constraints: 48434
2986.73/2996.94 c #Conflicts: 574000 | #Constraints: 49434
2986.73/2996.94 c #Conflicts: 575000 | #Constraints: 50434
2986.73/2996.94 c #Conflicts: 576000 | #Constraints: 51434
2986.73/2996.94 c INPROCESSING
2986.73/2996.94 c GARBAGE COLLECT
2986.73/2996.94 c #Conflicts: 577000 | #Constraints: 37601
2986.73/2996.94 c #Conflicts: 578000 | #Constraints: 38601
2986.73/2996.94 c #Conflicts: 579000 | #Constraints: 39601
2986.73/2996.94 c #Conflicts: 580000 | #Constraints: 40601
2986.73/2996.94 c #Conflicts: 581000 | #Constraints: 41601
2986.73/2996.94 c #Conflicts: 582000 | #Constraints: 42601
2986.73/2996.94 c #Conflicts: 583000 | #Constraints: 43601
2986.73/2996.94 c #Conflicts: 584000 | #Constraints: 44601
2986.73/2996.94 c #Conflicts: 585000 | #Constraints: 45601
3391.23/3402.82 c #Conflicts: 586000 | #Constraints: 46601
3391.23/3402.82 c #Conflicts: 587000 | #Constraints: 47601
3391.23/3402.82 c #Conflicts: 588000 | #Constraints: 48601
3391.23/3402.82 c #Conflicts: 589000 | #Constraints: 49601
3391.23/3402.82 c #Conflicts: 590000 | #Constraints: 50601
3391.23/3402.82 c #Conflicts: 591000 | #Constraints: 51601
3391.23/3402.82 c INPROCESSING
3391.23/3402.82 c GARBAGE COLLECT
3391.23/3402.82 c #Conflicts: 592000 | #Constraints: 37235
3391.23/3402.82 c #Conflicts: 593000 | #Constraints: 38235
3391.23/3402.82 c #Conflicts: 594000 | #Constraints: 39235
3391.23/3402.82 c #Conflicts: 595000 | #Constraints: 40235
3391.23/3402.82 c #Conflicts: 596000 | #Constraints: 41235
3391.23/3402.82 c #Conflicts: 597000 | #Constraints: 42235
3391.23/3402.82 c #Conflicts: 598000 | #Constraints: 43235
3391.23/3402.82 c #Conflicts: 599000 | #Constraints: 44235
3391.23/3402.82 c #Conflicts: 600000 | #Constraints: 45235
3391.23/3402.82 c #Conflicts: 601000 | #Constraints: 46235
3391.23/3402.82 c #Conflicts: 602000 | #Constraints: 47235
3391.23/3402.82 c #Conflicts: 603000 | #Constraints: 48235
3391.23/3402.82 c #Conflicts: 604000 | #Constraints: 49235
3391.23/3402.82 c #Conflicts: 605000 | #Constraints: 50235
3391.23/3402.82 c #Conflicts: 606000 | #Constraints: 51235
3391.23/3402.82 c #Conflicts: 607000 | #Constraints: 52235
3391.23/3402.82 c INPROCESSING
3391.23/3402.82 c GARBAGE COLLECT
3391.23/3402.82 c #Conflicts: 608000 | #Constraints: 37772
3391.23/3402.82 c #Conflicts: 609000 | #Constraints: 38772
3391.23/3402.82 c #Conflicts: 610000 | #Constraints: 39772
3391.23/3402.82 c #Conflicts: 611000 | #Constraints: 40772
3391.23/3402.82 c #Conflicts: 612000 | #Constraints: 41772
3391.23/3402.82 c #Conflicts: 613000 | #Constraints: 42772
3391.23/3402.82 c #Conflicts: 614000 | #Constraints: 43772
3391.23/3402.82 c #Conflicts: 615000 | #Constraints: 44772
3391.23/3402.82 c #Conflicts: 616000 | #Constraints: 45772
3391.23/3402.82 c #Conflicts: 617000 | #Constraints: 46772
3391.23/3402.82 c #Conflicts: 618000 | #Constraints: 47772
3391.23/3402.82 c #Conflicts: 619000 | #Constraints: 48772
3391.23/3402.82 c #Conflicts: 620000 | #Constraints: 49772
3391.23/3402.82 c #Conflicts: 621000 | #Constraints: 50772
3391.23/3402.82 c #Conflicts: 622000 | #Constraints: 51772
3391.23/3402.82 c #Conflicts: 623000 | #Constraints: 52772
3391.23/3402.82 c INPROCESSING
3391.23/3402.82 c GARBAGE COLLECT
3391.23/3402.82 c #Conflicts: 624000 | #Constraints: 38218
3391.23/3402.82 c #Conflicts: 625000 | #Constraints: 39218
3391.23/3402.82 c #Conflicts: 626000 | #Constraints: 40218
3391.23/3402.82 c #Conflicts: 627000 | #Constraints: 41218
3391.23/3402.82 c #Conflicts: 628000 | #Constraints: 42218
3391.23/3402.82 c #Conflicts: 629000 | #Constraints: 43218
3391.23/3402.82 c #Conflicts: 630000 | #Constraints: 44218
3391.23/3402.82 c #Conflicts: 631000 | #Constraints: 45218
3391.23/3402.82 c #Conflicts: 632000 | #Constraints: 46218
3391.23/3402.82 c #Conflicts: 633000 | #Constraints: 47218
3391.23/3402.82 c #Conflicts: 634000 | #Constraints: 48218
3391.23/3402.82 c #Conflicts: 635000 | #Constraints: 49218
3391.23/3402.82 c #Conflicts: 636000 | #Constraints: 50218
3391.23/3402.82 c #Conflicts: 637000 | #Constraints: 51218
3391.23/3402.82 c #Conflicts: 638000 | #Constraints: 52218
3391.23/3402.82 c #Conflicts: 639000 | #Constraints: 53218
3391.23/3402.82 c INPROCESSING
3391.23/3402.82 c GARBAGE COLLECT
3391.23/3402.82 c #Conflicts: 640000 | #Constraints: 38668
3391.23/3402.82 c #Conflicts: 641000 | #Constraints: 39668
3391.23/3402.82 c #Conflicts: 642000 | #Constraints: 40668
3391.23/3402.82 c #Conflicts: 643000 | #Constraints: 41668
3391.23/3402.82 c #Conflicts: 644000 | #Constraints: 42668
3391.23/3402.82 c #Conflicts: 645000 | #Constraints: 43668
3391.23/3402.82 c #Conflicts: 646000 | #Constraints: 44668
3391.23/3402.82 c #Conflicts: 647000 | #Constraints: 45668
3391.23/3402.82 c #Conflicts: 648000 | #Constraints: 46668
3391.23/3402.82 c #Conflicts: 649000 | #Constraints: 47668
3391.23/3402.82 c #Conflicts: 650000 | #Constraints: 48668
3391.23/3402.82 c #Conflicts: 651000 | #Constraints: 49668
3391.23/3402.82 c #Conflicts: 652000 | #Constraints: 50668
3391.23/3402.82 c #Conflicts: 653000 | #Constraints: 51668
3391.23/3402.82 c #Conflicts: 654000 | #Constraints: 52668
3391.23/3402.82 c #Conflicts: 655000 | #Constraints: 53668
3391.23/3402.82 c INPROCESSING
3391.23/3402.82 c GARBAGE COLLECT
3391.23/3402.82 c #Conflicts: 656000 | #Constraints: 38708
3391.23/3402.82 c #Conflicts: 657000 | #Constraints: 39708
3391.23/3402.82 c #Conflicts: 658000 | #Constraints: 40708
3391.23/3402.82 c #Conflicts: 659000 | #Constraints: 41708
3391.23/3402.82 c #Conflicts: 660000 | #Constraints: 42708
3391.23/3402.82 c #Conflicts: 661000 | #Constraints: 43708
3600.02/3612.30 c #Conflicts: 662000 | #Constraints: 44708
3600.02/3612.30 c #Conflicts: 663000 | #Constraints: 45708
3600.02/3612.30 c #Conflicts: 664000 | #Constraints: 46708
3600.02/3612.30 c #Conflicts: 665000 | #Constraints: 47708
3600.02/3612.30 c #Conflicts: 666000 | #Constraints: 48708
3600.02/3612.30 c #Conflicts: 667000 | #Constraints: 49708
3600.02/3612.30 c #Conflicts: 668000 | #Constraints: 50708
3600.02/3612.30 c #Conflicts: 669000 | #Constraints: 51708
3600.02/3612.30 c #Conflicts: 670000 | #Constraints: 52708
3600.02/3612.30 c #Conflicts: 671000 | #Constraints: 53708
3600.02/3612.30 c INPROCESSING
3600.02/3612.30 c GARBAGE COLLECT
3600.02/3612.30 c #Conflicts: 672000 | #Constraints: 38627
3600.02/3612.30 c #Conflicts: 673000 | #Constraints: 39627
3600.02/3612.30 c #Conflicts: 674000 | #Constraints: 40627
3600.02/3612.30 c #Conflicts: 675000 | #Constraints: 41627
3600.02/3612.30 c #Conflicts: 676000 | #Constraints: 42627
3600.02/3612.30 c #Conflicts: 677000 | #Constraints: 43627
3600.02/3612.30 c #Conflicts: 678000 | #Constraints: 44627
3600.02/3612.30 c #Conflicts: 679000 | #Constraints: 45627
3600.02/3612.30 c #Conflicts: 680000 | #Constraints: 46627
3600.02/3612.30 c #Conflicts: 681000 | #Constraints: 47627
3600.02/3612.30 c #Conflicts: 682000 | #Constraints: 48627
3600.02/3612.30 c #Conflicts: 683000 | #Constraints: 49627
3600.02/3612.30 c #Conflicts: 684000 | #Constraints: 50627
3600.02/3612.30 c #Conflicts: 685000 | #Constraints: 51627
3600.02/3612.30 c #Conflicts: 686000 | #Constraints: 52627
3600.02/3612.30 c #Conflicts: 687000 | #Constraints: 53627
3600.02/3612.30 c #Conflicts: 688000 | #Constraints: 54627
3600.02/3612.30 c INPROCESSING
3600.02/3612.30 c GARBAGE COLLECT
3600.02/3612.30 c #Conflicts: 689000 | #Constraints: 39116
3600.02/3612.30 c #Conflicts: 690000 | #Constraints: 40116
3600.02/3612.30 c #Conflicts: 691000 | #Constraints: 41116
3600.02/3612.30 c #Conflicts: 692000 | #Constraints: 42116
3600.02/3612.30 c #Conflicts: 693000 | #Constraints: 43116
3600.02/3612.30 c #Conflicts: 694000 | #Constraints: 44116
3600.02/3612.30 c #Conflicts: 695000 | #Constraints: 45116
3600.02/3612.30 c #Conflicts: 696000 | #Constraints: 46116
3600.02/3612.30 c #Conflicts: 697000 | #Constraints: 47116
3600.02/3612.30 c #Conflicts: 698000 | #Constraints: 48116
3600.02/3612.30 c Program interrupted by user.
3600.02/3612.30 c cpu time 3589.82 s
3600.02/3612.30 c deterministic time 1191813197513 1.19e+12
3600.02/3612.30 c optimization time 54.8964 s
3600.02/3612.30 c total solve time 3235.76 s
3600.02/3612.30 c core-guided solve time 3235.76 s
3600.02/3612.30 c propagation time 2726.18 s
3600.02/3612.30 c conflict analysis time 520.769 s
3600.02/3612.30 c propagations 480026515
3600.02/3612.30 c resolve steps 17546327
3600.02/3612.30 c decisions 8240893
3600.02/3612.30 c conflicts 698606
3600.02/3612.30 c restarts 1531
3600.02/3612.30 c inprocessing phases 74
3600.02/3612.30 c input clauses 21380
3600.02/3612.30 c input cardinalities 7
3600.02/3612.30 c input general constraints 0
3600.02/3612.30 c input average constraint length 2.76
3600.02/3612.30 c input average constraint degree 1.06
3600.02/3612.30 c learned clauses 373781
3600.02/3612.30 c learned cardinalities 781
3600.02/3612.30 c learned general constraints 324048
3600.02/3612.30 c learned average constraint length 1286.20
3600.02/3612.30 c learned average constraint degree 24812.56
3600.02/3612.30 c watched constraints 309760
3600.02/3612.30 c counting constraints 14288
3600.02/3612.30 c gcd simplifications 3199
3600.02/3612.30 c detected cardinalities 0
3600.02/3612.30 c weakened non-implied lits 121494677
3600.02/3612.30 c weakened non-implying lits 21266
3600.02/3612.30 c original variables 6076
3600.02/3612.30 c clausal propagations 385488165
3600.02/3612.30 c cardinality propagations 666304
3600.02/3612.30 c watched propagations 67404687
3600.02/3612.30 c counting propagations 25488006
3600.02/3612.30 c watch lookups 7033848148
3600.02/3612.30 c watch backjump lookups 4149852619
3600.02/3612.30 c watch checks 951427257001
3600.02/3612.30 c propagation checks 222686221459
3600.02/3612.30 c constraint additions 5538788387
3600.02/3612.30 c trail pops 488962490
3600.02/3612.30 c formula constraints 21380
3600.02/3612.30 c learned constraints 698610
3600.02/3612.30 c bound constraints 7
3600.02/3612.30 c core-guided constraints 0
3600.02/3612.30 c encountered formula constraints 11228457
3600.02/3612.30 c encountered learned constraints 7016471
3600.02/3612.30 c encountered bound constraints 5
3600.02/3612.30 c encountered core-guided constraints 0
3600.02/3612.30 c LP total time 0 s
3600.02/3612.30 c LP solve time 0 s
3600.02/3612.30 c LP constraints added 0
3600.02/3612.30 c LP constraints removed 0
3600.02/3612.30 c LP pivots internal 0
3600.02/3612.30 c LP pivots root 0
3600.02/3612.30 c LP calls 0
3600.02/3612.30 c LP optimalities 0
3600.02/3612.30 c LP no pivot count 0
3600.02/3612.30 c LP infeasibilities 0
3600.02/3612.30 c LP valid Farkas constraints 0
3600.02/3612.30 c LP learned Farkas constraints 0
3600.02/3612.30 c LP basis resets 0
3600.02/3612.30 c LP cycling count 0
3600.02/3612.30 c LP singular count 0
3600.02/3612.30 c LP no primal count 0
3600.02/3612.30 c LP no farkas count 0
3600.02/3612.30 c LP other issue count 0
3600.02/3612.30 c LP Gomory cuts 0
3600.02/3612.30 c LP learned cuts 0
3600.02/3612.30 c LP deleted cuts 0
3600.02/3612.30 c LP encountered Gomory constraints 0
3600.02/3612.30 c LP encountered Farkas constraints 0
3600.02/3612.30 c LP encountered learned Farkas constraints 0
3600.02/3612.30 c CG auxiliary variables introduced 0
3600.02/3612.30 c CG solutions found 0
3600.02/3612.30 c CG cores constructed 6
3600.02/3612.30 c CG core cardinality constraints returned 0
3600.02/3612.30 c CG unit cores 0
3600.02/3612.30 c CG single cores 6
3600.02/3612.30 c CG blocks removed during cardinality reduction 0
3600.02/3612.30 c CG first core best 0
3600.02/3612.30 c CG decision core best 0
3600.02/3612.30 c CG core reduction tie 0
3600.02/3612.30 c CG core degree average 1.00
3600.02/3612.30 c CG core slack average 57.50
3600.02/3612.30 c CG exhausted 0
3600.02/3612.30 c CG exhaust time 0 s
3600.02/3612.30 c CG trimmed 1
3600.02/3612.30 c CG trim time 0.000918 s
3600.02/3612.30 c CG minimized 0
3600.02/3612.30 c CG minimize time 0 s
3600.02/3612.30 c CG am1 prop time 0.000969 s
3600.02/3612.30 c CG # am1s reformulated 0
3600.02/3612.30 c CG lower bound derived from am1s 0
3600.02/3612.30 c CG # clausal cores 6
3600.02/3612.30 c CG # cardinality cores 0
3600.02/3612.30 c CG # pb cores 0
3600.02/3612.30 c CG # pb reforms 0
3600.02/3612.30 c CG # cores discarded because of pb reform 0
3600.02/3612.30 d LOWERBOUND 6
3600.02/3612.30 d NCORES 6
3600.02/3612.30 d NPBCORES 0
3600.02/3612.30 d NPBREFORM 0
3600.02/3612.30 d NTRIMMED 1
3600.02/3612.30 d NEXHAUSTED 0
3600.02/3612.30 d NAM1S 0
3600.02/3612.30 d AM1LB 0
3600.02/3612.30 c [Papilo Statistics]
3600.02/3612.30 c prepro time 0.0639383s
3600.02/3612.30 c # tsx applied 20
3600.02/3612.30 c # tsx conflicts 0
3600.02/3612.30 c # bound changes 5
3600.02/3612.30 c # side changes 8
3600.02/3612.30 c # coef changes 32
3600.02/3612.30 c # rounds 2
3600.02/3612.30 c # deted vars 9
3600.02/3612.30 c # deted constrs 21
3600.02/3612.30 c # consecutive rounds of only bound changes 0
3600.02/3612.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: 64096 MiB (62662 MiB free)
memory of node 1: 64473 MiB (61609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454812-1721472110/watcher-4454812-1721472110 -o /tmp/evaluation-result-4454812-1721472110/solver-4454812-1721472110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081699 --watchdog 3760 mixed-bag HOME/instance-4454812-1721472110.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1081746, runsolver pid=1081742
[startup+0.100809 s]*
/proc/loadavg: 1.13 1.12 1.67 5/233 1081753
/proc/meminfo: memFree=127253888/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=77552 memory=10864 CPUtime=0.1 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 1794 0 0 0 10 0 0 0 20 0 1 0 199366828 79413248 2716 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 19388 2716 1617 3002 0 3676 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77552 KiB
Current children cumulated memory: 10864 KiB
[startup+0.213551 s]*
/proc/loadavg: 1.13 1.12 1.67 4/233 1081761
/proc/meminfo: memFree=127222128/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=99552 memory=31396 CPUtime=0.22 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 6730 0 0 0 20 2 0 0 20 0 1 0 199366828 101941248 7849 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 24888 7849 3314 3002 0 8637 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 99552 KiB
Current children cumulated memory: 31396 KiB
[startup+0.313859 s]*
/proc/loadavg: 1.13 1.12 1.67 4/241 1081777
/proc/meminfo: memFree=127171264/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=134224 memory=66280 CPUtime=0.31 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 15010 0 0 0 27 4 0 0 20 0 1 0 199366828 137445376 16570 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 33556 16570 3746 3002 0 17305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 134224 KiB
Current children cumulated memory: 66280 KiB
[startup+0.700376 s]
/proc/loadavg: 1.28 1.15 1.67 5/239 1081797
/proc/meminfo: memFree=127034712/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=154648 memory=86028 CPUtime=0.69 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 21226 0 0 0 63 6 0 0 20 0 1 0 199366828 158359552 21507 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 38662 21507 3778 3002 0 22411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154648 KiB
Current children cumulated memory: 86028 KiB
[startup+1.50035 s]
/proc/loadavg: 1.28 1.15 1.67 5/244 1081809
/proc/meminfo: memFree=126915512/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=232668 memory=154288 CPUtime=1.48 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 38149 0 0 0 138 10 0 0 20 0 1 0 199366828 238252032 38572 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 58167 38572 4000 3002 0 41916 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232668 KiB
Current children cumulated memory: 154288 KiB
[startup+3.1132 s]
/proc/loadavg: 1.28 1.15 1.67 5/244 1081809
/proc/meminfo: memFree=126088096/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=255688 memory=177624 CPUtime=3.08 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 44028 0 0 0 297 11 0 0 20 0 1 0 199366828 261824512 44406 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 63922 44406 4011 3002 0 47671 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 255688 KiB
Current children cumulated memory: 177624 KiB
[startup+6.30032 s]
/proc/loadavg: 1.50 1.20 1.69 5/244 1081901
/proc/meminfo: memFree=124842016/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=295040 memory=209304 CPUtime=6.26 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 51945 0 0 0 613 13 0 0 20 0 1 0 199366828 302120960 52326 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 73760 52326 4011 3002 0 57509 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 295040 KiB
Current children cumulated memory: 209304 KiB
[startup+12.7003 s]
/proc/loadavg: 1.70 1.24 1.70 6/242 1081963
/proc/meminfo: memFree=125611176/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=306752 memory=212944 CPUtime=12.63 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 52876 0 0 0 1250 13 0 0 20 0 1 0 199366828 314114048 53236 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 76688 53236 4011 3002 0 60437 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 306752 KiB
Current children cumulated memory: 212944 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 1.33 1.72 5/244 1082180
/proc/meminfo: memFree=122114584/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=358092 memory=262300 CPUtime=25.4 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 65163 0 0 0 2523 17 0 0 20 0 1 0 199366828 366686208 65575 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 89523 65575 4027 3002 0 73272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 358092 KiB
Current children cumulated memory: 262300 KiB
[startup+51.1127 s]
/proc/loadavg: 2.96 1.62 1.81 5/244 1082185
/proc/meminfo: memFree=108195028/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=362596 memory=268820 CPUtime=50.92 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 66862 0 0 0 5072 20 0 0 20 0 1 0 199366828 371298304 67205 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 90649 67205 4027 3002 0 74398 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 362596 KiB
Current children cumulated memory: 268820 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.01 1.93 5/247 1082295
/proc/meminfo: memFree=125777472/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=362596 memory=269112 CPUtime=101.94 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 67362 0 0 0 10171 23 0 0 20 0 1 0 199366828 371298304 67278 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 90649 67278 4027 3002 0 74398 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 362596 KiB
Current children cumulated memory: 269112 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.37 2.06 5/247 1082306
/proc/meminfo: memFree=125762356/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=362596 memory=269208 CPUtime=161.73 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 67409 0 0 0 16150 23 0 0 20 0 1 0 199366828 371298304 67302 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 90649 67302 4027 3002 0 74398 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 362596 KiB
Current children cumulated memory: 269208 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.70 2.20 5/245 1082317
/proc/meminfo: memFree=125747544/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=362596 memory=269208 CPUtime=221.52 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 67419 0 0 0 22129 23 0 0 20 0 1 0 199366828 371298304 67302 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 90649 67302 4027 3002 0 74398 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 362596 KiB
Current children cumulated memory: 269208 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.32 5/245 1082327
/proc/meminfo: memFree=125638120/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=362596 memory=269308 CPUtime=281.32 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 67587 0 0 0 28108 24 0 0 20 0 1 0 199366828 371298304 67327 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 90649 67327 4027 3002 0 74398 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 362596 KiB
Current children cumulated memory: 269308 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.44 5/246 1082342
/proc/meminfo: memFree=125525276/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=396296 memory=311136 CPUtime=341.12 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 70941 0 0 0 34058 54 0 0 20 0 1 0 199366828 405807104 77784 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 99074 77784 4170 3002 0 82823 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 396296 KiB
Current children cumulated memory: 311136 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.34 2.54 5/244 1082353
/proc/meminfo: memFree=125460344/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=427116 memory=333840 CPUtime=400.92 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 71550 0 0 0 40000 92 0 0 20 0 1 0 199366828 437366784 83460 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 106779 83460 4170 3002 0 90528 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 427116 KiB
Current children cumulated memory: 333840 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.51 2.65 5/244 1082363
/proc/meminfo: memFree=125392188/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=427116 memory=342812 CPUtime=460.7 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 71599 0 0 0 45950 120 0 0 20 0 1 0 199366828 437366784 85703 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 106779 85703 4170 3002 0 90528 0
################
# More data... #
################
Current children cumulated memory: 453244 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/245 1083986
/proc/meminfo: memFree=124787780/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=453244 CPUtime=2912.39 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77196 0 0 0 290400 839 0 0 20 0 1 0 199366828 571998208 113311 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 113311 4170 3002 0 123397 0
Current children cumulated CPU time: 2912.39 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 453244 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/245 1083996
/proc/meminfo: memFree=124777348/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=453244 CPUtime=2972.18 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77319 0 0 0 296362 856 0 0 20 0 1 0 199366828 571998208 113311 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 113311 4170 3002 0 123397 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 453244 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/245 1084007
/proc/meminfo: memFree=124767768/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=453244 CPUtime=3031.97 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77461 0 0 0 302327 870 0 0 20 0 1 0 199366828 571998208 113311 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 113311 4170 3002 0 123397 0
Current children cumulated CPU time: 3031.97 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 453244 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/244 1084017
/proc/meminfo: memFree=124736116/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3091.76 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77665 0 0 0 308296 880 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3091.76 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.04 5/244 1084027
/proc/meminfo: memFree=124737308/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3151.55 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77805 0 0 0 314262 893 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3222.3 s]
/proc/loadavg: 5.09 4.37 4.13 5/241 1084038
/proc/meminfo: memFree=124733740/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3211.35 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 77929 0 0 0 320222 913 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3282.3 s]
/proc/loadavg: 4.97 4.50 4.19 5/241 1084050
/proc/meminfo: memFree=124731360/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3271.15 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78089 0 0 0 326183 932 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.40 4.42 4.18 5/241 1084060
/proc/meminfo: memFree=124726872/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3330.94 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78217 0 0 0 332143 951 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.37 4.18 5/241 1084070
/proc/meminfo: memFree=124725900/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3390.74 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78342 0 0 0 338107 967 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.32 4.17 5/241 1084081
/proc/meminfo: memFree=124722256/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3450.53 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78522 0 0 0 344071 982 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.27 4.17 5/243 1084095
/proc/meminfo: memFree=124718852/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3510.33 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78649 0 0 0 350037 996 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.25 4.17 5/243 1084105
/proc/meminfo: memFree=124717092/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3570.12 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78772 0 0 0 355999 1013 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.08 4.22 4.16 5/243 1084156
/proc/meminfo: memFree=124971116/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3600.02 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78846 0 0 0 358981 1021 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 1081746 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.82 s, system=10.2141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.08 4.22 4.16 5/243 1084156
/proc/meminfo: memFree=124971116/131655788 swapFree=131071996/131071996
[pid=1081746] ppid=1081742 vsize=558592 memory=483964 CPUtime=3600.02 cores=0,2
/proc/1081746/stat : 1081746 (mixed-bag) R 1081742 1081746 1081689 0 -1 4194304 78846 0 0 0 358981 1021 0 0 20 0 1 0 199366828 571998208 120991 134679101440 4194304 16488053 140722904952464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25694208 140722904953877 140722904953954 140722904953954 140722904960971 0
/proc/1081746/statm: 139648 120991 4170 3002 0 123397 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 558592 KiB
Current children cumulated memory: 483964 KiB
Child status: 0
Real time (s): 3612.31
CPU time (s): 3600.04
CPU user time (s): 3589.82
CPU system time (s): 10.2141
CPU usage (%): 99.6602
Max. virtual memory (cumulated for all children) (KiB): 558592
Max. memory (cumulated for all children) (KiB): 483964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.82
system time used= 10.2141
maximum resident set size= 484864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78873
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= 97
involuntary context switches= 25410
# summary of solver processes directly reported to runsolver:
# pid: 1081746
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.82
# total CPU system time (s): 10.2141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6277 second user time and 37.194 second system time
The end
Begin job on nodeC004 at 2024-07-20 12:42:02
IDJOB=4454812
IDBENCH=148194
IDSOLVER=3083
FILE ID=nodeC004/4454812-1721472110
RUNJOBID= nodeC004-1721472122-1081699
SLURM_JOB_ID= 7545741
Free space on /tmp= 723768 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454812-1721472110/watcher-4454812-1721472110 -o /tmp/evaluation-result-4454812-1721472110/solver-4454812-1721472110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081699 --watchdog 3760 mixed-bag HOME/instance-4454812-1721472110.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=477010824
nodeC004.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 : 0xb00001f
cpu MHz : 1197.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.569
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.558
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.308
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.308
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.328
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.527
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.29
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 : 0xb00001f
cpu MHz : 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127257696 kB
MemAvailable: 129866612 kB
Buffers: 576920 kB
Cached: 2853716 kB
SwapCached: 0 kB
Active: 1281796 kB
Inactive: 2505412 kB
Active(anon): 3224 kB
Inactive(anon): 399232 kB
Active(file): 1278572 kB
Inactive(file): 2106180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57964 kB
Writeback: 0 kB
AnonPages: 356724 kB
Mapped: 107596 kB
Shmem: 45892 kB
KReclaimable: 129396 kB
Slab: 237352 kB
SReclaimable: 129396 kB
SUnreclaim: 107956 kB
KernelStack: 3712 kB
PageTables: 9964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 763240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 248648 kB
DirectMap2M: 29016064 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723620 MiB
End job on nodeC004 at 2024-07-20 13:42:15