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.23 c [STEP] solving with SCIP
299.76/300.65 c [STEP] preprocessing done, loading into solver
299.76/300.69 c [STEP] solving
299.76/300.69 c #variables 45633 #constraints 1554
414.22/415.41 c #Conflicts: 1000 | #Constraints: 2553
414.22/415.41 c #Conflicts: 2000 | #Constraints: 3553
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 3000 | #Constraints: 3567
414.22/415.41 c #Conflicts: 4000 | #Constraints: 4567
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 5000 | #Constraints: 3974
414.22/415.41 c #Conflicts: 6000 | #Constraints: 4974
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 7000 | #Constraints: 3977
414.22/415.41 c #Conflicts: 8000 | #Constraints: 4977
414.22/415.41 c #Conflicts: 9000 | #Constraints: 5977
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 10000 | #Constraints: 4683
414.22/415.41 c #Conflicts: 11000 | #Constraints: 5683
414.22/415.41 c #Conflicts: 12000 | #Constraints: 6683
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 13000 | #Constraints: 5132
414.22/415.41 c #Conflicts: 14000 | #Constraints: 6132
414.22/415.41 c #Conflicts: 15000 | #Constraints: 7132
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 16000 | #Constraints: 5353
414.22/415.41 c #Conflicts: 17000 | #Constraints: 6353
414.22/415.41 c #Conflicts: 18000 | #Constraints: 7353
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 19000 | #Constraints: 5370
414.22/415.41 c #Conflicts: 20000 | #Constraints: 6370
414.22/415.41 c #Conflicts: 21000 | #Constraints: 7370
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 22000 | #Constraints: 5183
414.22/415.41 c #Conflicts: 23000 | #Constraints: 6183
414.22/415.41 c #Conflicts: 24000 | #Constraints: 7183
414.22/415.41 c #Conflicts: 25000 | #Constraints: 8183
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 26000 | #Constraints: 5782
414.22/415.41 c #Conflicts: 27000 | #Constraints: 6782
414.22/415.41 c #Conflicts: 28000 | #Constraints: 7782
414.22/415.41 c #Conflicts: 29000 | #Constraints: 8782
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 30000 | #Constraints: 6190
414.22/415.41 c #Conflicts: 31000 | #Constraints: 7190
414.22/415.41 c #Conflicts: 32000 | #Constraints: 8190
414.22/415.41 c #Conflicts: 33000 | #Constraints: 9190
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 34000 | #Constraints: 6386
414.22/415.41 c #Conflicts: 35000 | #Constraints: 7386
414.22/415.41 c #Conflicts: 36000 | #Constraints: 8386
414.22/415.41 c #Conflicts: 37000 | #Constraints: 9386
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 38000 | #Constraints: 6390
414.22/415.41 c #Conflicts: 39000 | #Constraints: 7390
414.22/415.41 c #Conflicts: 40000 | #Constraints: 8390
414.22/415.41 c #Conflicts: 41000 | #Constraints: 9390
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 42000 | #Constraints: 6194
414.22/415.41 c #Conflicts: 43000 | #Constraints: 7194
414.22/415.41 c #Conflicts: 44000 | #Constraints: 8194
414.22/415.41 c #Conflicts: 45000 | #Constraints: 9194
414.22/415.41 c #Conflicts: 46000 | #Constraints: 10194
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 47000 | #Constraints: 6789
414.22/415.41 c #Conflicts: 48000 | #Constraints: 7789
414.22/415.41 c #Conflicts: 49000 | #Constraints: 8789
414.22/415.41 c #Conflicts: 50000 | #Constraints: 9789
414.22/415.41 c #Conflicts: 51000 | #Constraints: 10789
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 52000 | #Constraints: 7183
414.22/415.41 c #Conflicts: 53000 | #Constraints: 8183
414.22/415.41 c #Conflicts: 54000 | #Constraints: 9183
414.22/415.41 c #Conflicts: 55000 | #Constraints: 10183
414.22/415.41 c #Conflicts: 56000 | #Constraints: 11183
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 57000 | #Constraints: 7383
414.22/415.41 c #Conflicts: 58000 | #Constraints: 8383
414.22/415.41 c #Conflicts: 59000 | #Constraints: 9383
414.22/415.41 c #Conflicts: 60000 | #Constraints: 10383
414.22/415.41 c #Conflicts: 61000 | #Constraints: 11383
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 62000 | #Constraints: 7382
414.22/415.41 c #Conflicts: 63000 | #Constraints: 8382
414.22/415.41 c #Conflicts: 64000 | #Constraints: 9382
414.22/415.41 c #Conflicts: 65000 | #Constraints: 10382
414.22/415.41 c #Conflicts: 66000 | #Constraints: 11382
414.22/415.41 c INPROCESSING
414.22/415.41 c GARBAGE COLLECT
414.22/415.41 c #Conflicts: 67000 | #Constraints: 7187
414.22/415.41 c #Conflicts: 68000 | #Constraints: 8187
584.24/585.92 c #Conflicts: 69000 | #Constraints: 9187
584.24/585.92 c #Conflicts: 70000 | #Constraints: 10187
584.24/585.92 c #Conflicts: 71000 | #Constraints: 11187
584.24/585.92 c #Conflicts: 72000 | #Constraints: 12187
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 73000 | #Constraints: 7783
584.24/585.92 c #Conflicts: 74000 | #Constraints: 8783
584.24/585.92 c #Conflicts: 75000 | #Constraints: 9783
584.24/585.92 c #Conflicts: 76000 | #Constraints: 10783
584.24/585.92 c #Conflicts: 77000 | #Constraints: 11783
584.24/585.92 c #Conflicts: 78000 | #Constraints: 12783
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 79000 | #Constraints: 8187
584.24/585.92 c #Conflicts: 80000 | #Constraints: 9187
584.24/585.92 c #Conflicts: 81000 | #Constraints: 10187
584.24/585.92 c #Conflicts: 82000 | #Constraints: 11187
584.24/585.92 c #Conflicts: 83000 | #Constraints: 12187
584.24/585.92 c #Conflicts: 84000 | #Constraints: 13187
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 85000 | #Constraints: 8388
584.24/585.92 c #Conflicts: 86000 | #Constraints: 9388
584.24/585.92 c #Conflicts: 87000 | #Constraints: 10388
584.24/585.92 c #Conflicts: 88000 | #Constraints: 11388
584.24/585.92 c #Conflicts: 89000 | #Constraints: 12388
584.24/585.92 c #Conflicts: 90000 | #Constraints: 13388
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 91000 | #Constraints: 8391
584.24/585.92 c #Conflicts: 92000 | #Constraints: 9391
584.24/585.92 c #Conflicts: 93000 | #Constraints: 10391
584.24/585.92 c #Conflicts: 94000 | #Constraints: 11391
584.24/585.92 c #Conflicts: 95000 | #Constraints: 12391
584.24/585.92 c #Conflicts: 96000 | #Constraints: 13391
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 97000 | #Constraints: 8198
584.24/585.92 c #Conflicts: 98000 | #Constraints: 9198
584.24/585.92 c #Conflicts: 99000 | #Constraints: 10198
584.24/585.92 c #Conflicts: 100000 | #Constraints: 11198
584.24/585.92 c #Conflicts: 101000 | #Constraints: 12198
584.24/585.92 c #Conflicts: 102000 | #Constraints: 13198
584.24/585.92 c #Conflicts: 103000 | #Constraints: 14198
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 104000 | #Constraints: 8794
584.24/585.92 c #Conflicts: 105000 | #Constraints: 9794
584.24/585.92 c #Conflicts: 106000 | #Constraints: 10794
584.24/585.92 c #Conflicts: 107000 | #Constraints: 11794
584.24/585.92 c #Conflicts: 108000 | #Constraints: 12794
584.24/585.92 c #Conflicts: 109000 | #Constraints: 13794
584.24/585.92 c #Conflicts: 110000 | #Constraints: 14794
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 111000 | #Constraints: 9192
584.24/585.92 c #Conflicts: 112000 | #Constraints: 10192
584.24/585.92 c #Conflicts: 113000 | #Constraints: 11192
584.24/585.92 c #Conflicts: 114000 | #Constraints: 12192
584.24/585.92 c #Conflicts: 115000 | #Constraints: 13192
584.24/585.92 c #Conflicts: 116000 | #Constraints: 14192
584.24/585.92 c #Conflicts: 117000 | #Constraints: 15192
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 118000 | #Constraints: 9388
584.24/585.92 c #Conflicts: 119000 | #Constraints: 10388
584.24/585.92 c #Conflicts: 120000 | #Constraints: 11388
584.24/585.92 c #Conflicts: 121000 | #Constraints: 12388
584.24/585.92 c #Conflicts: 122000 | #Constraints: 13388
584.24/585.92 c #Conflicts: 123000 | #Constraints: 14388
584.24/585.92 c #Conflicts: 124000 | #Constraints: 15388
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 125000 | #Constraints: 9388
584.24/585.92 c #Conflicts: 126000 | #Constraints: 10388
584.24/585.92 c #Conflicts: 127000 | #Constraints: 11388
584.24/585.92 c #Conflicts: 128000 | #Constraints: 12388
584.24/585.92 c #Conflicts: 129000 | #Constraints: 13388
584.24/585.92 c #Conflicts: 130000 | #Constraints: 14388
584.24/585.92 c #Conflicts: 131000 | #Constraints: 15388
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 132000 | #Constraints: 9178
584.24/585.92 c #Conflicts: 133000 | #Constraints: 10178
584.24/585.92 c #Conflicts: 134000 | #Constraints: 11178
584.24/585.92 c #Conflicts: 135000 | #Constraints: 12178
584.24/585.92 c #Conflicts: 136000 | #Constraints: 13178
584.24/585.92 c #Conflicts: 137000 | #Constraints: 14178
584.24/585.92 c #Conflicts: 138000 | #Constraints: 15178
584.24/585.92 c #Conflicts: 139000 | #Constraints: 16178
584.24/585.92 c INPROCESSING
584.24/585.92 c GARBAGE COLLECT
584.24/585.92 c #Conflicts: 140000 | #Constraints: 9784
802.61/804.96 c #Conflicts: 141000 | #Constraints: 10784
802.61/804.96 c #Conflicts: 142000 | #Constraints: 11784
802.61/804.96 c #Conflicts: 143000 | #Constraints: 12784
802.61/804.96 c #Conflicts: 144000 | #Constraints: 13784
802.61/804.96 c #Conflicts: 145000 | #Constraints: 14784
802.61/804.96 c #Conflicts: 146000 | #Constraints: 15784
802.61/804.96 c #Conflicts: 147000 | #Constraints: 16784
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 148000 | #Constraints: 10190
802.61/804.96 c #Conflicts: 149000 | #Constraints: 11190
802.61/804.96 c #Conflicts: 150000 | #Constraints: 12190
802.61/804.96 c #Conflicts: 151000 | #Constraints: 13190
802.61/804.96 c #Conflicts: 152000 | #Constraints: 14190
802.61/804.96 c #Conflicts: 153000 | #Constraints: 15190
802.61/804.96 c #Conflicts: 154000 | #Constraints: 16190
802.61/804.96 c #Conflicts: 155000 | #Constraints: 17190
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 156000 | #Constraints: 10404
802.61/804.96 c #Conflicts: 157000 | #Constraints: 11404
802.61/804.96 c #Conflicts: 158000 | #Constraints: 12404
802.61/804.96 c #Conflicts: 159000 | #Constraints: 13404
802.61/804.96 c #Conflicts: 160000 | #Constraints: 14404
802.61/804.96 c #Conflicts: 161000 | #Constraints: 15404
802.61/804.96 c #Conflicts: 162000 | #Constraints: 16404
802.61/804.96 c #Conflicts: 163000 | #Constraints: 17404
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 164000 | #Constraints: 10402
802.61/804.96 c #Conflicts: 165000 | #Constraints: 11402
802.61/804.96 c #Conflicts: 166000 | #Constraints: 12402
802.61/804.96 c #Conflicts: 167000 | #Constraints: 13402
802.61/804.96 c #Conflicts: 168000 | #Constraints: 14402
802.61/804.96 c #Conflicts: 169000 | #Constraints: 15402
802.61/804.96 c #Conflicts: 170000 | #Constraints: 16402
802.61/804.96 c #Conflicts: 171000 | #Constraints: 17402
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 172000 | #Constraints: 10194
802.61/804.96 c #Conflicts: 173000 | #Constraints: 11194
802.61/804.96 c #Conflicts: 174000 | #Constraints: 12194
802.61/804.96 c #Conflicts: 175000 | #Constraints: 13194
802.61/804.96 c #Conflicts: 176000 | #Constraints: 14194
802.61/804.96 c #Conflicts: 177000 | #Constraints: 15194
802.61/804.96 c #Conflicts: 178000 | #Constraints: 16194
802.61/804.96 c #Conflicts: 179000 | #Constraints: 17194
802.61/804.96 c #Conflicts: 180000 | #Constraints: 18194
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 181000 | #Constraints: 10787
802.61/804.96 c #Conflicts: 182000 | #Constraints: 11787
802.61/804.96 c #Conflicts: 183000 | #Constraints: 12787
802.61/804.96 c #Conflicts: 184000 | #Constraints: 13787
802.61/804.96 c #Conflicts: 185000 | #Constraints: 14787
802.61/804.96 c #Conflicts: 186000 | #Constraints: 15787
802.61/804.96 c #Conflicts: 187000 | #Constraints: 16787
802.61/804.96 c #Conflicts: 188000 | #Constraints: 17787
802.61/804.96 c #Conflicts: 189000 | #Constraints: 18787
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 190000 | #Constraints: 11184
802.61/804.96 c #Conflicts: 191000 | #Constraints: 12184
802.61/804.96 c #Conflicts: 192000 | #Constraints: 13184
802.61/804.96 c #Conflicts: 193000 | #Constraints: 14184
802.61/804.96 c #Conflicts: 194000 | #Constraints: 15184
802.61/804.96 c #Conflicts: 195000 | #Constraints: 16184
802.61/804.96 c #Conflicts: 196000 | #Constraints: 17184
802.61/804.96 c #Conflicts: 197000 | #Constraints: 18184
802.61/804.96 c #Conflicts: 198000 | #Constraints: 19184
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 199000 | #Constraints: 11395
802.61/804.96 c #Conflicts: 200000 | #Constraints: 12395
802.61/804.96 c #Conflicts: 201000 | #Constraints: 13395
802.61/804.96 c #Conflicts: 202000 | #Constraints: 14395
802.61/804.96 c #Conflicts: 203000 | #Constraints: 15395
802.61/804.96 c #Conflicts: 204000 | #Constraints: 16395
802.61/804.96 c #Conflicts: 205000 | #Constraints: 17395
802.61/804.96 c #Conflicts: 206000 | #Constraints: 18395
802.61/804.96 c #Conflicts: 207000 | #Constraints: 19395
802.61/804.96 c INPROCESSING
802.61/804.96 c GARBAGE COLLECT
802.61/804.96 c #Conflicts: 208000 | #Constraints: 11402
802.61/804.96 c #Conflicts: 209000 | #Constraints: 12402
802.61/804.96 c #Conflicts: 210000 | #Constraints: 13402
802.61/804.96 c #Conflicts: 211000 | #Constraints: 14402
802.61/804.96 c #Conflicts: 212000 | #Constraints: 15402
802.61/804.96 c #Conflicts: 213000 | #Constraints: 16402
1033.24/1036.29 c #Conflicts: 214000 | #Constraints: 17402
1033.24/1036.29 c #Conflicts: 215000 | #Constraints: 18402
1033.24/1036.29 c #Conflicts: 216000 | #Constraints: 19402
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 217000 | #Constraints: 11206
1033.24/1036.29 c #Conflicts: 218000 | #Constraints: 12206
1033.24/1036.29 c #Conflicts: 219000 | #Constraints: 13206
1033.24/1036.29 c #Conflicts: 220000 | #Constraints: 14206
1033.24/1036.29 c #Conflicts: 221000 | #Constraints: 15206
1033.24/1036.29 c #Conflicts: 222000 | #Constraints: 16206
1033.24/1036.29 c #Conflicts: 223000 | #Constraints: 17206
1033.24/1036.29 c #Conflicts: 224000 | #Constraints: 18206
1033.24/1036.29 c #Conflicts: 225000 | #Constraints: 19206
1033.24/1036.29 c #Conflicts: 226000 | #Constraints: 20206
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 227000 | #Constraints: 11814
1033.24/1036.29 c #Conflicts: 228000 | #Constraints: 12814
1033.24/1036.29 c #Conflicts: 229000 | #Constraints: 13814
1033.24/1036.29 c #Conflicts: 230000 | #Constraints: 14814
1033.24/1036.29 c #Conflicts: 231000 | #Constraints: 15814
1033.24/1036.29 c #Conflicts: 232000 | #Constraints: 16814
1033.24/1036.29 c #Conflicts: 233000 | #Constraints: 17814
1033.24/1036.29 c #Conflicts: 234000 | #Constraints: 18814
1033.24/1036.29 c #Conflicts: 235000 | #Constraints: 19814
1033.24/1036.29 c #Conflicts: 236000 | #Constraints: 20814
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 237000 | #Constraints: 12203
1033.24/1036.29 c #Conflicts: 238000 | #Constraints: 13203
1033.24/1036.29 c #Conflicts: 239000 | #Constraints: 14203
1033.24/1036.29 c #Conflicts: 240000 | #Constraints: 15203
1033.24/1036.29 c #Conflicts: 241000 | #Constraints: 16203
1033.24/1036.29 c #Conflicts: 242000 | #Constraints: 17203
1033.24/1036.29 c #Conflicts: 243000 | #Constraints: 18203
1033.24/1036.29 c #Conflicts: 244000 | #Constraints: 19203
1033.24/1036.29 c #Conflicts: 245000 | #Constraints: 20203
1033.24/1036.29 c #Conflicts: 246000 | #Constraints: 21203
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 247000 | #Constraints: 12398
1033.24/1036.29 c #Conflicts: 248000 | #Constraints: 13398
1033.24/1036.29 c #Conflicts: 249000 | #Constraints: 14398
1033.24/1036.29 c #Conflicts: 250000 | #Constraints: 15398
1033.24/1036.29 c #Conflicts: 251000 | #Constraints: 16398
1033.24/1036.29 c #Conflicts: 252000 | #Constraints: 17398
1033.24/1036.29 c #Conflicts: 253000 | #Constraints: 18398
1033.24/1036.29 c #Conflicts: 254000 | #Constraints: 19398
1033.24/1036.29 c #Conflicts: 255000 | #Constraints: 20398
1033.24/1036.29 c #Conflicts: 256000 | #Constraints: 21398
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 257000 | #Constraints: 12391
1033.24/1036.29 c #Conflicts: 258000 | #Constraints: 13391
1033.24/1036.29 c #Conflicts: 259000 | #Constraints: 14391
1033.24/1036.29 c #Conflicts: 260000 | #Constraints: 15391
1033.24/1036.29 c #Conflicts: 261000 | #Constraints: 16391
1033.24/1036.29 c #Conflicts: 262000 | #Constraints: 17391
1033.24/1036.29 c #Conflicts: 263000 | #Constraints: 18391
1033.24/1036.29 c #Conflicts: 264000 | #Constraints: 19391
1033.24/1036.29 c #Conflicts: 265000 | #Constraints: 20391
1033.24/1036.29 c #Conflicts: 266000 | #Constraints: 21391
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 267000 | #Constraints: 12197
1033.24/1036.29 c #Conflicts: 268000 | #Constraints: 13197
1033.24/1036.29 c #Conflicts: 269000 | #Constraints: 14197
1033.24/1036.29 c #Conflicts: 270000 | #Constraints: 15197
1033.24/1036.29 c #Conflicts: 271000 | #Constraints: 16197
1033.24/1036.29 c #Conflicts: 272000 | #Constraints: 17197
1033.24/1036.29 c #Conflicts: 273000 | #Constraints: 18197
1033.24/1036.29 c #Conflicts: 274000 | #Constraints: 19197
1033.24/1036.29 c #Conflicts: 275000 | #Constraints: 20197
1033.24/1036.29 c #Conflicts: 276000 | #Constraints: 21197
1033.24/1036.29 c #Conflicts: 277000 | #Constraints: 22197
1033.24/1036.29 c INPROCESSING
1033.24/1036.29 c GARBAGE COLLECT
1033.24/1036.29 c #Conflicts: 278000 | #Constraints: 12800
1033.24/1036.29 c #Conflicts: 279000 | #Constraints: 13800
1033.24/1036.29 c #Conflicts: 280000 | #Constraints: 14800
1033.24/1036.29 c #Conflicts: 281000 | #Constraints: 15800
1033.24/1036.29 c #Conflicts: 282000 | #Constraints: 16800
1033.24/1036.29 c #Conflicts: 283000 | #Constraints: 17800
1033.24/1036.29 c #Conflicts: 284000 | #Constraints: 18800
1033.24/1036.29 c #Conflicts: 285000 | #Constraints: 19800
1033.24/1036.29 c #Conflicts: 286000 | #Constraints: 20800
1033.24/1036.29 c #Conflicts: 287000 | #Constraints: 21800
1033.24/1036.29 c #Conflicts: 288000 | #Constraints: 22800
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 289000 | #Constraints: 13190
1311.12/1314.90 c #Conflicts: 290000 | #Constraints: 14190
1311.12/1314.90 c #Conflicts: 291000 | #Constraints: 15190
1311.12/1314.90 c #Conflicts: 292000 | #Constraints: 16190
1311.12/1314.90 c #Conflicts: 293000 | #Constraints: 17190
1311.12/1314.90 c #Conflicts: 294000 | #Constraints: 18190
1311.12/1314.90 c #Conflicts: 295000 | #Constraints: 19190
1311.12/1314.90 c #Conflicts: 296000 | #Constraints: 20190
1311.12/1314.90 c #Conflicts: 297000 | #Constraints: 21190
1311.12/1314.90 c #Conflicts: 298000 | #Constraints: 22190
1311.12/1314.90 c #Conflicts: 299000 | #Constraints: 23190
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 300000 | #Constraints: 13386
1311.12/1314.90 c #Conflicts: 301000 | #Constraints: 14386
1311.12/1314.90 c #Conflicts: 302000 | #Constraints: 15386
1311.12/1314.90 c #Conflicts: 303000 | #Constraints: 16386
1311.12/1314.90 c #Conflicts: 304000 | #Constraints: 17386
1311.12/1314.90 c #Conflicts: 305000 | #Constraints: 18386
1311.12/1314.90 c #Conflicts: 306000 | #Constraints: 19386
1311.12/1314.90 c #Conflicts: 307000 | #Constraints: 20386
1311.12/1314.90 c #Conflicts: 308000 | #Constraints: 21386
1311.12/1314.90 c #Conflicts: 309000 | #Constraints: 22386
1311.12/1314.90 c #Conflicts: 310000 | #Constraints: 23386
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 311000 | #Constraints: 13389
1311.12/1314.90 c #Conflicts: 312000 | #Constraints: 14389
1311.12/1314.90 c #Conflicts: 313000 | #Constraints: 15389
1311.12/1314.90 c #Conflicts: 314000 | #Constraints: 16389
1311.12/1314.90 c #Conflicts: 315000 | #Constraints: 17389
1311.12/1314.90 c #Conflicts: 316000 | #Constraints: 18389
1311.12/1314.90 c #Conflicts: 317000 | #Constraints: 19389
1311.12/1314.90 c #Conflicts: 318000 | #Constraints: 20389
1311.12/1314.90 c #Conflicts: 319000 | #Constraints: 21389
1311.12/1314.90 c #Conflicts: 320000 | #Constraints: 22389
1311.12/1314.90 c #Conflicts: 321000 | #Constraints: 23389
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 322000 | #Constraints: 13194
1311.12/1314.90 c #Conflicts: 323000 | #Constraints: 14194
1311.12/1314.90 c #Conflicts: 324000 | #Constraints: 15194
1311.12/1314.90 c #Conflicts: 325000 | #Constraints: 16194
1311.12/1314.90 c #Conflicts: 326000 | #Constraints: 17194
1311.12/1314.90 c #Conflicts: 327000 | #Constraints: 18194
1311.12/1314.90 c #Conflicts: 328000 | #Constraints: 19194
1311.12/1314.90 c #Conflicts: 329000 | #Constraints: 20194
1311.12/1314.90 c #Conflicts: 330000 | #Constraints: 21194
1311.12/1314.90 c #Conflicts: 331000 | #Constraints: 22194
1311.12/1314.90 c #Conflicts: 332000 | #Constraints: 23194
1311.12/1314.90 c #Conflicts: 333000 | #Constraints: 24194
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 334000 | #Constraints: 13786
1311.12/1314.90 c #Conflicts: 335000 | #Constraints: 14786
1311.12/1314.90 c #Conflicts: 336000 | #Constraints: 15786
1311.12/1314.90 c #Conflicts: 337000 | #Constraints: 16786
1311.12/1314.90 c #Conflicts: 338000 | #Constraints: 17786
1311.12/1314.90 c #Conflicts: 339000 | #Constraints: 18786
1311.12/1314.90 c #Conflicts: 340000 | #Constraints: 19786
1311.12/1314.90 c #Conflicts: 341000 | #Constraints: 20786
1311.12/1314.90 c #Conflicts: 342000 | #Constraints: 21786
1311.12/1314.90 c #Conflicts: 343000 | #Constraints: 22786
1311.12/1314.90 c #Conflicts: 344000 | #Constraints: 23786
1311.12/1314.90 c #Conflicts: 345000 | #Constraints: 24786
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 346000 | #Constraints: 14184
1311.12/1314.90 c #Conflicts: 347000 | #Constraints: 15184
1311.12/1314.90 c #Conflicts: 348000 | #Constraints: 16184
1311.12/1314.90 c #Conflicts: 349000 | #Constraints: 17184
1311.12/1314.90 c #Conflicts: 350000 | #Constraints: 18184
1311.12/1314.90 c #Conflicts: 351000 | #Constraints: 19184
1311.12/1314.90 c #Conflicts: 352000 | #Constraints: 20184
1311.12/1314.90 c #Conflicts: 353000 | #Constraints: 21184
1311.12/1314.90 c #Conflicts: 354000 | #Constraints: 22184
1311.12/1314.90 c #Conflicts: 355000 | #Constraints: 23184
1311.12/1314.90 c #Conflicts: 356000 | #Constraints: 24184
1311.12/1314.90 c #Conflicts: 357000 | #Constraints: 25184
1311.12/1314.90 c INPROCESSING
1311.12/1314.90 c GARBAGE COLLECT
1311.12/1314.90 c #Conflicts: 358000 | #Constraints: 14376
1311.12/1314.90 c #Conflicts: 359000 | #Constraints: 15376
1311.12/1314.90 c #Conflicts: 360000 | #Constraints: 16376
1311.12/1314.90 c #Conflicts: 361000 | #Constraints: 17376
1311.12/1314.90 c #Conflicts: 362000 | #Constraints: 18376
1550.11/1554.60 c #Conflicts: 363000 | #Constraints: 19376
1550.11/1554.60 c #Conflicts: 364000 | #Constraints: 20376
1550.11/1554.60 c #Conflicts: 365000 | #Constraints: 21376
1550.11/1554.60 c #Conflicts: 366000 | #Constraints: 22376
1550.11/1554.60 c #Conflicts: 367000 | #Constraints: 23376
1550.11/1554.60 c #Conflicts: 368000 | #Constraints: 24376
1550.11/1554.60 c #Conflicts: 369000 | #Constraints: 25376
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 370000 | #Constraints: 14379
1550.11/1554.60 c #Conflicts: 371000 | #Constraints: 15379
1550.11/1554.60 c #Conflicts: 372000 | #Constraints: 16379
1550.11/1554.60 c #Conflicts: 373000 | #Constraints: 17379
1550.11/1554.60 c #Conflicts: 374000 | #Constraints: 18379
1550.11/1554.60 c #Conflicts: 375000 | #Constraints: 19379
1550.11/1554.60 c #Conflicts: 376000 | #Constraints: 20379
1550.11/1554.60 c #Conflicts: 377000 | #Constraints: 21379
1550.11/1554.60 c #Conflicts: 378000 | #Constraints: 22379
1550.11/1554.60 c #Conflicts: 379000 | #Constraints: 23379
1550.11/1554.60 c #Conflicts: 380000 | #Constraints: 24379
1550.11/1554.60 c #Conflicts: 381000 | #Constraints: 25379
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 382000 | #Constraints: 14177
1550.11/1554.60 c #Conflicts: 383000 | #Constraints: 15177
1550.11/1554.60 c #Conflicts: 384000 | #Constraints: 16177
1550.11/1554.60 c #Conflicts: 385000 | #Constraints: 17177
1550.11/1554.60 c #Conflicts: 386000 | #Constraints: 18177
1550.11/1554.60 c #Conflicts: 387000 | #Constraints: 19177
1550.11/1554.60 c #Conflicts: 388000 | #Constraints: 20177
1550.11/1554.60 c #Conflicts: 389000 | #Constraints: 21177
1550.11/1554.60 c #Conflicts: 390000 | #Constraints: 22177
1550.11/1554.60 c #Conflicts: 391000 | #Constraints: 23177
1550.11/1554.60 c #Conflicts: 392000 | #Constraints: 24177
1550.11/1554.60 c #Conflicts: 393000 | #Constraints: 25177
1550.11/1554.60 c #Conflicts: 394000 | #Constraints: 26177
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 395000 | #Constraints: 14789
1550.11/1554.60 c #Conflicts: 396000 | #Constraints: 15789
1550.11/1554.60 c #Conflicts: 397000 | #Constraints: 16789
1550.11/1554.60 c #Conflicts: 398000 | #Constraints: 17789
1550.11/1554.60 c #Conflicts: 399000 | #Constraints: 18789
1550.11/1554.60 c #Conflicts: 400000 | #Constraints: 19789
1550.11/1554.60 c #Conflicts: 401000 | #Constraints: 20789
1550.11/1554.60 c #Conflicts: 402000 | #Constraints: 21789
1550.11/1554.60 c #Conflicts: 403000 | #Constraints: 22789
1550.11/1554.60 c #Conflicts: 404000 | #Constraints: 23789
1550.11/1554.60 c #Conflicts: 405000 | #Constraints: 24789
1550.11/1554.60 c #Conflicts: 406000 | #Constraints: 25789
1550.11/1554.60 c #Conflicts: 407000 | #Constraints: 26789
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 408000 | #Constraints: 15188
1550.11/1554.60 c #Conflicts: 409000 | #Constraints: 16188
1550.11/1554.60 c #Conflicts: 410000 | #Constraints: 17188
1550.11/1554.60 c #Conflicts: 411000 | #Constraints: 18188
1550.11/1554.60 c #Conflicts: 412000 | #Constraints: 19188
1550.11/1554.60 c #Conflicts: 413000 | #Constraints: 20188
1550.11/1554.60 c #Conflicts: 414000 | #Constraints: 21188
1550.11/1554.60 c #Conflicts: 415000 | #Constraints: 22188
1550.11/1554.60 c #Conflicts: 416000 | #Constraints: 23188
1550.11/1554.60 c #Conflicts: 417000 | #Constraints: 24188
1550.11/1554.60 c #Conflicts: 418000 | #Constraints: 25188
1550.11/1554.60 c #Conflicts: 419000 | #Constraints: 26188
1550.11/1554.60 c #Conflicts: 420000 | #Constraints: 27188
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 421000 | #Constraints: 15396
1550.11/1554.60 c #Conflicts: 422000 | #Constraints: 16396
1550.11/1554.60 c #Conflicts: 423000 | #Constraints: 17396
1550.11/1554.60 c #Conflicts: 424000 | #Constraints: 18396
1550.11/1554.60 c #Conflicts: 425000 | #Constraints: 19396
1550.11/1554.60 c #Conflicts: 426000 | #Constraints: 20396
1550.11/1554.60 c #Conflicts: 427000 | #Constraints: 21396
1550.11/1554.60 c #Conflicts: 428000 | #Constraints: 22396
1550.11/1554.60 c #Conflicts: 429000 | #Constraints: 23396
1550.11/1554.60 c #Conflicts: 430000 | #Constraints: 24396
1550.11/1554.60 c #Conflicts: 431000 | #Constraints: 25396
1550.11/1554.60 c #Conflicts: 432000 | #Constraints: 26396
1550.11/1554.60 c #Conflicts: 433000 | #Constraints: 27396
1550.11/1554.60 c INPROCESSING
1550.11/1554.60 c GARBAGE COLLECT
1550.11/1554.60 c #Conflicts: 434000 | #Constraints: 15398
1550.11/1554.60 c #Conflicts: 435000 | #Constraints: 16398
1550.11/1554.60 c #Conflicts: 436000 | #Constraints: 17398
1550.11/1554.60 c #Conflicts: 437000 | #Constraints: 18398
2166.37/2172.75 c #Conflicts: 438000 | #Constraints: 19398
2166.37/2172.75 c #Conflicts: 439000 | #Constraints: 20398
2166.37/2172.75 c #Conflicts: 440000 | #Constraints: 21398
2166.37/2172.75 c #Conflicts: 441000 | #Constraints: 22398
2166.37/2172.75 c #Conflicts: 442000 | #Constraints: 23398
2166.37/2172.75 c #Conflicts: 443000 | #Constraints: 24398
2166.37/2172.75 c #Conflicts: 444000 | #Constraints: 25398
2166.37/2172.75 c #Conflicts: 445000 | #Constraints: 26398
2166.37/2172.75 c #Conflicts: 446000 | #Constraints: 27398
2166.37/2172.75 c INPROCESSING
2166.37/2172.75 c GARBAGE COLLECT
2166.37/2172.75 c #Conflicts: 447000 | #Constraints: 15200
2166.37/2172.75 c #Conflicts: 448000 | #Constraints: 16200
2166.37/2172.75 c #Conflicts: 449000 | #Constraints: 17200
2166.37/2172.75 c #Conflicts: 450000 | #Constraints: 18200
2166.37/2172.75 c #Conflicts: 451000 | #Constraints: 19200
2166.37/2172.75 c #Conflicts: 452000 | #Constraints: 20200
2166.37/2172.75 c #Conflicts: 453000 | #Constraints: 21200
2166.37/2172.75 c #Conflicts: 454000 | #Constraints: 22200
2166.37/2172.75 c #Conflicts: 455000 | #Constraints: 23200
2166.37/2172.75 c #Conflicts: 456000 | #Constraints: 24200
2166.37/2172.75 c #Conflicts: 457000 | #Constraints: 25200
2166.37/2172.75 c #Conflicts: 458000 | #Constraints: 26200
2166.37/2172.75 c #Conflicts: 459000 | #Constraints: 27200
2166.37/2172.75 c #Conflicts: 460000 | #Constraints: 28200
2166.37/2172.75 c INPROCESSING
2166.37/2172.75 c GARBAGE COLLECT
2166.37/2172.75 c #Conflicts: 461000 | #Constraints: 15816
2166.37/2172.75 c #Conflicts: 462000 | #Constraints: 16816
2166.37/2172.75 c #Conflicts: 463000 | #Constraints: 17816
2166.37/2172.75 c #Conflicts: 464000 | #Constraints: 18816
2166.37/2172.75 c #Conflicts: 465000 | #Constraints: 19816
2166.37/2172.75 c #Conflicts: 466000 | #Constraints: 20816
2166.37/2172.75 c #Conflicts: 467000 | #Constraints: 21816
2166.37/2172.75 c #Conflicts: 468000 | #Constraints: 22816
2166.37/2172.75 c #Conflicts: 469000 | #Constraints: 23816
2166.37/2172.75 c #Conflicts: 470000 | #Constraints: 24816
2166.37/2172.75 c #Conflicts: 471000 | #Constraints: 25816
2166.37/2172.75 c #Conflicts: 472000 | #Constraints: 26816
2166.37/2172.75 c #Conflicts: 473000 | #Constraints: 27816
2166.37/2172.75 c #Conflicts: 474000 | #Constraints: 28816
2166.37/2172.75 c INPROCESSING
2166.37/2172.75 c GARBAGE COLLECT
2166.37/2172.75 c #Conflicts: 475000 | #Constraints: 16213
2166.37/2172.75 c #Conflicts: 476000 | #Constraints: 17213
2166.37/2172.75 c #Conflicts: 477000 | #Constraints: 18213
2166.37/2172.75 c #Conflicts: 478000 | #Constraints: 19213
2166.37/2172.75 c #Conflicts: 479000 | #Constraints: 20213
2166.37/2172.75 c #Conflicts: 480000 | #Constraints: 21213
2166.37/2172.75 c #Conflicts: 481000 | #Constraints: 22213
2166.37/2172.75 c #Conflicts: 482000 | #Constraints: 23213
2166.37/2172.75 c #Conflicts: 483000 | #Constraints: 24213
2166.37/2172.75 c #Conflicts: 484000 | #Constraints: 25213
2166.37/2172.75 c #Conflicts: 485000 | #Constraints: 26213
2166.37/2172.75 c #Conflicts: 486000 | #Constraints: 27213
2166.37/2172.75 c #Conflicts: 487000 | #Constraints: 28213
2166.37/2172.75 c #Conflicts: 488000 | #Constraints: 29213
2166.37/2172.75 c INPROCESSING
2166.37/2172.75 c GARBAGE COLLECT
2166.37/2172.75 c #Conflicts: 489000 | #Constraints: 16413
2166.37/2172.75 c #Conflicts: 490000 | #Constraints: 17413
2166.37/2172.75 c #Conflicts: 491000 | #Constraints: 18413
2166.37/2172.75 c #Conflicts: 492000 | #Constraints: 19413
2166.37/2172.75 c #Conflicts: 493000 | #Constraints: 20413
2166.37/2172.75 c #Conflicts: 494000 | #Constraints: 21413
2166.37/2172.75 c #Conflicts: 495000 | #Constraints: 22413
2166.37/2172.75 c #Conflicts: 496000 | #Constraints: 23413
2166.37/2172.75 c #Conflicts: 497000 | #Constraints: 24413
2166.37/2172.75 c #Conflicts: 498000 | #Constraints: 25413
2166.37/2172.75 c #Conflicts: 499000 | #Constraints: 26413
2166.37/2172.75 c #Conflicts: 500000 | #Constraints: 27413
2166.37/2172.75 c #Conflicts: 501000 | #Constraints: 28413
2166.37/2172.75 c #Conflicts: 502000 | #Constraints: 29413
2166.37/2172.75 c INPROCESSING
2166.37/2172.75 c GARBAGE COLLECT
2166.37/2172.75 c #Conflicts: 503000 | #Constraints: 16419
2166.37/2172.75 c #Conflicts: 504000 | #Constraints: 17419
2166.37/2172.75 c #Conflicts: 505000 | #Constraints: 18419
2166.37/2172.75 c #Conflicts: 506000 | #Constraints: 19419
2166.37/2172.75 c #Conflicts: 507000 | #Constraints: 20419
2166.37/2172.75 c #Conflicts: 508000 | #Constraints: 21419
2166.37/2172.75 c #Conflicts: 509000 | #Constraints: 22419
2166.37/2172.75 c #Conflicts: 510000 | #Constraints: 23419
2166.37/2172.75 c #Conflicts: 511000 | #Constraints: 24419
2166.37/2172.75 c #Conflicts: 512000 | #Constraints: 25419
2166.37/2172.75 c #Conflicts: 513000 | #Constraints: 26419
2427.28/2434.46 c #Conflicts: 514000 | #Constraints: 27419
2427.28/2434.46 c #Conflicts: 515000 | #Constraints: 28419
2427.28/2434.46 c #Conflicts: 516000 | #Constraints: 29419
2427.28/2434.46 c INPROCESSING
2427.28/2434.46 c GARBAGE COLLECT
2427.28/2434.46 c #Conflicts: 517000 | #Constraints: 16202
2427.28/2434.46 c #Conflicts: 518000 | #Constraints: 17202
2427.28/2434.46 c #Conflicts: 519000 | #Constraints: 18202
2427.28/2434.46 c #Conflicts: 520000 | #Constraints: 19202
2427.28/2434.46 c #Conflicts: 521000 | #Constraints: 20202
2427.28/2434.46 c #Conflicts: 522000 | #Constraints: 21202
2427.28/2434.46 c #Conflicts: 523000 | #Constraints: 22202
2427.28/2434.46 c #Conflicts: 524000 | #Constraints: 23202
2427.28/2434.46 c #Conflicts: 525000 | #Constraints: 24202
2427.28/2434.46 c #Conflicts: 526000 | #Constraints: 25202
2427.28/2434.46 c #Conflicts: 527000 | #Constraints: 26202
2427.28/2434.46 c #Conflicts: 528000 | #Constraints: 27202
2427.28/2434.46 c #Conflicts: 529000 | #Constraints: 28202
2427.28/2434.46 c #Conflicts: 530000 | #Constraints: 29202
2427.28/2434.46 c #Conflicts: 531000 | #Constraints: 30202
2427.28/2434.46 c INPROCESSING
2427.28/2434.46 c GARBAGE COLLECT
2427.28/2434.46 c #Conflicts: 532000 | #Constraints: 16797
2427.28/2434.46 c #Conflicts: 533000 | #Constraints: 17797
2427.28/2434.46 c #Conflicts: 534000 | #Constraints: 18797
2427.28/2434.46 c #Conflicts: 535000 | #Constraints: 19797
2427.28/2434.46 c #Conflicts: 536000 | #Constraints: 20797
2427.28/2434.46 c #Conflicts: 537000 | #Constraints: 21797
2427.28/2434.46 c #Conflicts: 538000 | #Constraints: 22797
2427.28/2434.46 c #Conflicts: 539000 | #Constraints: 23797
2427.28/2434.46 c #Conflicts: 540000 | #Constraints: 24797
2427.28/2434.46 c #Conflicts: 541000 | #Constraints: 25797
2427.28/2434.46 c #Conflicts: 542000 | #Constraints: 26797
2427.28/2434.46 c #Conflicts: 543000 | #Constraints: 27797
2427.28/2434.46 c #Conflicts: 544000 | #Constraints: 28797
2427.28/2434.46 c #Conflicts: 545000 | #Constraints: 29797
2427.28/2434.46 c #Conflicts: 546000 | #Constraints: 30797
2427.28/2434.46 c INPROCESSING
2427.28/2434.46 c GARBAGE COLLECT
2427.28/2434.46 c #Conflicts: 547000 | #Constraints: 17191
2427.28/2434.46 c #Conflicts: 548000 | #Constraints: 18191
2427.28/2434.46 c #Conflicts: 549000 | #Constraints: 19191
2427.28/2434.46 c #Conflicts: 550000 | #Constraints: 20191
2427.28/2434.46 c #Conflicts: 551000 | #Constraints: 21191
2427.28/2434.46 c #Conflicts: 552000 | #Constraints: 22191
2427.28/2434.46 c #Conflicts: 553000 | #Constraints: 23191
2427.28/2434.46 c #Conflicts: 554000 | #Constraints: 24191
2427.28/2434.46 c #Conflicts: 555000 | #Constraints: 25191
2427.28/2434.46 c #Conflicts: 556000 | #Constraints: 26191
2427.28/2434.46 c #Conflicts: 557000 | #Constraints: 27191
2427.28/2434.46 c #Conflicts: 558000 | #Constraints: 28191
2427.28/2434.46 c #Conflicts: 559000 | #Constraints: 29191
2427.28/2434.46 c #Conflicts: 560000 | #Constraints: 30191
2427.28/2434.46 c #Conflicts: 561000 | #Constraints: 31191
2427.28/2434.46 c INPROCESSING
2427.28/2434.46 c GARBAGE COLLECT
2427.28/2434.46 c #Conflicts: 562000 | #Constraints: 17388
2427.28/2434.46 c #Conflicts: 563000 | #Constraints: 18388
2427.28/2434.46 c #Conflicts: 564000 | #Constraints: 19388
2427.28/2434.46 c #Conflicts: 565000 | #Constraints: 20388
2427.28/2434.46 c #Conflicts: 566000 | #Constraints: 21388
2427.28/2434.46 c #Conflicts: 567000 | #Constraints: 22388
2427.28/2434.46 c #Conflicts: 568000 | #Constraints: 23388
2427.28/2434.46 c #Conflicts: 569000 | #Constraints: 24388
2427.28/2434.46 c #Conflicts: 570000 | #Constraints: 25388
2427.28/2434.46 c #Conflicts: 571000 | #Constraints: 26388
2427.28/2434.46 c #Conflicts: 572000 | #Constraints: 27388
2427.28/2434.46 c #Conflicts: 573000 | #Constraints: 28388
2427.28/2434.46 c #Conflicts: 574000 | #Constraints: 29388
2427.28/2434.46 c #Conflicts: 575000 | #Constraints: 30388
2427.28/2434.46 c #Conflicts: 576000 | #Constraints: 31388
2427.28/2434.46 c INPROCESSING
2427.28/2434.46 c GARBAGE COLLECT
2427.28/2434.46 c #Conflicts: 577000 | #Constraints: 17394
2427.28/2434.46 c #Conflicts: 578000 | #Constraints: 18394
2427.28/2434.46 c #Conflicts: 579000 | #Constraints: 19394
2427.28/2434.46 c #Conflicts: 580000 | #Constraints: 20394
2427.28/2434.46 c #Conflicts: 581000 | #Constraints: 21394
2427.28/2434.46 c #Conflicts: 582000 | #Constraints: 22394
2427.28/2434.46 c #Conflicts: 583000 | #Constraints: 23394
2427.28/2434.46 c #Conflicts: 584000 | #Constraints: 24394
2427.28/2434.46 c #Conflicts: 585000 | #Constraints: 25394
2427.28/2434.46 c #Conflicts: 586000 | #Constraints: 26394
2427.28/2434.46 c #Conflicts: 587000 | #Constraints: 27394
2427.28/2434.46 c #Conflicts: 588000 | #Constraints: 28394
2891.86/2900.46 c #Conflicts: 589000 | #Constraints: 29394
2891.86/2900.46 c #Conflicts: 590000 | #Constraints: 30394
2891.86/2900.46 c #Conflicts: 591000 | #Constraints: 31394
2891.86/2900.46 c INPROCESSING
2891.86/2900.46 c GARBAGE COLLECT
2891.86/2900.46 c #Conflicts: 592000 | #Constraints: 17189
2891.86/2900.46 c #Conflicts: 593000 | #Constraints: 18189
2891.86/2900.46 c #Conflicts: 594000 | #Constraints: 19189
2891.86/2900.46 c #Conflicts: 595000 | #Constraints: 20189
2891.86/2900.46 c #Conflicts: 596000 | #Constraints: 21189
2891.86/2900.46 c #Conflicts: 597000 | #Constraints: 22189
2891.86/2900.46 c #Conflicts: 598000 | #Constraints: 23189
2891.86/2900.46 c #Conflicts: 599000 | #Constraints: 24189
2891.86/2900.46 c #Conflicts: 600000 | #Constraints: 25189
2891.86/2900.46 c #Conflicts: 601000 | #Constraints: 26189
2891.86/2900.46 c #Conflicts: 602000 | #Constraints: 27189
2891.86/2900.46 c #Conflicts: 603000 | #Constraints: 28189
2891.86/2900.46 c #Conflicts: 604000 | #Constraints: 29189
2891.86/2900.46 c #Conflicts: 605000 | #Constraints: 30189
2891.86/2900.46 c #Conflicts: 606000 | #Constraints: 31189
2891.86/2900.46 c #Conflicts: 607000 | #Constraints: 32189
2891.86/2900.46 c INPROCESSING
2891.86/2900.46 c GARBAGE COLLECT
2891.86/2900.46 c #Conflicts: 608000 | #Constraints: 17798
2891.86/2900.46 c #Conflicts: 609000 | #Constraints: 18798
2891.86/2900.46 c #Conflicts: 610000 | #Constraints: 19798
2891.86/2900.46 c #Conflicts: 611000 | #Constraints: 20798
2891.86/2900.46 c #Conflicts: 612000 | #Constraints: 21798
2891.86/2900.46 c #Conflicts: 613000 | #Constraints: 22798
2891.86/2900.46 c #Conflicts: 614000 | #Constraints: 23798
2891.86/2900.46 c #Conflicts: 615000 | #Constraints: 24798
2891.86/2900.46 c #Conflicts: 616000 | #Constraints: 25798
2891.86/2900.46 c #Conflicts: 617000 | #Constraints: 26798
2891.86/2900.46 c #Conflicts: 618000 | #Constraints: 27798
2891.86/2900.46 c #Conflicts: 619000 | #Constraints: 28798
2891.86/2900.46 c #Conflicts: 620000 | #Constraints: 29798
2891.86/2900.46 c #Conflicts: 621000 | #Constraints: 30798
2891.86/2900.46 c #Conflicts: 622000 | #Constraints: 31798
2891.86/2900.46 c #Conflicts: 623000 | #Constraints: 32798
2891.86/2900.46 c INPROCESSING
2891.86/2900.46 c GARBAGE COLLECT
2891.86/2900.46 c #Conflicts: 624000 | #Constraints: 18191
2891.86/2900.46 c #Conflicts: 625000 | #Constraints: 19191
2891.86/2900.46 c #Conflicts: 626000 | #Constraints: 20191
2891.86/2900.46 c #Conflicts: 627000 | #Constraints: 21191
2891.86/2900.46 c #Conflicts: 628000 | #Constraints: 22191
2891.86/2900.46 c #Conflicts: 629000 | #Constraints: 23191
2891.86/2900.46 c #Conflicts: 630000 | #Constraints: 24191
2891.86/2900.46 c #Conflicts: 631000 | #Constraints: 25191
2891.86/2900.46 c #Conflicts: 632000 | #Constraints: 26191
2891.86/2900.46 c #Conflicts: 633000 | #Constraints: 27191
2891.86/2900.46 c #Conflicts: 634000 | #Constraints: 28191
2891.86/2900.46 c #Conflicts: 635000 | #Constraints: 29191
2891.86/2900.46 c #Conflicts: 636000 | #Constraints: 30191
2891.86/2900.46 c #Conflicts: 637000 | #Constraints: 31191
2891.86/2900.46 c #Conflicts: 638000 | #Constraints: 32191
2891.86/2900.46 c #Conflicts: 639000 | #Constraints: 33191
2891.86/2900.46 c INPROCESSING
2891.86/2900.46 c GARBAGE COLLECT
2891.86/2900.46 c #Conflicts: 640000 | #Constraints: 18387
2891.86/2900.46 c #Conflicts: 641000 | #Constraints: 19387
2891.86/2900.46 c #Conflicts: 642000 | #Constraints: 20387
2891.86/2900.46 c #Conflicts: 643000 | #Constraints: 21387
2891.86/2900.46 c #Conflicts: 644000 | #Constraints: 22387
2891.86/2900.46 c #Conflicts: 645000 | #Constraints: 23387
2891.86/2900.46 c #Conflicts: 646000 | #Constraints: 24387
2891.86/2900.46 c #Conflicts: 647000 | #Constraints: 25387
2891.86/2900.46 c #Conflicts: 648000 | #Constraints: 26387
2891.86/2900.46 c #Conflicts: 649000 | #Constraints: 27387
2891.86/2900.46 c #Conflicts: 650000 | #Constraints: 28387
2891.86/2900.46 c #Conflicts: 651000 | #Constraints: 29387
2891.86/2900.46 c #Conflicts: 652000 | #Constraints: 30387
2891.86/2900.46 c #Conflicts: 653000 | #Constraints: 31387
2891.86/2900.46 c #Conflicts: 654000 | #Constraints: 32387
2891.86/2900.46 c #Conflicts: 655000 | #Constraints: 33387
2891.86/2900.46 c INPROCESSING
2891.86/2900.46 c GARBAGE COLLECT
2891.86/2900.46 c #Conflicts: 656000 | #Constraints: 18391
2891.86/2900.46 c #Conflicts: 657000 | #Constraints: 19391
2891.86/2900.46 c #Conflicts: 658000 | #Constraints: 20391
2891.86/2900.46 c #Conflicts: 659000 | #Constraints: 21391
2891.86/2900.46 c #Conflicts: 660000 | #Constraints: 22391
2891.86/2900.46 c #Conflicts: 661000 | #Constraints: 23391
2891.86/2900.46 c #Conflicts: 662000 | #Constraints: 24391
2891.86/2900.46 c #Conflicts: 663000 | #Constraints: 25391
2891.86/2900.46 c #Conflicts: 664000 | #Constraints: 26391
3534.59/3545.16 c #Conflicts: 665000 | #Constraints: 27391
3534.59/3545.16 c #Conflicts: 666000 | #Constraints: 28391
3534.59/3545.16 c #Conflicts: 667000 | #Constraints: 29391
3534.59/3545.16 c #Conflicts: 668000 | #Constraints: 30391
3534.59/3545.16 c #Conflicts: 669000 | #Constraints: 31391
3534.59/3545.16 c #Conflicts: 670000 | #Constraints: 32391
3534.59/3545.16 c #Conflicts: 671000 | #Constraints: 33391
3534.59/3545.16 c INPROCESSING
3534.59/3545.16 c GARBAGE COLLECT
3534.59/3545.16 c #Conflicts: 672000 | #Constraints: 18195
3534.59/3545.16 c #Conflicts: 673000 | #Constraints: 19195
3534.59/3545.16 c #Conflicts: 674000 | #Constraints: 20195
3534.59/3545.16 c #Conflicts: 675000 | #Constraints: 21195
3534.59/3545.16 c #Conflicts: 676000 | #Constraints: 22195
3534.59/3545.16 c #Conflicts: 677000 | #Constraints: 23195
3534.59/3545.16 c #Conflicts: 678000 | #Constraints: 24195
3534.59/3545.16 c #Conflicts: 679000 | #Constraints: 25195
3534.59/3545.16 c #Conflicts: 680000 | #Constraints: 26195
3534.59/3545.16 c #Conflicts: 681000 | #Constraints: 27195
3534.59/3545.16 c #Conflicts: 682000 | #Constraints: 28195
3534.59/3545.16 c #Conflicts: 683000 | #Constraints: 29195
3534.59/3545.16 c #Conflicts: 684000 | #Constraints: 30195
3534.59/3545.16 c #Conflicts: 685000 | #Constraints: 31195
3534.59/3545.16 c #Conflicts: 686000 | #Constraints: 32195
3534.59/3545.16 c #Conflicts: 687000 | #Constraints: 33195
3534.59/3545.16 c #Conflicts: 688000 | #Constraints: 34195
3534.59/3545.16 c INPROCESSING
3534.59/3545.16 c GARBAGE COLLECT
3534.59/3545.16 c #Conflicts: 689000 | #Constraints: 18792
3534.59/3545.16 c #Conflicts: 690000 | #Constraints: 19792
3534.59/3545.16 c #Conflicts: 691000 | #Constraints: 20792
3534.59/3545.16 c #Conflicts: 692000 | #Constraints: 21792
3534.59/3545.16 c #Conflicts: 693000 | #Constraints: 22792
3534.59/3545.16 c #Conflicts: 694000 | #Constraints: 23792
3534.59/3545.16 c #Conflicts: 695000 | #Constraints: 24792
3534.59/3545.16 c #Conflicts: 696000 | #Constraints: 25792
3534.59/3545.16 c #Conflicts: 697000 | #Constraints: 26792
3534.59/3545.16 c #Conflicts: 698000 | #Constraints: 27792
3534.59/3545.16 c #Conflicts: 699000 | #Constraints: 28792
3534.59/3545.16 c #Conflicts: 700000 | #Constraints: 29792
3534.59/3545.16 c #Conflicts: 701000 | #Constraints: 30792
3534.59/3545.16 c #Conflicts: 702000 | #Constraints: 31792
3534.59/3545.16 c #Conflicts: 703000 | #Constraints: 32792
3534.59/3545.16 c #Conflicts: 704000 | #Constraints: 33792
3534.59/3545.16 c #Conflicts: 705000 | #Constraints: 34792
3534.59/3545.16 c INPROCESSING
3534.59/3545.16 c GARBAGE COLLECT
3534.59/3545.16 c #Conflicts: 706000 | #Constraints: 19195
3534.59/3545.16 c #Conflicts: 707000 | #Constraints: 20195
3534.59/3545.16 c #Conflicts: 708000 | #Constraints: 21195
3534.59/3545.16 c #Conflicts: 709000 | #Constraints: 22195
3534.59/3545.16 c #Conflicts: 710000 | #Constraints: 23195
3534.59/3545.16 c #Conflicts: 711000 | #Constraints: 24195
3534.59/3545.16 c #Conflicts: 712000 | #Constraints: 25195
3534.59/3545.16 c #Conflicts: 713000 | #Constraints: 26195
3534.59/3545.16 c #Conflicts: 714000 | #Constraints: 27195
3534.59/3545.16 c #Conflicts: 715000 | #Constraints: 28195
3534.59/3545.16 c #Conflicts: 716000 | #Constraints: 29195
3534.59/3545.16 c #Conflicts: 717000 | #Constraints: 30195
3534.59/3545.16 c #Conflicts: 718000 | #Constraints: 31195
3534.59/3545.16 c #Conflicts: 719000 | #Constraints: 32195
3534.59/3545.16 c #Conflicts: 720000 | #Constraints: 33195
3534.59/3545.16 c #Conflicts: 721000 | #Constraints: 34195
3534.59/3545.16 c #Conflicts: 722000 | #Constraints: 35195
3534.59/3545.16 c INPROCESSING
3534.59/3545.16 c GARBAGE COLLECT
3534.59/3545.16 c #Conflicts: 723000 | #Constraints: 19402
3534.59/3545.16 c #Conflicts: 724000 | #Constraints: 20402
3534.59/3545.16 c #Conflicts: 725000 | #Constraints: 21402
3534.59/3545.16 c #Conflicts: 726000 | #Constraints: 22402
3534.59/3545.16 c #Conflicts: 727000 | #Constraints: 23402
3534.59/3545.16 c #Conflicts: 728000 | #Constraints: 24402
3534.59/3545.16 c #Conflicts: 729000 | #Constraints: 25402
3534.59/3545.16 c #Conflicts: 730000 | #Constraints: 26402
3534.59/3545.16 c #Conflicts: 731000 | #Constraints: 27402
3534.59/3545.16 c #Conflicts: 732000 | #Constraints: 28402
3534.59/3545.16 c #Conflicts: 733000 | #Constraints: 29402
3534.59/3545.16 c #Conflicts: 734000 | #Constraints: 30402
3534.59/3545.16 c #Conflicts: 735000 | #Constraints: 31402
3534.59/3545.16 c #Conflicts: 736000 | #Constraints: 32402
3534.59/3545.16 c #Conflicts: 737000 | #Constraints: 33402
3534.59/3545.16 c #Conflicts: 738000 | #Constraints: 34402
3534.59/3545.16 c #Conflicts: 739000 | #Constraints: 35402
3534.59/3545.16 c INPROCESSING
3534.59/3545.16 c GARBAGE COLLECT
3600.08/3610.80 c #Conflicts: 740000 | #Constraints: 19416
3600.08/3610.80 c #Conflicts: 741000 | #Constraints: 20416
3600.08/3610.80 c #Conflicts: 742000 | #Constraints: 21416
3600.08/3610.80 c #Conflicts: 743000 | #Constraints: 22416
3600.08/3610.80 c #Conflicts: 744000 | #Constraints: 23416
3600.08/3610.80 c #Conflicts: 745000 | #Constraints: 24416
3600.08/3610.80 c #Conflicts: 746000 | #Constraints: 25416
3600.08/3610.80 c #Conflicts: 747000 | #Constraints: 26416
3600.08/3610.80 c #Conflicts: 748000 | #Constraints: 27416
3600.08/3610.80 c #Conflicts: 749000 | #Constraints: 28416
3600.08/3610.80 c Program interrupted by user.
3600.08/3610.80 c cpu time 3572.5 s
3600.08/3610.80 c deterministic time 769036792335 7.69e+11
3600.08/3610.80 c optimization time 64.6915 s
3600.08/3610.80 c total solve time 3208.43 s
3600.08/3610.80 c core-guided solve time 0 s
3600.08/3610.80 c propagation time 2277.94 s
3600.08/3610.80 c conflict analysis time 750.733 s
3600.08/3610.80 c propagations 223821052
3600.08/3610.80 c resolve steps 3791924
3600.08/3610.80 c decisions 30597394
3600.08/3610.80 c conflicts 749103
3600.08/3610.80 c restarts 1564
3600.08/3610.80 c inprocessing phases 77
3600.08/3610.80 c input clauses 713
3600.08/3610.80 c input cardinalities 713
3600.08/3610.80 c input general constraints 128
3600.08/3610.80 c input average constraint length 117.46
3600.08/3610.80 c input average constraint degree 24575.93
3600.08/3610.80 c learned clauses 19451
3600.08/3610.80 c learned cardinalities 475
3600.08/3610.80 c learned general constraints 729177
3600.08/3610.80 c learned average constraint length 3097.05
3600.08/3610.80 c learned average constraint degree 26550330.36
3600.08/3610.80 c watched constraints 450068
3600.08/3610.80 c counting constraints 279237
3600.08/3610.80 c gcd simplifications 8376
3600.08/3610.80 c detected cardinalities 6
3600.08/3610.80 c weakened non-implied lits 351666723
3600.08/3610.80 c weakened non-implying lits 117834
3600.08/3610.80 c original variables 45696
3600.08/3610.80 c clausal propagations 2655589
3600.08/3610.80 c cardinality propagations 24556415
3600.08/3610.80 c watched propagations 15394878
3600.08/3610.80 c counting propagations 179510059
3600.08/3610.80 c watch lookups 19648650844
3600.08/3610.80 c watch backjump lookups 19288155472
3600.08/3610.80 c watch checks 591558625924
3600.08/3610.80 c propagation checks 131095460763
3600.08/3610.80 c constraint additions 6936322843
3600.08/3610.80 c trail pops 255158042
3600.08/3610.80 c formula constraints 1554
3600.08/3610.80 c learned constraints 749103
3600.08/3610.80 c bound constraints 0
3600.08/3610.80 c core-guided constraints 0
3600.08/3610.80 c encountered formula constraints 2517914
3600.08/3610.80 c encountered learned constraints 2023113
3600.08/3610.80 c encountered bound constraints 0
3600.08/3610.80 c encountered core-guided constraints 0
3600.08/3610.80 c LP total time 0 s
3600.08/3610.80 c LP solve time 0 s
3600.08/3610.80 c LP constraints added 0
3600.08/3610.80 c LP constraints removed 0
3600.08/3610.80 c LP pivots internal 0
3600.08/3610.80 c LP pivots root 0
3600.08/3610.80 c LP calls 0
3600.08/3610.80 c LP optimalities 0
3600.08/3610.80 c LP no pivot count 0
3600.08/3610.80 c LP infeasibilities 0
3600.08/3610.80 c LP valid Farkas constraints 0
3600.08/3610.80 c LP learned Farkas constraints 0
3600.08/3610.80 c LP basis resets 0
3600.08/3610.80 c LP cycling count 0
3600.08/3610.80 c LP singular count 0
3600.08/3610.80 c LP no primal count 0
3600.08/3610.80 c LP no farkas count 0
3600.08/3610.80 c LP other issue count 0
3600.08/3610.80 c LP Gomory cuts 0
3600.08/3610.80 c LP learned cuts 0
3600.08/3610.80 c LP deleted cuts 0
3600.08/3610.80 c LP encountered Gomory constraints 0
3600.08/3610.80 c LP encountered Farkas constraints 0
3600.08/3610.80 c LP encountered learned Farkas constraints 0
3600.08/3610.80 c CG auxiliary variables introduced 0
3600.08/3610.80 c CG solutions found 0
3600.08/3610.80 c CG cores constructed 0
3600.08/3610.80 c CG core cardinality constraints returned 0
3600.08/3610.80 c CG unit cores 0
3600.08/3610.80 c CG single cores 0
3600.08/3610.80 c CG blocks removed during cardinality reduction 0
3600.08/3610.80 c CG first core best 0
3600.08/3610.80 c CG decision core best 0
3600.08/3610.80 c CG core reduction tie 0
3600.08/3610.80 c CG core degree average 0.00
3600.08/3610.80 c CG core slack average 0.00
3600.08/3610.80 c CG exhausted 0
3600.08/3610.80 c CG exhaust time 0 s
3600.08/3610.80 c CG trimmed 0
3600.08/3610.80 c CG trim time 0 s
3600.08/3610.80 c CG minimized 0
3600.08/3610.80 c CG minimize time 0 s
3600.08/3610.80 c CG am1 prop time 0 s
3600.08/3610.80 c CG # am1s reformulated 0
3600.08/3610.80 c CG lower bound derived from am1s 0
3600.08/3610.80 c CG # clausal cores 0
3600.08/3610.80 c CG # cardinality cores 0
3600.08/3610.80 c CG # pb cores 0
3600.08/3610.80 c CG # pb reforms 0
3600.08/3610.80 c CG # cores discarded because of pb reform 0
3600.08/3610.80 d LOWERBOUND 0
3600.08/3610.80 d NCORES 0
3600.08/3610.80 d NPBCORES 0
3600.08/3610.80 d NPBREFORM 0
3600.08/3610.80 d NTRIMMED 0
3600.08/3610.80 d NEXHAUSTED 0
3600.08/3610.80 d NAM1S 0
3600.08/3610.80 d AM1LB 0
3600.08/3610.80 c [Papilo Statistics]
3600.08/3610.80 c prepro time 0.0904287s
3600.08/3610.80 c # tsx applied 841
3600.08/3610.80 c # tsx conflicts 0
3600.08/3610.80 c # bound changes 64
3600.08/3610.80 c # side changes 713
3600.08/3610.80 c # coef changes 0
3600.08/3610.80 c # rounds 3
3600.08/3610.80 c # deted vars 64
3600.08/3610.80 c # deted constrs 715
3600.08/3610.80 c # consecutive rounds of only bound changes 0
3600.08/3610.87 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: 63665 MiB (61722 MiB free)
memory of node 1: 64507 MiB (59485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529224-1752263379/watcher-4529224-1752263379 -o /tmp/evaluation-result-4529224-1752263379/solver-4529224-1752263379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760 mixed-bag HOME/instance-4529224-1752263379.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122252, runsolver pid=122249
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.18 4.14 5/265 122253
/proc/meminfo: memFree=124096824/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=96672 memory=25456 CPUtime=0.08 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 4451 0 0 0 8 0 0 0 20 0 1 0 142015703 98992128 6364 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 24168 6364 2176 2834 0 6920 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 96672 KiB
Current children cumulated memory: 25456 KiB
[startup+0.205597 s]*
/proc/loadavg: 4.13 4.18 4.14 5/265 122253
/proc/meminfo: memFree=124072756/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=134008 memory=54804 CPUtime=0.19 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 10188 0 0 0 17 2 0 0 20 0 1 0 142015703 137224192 13701 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 33502 13701 2336 2834 0 15707 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 134008 KiB
Current children cumulated memory: 54804 KiB
[startup+0.305545 s]*
/proc/loadavg: 4.13 4.18 4.14 5/265 122253
/proc/meminfo: memFree=123992368/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=214104 memory=141232 CPUtime=0.29 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 31327 0 0 0 24 5 0 0 20 0 1 0 142015703 219242496 35308 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 53526 35308 3968 2834 0 35731 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 214104 KiB
Current children cumulated memory: 141232 KiB
[startup+0.700167 s]
/proc/loadavg: 4.13 4.18 4.14 5/265 122253
/proc/meminfo: memFree=123939888/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=271048 memory=193648 CPUtime=0.68 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 47538 0 0 0 61 7 0 0 20 0 1 0 142015703 277553152 48412 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 67762 48412 4064 2834 0 49967 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 271048 KiB
Current children cumulated memory: 193648 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.18 4.14 5/265 122253
/proc/meminfo: memFree=123833912/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=528508 memory=374884 CPUtime=1.48 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 74590 0 0 0 134 14 0 0 20 0 1 0 142015703 541192192 93721 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 132127 93721 4128 2834 0 114332 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 528508 KiB
Current children cumulated memory: 374884 KiB
[startup+3.10546 s]
/proc/loadavg: 4.12 4.17 4.14 5/265 122253
/proc/meminfo: memFree=123716540/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=570524 memory=416868 CPUtime=3.08 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 85098 0 0 0 292 16 0 0 20 0 1 0 142015703 584216576 104217 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 142631 104217 4128 2834 0 124836 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 570524 KiB
Current children cumulated memory: 416868 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.17 4.14 5/265 122253
/proc/meminfo: memFree=123644212/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=630244 memory=476260 CPUtime=6.27 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 99945 0 0 0 609 18 0 0 20 0 1 0 142015703 645369856 119065 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 157561 119065 4128 2834 0 139766 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 630244 KiB
Current children cumulated memory: 476260 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.17 4.14 5/265 122253
/proc/meminfo: memFree=123172908/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1085200 memory=928944 CPUtime=12.65 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 213605 0 0 0 1231 34 0 0 20 0 1 0 142015703 1111244800 232236 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 271300 232236 4288 2834 0 253505 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1085200 KiB
Current children cumulated memory: 928944 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.18 4.14 5/265 122254
/proc/meminfo: memFree=122598192/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1227892 memory=1061300 CPUtime=25.41 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 244645 0 0 0 2501 40 0 0 20 0 1 0 142015703 1257361408 265325 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 306973 265325 4288 2834 0 289178 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1227892 KiB
Current children cumulated memory: 1061300 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.16 4.14 5/266 122256
/proc/meminfo: memFree=122208660/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1365412 memory=1199364 CPUtime=50.95 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 278110 0 0 0 5050 45 0 0 20 0 1 0 142015703 1398181888 299841 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 341353 299841 4320 2834 0 323558 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1365412 KiB
Current children cumulated memory: 1199364 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/266 122258
/proc/meminfo: memFree=122045604/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1365412 memory=1199748 CPUtime=102 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 278210 0 0 0 10155 45 0 0 20 0 1 0 142015703 1398181888 299937 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 341353 299937 4320 2834 0 323558 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1365412 KiB
Current children cumulated memory: 1199748 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/265 122260
/proc/meminfo: memFree=121877744/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1365412 memory=1200004 CPUtime=161.84 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 278298 0 0 0 16139 45 0 0 20 0 1 0 142015703 1398181888 300001 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 341353 300001 4320 2834 0 323558 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1365412 KiB
Current children cumulated memory: 1200004 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/265 122261
/proc/meminfo: memFree=121751096/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1418404 memory=1256096 CPUtime=221.68 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 293908 0 0 0 22120 48 0 0 20 0 1 0 142015703 1452445696 314024 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 354601 314024 4352 2834 0 336806 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1418404 KiB
Current children cumulated memory: 1256096 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.20 4.14 5/265 122263
/proc/meminfo: memFree=121269936/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1418404 memory=1256992 CPUtime=281.51 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 294118 0 0 0 28103 48 0 0 20 0 1 0 142015703 1452445696 314248 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 354601 314248 4352 2834 0 336806 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1418404 KiB
Current children cumulated memory: 1256992 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/264 122267
/proc/meminfo: memFree=121161320/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1373196 memory=1258232 CPUtime=341.34 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 299416 0 0 0 33925 209 0 0 20 0 1 0 142015703 1406152704 314558 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 343299 314558 4448 2834 0 325504 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1373196 KiB
Current children cumulated memory: 1258232 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/264 122359
/proc/meminfo: memFree=124223028/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1454584 memory=1348964 CPUtime=401.17 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 300125 0 0 0 39777 340 0 0 20 0 1 0 142015703 1489494016 337241 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 363646 337241 4448 2834 0 345851 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1454584 KiB
Current children cumulated memory: 1348964 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/266 122369
/proc/meminfo: memFree=124122880/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=1454584 memory=1354596 CPUtime=460.99 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 301564 0 0 0 45658 441 0 0 20 0 1 0 142015703 1489494016 338649 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 363646 338649 4448 2834 0 345851 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
/proc/122252/statm: 878136 765547 4448 2834 0 860341 0
Current children cumulated CPU time: 2853.87 s
Current children cumulated vsize: 3512544 KiB
Current children cumulated memory: 3062188 KiB
[startup+2922.3 s]
/proc/loadavg: 3.22 3.72 3.94 4/258 122577
/proc/meminfo: memFree=119353284/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=3518240 memory=3067948 CPUtime=2913.69 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 594148 0 0 0 288881 2488 0 0 20 0 1 0 142015703 3602677760 766987 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 879560 766987 4448 2834 0 861765 0
Current children cumulated CPU time: 2913.69 s
Current children cumulated vsize: 3518240 KiB
Current children cumulated memory: 3067948 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.60 3.89 4/258 122580
/proc/meminfo: memFree=119093428/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=3526484 memory=3076268 CPUtime=2973.51 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 596287 0 0 0 294781 2570 0 0 20 0 1 0 142015703 3611119616 769067 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 881621 769067 4448 2834 0 863826 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 3526484 KiB
Current children cumulated memory: 3076268 KiB
[startup+3042.3 s]
/proc/loadavg: 3.15 3.52 3.84 4/258 122582
/proc/meminfo: memFree=118476340/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=3562848 memory=3112620 CPUtime=3033.32 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 605456 0 0 0 300714 2618 0 0 20 0 1 0 142015703 3648356352 778155 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 890712 778155 4448 2834 0 872917 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 3562848 KiB
Current children cumulated memory: 3112620 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.44 3.79 4/258 122584
/proc/meminfo: memFree=117619608/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4212412 memory=3370396 CPUtime=3093.15 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 626502 0 0 0 306677 2638 0 0 20 0 1 0 142015703 4313509888 842599 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1053103 842599 4448 2834 0 1035308 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 4212412 KiB
Current children cumulated memory: 3370396 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.39 3.75 4/259 122587
/proc/meminfo: memFree=117329512/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4258080 memory=3404572 CPUtime=3152.96 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 635075 0 0 0 312649 2647 0 0 20 0 1 0 142015703 4360273920 851143 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1064520 851143 4448 2834 0 1046725 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 4258080 KiB
Current children cumulated memory: 3404572 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.33 3.70 4/258 122589
/proc/meminfo: memFree=116977560/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4366960 memory=3487132 CPUtime=3212.78 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 655719 0 0 0 318617 2661 0 0 20 0 1 0 142015703 4471767040 871783 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1091740 871783 4448 2834 0 1073945 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 4366960 KiB
Current children cumulated memory: 3487132 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.28 3.66 4/258 122591
/proc/meminfo: memFree=116612068/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4488056 memory=3592092 CPUtime=3272.6 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 681965 0 0 0 324582 2678 0 0 20 0 1 0 142015703 4595769344 898023 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1122014 898023 4448 2834 0 1104219 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 4488056 KiB
Current children cumulated memory: 3592092 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.26 3.63 4/258 122594
/proc/meminfo: memFree=116212092/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4575828 memory=3666460 CPUtime=3332.41 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 700540 0 0 0 330555 2686 0 0 20 0 1 0 142015703 4685647872 916615 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1143957 916615 4448 2834 0 1126162 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 4575828 KiB
Current children cumulated memory: 3666460 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.23 3.59 4/258 122596
/proc/meminfo: memFree=115728244/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4781144 memory=3807772 CPUtime=3392.23 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 735872 0 0 0 336526 2697 0 0 20 0 1 0 142015703 4895891456 951943 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1195286 951943 4448 2834 0 1177491 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 4781144 KiB
Current children cumulated memory: 3807772 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.20 3.56 4/257 122598
/proc/meminfo: memFree=115439448/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4832864 memory=3869084 CPUtime=3452.03 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 751213 0 0 0 342500 2703 0 0 20 0 1 0 142015703 4948852736 967271 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1208216 967271 4448 2834 0 1190421 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 4832864 KiB
Current children cumulated memory: 3869084 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.19 3.53 4/258 122607
/proc/meminfo: memFree=115147268/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4868452 memory=3990476 CPUtime=3511.85 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 763673 0 0 0 348475 2710 0 0 20 0 1 0 142015703 4985294848 997619 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1217113 997619 4448 2834 0 1199318 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 4868452 KiB
Current children cumulated memory: 3990476 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.17 3.50 4/258 122609
/proc/meminfo: memFree=114968440/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4903700 memory=4056044 CPUtime=3571.67 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 770891 0 0 0 354447 2720 0 0 20 0 1 0 142015703 5021388800 1014011 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1225925 1014011 4448 2834 0 1208130 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 4903700 KiB
Current children cumulated memory: 4056044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.98 3.13 3.48 3/253 122642
/proc/meminfo: memFree=123980548/131250000 swapFree=33010416/33010684
[pid=122252] ppid=122249 vsize=4903700 memory=4063724 CPUtime=3600.08 cores=0,2
/proc/122252/stat : 122252 (mixed-bag) R 122249 122252 121298 0 -1 4194304 771540 0 0 0 357249 2759 0 0 20 0 1 0 142015703 5021388800 1015931 18446744073709551615 4235264 15840557 140721190765104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 38301696 140721190771098 140721190771175 140721190771175 140721190776779 0
/proc/122252/statm: 1225925 1015931 4448 2834 0 1208130 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4903700 KiB
Current children cumulated memory: 4063724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 122252 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.51 s, system=27.6921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]*
/proc/loadavg: 2.98 3.13 3.48 3/253 122642
/proc/meminfo: memFree=127008680/131250000 swapFree=33010416/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.91
CPU time (s): 3600.21
CPU user time (s): 3572.51
CPU system time (s): 27.6921
CPU usage (%): 99.7034
Max. virtual memory (cumulated for all children) (KiB): 4903700
Max. memory (cumulated for all children) (KiB): 4063724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.51
system time used= 27.6921
maximum resident set size= 4064236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771588
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= 168
involuntary context switches= 22227
# summary of solver processes directly reported to runsolver:
# pid: 122252
# total CPU time (s): 3600.21
# total CPU user time (s): 3572.51
# total CPU system time (s): 27.6921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75543 second user time and 15.3476 second system time
The end
Begin job on nodeC018 at 2025-07-11 21:49:39
IDJOB=4529224
IDBENCH=158611
IDSOLVER=3386
FILE ID=nodeC018/4529224-1752263379
RUNJOBID= nodeC018-1752256148-121308
SLURM_JOB_ID= 9682594
Free space on /tmp= 432516 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529224-1752263379/watcher-4529224-1752263379 -o /tmp/evaluation-result-4529224-1752263379/solver-4529224-1752263379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760 mixed-bag HOME/instance-4529224-1752263379.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=783004477
nodeC018 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 : 3600.571
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.66
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.792
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.850
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.66
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 : 3597.423
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.66
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.862
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.66
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.752
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.66
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 : 3700.000
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.445
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124116796 kB
MemAvailable: 125095152 kB
Buffers: 2128 kB
Cached: 1739580 kB
SwapCached: 32 kB
Active: 5209540 kB
Inactive: 1210728 kB
Active(anon): 4696316 kB
Inactive(anon): 288 kB
Active(file): 513224 kB
Inactive(file): 1210440 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39864 kB
Writeback: 0 kB
AnonPages: 4680748 kB
Mapped: 139596 kB
Shmem: 18044 kB
KReclaimable: 187460 kB
Slab: 281100 kB
SReclaimable: 187460 kB
SUnreclaim: 93640 kB
KernelStack: 4272 kB
PageTables: 12808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5614672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1986560 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432536 MiB
End job on nodeC018 at 2025-07-11 22:49:50