0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.14 c [STEP] preprocessing with Papilo
0.19/0.24 c [STEP] solving with SCIP
299.85/300.77 c [STEP] preprocessing done, loading into solver
299.95/300.81 c [STEP] solving
299.95/300.81 c #variables 45633 #constraints 1554
420.33/421.58 c #Conflicts: 1000 | #Constraints: 2553
420.33/421.58 c #Conflicts: 2000 | #Constraints: 3553
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 3000 | #Constraints: 3567
420.33/421.58 c #Conflicts: 4000 | #Constraints: 4567
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 5000 | #Constraints: 3974
420.33/421.58 c #Conflicts: 6000 | #Constraints: 4974
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 7000 | #Constraints: 3977
420.33/421.58 c #Conflicts: 8000 | #Constraints: 4977
420.33/421.58 c #Conflicts: 9000 | #Constraints: 5977
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 10000 | #Constraints: 4683
420.33/421.58 c #Conflicts: 11000 | #Constraints: 5683
420.33/421.58 c #Conflicts: 12000 | #Constraints: 6683
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 13000 | #Constraints: 5132
420.33/421.58 c #Conflicts: 14000 | #Constraints: 6132
420.33/421.58 c #Conflicts: 15000 | #Constraints: 7132
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 16000 | #Constraints: 5353
420.33/421.58 c #Conflicts: 17000 | #Constraints: 6353
420.33/421.58 c #Conflicts: 18000 | #Constraints: 7353
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 19000 | #Constraints: 5370
420.33/421.58 c #Conflicts: 20000 | #Constraints: 6370
420.33/421.58 c #Conflicts: 21000 | #Constraints: 7370
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 22000 | #Constraints: 5183
420.33/421.58 c #Conflicts: 23000 | #Constraints: 6183
420.33/421.58 c #Conflicts: 24000 | #Constraints: 7183
420.33/421.58 c #Conflicts: 25000 | #Constraints: 8183
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 26000 | #Constraints: 5782
420.33/421.58 c #Conflicts: 27000 | #Constraints: 6782
420.33/421.58 c #Conflicts: 28000 | #Constraints: 7782
420.33/421.58 c #Conflicts: 29000 | #Constraints: 8782
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 30000 | #Constraints: 6190
420.33/421.58 c #Conflicts: 31000 | #Constraints: 7190
420.33/421.58 c #Conflicts: 32000 | #Constraints: 8190
420.33/421.58 c #Conflicts: 33000 | #Constraints: 9190
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 34000 | #Constraints: 6386
420.33/421.58 c #Conflicts: 35000 | #Constraints: 7386
420.33/421.58 c #Conflicts: 36000 | #Constraints: 8386
420.33/421.58 c #Conflicts: 37000 | #Constraints: 9386
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 38000 | #Constraints: 6390
420.33/421.58 c #Conflicts: 39000 | #Constraints: 7390
420.33/421.58 c #Conflicts: 40000 | #Constraints: 8390
420.33/421.58 c #Conflicts: 41000 | #Constraints: 9390
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 42000 | #Constraints: 6194
420.33/421.58 c #Conflicts: 43000 | #Constraints: 7194
420.33/421.58 c #Conflicts: 44000 | #Constraints: 8194
420.33/421.58 c #Conflicts: 45000 | #Constraints: 9194
420.33/421.58 c #Conflicts: 46000 | #Constraints: 10194
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 47000 | #Constraints: 6789
420.33/421.58 c #Conflicts: 48000 | #Constraints: 7789
420.33/421.58 c #Conflicts: 49000 | #Constraints: 8789
420.33/421.58 c #Conflicts: 50000 | #Constraints: 9789
420.33/421.58 c #Conflicts: 51000 | #Constraints: 10789
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 52000 | #Constraints: 7183
420.33/421.58 c #Conflicts: 53000 | #Constraints: 8183
420.33/421.58 c #Conflicts: 54000 | #Constraints: 9183
420.33/421.58 c #Conflicts: 55000 | #Constraints: 10183
420.33/421.58 c #Conflicts: 56000 | #Constraints: 11183
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 57000 | #Constraints: 7383
420.33/421.58 c #Conflicts: 58000 | #Constraints: 8383
420.33/421.58 c #Conflicts: 59000 | #Constraints: 9383
420.33/421.58 c #Conflicts: 60000 | #Constraints: 10383
420.33/421.58 c #Conflicts: 61000 | #Constraints: 11383
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 62000 | #Constraints: 7382
420.33/421.58 c #Conflicts: 63000 | #Constraints: 8382
420.33/421.58 c #Conflicts: 64000 | #Constraints: 9382
420.33/421.58 c #Conflicts: 65000 | #Constraints: 10382
420.33/421.58 c #Conflicts: 66000 | #Constraints: 11382
420.33/421.58 c INPROCESSING
420.33/421.58 c GARBAGE COLLECT
420.33/421.58 c #Conflicts: 67000 | #Constraints: 7187
420.33/421.58 c #Conflicts: 68000 | #Constraints: 8187
602.55/604.29 c #Conflicts: 69000 | #Constraints: 9187
602.55/604.29 c #Conflicts: 70000 | #Constraints: 10187
602.55/604.29 c #Conflicts: 71000 | #Constraints: 11187
602.55/604.29 c #Conflicts: 72000 | #Constraints: 12187
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 73000 | #Constraints: 7783
602.55/604.29 c #Conflicts: 74000 | #Constraints: 8783
602.55/604.29 c #Conflicts: 75000 | #Constraints: 9783
602.55/604.29 c #Conflicts: 76000 | #Constraints: 10783
602.55/604.29 c #Conflicts: 77000 | #Constraints: 11783
602.55/604.29 c #Conflicts: 78000 | #Constraints: 12783
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 79000 | #Constraints: 8187
602.55/604.29 c #Conflicts: 80000 | #Constraints: 9187
602.55/604.29 c #Conflicts: 81000 | #Constraints: 10187
602.55/604.29 c #Conflicts: 82000 | #Constraints: 11187
602.55/604.29 c #Conflicts: 83000 | #Constraints: 12187
602.55/604.29 c #Conflicts: 84000 | #Constraints: 13187
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 85000 | #Constraints: 8388
602.55/604.29 c #Conflicts: 86000 | #Constraints: 9388
602.55/604.29 c #Conflicts: 87000 | #Constraints: 10388
602.55/604.29 c #Conflicts: 88000 | #Constraints: 11388
602.55/604.29 c #Conflicts: 89000 | #Constraints: 12388
602.55/604.29 c #Conflicts: 90000 | #Constraints: 13388
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 91000 | #Constraints: 8391
602.55/604.29 c #Conflicts: 92000 | #Constraints: 9391
602.55/604.29 c #Conflicts: 93000 | #Constraints: 10391
602.55/604.29 c #Conflicts: 94000 | #Constraints: 11391
602.55/604.29 c #Conflicts: 95000 | #Constraints: 12391
602.55/604.29 c #Conflicts: 96000 | #Constraints: 13391
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 97000 | #Constraints: 8198
602.55/604.29 c #Conflicts: 98000 | #Constraints: 9198
602.55/604.29 c #Conflicts: 99000 | #Constraints: 10198
602.55/604.29 c #Conflicts: 100000 | #Constraints: 11198
602.55/604.29 c #Conflicts: 101000 | #Constraints: 12198
602.55/604.29 c #Conflicts: 102000 | #Constraints: 13198
602.55/604.29 c #Conflicts: 103000 | #Constraints: 14198
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 104000 | #Constraints: 8794
602.55/604.29 c #Conflicts: 105000 | #Constraints: 9794
602.55/604.29 c #Conflicts: 106000 | #Constraints: 10794
602.55/604.29 c #Conflicts: 107000 | #Constraints: 11794
602.55/604.29 c #Conflicts: 108000 | #Constraints: 12794
602.55/604.29 c #Conflicts: 109000 | #Constraints: 13794
602.55/604.29 c #Conflicts: 110000 | #Constraints: 14794
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 111000 | #Constraints: 9192
602.55/604.29 c #Conflicts: 112000 | #Constraints: 10192
602.55/604.29 c #Conflicts: 113000 | #Constraints: 11192
602.55/604.29 c #Conflicts: 114000 | #Constraints: 12192
602.55/604.29 c #Conflicts: 115000 | #Constraints: 13192
602.55/604.29 c #Conflicts: 116000 | #Constraints: 14192
602.55/604.29 c #Conflicts: 117000 | #Constraints: 15192
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 118000 | #Constraints: 9388
602.55/604.29 c #Conflicts: 119000 | #Constraints: 10388
602.55/604.29 c #Conflicts: 120000 | #Constraints: 11388
602.55/604.29 c #Conflicts: 121000 | #Constraints: 12388
602.55/604.29 c #Conflicts: 122000 | #Constraints: 13388
602.55/604.29 c #Conflicts: 123000 | #Constraints: 14388
602.55/604.29 c #Conflicts: 124000 | #Constraints: 15388
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 125000 | #Constraints: 9388
602.55/604.29 c #Conflicts: 126000 | #Constraints: 10388
602.55/604.29 c #Conflicts: 127000 | #Constraints: 11388
602.55/604.29 c #Conflicts: 128000 | #Constraints: 12388
602.55/604.29 c #Conflicts: 129000 | #Constraints: 13388
602.55/604.29 c #Conflicts: 130000 | #Constraints: 14388
602.55/604.29 c #Conflicts: 131000 | #Constraints: 15388
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 132000 | #Constraints: 9178
602.55/604.29 c #Conflicts: 133000 | #Constraints: 10178
602.55/604.29 c #Conflicts: 134000 | #Constraints: 11178
602.55/604.29 c #Conflicts: 135000 | #Constraints: 12178
602.55/604.29 c #Conflicts: 136000 | #Constraints: 13178
602.55/604.29 c #Conflicts: 137000 | #Constraints: 14178
602.55/604.29 c #Conflicts: 138000 | #Constraints: 15178
602.55/604.29 c #Conflicts: 139000 | #Constraints: 16178
602.55/604.29 c INPROCESSING
602.55/604.29 c GARBAGE COLLECT
602.55/604.29 c #Conflicts: 140000 | #Constraints: 9784
838.01/840.30 c #Conflicts: 141000 | #Constraints: 10784
838.01/840.30 c #Conflicts: 142000 | #Constraints: 11784
838.01/840.30 c #Conflicts: 143000 | #Constraints: 12784
838.01/840.30 c #Conflicts: 144000 | #Constraints: 13784
838.01/840.30 c #Conflicts: 145000 | #Constraints: 14784
838.01/840.30 c #Conflicts: 146000 | #Constraints: 15784
838.01/840.30 c #Conflicts: 147000 | #Constraints: 16784
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 148000 | #Constraints: 10190
838.01/840.30 c #Conflicts: 149000 | #Constraints: 11190
838.01/840.30 c #Conflicts: 150000 | #Constraints: 12190
838.01/840.30 c #Conflicts: 151000 | #Constraints: 13190
838.01/840.30 c #Conflicts: 152000 | #Constraints: 14190
838.01/840.30 c #Conflicts: 153000 | #Constraints: 15190
838.01/840.30 c #Conflicts: 154000 | #Constraints: 16190
838.01/840.30 c #Conflicts: 155000 | #Constraints: 17190
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 156000 | #Constraints: 10404
838.01/840.30 c #Conflicts: 157000 | #Constraints: 11404
838.01/840.30 c #Conflicts: 158000 | #Constraints: 12404
838.01/840.30 c #Conflicts: 159000 | #Constraints: 13404
838.01/840.30 c #Conflicts: 160000 | #Constraints: 14404
838.01/840.30 c #Conflicts: 161000 | #Constraints: 15404
838.01/840.30 c #Conflicts: 162000 | #Constraints: 16404
838.01/840.30 c #Conflicts: 163000 | #Constraints: 17404
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 164000 | #Constraints: 10402
838.01/840.30 c #Conflicts: 165000 | #Constraints: 11402
838.01/840.30 c #Conflicts: 166000 | #Constraints: 12402
838.01/840.30 c #Conflicts: 167000 | #Constraints: 13402
838.01/840.30 c #Conflicts: 168000 | #Constraints: 14402
838.01/840.30 c #Conflicts: 169000 | #Constraints: 15402
838.01/840.30 c #Conflicts: 170000 | #Constraints: 16402
838.01/840.30 c #Conflicts: 171000 | #Constraints: 17402
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 172000 | #Constraints: 10194
838.01/840.30 c #Conflicts: 173000 | #Constraints: 11194
838.01/840.30 c #Conflicts: 174000 | #Constraints: 12194
838.01/840.30 c #Conflicts: 175000 | #Constraints: 13194
838.01/840.30 c #Conflicts: 176000 | #Constraints: 14194
838.01/840.30 c #Conflicts: 177000 | #Constraints: 15194
838.01/840.30 c #Conflicts: 178000 | #Constraints: 16194
838.01/840.30 c #Conflicts: 179000 | #Constraints: 17194
838.01/840.30 c #Conflicts: 180000 | #Constraints: 18194
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 181000 | #Constraints: 10787
838.01/840.30 c #Conflicts: 182000 | #Constraints: 11787
838.01/840.30 c #Conflicts: 183000 | #Constraints: 12787
838.01/840.30 c #Conflicts: 184000 | #Constraints: 13787
838.01/840.30 c #Conflicts: 185000 | #Constraints: 14787
838.01/840.30 c #Conflicts: 186000 | #Constraints: 15787
838.01/840.30 c #Conflicts: 187000 | #Constraints: 16787
838.01/840.30 c #Conflicts: 188000 | #Constraints: 17787
838.01/840.30 c #Conflicts: 189000 | #Constraints: 18787
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 190000 | #Constraints: 11184
838.01/840.30 c #Conflicts: 191000 | #Constraints: 12184
838.01/840.30 c #Conflicts: 192000 | #Constraints: 13184
838.01/840.30 c #Conflicts: 193000 | #Constraints: 14184
838.01/840.30 c #Conflicts: 194000 | #Constraints: 15184
838.01/840.30 c #Conflicts: 195000 | #Constraints: 16184
838.01/840.30 c #Conflicts: 196000 | #Constraints: 17184
838.01/840.30 c #Conflicts: 197000 | #Constraints: 18184
838.01/840.30 c #Conflicts: 198000 | #Constraints: 19184
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 199000 | #Constraints: 11395
838.01/840.30 c #Conflicts: 200000 | #Constraints: 12395
838.01/840.30 c #Conflicts: 201000 | #Constraints: 13395
838.01/840.30 c #Conflicts: 202000 | #Constraints: 14395
838.01/840.30 c #Conflicts: 203000 | #Constraints: 15395
838.01/840.30 c #Conflicts: 204000 | #Constraints: 16395
838.01/840.30 c #Conflicts: 205000 | #Constraints: 17395
838.01/840.30 c #Conflicts: 206000 | #Constraints: 18395
838.01/840.30 c #Conflicts: 207000 | #Constraints: 19395
838.01/840.30 c INPROCESSING
838.01/840.30 c GARBAGE COLLECT
838.01/840.30 c #Conflicts: 208000 | #Constraints: 11402
838.01/840.30 c #Conflicts: 209000 | #Constraints: 12402
838.01/840.30 c #Conflicts: 210000 | #Constraints: 13402
838.01/840.30 c #Conflicts: 211000 | #Constraints: 14402
838.01/840.30 c #Conflicts: 212000 | #Constraints: 15402
838.01/840.30 c #Conflicts: 213000 | #Constraints: 16402
1086.32/1089.36 c #Conflicts: 214000 | #Constraints: 17402
1086.32/1089.36 c #Conflicts: 215000 | #Constraints: 18402
1086.32/1089.36 c #Conflicts: 216000 | #Constraints: 19402
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 217000 | #Constraints: 11206
1086.32/1089.36 c #Conflicts: 218000 | #Constraints: 12206
1086.32/1089.36 c #Conflicts: 219000 | #Constraints: 13206
1086.32/1089.36 c #Conflicts: 220000 | #Constraints: 14206
1086.32/1089.36 c #Conflicts: 221000 | #Constraints: 15206
1086.32/1089.36 c #Conflicts: 222000 | #Constraints: 16206
1086.32/1089.36 c #Conflicts: 223000 | #Constraints: 17206
1086.32/1089.36 c #Conflicts: 224000 | #Constraints: 18206
1086.32/1089.36 c #Conflicts: 225000 | #Constraints: 19206
1086.32/1089.36 c #Conflicts: 226000 | #Constraints: 20206
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 227000 | #Constraints: 11814
1086.32/1089.36 c #Conflicts: 228000 | #Constraints: 12814
1086.32/1089.36 c #Conflicts: 229000 | #Constraints: 13814
1086.32/1089.36 c #Conflicts: 230000 | #Constraints: 14814
1086.32/1089.36 c #Conflicts: 231000 | #Constraints: 15814
1086.32/1089.36 c #Conflicts: 232000 | #Constraints: 16814
1086.32/1089.36 c #Conflicts: 233000 | #Constraints: 17814
1086.32/1089.36 c #Conflicts: 234000 | #Constraints: 18814
1086.32/1089.36 c #Conflicts: 235000 | #Constraints: 19814
1086.32/1089.36 c #Conflicts: 236000 | #Constraints: 20814
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 237000 | #Constraints: 12203
1086.32/1089.36 c #Conflicts: 238000 | #Constraints: 13203
1086.32/1089.36 c #Conflicts: 239000 | #Constraints: 14203
1086.32/1089.36 c #Conflicts: 240000 | #Constraints: 15203
1086.32/1089.36 c #Conflicts: 241000 | #Constraints: 16203
1086.32/1089.36 c #Conflicts: 242000 | #Constraints: 17203
1086.32/1089.36 c #Conflicts: 243000 | #Constraints: 18203
1086.32/1089.36 c #Conflicts: 244000 | #Constraints: 19203
1086.32/1089.36 c #Conflicts: 245000 | #Constraints: 20203
1086.32/1089.36 c #Conflicts: 246000 | #Constraints: 21203
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 247000 | #Constraints: 12398
1086.32/1089.36 c #Conflicts: 248000 | #Constraints: 13398
1086.32/1089.36 c #Conflicts: 249000 | #Constraints: 14398
1086.32/1089.36 c #Conflicts: 250000 | #Constraints: 15398
1086.32/1089.36 c #Conflicts: 251000 | #Constraints: 16398
1086.32/1089.36 c #Conflicts: 252000 | #Constraints: 17398
1086.32/1089.36 c #Conflicts: 253000 | #Constraints: 18398
1086.32/1089.36 c #Conflicts: 254000 | #Constraints: 19398
1086.32/1089.36 c #Conflicts: 255000 | #Constraints: 20398
1086.32/1089.36 c #Conflicts: 256000 | #Constraints: 21398
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 257000 | #Constraints: 12391
1086.32/1089.36 c #Conflicts: 258000 | #Constraints: 13391
1086.32/1089.36 c #Conflicts: 259000 | #Constraints: 14391
1086.32/1089.36 c #Conflicts: 260000 | #Constraints: 15391
1086.32/1089.36 c #Conflicts: 261000 | #Constraints: 16391
1086.32/1089.36 c #Conflicts: 262000 | #Constraints: 17391
1086.32/1089.36 c #Conflicts: 263000 | #Constraints: 18391
1086.32/1089.36 c #Conflicts: 264000 | #Constraints: 19391
1086.32/1089.36 c #Conflicts: 265000 | #Constraints: 20391
1086.32/1089.36 c #Conflicts: 266000 | #Constraints: 21391
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 267000 | #Constraints: 12197
1086.32/1089.36 c #Conflicts: 268000 | #Constraints: 13197
1086.32/1089.36 c #Conflicts: 269000 | #Constraints: 14197
1086.32/1089.36 c #Conflicts: 270000 | #Constraints: 15197
1086.32/1089.36 c #Conflicts: 271000 | #Constraints: 16197
1086.32/1089.36 c #Conflicts: 272000 | #Constraints: 17197
1086.32/1089.36 c #Conflicts: 273000 | #Constraints: 18197
1086.32/1089.36 c #Conflicts: 274000 | #Constraints: 19197
1086.32/1089.36 c #Conflicts: 275000 | #Constraints: 20197
1086.32/1089.36 c #Conflicts: 276000 | #Constraints: 21197
1086.32/1089.36 c #Conflicts: 277000 | #Constraints: 22197
1086.32/1089.36 c INPROCESSING
1086.32/1089.36 c GARBAGE COLLECT
1086.32/1089.36 c #Conflicts: 278000 | #Constraints: 12800
1086.32/1089.36 c #Conflicts: 279000 | #Constraints: 13800
1086.32/1089.36 c #Conflicts: 280000 | #Constraints: 14800
1086.32/1089.36 c #Conflicts: 281000 | #Constraints: 15800
1086.32/1089.36 c #Conflicts: 282000 | #Constraints: 16800
1086.32/1089.36 c #Conflicts: 283000 | #Constraints: 17800
1086.32/1089.36 c #Conflicts: 284000 | #Constraints: 18800
1086.32/1089.36 c #Conflicts: 285000 | #Constraints: 19800
1086.32/1089.36 c #Conflicts: 286000 | #Constraints: 20800
1086.32/1089.36 c #Conflicts: 287000 | #Constraints: 21800
1086.32/1089.36 c #Conflicts: 288000 | #Constraints: 22800
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 289000 | #Constraints: 13190
1386.52/1390.38 c #Conflicts: 290000 | #Constraints: 14190
1386.52/1390.38 c #Conflicts: 291000 | #Constraints: 15190
1386.52/1390.38 c #Conflicts: 292000 | #Constraints: 16190
1386.52/1390.38 c #Conflicts: 293000 | #Constraints: 17190
1386.52/1390.38 c #Conflicts: 294000 | #Constraints: 18190
1386.52/1390.38 c #Conflicts: 295000 | #Constraints: 19190
1386.52/1390.38 c #Conflicts: 296000 | #Constraints: 20190
1386.52/1390.38 c #Conflicts: 297000 | #Constraints: 21190
1386.52/1390.38 c #Conflicts: 298000 | #Constraints: 22190
1386.52/1390.38 c #Conflicts: 299000 | #Constraints: 23190
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 300000 | #Constraints: 13386
1386.52/1390.38 c #Conflicts: 301000 | #Constraints: 14386
1386.52/1390.38 c #Conflicts: 302000 | #Constraints: 15386
1386.52/1390.38 c #Conflicts: 303000 | #Constraints: 16386
1386.52/1390.38 c #Conflicts: 304000 | #Constraints: 17386
1386.52/1390.38 c #Conflicts: 305000 | #Constraints: 18386
1386.52/1390.38 c #Conflicts: 306000 | #Constraints: 19386
1386.52/1390.38 c #Conflicts: 307000 | #Constraints: 20386
1386.52/1390.38 c #Conflicts: 308000 | #Constraints: 21386
1386.52/1390.38 c #Conflicts: 309000 | #Constraints: 22386
1386.52/1390.38 c #Conflicts: 310000 | #Constraints: 23386
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 311000 | #Constraints: 13389
1386.52/1390.38 c #Conflicts: 312000 | #Constraints: 14389
1386.52/1390.38 c #Conflicts: 313000 | #Constraints: 15389
1386.52/1390.38 c #Conflicts: 314000 | #Constraints: 16389
1386.52/1390.38 c #Conflicts: 315000 | #Constraints: 17389
1386.52/1390.38 c #Conflicts: 316000 | #Constraints: 18389
1386.52/1390.38 c #Conflicts: 317000 | #Constraints: 19389
1386.52/1390.38 c #Conflicts: 318000 | #Constraints: 20389
1386.52/1390.38 c #Conflicts: 319000 | #Constraints: 21389
1386.52/1390.38 c #Conflicts: 320000 | #Constraints: 22389
1386.52/1390.38 c #Conflicts: 321000 | #Constraints: 23389
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 322000 | #Constraints: 13194
1386.52/1390.38 c #Conflicts: 323000 | #Constraints: 14194
1386.52/1390.38 c #Conflicts: 324000 | #Constraints: 15194
1386.52/1390.38 c #Conflicts: 325000 | #Constraints: 16194
1386.52/1390.38 c #Conflicts: 326000 | #Constraints: 17194
1386.52/1390.38 c #Conflicts: 327000 | #Constraints: 18194
1386.52/1390.38 c #Conflicts: 328000 | #Constraints: 19194
1386.52/1390.38 c #Conflicts: 329000 | #Constraints: 20194
1386.52/1390.38 c #Conflicts: 330000 | #Constraints: 21194
1386.52/1390.38 c #Conflicts: 331000 | #Constraints: 22194
1386.52/1390.38 c #Conflicts: 332000 | #Constraints: 23194
1386.52/1390.38 c #Conflicts: 333000 | #Constraints: 24194
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 334000 | #Constraints: 13786
1386.52/1390.38 c #Conflicts: 335000 | #Constraints: 14786
1386.52/1390.38 c #Conflicts: 336000 | #Constraints: 15786
1386.52/1390.38 c #Conflicts: 337000 | #Constraints: 16786
1386.52/1390.38 c #Conflicts: 338000 | #Constraints: 17786
1386.52/1390.38 c #Conflicts: 339000 | #Constraints: 18786
1386.52/1390.38 c #Conflicts: 340000 | #Constraints: 19786
1386.52/1390.38 c #Conflicts: 341000 | #Constraints: 20786
1386.52/1390.38 c #Conflicts: 342000 | #Constraints: 21786
1386.52/1390.38 c #Conflicts: 343000 | #Constraints: 22786
1386.52/1390.38 c #Conflicts: 344000 | #Constraints: 23786
1386.52/1390.38 c #Conflicts: 345000 | #Constraints: 24786
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 346000 | #Constraints: 14184
1386.52/1390.38 c #Conflicts: 347000 | #Constraints: 15184
1386.52/1390.38 c #Conflicts: 348000 | #Constraints: 16184
1386.52/1390.38 c #Conflicts: 349000 | #Constraints: 17184
1386.52/1390.38 c #Conflicts: 350000 | #Constraints: 18184
1386.52/1390.38 c #Conflicts: 351000 | #Constraints: 19184
1386.52/1390.38 c #Conflicts: 352000 | #Constraints: 20184
1386.52/1390.38 c #Conflicts: 353000 | #Constraints: 21184
1386.52/1390.38 c #Conflicts: 354000 | #Constraints: 22184
1386.52/1390.38 c #Conflicts: 355000 | #Constraints: 23184
1386.52/1390.38 c #Conflicts: 356000 | #Constraints: 24184
1386.52/1390.38 c #Conflicts: 357000 | #Constraints: 25184
1386.52/1390.38 c INPROCESSING
1386.52/1390.38 c GARBAGE COLLECT
1386.52/1390.38 c #Conflicts: 358000 | #Constraints: 14376
1386.52/1390.38 c #Conflicts: 359000 | #Constraints: 15376
1386.52/1390.38 c #Conflicts: 360000 | #Constraints: 16376
1386.52/1390.38 c #Conflicts: 361000 | #Constraints: 17376
1386.52/1390.38 c #Conflicts: 362000 | #Constraints: 18376
1646.72/1651.26 c #Conflicts: 363000 | #Constraints: 19376
1646.72/1651.26 c #Conflicts: 364000 | #Constraints: 20376
1646.72/1651.26 c #Conflicts: 365000 | #Constraints: 21376
1646.72/1651.26 c #Conflicts: 366000 | #Constraints: 22376
1646.72/1651.26 c #Conflicts: 367000 | #Constraints: 23376
1646.72/1651.26 c #Conflicts: 368000 | #Constraints: 24376
1646.72/1651.26 c #Conflicts: 369000 | #Constraints: 25376
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 370000 | #Constraints: 14379
1646.72/1651.26 c #Conflicts: 371000 | #Constraints: 15379
1646.72/1651.26 c #Conflicts: 372000 | #Constraints: 16379
1646.72/1651.26 c #Conflicts: 373000 | #Constraints: 17379
1646.72/1651.26 c #Conflicts: 374000 | #Constraints: 18379
1646.72/1651.26 c #Conflicts: 375000 | #Constraints: 19379
1646.72/1651.26 c #Conflicts: 376000 | #Constraints: 20379
1646.72/1651.26 c #Conflicts: 377000 | #Constraints: 21379
1646.72/1651.26 c #Conflicts: 378000 | #Constraints: 22379
1646.72/1651.26 c #Conflicts: 379000 | #Constraints: 23379
1646.72/1651.26 c #Conflicts: 380000 | #Constraints: 24379
1646.72/1651.26 c #Conflicts: 381000 | #Constraints: 25379
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 382000 | #Constraints: 14177
1646.72/1651.26 c #Conflicts: 383000 | #Constraints: 15177
1646.72/1651.26 c #Conflicts: 384000 | #Constraints: 16177
1646.72/1651.26 c #Conflicts: 385000 | #Constraints: 17177
1646.72/1651.26 c #Conflicts: 386000 | #Constraints: 18177
1646.72/1651.26 c #Conflicts: 387000 | #Constraints: 19177
1646.72/1651.26 c #Conflicts: 388000 | #Constraints: 20177
1646.72/1651.26 c #Conflicts: 389000 | #Constraints: 21177
1646.72/1651.26 c #Conflicts: 390000 | #Constraints: 22177
1646.72/1651.26 c #Conflicts: 391000 | #Constraints: 23177
1646.72/1651.26 c #Conflicts: 392000 | #Constraints: 24177
1646.72/1651.26 c #Conflicts: 393000 | #Constraints: 25177
1646.72/1651.26 c #Conflicts: 394000 | #Constraints: 26177
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 395000 | #Constraints: 14789
1646.72/1651.26 c #Conflicts: 396000 | #Constraints: 15789
1646.72/1651.26 c #Conflicts: 397000 | #Constraints: 16789
1646.72/1651.26 c #Conflicts: 398000 | #Constraints: 17789
1646.72/1651.26 c #Conflicts: 399000 | #Constraints: 18789
1646.72/1651.26 c #Conflicts: 400000 | #Constraints: 19789
1646.72/1651.26 c #Conflicts: 401000 | #Constraints: 20789
1646.72/1651.26 c #Conflicts: 402000 | #Constraints: 21789
1646.72/1651.26 c #Conflicts: 403000 | #Constraints: 22789
1646.72/1651.26 c #Conflicts: 404000 | #Constraints: 23789
1646.72/1651.26 c #Conflicts: 405000 | #Constraints: 24789
1646.72/1651.26 c #Conflicts: 406000 | #Constraints: 25789
1646.72/1651.26 c #Conflicts: 407000 | #Constraints: 26789
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 408000 | #Constraints: 15188
1646.72/1651.26 c #Conflicts: 409000 | #Constraints: 16188
1646.72/1651.26 c #Conflicts: 410000 | #Constraints: 17188
1646.72/1651.26 c #Conflicts: 411000 | #Constraints: 18188
1646.72/1651.26 c #Conflicts: 412000 | #Constraints: 19188
1646.72/1651.26 c #Conflicts: 413000 | #Constraints: 20188
1646.72/1651.26 c #Conflicts: 414000 | #Constraints: 21188
1646.72/1651.26 c #Conflicts: 415000 | #Constraints: 22188
1646.72/1651.26 c #Conflicts: 416000 | #Constraints: 23188
1646.72/1651.26 c #Conflicts: 417000 | #Constraints: 24188
1646.72/1651.26 c #Conflicts: 418000 | #Constraints: 25188
1646.72/1651.26 c #Conflicts: 419000 | #Constraints: 26188
1646.72/1651.26 c #Conflicts: 420000 | #Constraints: 27188
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 421000 | #Constraints: 15396
1646.72/1651.26 c #Conflicts: 422000 | #Constraints: 16396
1646.72/1651.26 c #Conflicts: 423000 | #Constraints: 17396
1646.72/1651.26 c #Conflicts: 424000 | #Constraints: 18396
1646.72/1651.26 c #Conflicts: 425000 | #Constraints: 19396
1646.72/1651.26 c #Conflicts: 426000 | #Constraints: 20396
1646.72/1651.26 c #Conflicts: 427000 | #Constraints: 21396
1646.72/1651.26 c #Conflicts: 428000 | #Constraints: 22396
1646.72/1651.26 c #Conflicts: 429000 | #Constraints: 23396
1646.72/1651.26 c #Conflicts: 430000 | #Constraints: 24396
1646.72/1651.26 c #Conflicts: 431000 | #Constraints: 25396
1646.72/1651.26 c #Conflicts: 432000 | #Constraints: 26396
1646.72/1651.26 c #Conflicts: 433000 | #Constraints: 27396
1646.72/1651.26 c INPROCESSING
1646.72/1651.26 c GARBAGE COLLECT
1646.72/1651.26 c #Conflicts: 434000 | #Constraints: 15398
1646.72/1651.26 c #Conflicts: 435000 | #Constraints: 16398
1646.72/1651.26 c #Conflicts: 436000 | #Constraints: 17398
1646.72/1651.26 c #Conflicts: 437000 | #Constraints: 18398
2302.70/2309.02 c #Conflicts: 438000 | #Constraints: 19398
2302.70/2309.02 c #Conflicts: 439000 | #Constraints: 20398
2302.70/2309.02 c #Conflicts: 440000 | #Constraints: 21398
2302.70/2309.02 c #Conflicts: 441000 | #Constraints: 22398
2302.70/2309.02 c #Conflicts: 442000 | #Constraints: 23398
2302.70/2309.02 c #Conflicts: 443000 | #Constraints: 24398
2302.70/2309.02 c #Conflicts: 444000 | #Constraints: 25398
2302.70/2309.02 c #Conflicts: 445000 | #Constraints: 26398
2302.70/2309.02 c #Conflicts: 446000 | #Constraints: 27398
2302.70/2309.02 c INPROCESSING
2302.70/2309.02 c GARBAGE COLLECT
2302.70/2309.02 c #Conflicts: 447000 | #Constraints: 15200
2302.70/2309.02 c #Conflicts: 448000 | #Constraints: 16200
2302.70/2309.02 c #Conflicts: 449000 | #Constraints: 17200
2302.70/2309.02 c #Conflicts: 450000 | #Constraints: 18200
2302.70/2309.02 c #Conflicts: 451000 | #Constraints: 19200
2302.70/2309.02 c #Conflicts: 452000 | #Constraints: 20200
2302.70/2309.02 c #Conflicts: 453000 | #Constraints: 21200
2302.70/2309.02 c #Conflicts: 454000 | #Constraints: 22200
2302.70/2309.02 c #Conflicts: 455000 | #Constraints: 23200
2302.70/2309.02 c #Conflicts: 456000 | #Constraints: 24200
2302.70/2309.02 c #Conflicts: 457000 | #Constraints: 25200
2302.70/2309.02 c #Conflicts: 458000 | #Constraints: 26200
2302.70/2309.02 c #Conflicts: 459000 | #Constraints: 27200
2302.70/2309.02 c #Conflicts: 460000 | #Constraints: 28200
2302.70/2309.02 c INPROCESSING
2302.70/2309.02 c GARBAGE COLLECT
2302.70/2309.02 c #Conflicts: 461000 | #Constraints: 15816
2302.70/2309.02 c #Conflicts: 462000 | #Constraints: 16816
2302.70/2309.02 c #Conflicts: 463000 | #Constraints: 17816
2302.70/2309.02 c #Conflicts: 464000 | #Constraints: 18816
2302.70/2309.02 c #Conflicts: 465000 | #Constraints: 19816
2302.70/2309.02 c #Conflicts: 466000 | #Constraints: 20816
2302.70/2309.02 c #Conflicts: 467000 | #Constraints: 21816
2302.70/2309.02 c #Conflicts: 468000 | #Constraints: 22816
2302.70/2309.02 c #Conflicts: 469000 | #Constraints: 23816
2302.70/2309.02 c #Conflicts: 470000 | #Constraints: 24816
2302.70/2309.02 c #Conflicts: 471000 | #Constraints: 25816
2302.70/2309.02 c #Conflicts: 472000 | #Constraints: 26816
2302.70/2309.02 c #Conflicts: 473000 | #Constraints: 27816
2302.70/2309.02 c #Conflicts: 474000 | #Constraints: 28816
2302.70/2309.02 c INPROCESSING
2302.70/2309.02 c GARBAGE COLLECT
2302.70/2309.02 c #Conflicts: 475000 | #Constraints: 16213
2302.70/2309.02 c #Conflicts: 476000 | #Constraints: 17213
2302.70/2309.02 c #Conflicts: 477000 | #Constraints: 18213
2302.70/2309.02 c #Conflicts: 478000 | #Constraints: 19213
2302.70/2309.02 c #Conflicts: 479000 | #Constraints: 20213
2302.70/2309.02 c #Conflicts: 480000 | #Constraints: 21213
2302.70/2309.02 c #Conflicts: 481000 | #Constraints: 22213
2302.70/2309.02 c #Conflicts: 482000 | #Constraints: 23213
2302.70/2309.02 c #Conflicts: 483000 | #Constraints: 24213
2302.70/2309.02 c #Conflicts: 484000 | #Constraints: 25213
2302.70/2309.02 c #Conflicts: 485000 | #Constraints: 26213
2302.70/2309.02 c #Conflicts: 486000 | #Constraints: 27213
2302.70/2309.02 c #Conflicts: 487000 | #Constraints: 28213
2302.70/2309.02 c #Conflicts: 488000 | #Constraints: 29213
2302.70/2309.02 c INPROCESSING
2302.70/2309.02 c GARBAGE COLLECT
2302.70/2309.02 c #Conflicts: 489000 | #Constraints: 16413
2302.70/2309.02 c #Conflicts: 490000 | #Constraints: 17413
2302.70/2309.02 c #Conflicts: 491000 | #Constraints: 18413
2302.70/2309.02 c #Conflicts: 492000 | #Constraints: 19413
2302.70/2309.02 c #Conflicts: 493000 | #Constraints: 20413
2302.70/2309.02 c #Conflicts: 494000 | #Constraints: 21413
2302.70/2309.02 c #Conflicts: 495000 | #Constraints: 22413
2302.70/2309.02 c #Conflicts: 496000 | #Constraints: 23413
2302.70/2309.02 c #Conflicts: 497000 | #Constraints: 24413
2302.70/2309.02 c #Conflicts: 498000 | #Constraints: 25413
2302.70/2309.02 c #Conflicts: 499000 | #Constraints: 26413
2302.70/2309.02 c #Conflicts: 500000 | #Constraints: 27413
2302.70/2309.02 c #Conflicts: 501000 | #Constraints: 28413
2302.70/2309.02 c #Conflicts: 502000 | #Constraints: 29413
2302.70/2309.02 c INPROCESSING
2302.70/2309.02 c GARBAGE COLLECT
2302.70/2309.02 c #Conflicts: 503000 | #Constraints: 16419
2302.70/2309.02 c #Conflicts: 504000 | #Constraints: 17419
2302.70/2309.02 c #Conflicts: 505000 | #Constraints: 18419
2302.70/2309.02 c #Conflicts: 506000 | #Constraints: 19419
2302.70/2309.02 c #Conflicts: 507000 | #Constraints: 20419
2302.70/2309.02 c #Conflicts: 508000 | #Constraints: 21419
2302.70/2309.02 c #Conflicts: 509000 | #Constraints: 22419
2302.70/2309.02 c #Conflicts: 510000 | #Constraints: 23419
2302.70/2309.02 c #Conflicts: 511000 | #Constraints: 24419
2302.70/2309.02 c #Conflicts: 512000 | #Constraints: 25419
2302.70/2309.02 c #Conflicts: 513000 | #Constraints: 26419
2584.44/2591.55 c #Conflicts: 514000 | #Constraints: 27419
2584.44/2591.55 c #Conflicts: 515000 | #Constraints: 28419
2584.44/2591.55 c #Conflicts: 516000 | #Constraints: 29419
2584.44/2591.55 c INPROCESSING
2584.44/2591.55 c GARBAGE COLLECT
2584.44/2591.55 c #Conflicts: 517000 | #Constraints: 16202
2584.44/2591.55 c #Conflicts: 518000 | #Constraints: 17202
2584.44/2591.55 c #Conflicts: 519000 | #Constraints: 18202
2584.44/2591.55 c #Conflicts: 520000 | #Constraints: 19202
2584.44/2591.55 c #Conflicts: 521000 | #Constraints: 20202
2584.44/2591.55 c #Conflicts: 522000 | #Constraints: 21202
2584.44/2591.55 c #Conflicts: 523000 | #Constraints: 22202
2584.44/2591.55 c #Conflicts: 524000 | #Constraints: 23202
2584.44/2591.55 c #Conflicts: 525000 | #Constraints: 24202
2584.44/2591.55 c #Conflicts: 526000 | #Constraints: 25202
2584.44/2591.55 c #Conflicts: 527000 | #Constraints: 26202
2584.44/2591.55 c #Conflicts: 528000 | #Constraints: 27202
2584.44/2591.55 c #Conflicts: 529000 | #Constraints: 28202
2584.44/2591.55 c #Conflicts: 530000 | #Constraints: 29202
2584.44/2591.55 c #Conflicts: 531000 | #Constraints: 30202
2584.44/2591.55 c INPROCESSING
2584.44/2591.55 c GARBAGE COLLECT
2584.44/2591.55 c #Conflicts: 532000 | #Constraints: 16797
2584.44/2591.55 c #Conflicts: 533000 | #Constraints: 17797
2584.44/2591.55 c #Conflicts: 534000 | #Constraints: 18797
2584.44/2591.55 c #Conflicts: 535000 | #Constraints: 19797
2584.44/2591.55 c #Conflicts: 536000 | #Constraints: 20797
2584.44/2591.55 c #Conflicts: 537000 | #Constraints: 21797
2584.44/2591.55 c #Conflicts: 538000 | #Constraints: 22797
2584.44/2591.55 c #Conflicts: 539000 | #Constraints: 23797
2584.44/2591.55 c #Conflicts: 540000 | #Constraints: 24797
2584.44/2591.55 c #Conflicts: 541000 | #Constraints: 25797
2584.44/2591.55 c #Conflicts: 542000 | #Constraints: 26797
2584.44/2591.55 c #Conflicts: 543000 | #Constraints: 27797
2584.44/2591.55 c #Conflicts: 544000 | #Constraints: 28797
2584.44/2591.55 c #Conflicts: 545000 | #Constraints: 29797
2584.44/2591.55 c #Conflicts: 546000 | #Constraints: 30797
2584.44/2591.55 c INPROCESSING
2584.44/2591.55 c GARBAGE COLLECT
2584.44/2591.55 c #Conflicts: 547000 | #Constraints: 17191
2584.44/2591.55 c #Conflicts: 548000 | #Constraints: 18191
2584.44/2591.55 c #Conflicts: 549000 | #Constraints: 19191
2584.44/2591.55 c #Conflicts: 550000 | #Constraints: 20191
2584.44/2591.55 c #Conflicts: 551000 | #Constraints: 21191
2584.44/2591.55 c #Conflicts: 552000 | #Constraints: 22191
2584.44/2591.55 c #Conflicts: 553000 | #Constraints: 23191
2584.44/2591.55 c #Conflicts: 554000 | #Constraints: 24191
2584.44/2591.55 c #Conflicts: 555000 | #Constraints: 25191
2584.44/2591.55 c #Conflicts: 556000 | #Constraints: 26191
2584.44/2591.55 c #Conflicts: 557000 | #Constraints: 27191
2584.44/2591.55 c #Conflicts: 558000 | #Constraints: 28191
2584.44/2591.55 c #Conflicts: 559000 | #Constraints: 29191
2584.44/2591.55 c #Conflicts: 560000 | #Constraints: 30191
2584.44/2591.55 c #Conflicts: 561000 | #Constraints: 31191
2584.44/2591.55 c INPROCESSING
2584.44/2591.55 c GARBAGE COLLECT
2584.44/2591.55 c #Conflicts: 562000 | #Constraints: 17388
2584.44/2591.55 c #Conflicts: 563000 | #Constraints: 18388
2584.44/2591.55 c #Conflicts: 564000 | #Constraints: 19388
2584.44/2591.55 c #Conflicts: 565000 | #Constraints: 20388
2584.44/2591.55 c #Conflicts: 566000 | #Constraints: 21388
2584.44/2591.55 c #Conflicts: 567000 | #Constraints: 22388
2584.44/2591.55 c #Conflicts: 568000 | #Constraints: 23388
2584.44/2591.55 c #Conflicts: 569000 | #Constraints: 24388
2584.44/2591.55 c #Conflicts: 570000 | #Constraints: 25388
2584.44/2591.55 c #Conflicts: 571000 | #Constraints: 26388
2584.44/2591.55 c #Conflicts: 572000 | #Constraints: 27388
2584.44/2591.55 c #Conflicts: 573000 | #Constraints: 28388
2584.44/2591.55 c #Conflicts: 574000 | #Constraints: 29388
2584.44/2591.55 c #Conflicts: 575000 | #Constraints: 30388
2584.44/2591.55 c #Conflicts: 576000 | #Constraints: 31388
2584.44/2591.55 c INPROCESSING
2584.44/2591.55 c GARBAGE COLLECT
2584.44/2591.55 c #Conflicts: 577000 | #Constraints: 17394
2584.44/2591.55 c #Conflicts: 578000 | #Constraints: 18394
2584.44/2591.55 c #Conflicts: 579000 | #Constraints: 19394
2584.44/2591.55 c #Conflicts: 580000 | #Constraints: 20394
2584.44/2591.55 c #Conflicts: 581000 | #Constraints: 21394
2584.44/2591.55 c #Conflicts: 582000 | #Constraints: 22394
2584.44/2591.55 c #Conflicts: 583000 | #Constraints: 23394
2584.44/2591.55 c #Conflicts: 584000 | #Constraints: 24394
2584.44/2591.55 c #Conflicts: 585000 | #Constraints: 25394
2584.44/2591.55 c #Conflicts: 586000 | #Constraints: 26394
2584.44/2591.55 c #Conflicts: 587000 | #Constraints: 27394
2584.44/2591.55 c #Conflicts: 588000 | #Constraints: 28394
3093.24/3101.76 c #Conflicts: 589000 | #Constraints: 29394
3093.24/3101.76 c #Conflicts: 590000 | #Constraints: 30394
3093.24/3101.76 c #Conflicts: 591000 | #Constraints: 31394
3093.24/3101.76 c INPROCESSING
3093.24/3101.76 c GARBAGE COLLECT
3093.24/3101.76 c #Conflicts: 592000 | #Constraints: 17189
3093.24/3101.76 c #Conflicts: 593000 | #Constraints: 18189
3093.24/3101.76 c #Conflicts: 594000 | #Constraints: 19189
3093.24/3101.76 c #Conflicts: 595000 | #Constraints: 20189
3093.24/3101.76 c #Conflicts: 596000 | #Constraints: 21189
3093.24/3101.76 c #Conflicts: 597000 | #Constraints: 22189
3093.24/3101.76 c #Conflicts: 598000 | #Constraints: 23189
3093.24/3101.76 c #Conflicts: 599000 | #Constraints: 24189
3093.24/3101.76 c #Conflicts: 600000 | #Constraints: 25189
3093.24/3101.76 c #Conflicts: 601000 | #Constraints: 26189
3093.24/3101.76 c #Conflicts: 602000 | #Constraints: 27189
3093.24/3101.76 c #Conflicts: 603000 | #Constraints: 28189
3093.24/3101.76 c #Conflicts: 604000 | #Constraints: 29189
3093.24/3101.76 c #Conflicts: 605000 | #Constraints: 30189
3093.24/3101.76 c #Conflicts: 606000 | #Constraints: 31189
3093.24/3101.76 c #Conflicts: 607000 | #Constraints: 32189
3093.24/3101.76 c INPROCESSING
3093.24/3101.76 c GARBAGE COLLECT
3093.24/3101.76 c #Conflicts: 608000 | #Constraints: 17798
3093.24/3101.76 c #Conflicts: 609000 | #Constraints: 18798
3093.24/3101.76 c #Conflicts: 610000 | #Constraints: 19798
3093.24/3101.76 c #Conflicts: 611000 | #Constraints: 20798
3093.24/3101.76 c #Conflicts: 612000 | #Constraints: 21798
3093.24/3101.76 c #Conflicts: 613000 | #Constraints: 22798
3093.24/3101.76 c #Conflicts: 614000 | #Constraints: 23798
3093.24/3101.76 c #Conflicts: 615000 | #Constraints: 24798
3093.24/3101.76 c #Conflicts: 616000 | #Constraints: 25798
3093.24/3101.76 c #Conflicts: 617000 | #Constraints: 26798
3093.24/3101.76 c #Conflicts: 618000 | #Constraints: 27798
3093.24/3101.76 c #Conflicts: 619000 | #Constraints: 28798
3093.24/3101.76 c #Conflicts: 620000 | #Constraints: 29798
3093.24/3101.76 c #Conflicts: 621000 | #Constraints: 30798
3093.24/3101.76 c #Conflicts: 622000 | #Constraints: 31798
3093.24/3101.76 c #Conflicts: 623000 | #Constraints: 32798
3093.24/3101.76 c INPROCESSING
3093.24/3101.76 c GARBAGE COLLECT
3093.24/3101.76 c #Conflicts: 624000 | #Constraints: 18191
3093.24/3101.76 c #Conflicts: 625000 | #Constraints: 19191
3093.24/3101.76 c #Conflicts: 626000 | #Constraints: 20191
3093.24/3101.76 c #Conflicts: 627000 | #Constraints: 21191
3093.24/3101.76 c #Conflicts: 628000 | #Constraints: 22191
3093.24/3101.76 c #Conflicts: 629000 | #Constraints: 23191
3093.24/3101.76 c #Conflicts: 630000 | #Constraints: 24191
3093.24/3101.76 c #Conflicts: 631000 | #Constraints: 25191
3093.24/3101.76 c #Conflicts: 632000 | #Constraints: 26191
3093.24/3101.76 c #Conflicts: 633000 | #Constraints: 27191
3093.24/3101.76 c #Conflicts: 634000 | #Constraints: 28191
3093.24/3101.76 c #Conflicts: 635000 | #Constraints: 29191
3093.24/3101.76 c #Conflicts: 636000 | #Constraints: 30191
3093.24/3101.76 c #Conflicts: 637000 | #Constraints: 31191
3093.24/3101.76 c #Conflicts: 638000 | #Constraints: 32191
3093.24/3101.76 c #Conflicts: 639000 | #Constraints: 33191
3093.24/3101.76 c INPROCESSING
3093.24/3101.76 c GARBAGE COLLECT
3093.24/3101.76 c #Conflicts: 640000 | #Constraints: 18387
3093.24/3101.76 c #Conflicts: 641000 | #Constraints: 19387
3093.24/3101.76 c #Conflicts: 642000 | #Constraints: 20387
3093.24/3101.76 c #Conflicts: 643000 | #Constraints: 21387
3093.24/3101.76 c #Conflicts: 644000 | #Constraints: 22387
3093.24/3101.76 c #Conflicts: 645000 | #Constraints: 23387
3093.24/3101.76 c #Conflicts: 646000 | #Constraints: 24387
3093.24/3101.76 c #Conflicts: 647000 | #Constraints: 25387
3093.24/3101.76 c #Conflicts: 648000 | #Constraints: 26387
3093.24/3101.76 c #Conflicts: 649000 | #Constraints: 27387
3093.24/3101.76 c #Conflicts: 650000 | #Constraints: 28387
3093.24/3101.76 c #Conflicts: 651000 | #Constraints: 29387
3093.24/3101.76 c #Conflicts: 652000 | #Constraints: 30387
3093.24/3101.76 c #Conflicts: 653000 | #Constraints: 31387
3093.24/3101.76 c #Conflicts: 654000 | #Constraints: 32387
3093.24/3101.76 c #Conflicts: 655000 | #Constraints: 33387
3093.24/3101.76 c INPROCESSING
3093.24/3101.76 c GARBAGE COLLECT
3093.24/3101.76 c #Conflicts: 656000 | #Constraints: 18391
3093.24/3101.76 c #Conflicts: 657000 | #Constraints: 19391
3093.24/3101.76 c #Conflicts: 658000 | #Constraints: 20391
3093.24/3101.76 c #Conflicts: 659000 | #Constraints: 21391
3093.24/3101.76 c #Conflicts: 660000 | #Constraints: 22391
3093.24/3101.76 c #Conflicts: 661000 | #Constraints: 23391
3093.24/3101.76 c #Conflicts: 662000 | #Constraints: 24391
3093.24/3101.76 c #Conflicts: 663000 | #Constraints: 25391
3093.24/3101.76 c #Conflicts: 664000 | #Constraints: 26391
3600.01/3609.90 c #Conflicts: 665000 | #Constraints: 27391
3600.01/3609.90 c #Conflicts: 666000 | #Constraints: 28391
3600.01/3609.90 c #Conflicts: 667000 | #Constraints: 29391
3600.01/3609.90 c #Conflicts: 668000 | #Constraints: 30391
3600.01/3609.90 c #Conflicts: 669000 | #Constraints: 31391
3600.01/3609.90 c #Conflicts: 670000 | #Constraints: 32391
3600.01/3609.90 c #Conflicts: 671000 | #Constraints: 33391
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 672000 | #Constraints: 18195
3600.01/3609.90 c #Conflicts: 673000 | #Constraints: 19195
3600.01/3609.90 c #Conflicts: 674000 | #Constraints: 20195
3600.01/3609.90 c #Conflicts: 675000 | #Constraints: 21195
3600.01/3609.90 c #Conflicts: 676000 | #Constraints: 22195
3600.01/3609.90 c #Conflicts: 677000 | #Constraints: 23195
3600.01/3609.90 c #Conflicts: 678000 | #Constraints: 24195
3600.01/3609.90 c #Conflicts: 679000 | #Constraints: 25195
3600.01/3609.90 c #Conflicts: 680000 | #Constraints: 26195
3600.01/3609.90 c #Conflicts: 681000 | #Constraints: 27195
3600.01/3609.90 c #Conflicts: 682000 | #Constraints: 28195
3600.01/3609.90 c #Conflicts: 683000 | #Constraints: 29195
3600.01/3609.90 c #Conflicts: 684000 | #Constraints: 30195
3600.01/3609.90 c #Conflicts: 685000 | #Constraints: 31195
3600.01/3609.90 c #Conflicts: 686000 | #Constraints: 32195
3600.01/3609.90 c #Conflicts: 687000 | #Constraints: 33195
3600.01/3609.90 c #Conflicts: 688000 | #Constraints: 34195
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 689000 | #Constraints: 18792
3600.01/3609.90 c #Conflicts: 690000 | #Constraints: 19792
3600.01/3609.90 c #Conflicts: 691000 | #Constraints: 20792
3600.01/3609.90 c #Conflicts: 692000 | #Constraints: 21792
3600.01/3609.90 c #Conflicts: 693000 | #Constraints: 22792
3600.01/3609.90 c #Conflicts: 694000 | #Constraints: 23792
3600.01/3609.90 c #Conflicts: 695000 | #Constraints: 24792
3600.01/3609.90 c #Conflicts: 696000 | #Constraints: 25792
3600.01/3609.90 c #Conflicts: 697000 | #Constraints: 26792
3600.01/3609.90 c #Conflicts: 698000 | #Constraints: 27792
3600.01/3609.90 c #Conflicts: 699000 | #Constraints: 28792
3600.01/3609.90 c #Conflicts: 700000 | #Constraints: 29792
3600.01/3609.90 c #Conflicts: 701000 | #Constraints: 30792
3600.01/3609.90 c #Conflicts: 702000 | #Constraints: 31792
3600.01/3609.90 c #Conflicts: 703000 | #Constraints: 32792
3600.01/3609.90 c #Conflicts: 704000 | #Constraints: 33792
3600.01/3609.90 c #Conflicts: 705000 | #Constraints: 34792
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 706000 | #Constraints: 19195
3600.01/3609.90 c #Conflicts: 707000 | #Constraints: 20195
3600.01/3609.90 c #Conflicts: 708000 | #Constraints: 21195
3600.01/3609.90 c #Conflicts: 709000 | #Constraints: 22195
3600.01/3609.90 c #Conflicts: 710000 | #Constraints: 23195
3600.01/3609.90 c #Conflicts: 711000 | #Constraints: 24195
3600.01/3609.90 c #Conflicts: 712000 | #Constraints: 25195
3600.01/3609.90 c #Conflicts: 713000 | #Constraints: 26195
3600.01/3609.90 c #Conflicts: 714000 | #Constraints: 27195
3600.01/3609.90 c #Conflicts: 715000 | #Constraints: 28195
3600.01/3609.90 c #Conflicts: 716000 | #Constraints: 29195
3600.01/3609.90 c #Conflicts: 717000 | #Constraints: 30195
3600.01/3609.90 c #Conflicts: 718000 | #Constraints: 31195
3600.01/3609.90 c #Conflicts: 719000 | #Constraints: 32195
3600.01/3609.90 c #Conflicts: 720000 | #Constraints: 33195
3600.01/3609.90 c #Conflicts: 721000 | #Constraints: 34195
3600.01/3609.90 c #Conflicts: 722000 | #Constraints: 35195
3600.01/3609.90 c INPROCESSING
3600.01/3609.90 c GARBAGE COLLECT
3600.01/3609.90 c #Conflicts: 723000 | #Constraints: 19402
3600.01/3609.90 c #Conflicts: 724000 | #Constraints: 20402
3600.01/3609.90 c #Conflicts: 725000 | #Constraints: 21402
3600.01/3609.90 c #Conflicts: 726000 | #Constraints: 22402
3600.01/3609.90 c #Conflicts: 727000 | #Constraints: 23402
3600.01/3609.90 c #Conflicts: 728000 | #Constraints: 24402
3600.01/3609.90 c #Conflicts: 729000 | #Constraints: 25402
3600.01/3609.90 c #Conflicts: 730000 | #Constraints: 26402
3600.01/3609.90 c #Conflicts: 731000 | #Constraints: 27402
3600.01/3609.90 c #Conflicts: 732000 | #Constraints: 28402
3600.01/3609.90 c #Conflicts: 733000 | #Constraints: 29402
3600.01/3609.90 c Program interrupted by user.
3600.01/3609.90 c cpu time 3572.42 s
3600.01/3609.90 c deterministic time 687344055464 6.87e+11
3600.01/3609.90 c optimization time 136.796 s
3600.01/3609.90 c total solve time 3136.18 s
3600.01/3609.90 c core-guided solve time 0 s
3600.01/3609.90 c propagation time 2257.2 s
3600.01/3609.90 c conflict analysis time 771.357 s
3600.01/3609.90 c propagations 220571379
3600.01/3609.90 c resolve steps 3710830
3600.01/3609.90 c decisions 30082566
3600.01/3609.90 c conflicts 733807
3600.01/3609.90 c restarts 1533
3600.01/3609.90 c inprocessing phases 76
3600.01/3609.90 c input clauses 713
3600.01/3609.90 c input cardinalities 713
3600.01/3609.90 c input general constraints 128
3600.01/3609.90 c input average constraint length 117.46
3600.01/3609.90 c input average constraint degree 24575.93
3600.01/3609.90 c learned clauses 19369
3600.01/3609.90 c learned cardinalities 474
3600.01/3609.90 c learned general constraints 713964
3600.01/3609.90 c learned average constraint length 3043.01
3600.01/3609.90 c learned average constraint degree 24994487.53
3600.01/3609.90 c watched constraints 441898
3600.01/3609.90 c counting constraints 272194
3600.01/3609.90 c gcd simplifications 8334
3600.01/3609.90 c detected cardinalities 6
3600.01/3609.90 c weakened non-implied lits 345305280
3600.01/3609.90 c weakened non-implying lits 116341
3600.01/3609.90 c original variables 45696
3600.01/3609.90 c clausal propagations 2608010
3600.01/3609.90 c cardinality propagations 24004973
3600.01/3609.90 c watched propagations 15339037
3600.01/3609.90 c counting propagations 176931155
3600.01/3609.90 c watch lookups 18722420832
3600.01/3609.90 c watch backjump lookups 18367263882
3600.01/3609.90 c watch checks 532840005503
3600.01/3609.90 c propagation checks 110307074797
3600.01/3609.90 c constraint additions 6605291883
3600.01/3609.90 c trail pops 251344621
3600.01/3609.90 c formula constraints 1554
3600.01/3609.90 c learned constraints 733807
3600.01/3609.90 c bound constraints 0
3600.01/3609.90 c core-guided constraints 0
3600.01/3609.90 c encountered formula constraints 2477902
3600.01/3609.90 c encountered learned constraints 1966735
3600.01/3609.90 c encountered bound constraints 0
3600.01/3609.90 c encountered core-guided constraints 0
3600.01/3609.90 c LP total time 0 s
3600.01/3609.90 c LP solve time 0 s
3600.01/3609.90 c LP constraints added 0
3600.01/3609.90 c LP constraints removed 0
3600.01/3609.90 c LP pivots internal 0
3600.01/3609.90 c LP pivots root 0
3600.01/3609.90 c LP calls 0
3600.01/3609.90 c LP optimalities 0
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 0
3600.01/3609.90 c LP valid Farkas constraints 0
3600.01/3609.90 c LP learned Farkas constraints 0
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 0
3600.01/3609.90 c LP learned cuts 0
3600.01/3609.90 c LP deleted cuts 0
3600.01/3609.90 c LP encountered Gomory constraints 0
3600.01/3609.90 c LP encountered Farkas constraints 0
3600.01/3609.90 c LP encountered learned Farkas constraints 0
3600.01/3609.90 c CG auxiliary variables introduced 0
3600.01/3609.90 c CG solutions found 0
3600.01/3609.90 c CG cores constructed 0
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 0
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 0
3600.01/3609.90 c CG core degree average 0.00
3600.01/3609.90 c CG core slack average 0.00
3600.01/3609.90 c CG exhausted 0
3600.01/3609.90 c CG exhaust time 0 s
3600.01/3609.90 c CG trimmed 0
3600.01/3609.90 c CG trim time 0 s
3600.01/3609.90 c CG minimized 0
3600.01/3609.90 c CG minimize time 0 s
3600.01/3609.90 c CG am1 prop time 0 s
3600.01/3609.90 c CG # am1s reformulated 0
3600.01/3609.90 c CG lower bound derived from am1s 0
3600.01/3609.90 c CG # clausal cores 0
3600.01/3609.90 c CG # cardinality cores 0
3600.01/3609.90 c CG # pb cores 0
3600.01/3609.90 c CG # pb reforms 0
3600.01/3609.90 c CG # cores discarded because of pb reform 0
3600.01/3609.90 d LOWERBOUND 0
3600.01/3609.90 d NCORES 0
3600.01/3609.90 d NPBCORES 0
3600.01/3609.90 d NPBREFORM 0
3600.01/3609.90 d NTRIMMED 0
3600.01/3609.90 d NEXHAUSTED 0
3600.01/3609.90 d NAM1S 0
3600.01/3609.90 d AM1LB 0
3600.01/3609.90 c [Papilo Statistics]
3600.01/3609.90 c prepro time 0.0970142s
3600.01/3609.90 c # tsx applied 841
3600.01/3609.90 c # tsx conflicts 0
3600.01/3609.90 c # bound changes 64
3600.01/3609.90 c # side changes 713
3600.01/3609.90 c # coef changes 0
3600.01/3609.90 c # rounds 3
3600.01/3609.90 c # deted vars 64
3600.01/3609.90 c # deted constrs 715
3600.01/3609.90 c # consecutive rounds of only bound changes 0
3600.01/3609.96 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (54659 MiB free)
memory of node 1: 64465 MiB (53443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509323-1751517517/watcher-4509323-1751517517 -o /tmp/evaluation-result-4509323-1751517517/solver-4509323-1751517517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71166 --watchdog 3760 mixed-bag HOME/instance-4509323-1751517517.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72596, runsolver pid=72593
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110684724/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=98836 memory=24152 CPUtime=0.08 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 4652 0 0 0 8 0 0 0 20 0 1 0 67430339 101208064 6038 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 24709 6038 2144 2842 0 6942 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 98836 KiB
Current children cumulated memory: 24152 KiB
[startup+0.205579 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110656876/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=136132 memory=55552 CPUtime=0.19 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 10380 0 0 0 17 2 0 0 20 0 1 0 67430339 139399168 13888 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 34033 13888 2304 2842 0 15727 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136132 KiB
Current children cumulated memory: 55552 KiB
[startup+0.305557 s]*
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110584552/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=208492 memory=134416 CPUtime=0.29 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 29576 0 0 0 24 5 0 0 20 0 1 0 67430339 213495808 33604 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 52123 33604 4000 2842 0 33817 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 208492 KiB
Current children cumulated memory: 134416 KiB
[startup+0.700177 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110524016/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=251444 memory=173508 CPUtime=0.68 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 42491 0 0 0 60 8 0 0 20 0 1 0 67430339 257478656 43377 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 62861 43377 4064 2842 0 44555 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 251444 KiB
Current children cumulated memory: 173508 KiB
[startup+1.50018 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110311252/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=412988 memory=323584 CPUtime=1.47 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 64846 0 0 0 135 12 0 0 20 0 1 0 67430339 422899712 80896 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 103247 80896 4096 2842 0 84941 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 412988 KiB
Current children cumulated memory: 323584 KiB
[startup+3.10546 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110125212/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=552136 memory=392628 CPUtime=3.08 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 80561 0 0 0 293 15 0 0 20 0 1 0 67430339 565387264 98157 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 138034 98157 4128 2842 0 119728 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 552136 KiB
Current children cumulated memory: 392628 KiB
[startup+6.30017 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=110012568/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=595812 memory=436148 CPUtime=6.26 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 91441 0 0 0 610 16 0 0 20 0 1 0 67430339 610111488 109037 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 148953 109037 4128 2842 0 130647 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 595812 KiB
Current children cumulated memory: 436148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=109190256/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1071740 memory=909608 CPUtime=12.64 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 210702 0 0 0 1227 37 0 0 20 0 1 0 67430339 1097461760 227402 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 267935 227402 4192 2842 0 249629 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1071740 KiB
Current children cumulated memory: 909608 KiB
[startup+25.5001 s]
/proc/loadavg: 4.01 4.06 4.08 5/266 72597
/proc/meminfo: memFree=107716472/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1221544 memory=1049732 CPUtime=25.4 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 245306 0 0 0 2498 42 0 0 20 0 1 0 67430339 1250861056 262433 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 305386 262433 4288 2842 0 287080 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1221544 KiB
Current children cumulated memory: 1049732 KiB
[startup+51.1052 s]
/proc/loadavg: 4.07 4.07 4.08 5/265 72598
/proc/meminfo: memFree=107102992/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1363844 memory=1190800 CPUtime=50.94 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 279563 0 0 0 5046 48 0 0 20 0 1 0 67430339 1396576256 297700 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 340961 297700 4288 2842 0 322655 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1363844 KiB
Current children cumulated memory: 1190800 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 72603
/proc/meminfo: memFree=106469736/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1363844 memory=1192592 CPUtime=101.99 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 280024 0 0 0 10150 49 0 0 20 0 1 0 67430339 1396576256 298148 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 340961 298148 4288 2842 0 322655 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1363844 KiB
Current children cumulated memory: 1192592 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 72605
/proc/meminfo: memFree=106058560/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1420028 memory=1250576 CPUtime=161.82 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 294567 0 0 0 16131 51 0 0 20 0 1 0 67430339 1454108672 312644 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 355007 312644 4288 2842 0 336701 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1420028 KiB
Current children cumulated memory: 1250576 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 72611
/proc/meminfo: memFree=105624184/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1420028 memory=1253136 CPUtime=221.65 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 295195 0 0 0 22114 51 0 0 20 0 1 0 67430339 1454108672 313284 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 355007 313284 4288 2842 0 336701 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1420028 KiB
Current children cumulated memory: 1253136 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 72613
/proc/meminfo: memFree=105239380/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1420028 memory=1253392 CPUtime=281.5 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 295286 0 0 0 28098 52 0 0 20 0 1 0 67430339 1454108672 313348 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 355007 313348 4288 2842 0 336701 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1420028 KiB
Current children cumulated memory: 1253392 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 72615
/proc/meminfo: memFree=105135004/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1374820 memory=1257016 CPUtime=341.34 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 300177 0 0 0 33935 199 0 0 20 0 1 0 67430339 1407815680 314254 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 343705 314254 4384 2842 0 325399 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1374820 KiB
Current children cumulated memory: 1257016 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 72618
/proc/meminfo: memFree=104915560/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1456208 memory=1312064 CPUtime=401.19 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 301153 0 0 0 39778 341 0 0 20 0 1 0 67430339 1491156992 328016 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 364052 328016 4384 2842 0 345746 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1456208 KiB
Current children cumulated memory: 1312064 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 72620
/proc/meminfo: memFree=104528988/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=1456208 memory=1351004 CPUtime=461.03 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 302203 0 0 0 45658 445 0 0 20 0 1 0 67430339 1491156992 337751 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 364052 337751 4384 2842 0 345746 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
/proc/72596/statm: 869799 755808 4384 2842 0 851493 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 3479196 KiB
Current children cumulated memory: 3023232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.32 4.21 4.14 5/264 72753
/proc/meminfo: memFree=95952772/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3493560 memory=3041908 CPUtime=2914.33 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 588987 0 0 0 289068 2365 0 0 20 0 1 0 67430339 3577405440 760477 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 873390 760477 4384 2842 0 855084 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 3493560 KiB
Current children cumulated memory: 3041908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/265 72756
/proc/meminfo: memFree=95813772/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3508772 memory=3056500 CPUtime=2974.17 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 592718 0 0 0 295017 2400 0 0 20 0 1 0 67430339 3592982528 764125 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 877193 764125 4384 2842 0 858887 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 3508772 KiB
Current children cumulated memory: 3056500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/267 72765
/proc/meminfo: memFree=95603000/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3515384 memory=3062388 CPUtime=3034.01 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 594215 0 0 0 300938 2463 0 0 20 0 1 0 67430339 3599753216 765597 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 878846 765597 4384 2842 0 860540 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 3515384 KiB
Current children cumulated memory: 3062388 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/266 72767
/proc/meminfo: memFree=95330432/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3518980 memory=3066228 CPUtime=3093.85 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 595182 0 0 0 306867 2518 0 0 20 0 1 0 67430339 3603435520 766557 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 879745 766557 4384 2842 0 861439 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 3518980 KiB
Current children cumulated memory: 3066228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/266 72769
/proc/meminfo: memFree=94737244/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3523528 memory=3070452 CPUtime=3153.68 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 596238 0 0 0 312779 2589 0 0 20 0 1 0 67430339 3608092672 767613 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 880882 767613 4384 2842 0 862576 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 3523528 KiB
Current children cumulated memory: 3070452 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/267 72774
/proc/meminfo: memFree=94101460/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3529640 memory=3076852 CPUtime=3213.51 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 597889 0 0 0 318688 2663 0 0 20 0 1 0 67430339 3614351360 769213 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 882410 769213 4384 2842 0 864104 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 3529640 KiB
Current children cumulated memory: 3076852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/266 72775
/proc/meminfo: memFree=93696612/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=3627064 memory=3191320 CPUtime=3273.34 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 620513 0 0 0 324651 2683 0 0 20 0 1 0 67430339 3714113536 797830 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 906766 797830 4384 2842 0 888460 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 3627064 KiB
Current children cumulated memory: 3191320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 72777
/proc/meminfo: memFree=93211604/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4214980 memory=3372120 CPUtime=3333.18 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 627386 0 0 0 330617 2701 0 0 20 0 1 0 67430339 4316139520 843030 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1053745 843030 4384 2842 0 1035439 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 4214980 KiB
Current children cumulated memory: 3372120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/265 72780
/proc/meminfo: memFree=92874408/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4261600 memory=3408344 CPUtime=3393.01 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 636448 0 0 0 336591 2710 0 0 20 0 1 0 67430339 4363878400 852086 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1065400 852086 4384 2842 0 1047094 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 4261600 KiB
Current children cumulated memory: 3408344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 72782
/proc/meminfo: memFree=92467056/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4366900 memory=3486296 CPUtime=3452.83 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 655934 0 0 0 342557 2726 0 0 20 0 1 0 67430339 4471705600 871574 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1091725 871574 4384 2842 0 1073419 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 4366900 KiB
Current children cumulated memory: 3486296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 72784
/proc/meminfo: memFree=92003328/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4455280 memory=3564632 CPUtime=3512.67 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 675526 0 0 0 348523 2744 0 0 20 0 1 0 67430339 4562206720 891158 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1113820 891158 4384 2842 0 1095514 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 4455280 KiB
Current children cumulated memory: 3564632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 72786
/proc/meminfo: memFree=91655000/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4562692 memory=3652056 CPUtime=3572.48 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 697358 0 0 0 354493 2755 0 0 20 0 1 0 67430339 4672196608 913014 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1140673 913014 4384 2842 0 1122367 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 4562692 KiB
Current children cumulated memory: 3652056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.63 4.00 4.06 2/246 72884
/proc/meminfo: memFree=109575224/131249996 swapFree=33010160/33010684
[pid=72596] ppid=72593 vsize=4587032 memory=3675992 CPUtime=3600.01 cores=0,2
/proc/72596/stat : 72596 (mixed-bag) R 72593 72596 71151 0 -1 4194304 703350 0 0 0 357242 2759 0 0 20 0 1 0 67430339 4697120768 918998 18446744073709551615 4235264 15874749 140734941724160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 55631872 140734941731228 140734941731305 140734941731305 140734941736907 0
/proc/72596/statm: 1146758 918998 4384 2842 0 1128452 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4587032 KiB
Current children cumulated memory: 3675992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.06 s]
# the end of solver process 72596 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.44 s, system=27.7287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 3.63 4.00 4.06 2/246 72884
/proc/meminfo: memFree=111314216/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.06
CPU time (s): 3600.17
CPU user time (s): 3572.44
CPU system time (s): 27.7287
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 4587032
Max. memory (cumulated for all children) (KiB): 3675992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.44
system time used= 27.7287
maximum resident set size= 3676632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703378
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= 129
involuntary context switches= 8057
# summary of solver processes directly reported to runsolver:
# pid: 72596
# total CPU time (s): 3600.17
# total CPU user time (s): 3572.44
# total CPU system time (s): 27.7287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83443 second user time and 15.4732 second system time
The end
Begin job on nodeC032 at 2025-07-03 06:38:37
IDJOB=4509323
IDBENCH=158611
IDSOLVER=3340
FILE ID=nodeC032/4509323-1751517517
RUNJOBID= nodeC032-1751510282-71166
SLURM_JOB_ID= 9598610
Free space on /tmp= 430504 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509323-1751517517/watcher-4509323-1751517517 -o /tmp/evaluation-result-4509323-1751517517/solver-4509323-1751517517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71166 --watchdog 3760 mixed-bag HOME/instance-4509323-1751517517.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=935573020
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.656
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3602.815
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3648.844
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.955
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3595.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 110697200 kB
MemAvailable: 127111820 kB
Buffers: 2728 kB
Cached: 17093940 kB
SwapCached: 20 kB
Active: 2977092 kB
Inactive: 16724460 kB
Active(anon): 2619808 kB
Inactive(anon): 3124 kB
Active(file): 357284 kB
Inactive(file): 16721336 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40880 kB
Writeback: 12 kB
AnonPages: 2607956 kB
Mapped: 135236 kB
Shmem: 18048 kB
KReclaimable: 350476 kB
Slab: 443652 kB
SReclaimable: 350476 kB
SUnreclaim: 93176 kB
KernelStack: 4272 kB
PageTables: 8472 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3144812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 577536 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430552 MiB
End job on nodeC032 at 2025-07-03 07:38:47