0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 5568 #constraints 412
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= 0 @ 0.027694
0.00/0.04 c stratification level: 0
0.61/0.71 c bounds - >= 15 @ 0.02962
0.61/0.71 c finalizing WCE round: reformulating cores
79.18/79.58 c #Conflicts: 1000 | #Constraints: 1415
79.18/79.58 c bounds 23 >= 15 @ 1.37664
79.18/79.58 c #Conflicts: 2000 | #Constraints: 2415
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 3000 | #Constraints: 2422
79.18/79.58 c #Conflicts: 4000 | #Constraints: 3422
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 5000 | #Constraints: 2824
79.18/79.58 c #Conflicts: 6000 | #Constraints: 3824
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 7000 | #Constraints: 2829
79.18/79.58 c #Conflicts: 8000 | #Constraints: 3829
79.18/79.58 c #Conflicts: 9000 | #Constraints: 4829
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 10000 | #Constraints: 3537
79.18/79.58 c #Conflicts: 11000 | #Constraints: 4537
79.18/79.58 c #Conflicts: 12000 | #Constraints: 5537
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 13000 | #Constraints: 3983
79.18/79.58 c #Conflicts: 14000 | #Constraints: 4983
79.18/79.58 c #Conflicts: 15000 | #Constraints: 5983
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 16000 | #Constraints: 4213
79.18/79.58 c #Conflicts: 17000 | #Constraints: 5213
79.18/79.58 c #Conflicts: 18000 | #Constraints: 6213
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 19000 | #Constraints: 4235
79.18/79.58 c #Conflicts: 20000 | #Constraints: 5235
79.18/79.58 c #Conflicts: 21000 | #Constraints: 6235
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 22000 | #Constraints: 4033
79.18/79.58 c #Conflicts: 23000 | #Constraints: 5033
79.18/79.58 c #Conflicts: 24000 | #Constraints: 6033
79.18/79.58 c #Conflicts: 25000 | #Constraints: 7033
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 26000 | #Constraints: 4634
79.18/79.58 c #Conflicts: 27000 | #Constraints: 5634
79.18/79.58 c #Conflicts: 28000 | #Constraints: 6634
79.18/79.58 c #Conflicts: 29000 | #Constraints: 7634
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 30000 | #Constraints: 5036
79.18/79.58 c #Conflicts: 31000 | #Constraints: 6036
79.18/79.58 c #Conflicts: 32000 | #Constraints: 7036
79.18/79.58 c #Conflicts: 33000 | #Constraints: 8036
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 34000 | #Constraints: 5239
79.18/79.58 c #Conflicts: 35000 | #Constraints: 6239
79.18/79.58 c #Conflicts: 36000 | #Constraints: 7239
79.18/79.58 c #Conflicts: 37000 | #Constraints: 8239
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 38000 | #Constraints: 5241
79.18/79.58 c #Conflicts: 39000 | #Constraints: 6241
79.18/79.58 c #Conflicts: 40000 | #Constraints: 7241
79.18/79.58 c #Conflicts: 41000 | #Constraints: 8241
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 42000 | #Constraints: 5049
79.18/79.58 c #Conflicts: 43000 | #Constraints: 6049
79.18/79.58 c #Conflicts: 44000 | #Constraints: 7049
79.18/79.58 c #Conflicts: 45000 | #Constraints: 8049
79.18/79.58 c #Conflicts: 46000 | #Constraints: 9049
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 47000 | #Constraints: 5642
79.18/79.58 c #Conflicts: 48000 | #Constraints: 6642
79.18/79.58 c #Conflicts: 49000 | #Constraints: 7642
79.18/79.58 c #Conflicts: 50000 | #Constraints: 8642
79.18/79.58 c #Conflicts: 51000 | #Constraints: 9642
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 52000 | #Constraints: 6044
79.18/79.58 c #Conflicts: 53000 | #Constraints: 7044
79.18/79.58 c #Conflicts: 54000 | #Constraints: 8044
79.18/79.58 c #Conflicts: 55000 | #Constraints: 9044
79.18/79.58 c #Conflicts: 56000 | #Constraints: 10044
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 57000 | #Constraints: 6238
79.18/79.58 c #Conflicts: 58000 | #Constraints: 7238
79.18/79.58 c #Conflicts: 59000 | #Constraints: 8238
79.18/79.58 c #Conflicts: 60000 | #Constraints: 9238
79.18/79.58 c #Conflicts: 61000 | #Constraints: 10238
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 62000 | #Constraints: 6240
79.18/79.58 c #Conflicts: 63000 | #Constraints: 7240
79.18/79.58 c #Conflicts: 64000 | #Constraints: 8240
79.18/79.58 c #Conflicts: 65000 | #Constraints: 9240
79.18/79.58 c #Conflicts: 66000 | #Constraints: 10240
79.18/79.58 c INPROCESSING
79.18/79.58 c GARBAGE COLLECT
79.18/79.58 c #Conflicts: 67000 | #Constraints: 6041
269.04/269.99 c #Conflicts: 68000 | #Constraints: 7041
269.04/269.99 c #Conflicts: 69000 | #Constraints: 8041
269.04/269.99 c #Conflicts: 70000 | #Constraints: 9041
269.04/269.99 c #Conflicts: 71000 | #Constraints: 10041
269.04/269.99 c #Conflicts: 72000 | #Constraints: 11041
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 73000 | #Constraints: 6636
269.04/269.99 c #Conflicts: 74000 | #Constraints: 7636
269.04/269.99 c #Conflicts: 75000 | #Constraints: 8636
269.04/269.99 c #Conflicts: 76000 | #Constraints: 9636
269.04/269.99 c #Conflicts: 77000 | #Constraints: 10636
269.04/269.99 c #Conflicts: 78000 | #Constraints: 11636
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 79000 | #Constraints: 7037
269.04/269.99 c #Conflicts: 80000 | #Constraints: 8037
269.04/269.99 c #Conflicts: 81000 | #Constraints: 9037
269.04/269.99 c #Conflicts: 82000 | #Constraints: 10037
269.04/269.99 c #Conflicts: 83000 | #Constraints: 11037
269.04/269.99 c #Conflicts: 84000 | #Constraints: 12037
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 85000 | #Constraints: 7237
269.04/269.99 c #Conflicts: 86000 | #Constraints: 8237
269.04/269.99 c #Conflicts: 87000 | #Constraints: 9237
269.04/269.99 c #Conflicts: 88000 | #Constraints: 10237
269.04/269.99 c #Conflicts: 89000 | #Constraints: 11237
269.04/269.99 c #Conflicts: 90000 | #Constraints: 12237
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 91000 | #Constraints: 7241
269.04/269.99 c #Conflicts: 92000 | #Constraints: 8241
269.04/269.99 c #Conflicts: 93000 | #Constraints: 9241
269.04/269.99 c #Conflicts: 94000 | #Constraints: 10241
269.04/269.99 c #Conflicts: 95000 | #Constraints: 11241
269.04/269.99 c #Conflicts: 96000 | #Constraints: 12241
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 97000 | #Constraints: 7050
269.04/269.99 c #Conflicts: 98000 | #Constraints: 8050
269.04/269.99 c #Conflicts: 99000 | #Constraints: 9050
269.04/269.99 c #Conflicts: 100000 | #Constraints: 10050
269.04/269.99 c #Conflicts: 101000 | #Constraints: 11050
269.04/269.99 c #Conflicts: 102000 | #Constraints: 12050
269.04/269.99 c #Conflicts: 103000 | #Constraints: 13050
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 104000 | #Constraints: 7645
269.04/269.99 c #Conflicts: 105000 | #Constraints: 8645
269.04/269.99 c #Conflicts: 106000 | #Constraints: 9645
269.04/269.99 c #Conflicts: 107000 | #Constraints: 10645
269.04/269.99 c #Conflicts: 108000 | #Constraints: 11645
269.04/269.99 c #Conflicts: 109000 | #Constraints: 12645
269.04/269.99 c #Conflicts: 110000 | #Constraints: 13645
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 111000 | #Constraints: 8047
269.04/269.99 c #Conflicts: 112000 | #Constraints: 9047
269.04/269.99 c #Conflicts: 113000 | #Constraints: 10047
269.04/269.99 c #Conflicts: 114000 | #Constraints: 11047
269.04/269.99 c #Conflicts: 115000 | #Constraints: 12047
269.04/269.99 c #Conflicts: 116000 | #Constraints: 13047
269.04/269.99 c #Conflicts: 117000 | #Constraints: 14047
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 118000 | #Constraints: 8250
269.04/269.99 c #Conflicts: 119000 | #Constraints: 9250
269.04/269.99 c #Conflicts: 120000 | #Constraints: 10250
269.04/269.99 c #Conflicts: 121000 | #Constraints: 11250
269.04/269.99 c #Conflicts: 122000 | #Constraints: 12250
269.04/269.99 c #Conflicts: 123000 | #Constraints: 13250
269.04/269.99 c #Conflicts: 124000 | #Constraints: 14250
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 125000 | #Constraints: 8244
269.04/269.99 c #Conflicts: 126000 | #Constraints: 9244
269.04/269.99 c #Conflicts: 127000 | #Constraints: 10244
269.04/269.99 c #Conflicts: 128000 | #Constraints: 11244
269.04/269.99 c #Conflicts: 129000 | #Constraints: 12244
269.04/269.99 c #Conflicts: 130000 | #Constraints: 13244
269.04/269.99 c #Conflicts: 131000 | #Constraints: 14244
269.04/269.99 c INPROCESSING
269.04/269.99 c GARBAGE COLLECT
269.04/269.99 c #Conflicts: 132000 | #Constraints: 8044
269.04/269.99 c #Conflicts: 133000 | #Constraints: 9044
269.04/269.99 c #Conflicts: 134000 | #Constraints: 10044
269.04/269.99 c #Conflicts: 135000 | #Constraints: 11044
269.04/269.99 c #Conflicts: 136000 | #Constraints: 12044
269.04/269.99 c #Conflicts: 137000 | #Constraints: 13044
269.04/269.99 c #Conflicts: 138000 | #Constraints: 14044
269.04/269.99 c #Conflicts: 139000 | #Constraints: 15044
269.04/269.99 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 140000 | #Constraints: 8648
538.17/539.88 c #Conflicts: 141000 | #Constraints: 9648
538.17/539.88 c #Conflicts: 142000 | #Constraints: 10648
538.17/539.88 c #Conflicts: 143000 | #Constraints: 11648
538.17/539.88 c #Conflicts: 144000 | #Constraints: 12648
538.17/539.88 c #Conflicts: 145000 | #Constraints: 13648
538.17/539.88 c #Conflicts: 146000 | #Constraints: 14648
538.17/539.88 c #Conflicts: 147000 | #Constraints: 15648
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 148000 | #Constraints: 9044
538.17/539.88 c #Conflicts: 149000 | #Constraints: 10044
538.17/539.88 c #Conflicts: 150000 | #Constraints: 11044
538.17/539.88 c #Conflicts: 151000 | #Constraints: 12044
538.17/539.88 c #Conflicts: 152000 | #Constraints: 13044
538.17/539.88 c #Conflicts: 153000 | #Constraints: 14044
538.17/539.88 c #Conflicts: 154000 | #Constraints: 15044
538.17/539.88 c #Conflicts: 155000 | #Constraints: 16044
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 156000 | #Constraints: 9244
538.17/539.88 c #Conflicts: 157000 | #Constraints: 10244
538.17/539.88 c #Conflicts: 158000 | #Constraints: 11244
538.17/539.88 c #Conflicts: 159000 | #Constraints: 12244
538.17/539.88 c #Conflicts: 160000 | #Constraints: 13244
538.17/539.88 c #Conflicts: 161000 | #Constraints: 14244
538.17/539.88 c #Conflicts: 162000 | #Constraints: 15244
538.17/539.88 c #Conflicts: 163000 | #Constraints: 16244
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 164000 | #Constraints: 9240
538.17/539.88 c #Conflicts: 165000 | #Constraints: 10240
538.17/539.88 c #Conflicts: 166000 | #Constraints: 11240
538.17/539.88 c #Conflicts: 167000 | #Constraints: 12240
538.17/539.88 c #Conflicts: 168000 | #Constraints: 13240
538.17/539.88 c #Conflicts: 169000 | #Constraints: 14240
538.17/539.88 c #Conflicts: 170000 | #Constraints: 15240
538.17/539.88 c #Conflicts: 171000 | #Constraints: 16240
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 172000 | #Constraints: 9037
538.17/539.88 c #Conflicts: 173000 | #Constraints: 10037
538.17/539.88 c #Conflicts: 174000 | #Constraints: 11037
538.17/539.88 c #Conflicts: 175000 | #Constraints: 12037
538.17/539.88 c #Conflicts: 176000 | #Constraints: 13037
538.17/539.88 c #Conflicts: 177000 | #Constraints: 14037
538.17/539.88 c #Conflicts: 178000 | #Constraints: 15037
538.17/539.88 c #Conflicts: 179000 | #Constraints: 16037
538.17/539.88 c #Conflicts: 180000 | #Constraints: 17037
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 181000 | #Constraints: 9641
538.17/539.88 c #Conflicts: 182000 | #Constraints: 10641
538.17/539.88 c #Conflicts: 183000 | #Constraints: 11641
538.17/539.88 c #Conflicts: 184000 | #Constraints: 12641
538.17/539.88 c #Conflicts: 185000 | #Constraints: 13641
538.17/539.88 c #Conflicts: 186000 | #Constraints: 14641
538.17/539.88 c #Conflicts: 187000 | #Constraints: 15641
538.17/539.88 c #Conflicts: 188000 | #Constraints: 16641
538.17/539.88 c #Conflicts: 189000 | #Constraints: 17641
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 190000 | #Constraints: 10044
538.17/539.88 c #Conflicts: 191000 | #Constraints: 11044
538.17/539.88 c #Conflicts: 192000 | #Constraints: 12044
538.17/539.88 c #Conflicts: 193000 | #Constraints: 13044
538.17/539.88 c #Conflicts: 194000 | #Constraints: 14044
538.17/539.88 c #Conflicts: 195000 | #Constraints: 15044
538.17/539.88 c #Conflicts: 196000 | #Constraints: 16044
538.17/539.88 c #Conflicts: 197000 | #Constraints: 17044
538.17/539.88 c #Conflicts: 198000 | #Constraints: 18044
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 199000 | #Constraints: 10249
538.17/539.88 c #Conflicts: 200000 | #Constraints: 11249
538.17/539.88 c #Conflicts: 201000 | #Constraints: 12249
538.17/539.88 c #Conflicts: 202000 | #Constraints: 13249
538.17/539.88 c #Conflicts: 203000 | #Constraints: 14249
538.17/539.88 c #Conflicts: 204000 | #Constraints: 15249
538.17/539.88 c #Conflicts: 205000 | #Constraints: 16249
538.17/539.88 c #Conflicts: 206000 | #Constraints: 17249
538.17/539.88 c #Conflicts: 207000 | #Constraints: 18249
538.17/539.88 c INPROCESSING
538.17/539.88 c GARBAGE COLLECT
538.17/539.88 c #Conflicts: 208000 | #Constraints: 10252
538.17/539.88 c #Conflicts: 209000 | #Constraints: 11252
538.17/539.88 c #Conflicts: 210000 | #Constraints: 12252
538.17/539.88 c #Conflicts: 211000 | #Constraints: 13252
538.17/539.88 c #Conflicts: 212000 | #Constraints: 14252
538.17/539.88 c #Conflicts: 213000 | #Constraints: 15252
883.16/885.82 c #Conflicts: 214000 | #Constraints: 16252
883.16/885.82 c #Conflicts: 215000 | #Constraints: 17252
883.16/885.82 c #Conflicts: 216000 | #Constraints: 18252
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 217000 | #Constraints: 10054
883.16/885.82 c #Conflicts: 218000 | #Constraints: 11054
883.16/885.82 c #Conflicts: 219000 | #Constraints: 12054
883.16/885.82 c #Conflicts: 220000 | #Constraints: 13054
883.16/885.82 c #Conflicts: 221000 | #Constraints: 14054
883.16/885.82 c #Conflicts: 222000 | #Constraints: 15054
883.16/885.82 c #Conflicts: 223000 | #Constraints: 16054
883.16/885.82 c #Conflicts: 224000 | #Constraints: 17054
883.16/885.82 c #Conflicts: 225000 | #Constraints: 18054
883.16/885.82 c #Conflicts: 226000 | #Constraints: 19054
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 227000 | #Constraints: 10651
883.16/885.82 c #Conflicts: 228000 | #Constraints: 11651
883.16/885.82 c #Conflicts: 229000 | #Constraints: 12651
883.16/885.82 c #Conflicts: 230000 | #Constraints: 13651
883.16/885.82 c #Conflicts: 231000 | #Constraints: 14651
883.16/885.82 c #Conflicts: 232000 | #Constraints: 15651
883.16/885.82 c #Conflicts: 233000 | #Constraints: 16651
883.16/885.82 c #Conflicts: 234000 | #Constraints: 17651
883.16/885.82 c #Conflicts: 235000 | #Constraints: 18651
883.16/885.82 c #Conflicts: 236000 | #Constraints: 19651
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 237000 | #Constraints: 11051
883.16/885.82 c #Conflicts: 238000 | #Constraints: 12051
883.16/885.82 c #Conflicts: 239000 | #Constraints: 13051
883.16/885.82 c #Conflicts: 240000 | #Constraints: 14051
883.16/885.82 c #Conflicts: 241000 | #Constraints: 15051
883.16/885.82 c #Conflicts: 242000 | #Constraints: 16051
883.16/885.82 c #Conflicts: 243000 | #Constraints: 17051
883.16/885.82 c #Conflicts: 244000 | #Constraints: 18051
883.16/885.82 c #Conflicts: 245000 | #Constraints: 19051
883.16/885.82 c #Conflicts: 246000 | #Constraints: 20051
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 247000 | #Constraints: 11245
883.16/885.82 c #Conflicts: 248000 | #Constraints: 12245
883.16/885.82 c #Conflicts: 249000 | #Constraints: 13245
883.16/885.82 c #Conflicts: 250000 | #Constraints: 14245
883.16/885.82 c #Conflicts: 251000 | #Constraints: 15245
883.16/885.82 c #Conflicts: 252000 | #Constraints: 16245
883.16/885.82 c #Conflicts: 253000 | #Constraints: 17245
883.16/885.82 c #Conflicts: 254000 | #Constraints: 18245
883.16/885.82 c #Conflicts: 255000 | #Constraints: 19245
883.16/885.82 c #Conflicts: 256000 | #Constraints: 20245
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 257000 | #Constraints: 11248
883.16/885.82 c #Conflicts: 258000 | #Constraints: 12248
883.16/885.82 c #Conflicts: 259000 | #Constraints: 13248
883.16/885.82 c #Conflicts: 260000 | #Constraints: 14248
883.16/885.82 c #Conflicts: 261000 | #Constraints: 15248
883.16/885.82 c #Conflicts: 262000 | #Constraints: 16248
883.16/885.82 c #Conflicts: 263000 | #Constraints: 17248
883.16/885.82 c #Conflicts: 264000 | #Constraints: 18248
883.16/885.82 c #Conflicts: 265000 | #Constraints: 19248
883.16/885.82 c #Conflicts: 266000 | #Constraints: 20248
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 267000 | #Constraints: 11044
883.16/885.82 c #Conflicts: 268000 | #Constraints: 12044
883.16/885.82 c #Conflicts: 269000 | #Constraints: 13044
883.16/885.82 c #Conflicts: 270000 | #Constraints: 14044
883.16/885.82 c #Conflicts: 271000 | #Constraints: 15044
883.16/885.82 c #Conflicts: 272000 | #Constraints: 16044
883.16/885.82 c #Conflicts: 273000 | #Constraints: 17044
883.16/885.82 c #Conflicts: 274000 | #Constraints: 18044
883.16/885.82 c #Conflicts: 275000 | #Constraints: 19044
883.16/885.82 c #Conflicts: 276000 | #Constraints: 20044
883.16/885.82 c #Conflicts: 277000 | #Constraints: 21044
883.16/885.82 c INPROCESSING
883.16/885.82 c GARBAGE COLLECT
883.16/885.82 c #Conflicts: 278000 | #Constraints: 11643
883.16/885.82 c #Conflicts: 279000 | #Constraints: 12643
883.16/885.82 c #Conflicts: 280000 | #Constraints: 13643
883.16/885.82 c #Conflicts: 281000 | #Constraints: 14643
883.16/885.82 c #Conflicts: 282000 | #Constraints: 15643
883.16/885.82 c #Conflicts: 283000 | #Constraints: 16643
883.16/885.82 c #Conflicts: 284000 | #Constraints: 17643
883.16/885.82 c #Conflicts: 285000 | #Constraints: 18643
883.16/885.82 c #Conflicts: 286000 | #Constraints: 19643
883.16/885.82 c #Conflicts: 287000 | #Constraints: 20643
1324.71/1328.81 c #Conflicts: 288000 | #Constraints: 21643
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 289000 | #Constraints: 12041
1324.71/1328.81 c #Conflicts: 290000 | #Constraints: 13041
1324.71/1328.81 c #Conflicts: 291000 | #Constraints: 14041
1324.71/1328.81 c #Conflicts: 292000 | #Constraints: 15041
1324.71/1328.81 c #Conflicts: 293000 | #Constraints: 16041
1324.71/1328.81 c #Conflicts: 294000 | #Constraints: 17041
1324.71/1328.81 c #Conflicts: 295000 | #Constraints: 18041
1324.71/1328.81 c #Conflicts: 296000 | #Constraints: 19041
1324.71/1328.81 c #Conflicts: 297000 | #Constraints: 20041
1324.71/1328.81 c #Conflicts: 298000 | #Constraints: 21041
1324.71/1328.81 c #Conflicts: 299000 | #Constraints: 22041
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 300000 | #Constraints: 12241
1324.71/1328.81 c #Conflicts: 301000 | #Constraints: 13241
1324.71/1328.81 c #Conflicts: 302000 | #Constraints: 14241
1324.71/1328.81 c #Conflicts: 303000 | #Constraints: 15241
1324.71/1328.81 c #Conflicts: 304000 | #Constraints: 16241
1324.71/1328.81 c #Conflicts: 305000 | #Constraints: 17241
1324.71/1328.81 c #Conflicts: 306000 | #Constraints: 18241
1324.71/1328.81 c #Conflicts: 307000 | #Constraints: 19241
1324.71/1328.81 c #Conflicts: 308000 | #Constraints: 20241
1324.71/1328.81 c #Conflicts: 309000 | #Constraints: 21241
1324.71/1328.81 c #Conflicts: 310000 | #Constraints: 22241
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 311000 | #Constraints: 12245
1324.71/1328.81 c #Conflicts: 312000 | #Constraints: 13245
1324.71/1328.81 c #Conflicts: 313000 | #Constraints: 14245
1324.71/1328.81 c #Conflicts: 314000 | #Constraints: 15245
1324.71/1328.81 c #Conflicts: 315000 | #Constraints: 16245
1324.71/1328.81 c #Conflicts: 316000 | #Constraints: 17245
1324.71/1328.81 c #Conflicts: 317000 | #Constraints: 18245
1324.71/1328.81 c #Conflicts: 318000 | #Constraints: 19245
1324.71/1328.81 c #Conflicts: 319000 | #Constraints: 20245
1324.71/1328.81 c #Conflicts: 320000 | #Constraints: 21245
1324.71/1328.81 c #Conflicts: 321000 | #Constraints: 22245
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 322000 | #Constraints: 12046
1324.71/1328.81 c #Conflicts: 323000 | #Constraints: 13046
1324.71/1328.81 c #Conflicts: 324000 | #Constraints: 14046
1324.71/1328.81 c #Conflicts: 325000 | #Constraints: 15046
1324.71/1328.81 c #Conflicts: 326000 | #Constraints: 16046
1324.71/1328.81 c #Conflicts: 327000 | #Constraints: 17046
1324.71/1328.81 c #Conflicts: 328000 | #Constraints: 18046
1324.71/1328.81 c #Conflicts: 329000 | #Constraints: 19046
1324.71/1328.81 c #Conflicts: 330000 | #Constraints: 20046
1324.71/1328.81 c #Conflicts: 331000 | #Constraints: 21046
1324.71/1328.81 c #Conflicts: 332000 | #Constraints: 22046
1324.71/1328.81 c #Conflicts: 333000 | #Constraints: 23046
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 334000 | #Constraints: 12647
1324.71/1328.81 c #Conflicts: 335000 | #Constraints: 13647
1324.71/1328.81 c #Conflicts: 336000 | #Constraints: 14647
1324.71/1328.81 c #Conflicts: 337000 | #Constraints: 15647
1324.71/1328.81 c #Conflicts: 338000 | #Constraints: 16647
1324.71/1328.81 c #Conflicts: 339000 | #Constraints: 17647
1324.71/1328.81 c #Conflicts: 340000 | #Constraints: 18647
1324.71/1328.81 c #Conflicts: 341000 | #Constraints: 19647
1324.71/1328.81 c #Conflicts: 342000 | #Constraints: 20647
1324.71/1328.81 c #Conflicts: 343000 | #Constraints: 21647
1324.71/1328.81 c #Conflicts: 344000 | #Constraints: 22647
1324.71/1328.81 c #Conflicts: 345000 | #Constraints: 23647
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 346000 | #Constraints: 13046
1324.71/1328.81 c #Conflicts: 347000 | #Constraints: 14046
1324.71/1328.81 c #Conflicts: 348000 | #Constraints: 15046
1324.71/1328.81 c #Conflicts: 349000 | #Constraints: 16046
1324.71/1328.81 c #Conflicts: 350000 | #Constraints: 17046
1324.71/1328.81 c #Conflicts: 351000 | #Constraints: 18046
1324.71/1328.81 c #Conflicts: 352000 | #Constraints: 19046
1324.71/1328.81 c #Conflicts: 353000 | #Constraints: 20046
1324.71/1328.81 c #Conflicts: 354000 | #Constraints: 21046
1324.71/1328.81 c #Conflicts: 355000 | #Constraints: 22046
1324.71/1328.81 c #Conflicts: 356000 | #Constraints: 23046
1324.71/1328.81 c #Conflicts: 357000 | #Constraints: 24046
1324.71/1328.81 c INPROCESSING
1324.71/1328.81 c GARBAGE COLLECT
1324.71/1328.81 c #Conflicts: 358000 | #Constraints: 13248
1324.71/1328.81 c #Conflicts: 359000 | #Constraints: 14248
1324.71/1328.81 c #Conflicts: 360000 | #Constraints: 15248
1324.71/1328.81 c #Conflicts: 361000 | #Constraints: 16248
1863.73/1869.66 c #Conflicts: 362000 | #Constraints: 17248
1863.73/1869.66 c #Conflicts: 363000 | #Constraints: 18248
1863.73/1869.66 c #Conflicts: 364000 | #Constraints: 19248
1863.73/1869.66 c #Conflicts: 365000 | #Constraints: 20248
1863.73/1869.66 c #Conflicts: 366000 | #Constraints: 21248
1863.73/1869.66 c #Conflicts: 367000 | #Constraints: 22248
1863.73/1869.66 c #Conflicts: 368000 | #Constraints: 23248
1863.73/1869.66 c #Conflicts: 369000 | #Constraints: 24248
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 370000 | #Constraints: 13242
1863.73/1869.66 c #Conflicts: 371000 | #Constraints: 14242
1863.73/1869.66 c #Conflicts: 372000 | #Constraints: 15242
1863.73/1869.66 c #Conflicts: 373000 | #Constraints: 16242
1863.73/1869.66 c #Conflicts: 374000 | #Constraints: 17242
1863.73/1869.66 c #Conflicts: 375000 | #Constraints: 18242
1863.73/1869.66 c #Conflicts: 376000 | #Constraints: 19242
1863.73/1869.66 c #Conflicts: 377000 | #Constraints: 20242
1863.73/1869.66 c #Conflicts: 378000 | #Constraints: 21242
1863.73/1869.66 c #Conflicts: 379000 | #Constraints: 22242
1863.73/1869.66 c #Conflicts: 380000 | #Constraints: 23242
1863.73/1869.66 c #Conflicts: 381000 | #Constraints: 24242
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 382000 | #Constraints: 13040
1863.73/1869.66 c #Conflicts: 383000 | #Constraints: 14040
1863.73/1869.66 c #Conflicts: 384000 | #Constraints: 15040
1863.73/1869.66 c #Conflicts: 385000 | #Constraints: 16040
1863.73/1869.66 c #Conflicts: 386000 | #Constraints: 17040
1863.73/1869.66 c #Conflicts: 387000 | #Constraints: 18040
1863.73/1869.66 c #Conflicts: 388000 | #Constraints: 19040
1863.73/1869.66 c #Conflicts: 389000 | #Constraints: 20040
1863.73/1869.66 c #Conflicts: 390000 | #Constraints: 21040
1863.73/1869.66 c #Conflicts: 391000 | #Constraints: 22040
1863.73/1869.66 c #Conflicts: 392000 | #Constraints: 23040
1863.73/1869.66 c #Conflicts: 393000 | #Constraints: 24040
1863.73/1869.66 c #Conflicts: 394000 | #Constraints: 25040
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 395000 | #Constraints: 13644
1863.73/1869.66 c #Conflicts: 396000 | #Constraints: 14644
1863.73/1869.66 c #Conflicts: 397000 | #Constraints: 15644
1863.73/1869.66 c #Conflicts: 398000 | #Constraints: 16644
1863.73/1869.66 c #Conflicts: 399000 | #Constraints: 17644
1863.73/1869.66 c #Conflicts: 400000 | #Constraints: 18644
1863.73/1869.66 c #Conflicts: 401000 | #Constraints: 19644
1863.73/1869.66 c #Conflicts: 402000 | #Constraints: 20644
1863.73/1869.66 c #Conflicts: 403000 | #Constraints: 21644
1863.73/1869.66 c #Conflicts: 404000 | #Constraints: 22644
1863.73/1869.66 c #Conflicts: 405000 | #Constraints: 23644
1863.73/1869.66 c #Conflicts: 406000 | #Constraints: 24644
1863.73/1869.66 c #Conflicts: 407000 | #Constraints: 25644
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 408000 | #Constraints: 14041
1863.73/1869.66 c #Conflicts: 409000 | #Constraints: 15041
1863.73/1869.66 c #Conflicts: 410000 | #Constraints: 16041
1863.73/1869.66 c #Conflicts: 411000 | #Constraints: 17041
1863.73/1869.66 c #Conflicts: 412000 | #Constraints: 18041
1863.73/1869.66 c #Conflicts: 413000 | #Constraints: 19041
1863.73/1869.66 c #Conflicts: 414000 | #Constraints: 20041
1863.73/1869.66 c #Conflicts: 415000 | #Constraints: 21041
1863.73/1869.66 c #Conflicts: 416000 | #Constraints: 22041
1863.73/1869.66 c #Conflicts: 417000 | #Constraints: 23041
1863.73/1869.66 c #Conflicts: 418000 | #Constraints: 24041
1863.73/1869.66 c #Conflicts: 419000 | #Constraints: 25041
1863.73/1869.66 c #Conflicts: 420000 | #Constraints: 26041
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 421000 | #Constraints: 14254
1863.73/1869.66 c #Conflicts: 422000 | #Constraints: 15254
1863.73/1869.66 c #Conflicts: 423000 | #Constraints: 16254
1863.73/1869.66 c #Conflicts: 424000 | #Constraints: 17254
1863.73/1869.66 c #Conflicts: 425000 | #Constraints: 18254
1863.73/1869.66 c #Conflicts: 426000 | #Constraints: 19254
1863.73/1869.66 c #Conflicts: 427000 | #Constraints: 20254
1863.73/1869.66 c #Conflicts: 428000 | #Constraints: 21254
1863.73/1869.66 c #Conflicts: 429000 | #Constraints: 22254
1863.73/1869.66 c #Conflicts: 430000 | #Constraints: 23254
1863.73/1869.66 c #Conflicts: 431000 | #Constraints: 24254
1863.73/1869.66 c #Conflicts: 432000 | #Constraints: 25254
1863.73/1869.66 c #Conflicts: 433000 | #Constraints: 26254
1863.73/1869.66 c INPROCESSING
1863.73/1869.66 c GARBAGE COLLECT
1863.73/1869.66 c #Conflicts: 434000 | #Constraints: 14250
1863.73/1869.66 c #Conflicts: 435000 | #Constraints: 15250
1863.73/1869.66 c #Conflicts: 436000 | #Constraints: 16250
2832.44/2841.12 c #Conflicts: 437000 | #Constraints: 17250
2832.44/2841.12 c #Conflicts: 438000 | #Constraints: 18250
2832.44/2841.12 c #Conflicts: 439000 | #Constraints: 19250
2832.44/2841.12 c #Conflicts: 440000 | #Constraints: 20250
2832.44/2841.12 c #Conflicts: 441000 | #Constraints: 21250
2832.44/2841.12 c #Conflicts: 442000 | #Constraints: 22250
2832.44/2841.12 c #Conflicts: 443000 | #Constraints: 23250
2832.44/2841.12 c #Conflicts: 444000 | #Constraints: 24250
2832.44/2841.12 c #Conflicts: 445000 | #Constraints: 25250
2832.44/2841.12 c #Conflicts: 446000 | #Constraints: 26250
2832.44/2841.12 c INPROCESSING
2832.44/2841.12 c GARBAGE COLLECT
2832.44/2841.12 c #Conflicts: 447000 | #Constraints: 14053
2832.44/2841.12 c #Conflicts: 448000 | #Constraints: 15053
2832.44/2841.12 c #Conflicts: 449000 | #Constraints: 16053
2832.44/2841.12 c #Conflicts: 450000 | #Constraints: 17053
2832.44/2841.12 c #Conflicts: 451000 | #Constraints: 18053
2832.44/2841.12 c #Conflicts: 452000 | #Constraints: 19053
2832.44/2841.12 c #Conflicts: 453000 | #Constraints: 20053
2832.44/2841.12 c #Conflicts: 454000 | #Constraints: 21053
2832.44/2841.12 c #Conflicts: 455000 | #Constraints: 22053
2832.44/2841.12 c #Conflicts: 456000 | #Constraints: 23053
2832.44/2841.12 c #Conflicts: 457000 | #Constraints: 24053
2832.44/2841.12 c #Conflicts: 458000 | #Constraints: 25053
2832.44/2841.12 c #Conflicts: 459000 | #Constraints: 26053
2832.44/2841.12 c #Conflicts: 460000 | #Constraints: 27053
2832.44/2841.12 c INPROCESSING
2832.44/2841.12 c GARBAGE COLLECT
2832.44/2841.12 c #Conflicts: 461000 | #Constraints: 14658
2832.44/2841.12 c #Conflicts: 462000 | #Constraints: 15658
2832.44/2841.12 c #Conflicts: 463000 | #Constraints: 16658
2832.44/2841.12 c #Conflicts: 464000 | #Constraints: 17658
2832.44/2841.12 c #Conflicts: 465000 | #Constraints: 18658
2832.44/2841.12 c #Conflicts: 466000 | #Constraints: 19658
2832.44/2841.12 c #Conflicts: 467000 | #Constraints: 20658
2832.44/2841.12 c #Conflicts: 468000 | #Constraints: 21658
2832.44/2841.12 c #Conflicts: 469000 | #Constraints: 22658
2832.44/2841.12 c #Conflicts: 470000 | #Constraints: 23658
2832.44/2841.12 c #Conflicts: 471000 | #Constraints: 24658
2832.44/2841.12 c #Conflicts: 472000 | #Constraints: 25658
2832.44/2841.12 c #Conflicts: 473000 | #Constraints: 26658
2832.44/2841.12 c #Conflicts: 474000 | #Constraints: 27658
2832.44/2841.12 c INPROCESSING
2832.44/2841.12 c GARBAGE COLLECT
2832.44/2841.12 c #Conflicts: 475000 | #Constraints: 15050
2832.44/2841.12 c #Conflicts: 476000 | #Constraints: 16050
2832.44/2841.12 c #Conflicts: 477000 | #Constraints: 17050
2832.44/2841.12 c #Conflicts: 478000 | #Constraints: 18050
2832.44/2841.12 c #Conflicts: 479000 | #Constraints: 19050
2832.44/2841.12 c #Conflicts: 480000 | #Constraints: 20050
2832.44/2841.12 c #Conflicts: 481000 | #Constraints: 21050
2832.44/2841.12 c #Conflicts: 482000 | #Constraints: 22050
2832.44/2841.12 c #Conflicts: 483000 | #Constraints: 23050
2832.44/2841.12 c #Conflicts: 484000 | #Constraints: 24050
2832.44/2841.12 c #Conflicts: 485000 | #Constraints: 25050
2832.44/2841.12 c #Conflicts: 486000 | #Constraints: 26050
2832.44/2841.12 c #Conflicts: 487000 | #Constraints: 27050
2832.44/2841.12 c #Conflicts: 488000 | #Constraints: 28050
2832.44/2841.12 c INPROCESSING
2832.44/2841.12 c GARBAGE COLLECT
2832.44/2841.12 c #Conflicts: 489000 | #Constraints: 15251
2832.44/2841.12 c #Conflicts: 490000 | #Constraints: 16251
2832.44/2841.12 c #Conflicts: 491000 | #Constraints: 17251
2832.44/2841.12 c #Conflicts: 492000 | #Constraints: 18251
2832.44/2841.12 c #Conflicts: 493000 | #Constraints: 19251
2832.44/2841.12 c #Conflicts: 494000 | #Constraints: 20251
2832.44/2841.12 c #Conflicts: 495000 | #Constraints: 21251
2832.44/2841.12 c #Conflicts: 496000 | #Constraints: 22251
2832.44/2841.12 c #Conflicts: 497000 | #Constraints: 23251
2832.44/2841.12 c #Conflicts: 498000 | #Constraints: 24251
2832.44/2841.12 c #Conflicts: 499000 | #Constraints: 25251
2832.44/2841.12 c #Conflicts: 500000 | #Constraints: 26251
2832.44/2841.12 c #Conflicts: 501000 | #Constraints: 27251
2832.44/2841.12 c #Conflicts: 502000 | #Constraints: 28251
2832.44/2841.12 c INPROCESSING
2832.44/2841.12 c GARBAGE COLLECT
2832.44/2841.12 c #Conflicts: 503000 | #Constraints: 15254
2832.44/2841.12 c #Conflicts: 504000 | #Constraints: 16254
2832.44/2841.12 c #Conflicts: 505000 | #Constraints: 17254
2832.44/2841.12 c #Conflicts: 506000 | #Constraints: 18254
2832.44/2841.12 c #Conflicts: 507000 | #Constraints: 19254
2832.44/2841.12 c #Conflicts: 508000 | #Constraints: 20254
2832.44/2841.12 c #Conflicts: 509000 | #Constraints: 21254
2832.44/2841.12 c #Conflicts: 510000 | #Constraints: 22254
2832.44/2841.12 c #Conflicts: 511000 | #Constraints: 23254
2832.44/2841.12 c #Conflicts: 512000 | #Constraints: 24254
3600.01/3610.80 c #Conflicts: 513000 | #Constraints: 25254
3600.01/3610.80 c #Conflicts: 514000 | #Constraints: 26254
3600.01/3610.80 c #Conflicts: 515000 | #Constraints: 27254
3600.01/3610.80 c #Conflicts: 516000 | #Constraints: 28254
3600.01/3610.80 c INPROCESSING
3600.01/3610.80 c GARBAGE COLLECT
3600.01/3610.80 c #Conflicts: 517000 | #Constraints: 15046
3600.01/3610.80 c #Conflicts: 518000 | #Constraints: 16046
3600.01/3610.80 c #Conflicts: 519000 | #Constraints: 17046
3600.01/3610.80 c #Conflicts: 520000 | #Constraints: 18046
3600.01/3610.80 c #Conflicts: 521000 | #Constraints: 19046
3600.01/3610.80 c #Conflicts: 522000 | #Constraints: 20046
3600.01/3610.80 c #Conflicts: 523000 | #Constraints: 21046
3600.01/3610.80 c #Conflicts: 524000 | #Constraints: 22046
3600.01/3610.80 c #Conflicts: 525000 | #Constraints: 23046
3600.01/3610.80 c #Conflicts: 526000 | #Constraints: 24046
3600.01/3610.80 c #Conflicts: 527000 | #Constraints: 25046
3600.01/3610.80 c #Conflicts: 528000 | #Constraints: 26046
3600.01/3610.80 c #Conflicts: 529000 | #Constraints: 27046
3600.01/3610.80 c #Conflicts: 530000 | #Constraints: 28046
3600.01/3610.80 c #Conflicts: 531000 | #Constraints: 29046
3600.01/3610.80 c INPROCESSING
3600.01/3610.80 c GARBAGE COLLECT
3600.01/3610.80 c #Conflicts: 532000 | #Constraints: 15650
3600.01/3610.80 c #Conflicts: 533000 | #Constraints: 16650
3600.01/3610.80 c #Conflicts: 534000 | #Constraints: 17650
3600.01/3610.80 c #Conflicts: 535000 | #Constraints: 18650
3600.01/3610.80 c #Conflicts: 536000 | #Constraints: 19650
3600.01/3610.80 c #Conflicts: 537000 | #Constraints: 20650
3600.01/3610.80 c #Conflicts: 538000 | #Constraints: 21650
3600.01/3610.80 c #Conflicts: 539000 | #Constraints: 22650
3600.01/3610.80 c #Conflicts: 540000 | #Constraints: 23650
3600.01/3610.80 c #Conflicts: 541000 | #Constraints: 24650
3600.01/3610.80 c #Conflicts: 542000 | #Constraints: 25650
3600.01/3610.80 c #Conflicts: 543000 | #Constraints: 26650
3600.01/3610.80 c #Conflicts: 544000 | #Constraints: 27650
3600.01/3610.80 c #Conflicts: 545000 | #Constraints: 28650
3600.01/3610.80 c #Conflicts: 546000 | #Constraints: 29650
3600.01/3610.80 c INPROCESSING
3600.01/3610.80 c GARBAGE COLLECT
3600.01/3610.80 c #Conflicts: 547000 | #Constraints: 16055
3600.01/3610.80 c #Conflicts: 548000 | #Constraints: 17055
3600.01/3610.80 c #Conflicts: 549000 | #Constraints: 18055
3600.01/3610.80 c #Conflicts: 550000 | #Constraints: 19055
3600.01/3610.80 c #Conflicts: 551000 | #Constraints: 20055
3600.01/3610.80 c #Conflicts: 552000 | #Constraints: 21055
3600.01/3610.80 c #Conflicts: 553000 | #Constraints: 22055
3600.01/3610.80 c #Conflicts: 554000 | #Constraints: 23055
3600.01/3610.80 c #Conflicts: 555000 | #Constraints: 24055
3600.01/3610.80 c #Conflicts: 556000 | #Constraints: 25055
3600.01/3610.80 c #Conflicts: 557000 | #Constraints: 26055
3600.01/3610.80 c #Conflicts: 558000 | #Constraints: 27055
3600.01/3610.80 c #Conflicts: 559000 | #Constraints: 28055
3600.01/3610.80 c #Conflicts: 560000 | #Constraints: 29055
3600.01/3610.80 c #Conflicts: 561000 | #Constraints: 30055
3600.01/3610.80 c INPROCESSING
3600.01/3610.80 c GARBAGE COLLECT
3600.01/3610.80 c #Conflicts: 562000 | #Constraints: 16259
3600.01/3610.80 c #Conflicts: 563000 | #Constraints: 17259
3600.01/3610.80 c #Conflicts: 564000 | #Constraints: 18259
3600.01/3610.80 c #Conflicts: 565000 | #Constraints: 19259
3600.01/3610.80 c #Conflicts: 566000 | #Constraints: 20259
3600.01/3610.80 c #Conflicts: 567000 | #Constraints: 21259
3600.01/3610.80 c #Conflicts: 568000 | #Constraints: 22259
3600.01/3610.80 c #Conflicts: 569000 | #Constraints: 23259
3600.01/3610.80 c #Conflicts: 570000 | #Constraints: 24259
3600.01/3610.80 c #Conflicts: 571000 | #Constraints: 25259
3600.01/3610.80 c #Conflicts: 572000 | #Constraints: 26259
3600.01/3610.80 c #Conflicts: 573000 | #Constraints: 27259
3600.01/3610.80 c #Conflicts: 574000 | #Constraints: 28259
3600.01/3610.80 c #Conflicts: 575000 | #Constraints: 29259
3600.01/3610.80 c #Conflicts: 576000 | #Constraints: 30259
3600.01/3610.80 c INPROCESSING
3600.01/3610.80 c GARBAGE COLLECT
3600.01/3610.80 c #Conflicts: 577000 | #Constraints: 16253
3600.01/3610.80 c #Conflicts: 578000 | #Constraints: 17253
3600.01/3610.80 c #Conflicts: 579000 | #Constraints: 18253
3600.01/3610.80 c #Conflicts: 580000 | #Constraints: 19253
3600.01/3610.80 c #Conflicts: 581000 | #Constraints: 20253
3600.01/3610.80 c #Conflicts: 582000 | #Constraints: 21253
3600.01/3610.80 c #Conflicts: 583000 | #Constraints: 22253
3600.01/3610.80 c #Conflicts: 584000 | #Constraints: 23253
3600.01/3610.80 c #Conflicts: 585000 | #Constraints: 24253
3600.01/3610.80 c #Conflicts: 586000 | #Constraints: 25253
3600.01/3610.80 c #Conflicts: 587000 | #Constraints: 26253
3600.01/3610.80 c Program interrupted by user.
3600.01/3610.80 c cpu time 3580.36 s
3600.01/3610.80 c deterministic time 455691870304 4.56e+11
3600.01/3610.80 c optimization time 103.721 s
3600.01/3610.80 c total solve time 3476.61 s
3600.01/3610.80 c core-guided solve time 3476.61 s
3600.01/3610.80 c propagation time 3185.36 s
3600.01/3610.80 c conflict analysis time 300.387 s
3600.01/3610.80 c propagations 69715989
3600.01/3610.80 c resolve steps 3562696
3600.01/3610.80 c decisions 16384369
3600.01/3610.80 c conflicts 587810
3600.01/3610.80 c restarts 1264
3600.01/3610.80 c inprocessing phases 67
3600.01/3610.80 c input clauses 173
3600.01/3610.80 c input cardinalities 176
3600.01/3610.80 c input general constraints 67
3600.01/3610.80 c input average constraint length 53.85
3600.01/3610.80 c input average constraint degree 11066.13
3600.01/3610.80 c learned clauses 314
3600.01/3610.80 c learned cardinalities 0
3600.01/3610.80 c learned general constraints 587496
3600.01/3610.80 c learned average constraint length 1470.69
3600.01/3610.80 c learned average constraint degree 4429647.07
3600.01/3610.80 c watched constraints 271539
3600.01/3610.80 c counting constraints 316024
3600.01/3610.80 c gcd simplifications 873
3600.01/3610.80 c detected cardinalities 0
3600.01/3610.80 c weakened non-implied lits 20773798
3600.01/3610.80 c weakened non-implying lits 40913
3600.01/3610.80 c original variables 5568
3600.01/3610.80 c clausal propagations 2367643
3600.01/3610.80 c cardinality propagations 14860179
3600.01/3610.80 c watched propagations 3038608
3600.01/3610.80 c counting propagations 49310495
3600.01/3610.80 c watch lookups 48476990902
3600.01/3610.80 c watch backjump lookups 47866822402
3600.01/3610.80 c watch checks 260254312841
3600.01/3610.80 c propagation checks 97154201819
3600.01/3610.80 c constraint additions 1766759043
3600.01/3610.80 c trail pops 86682938
3600.01/3610.80 c formula constraints 412
3600.01/3610.80 c learned constraints 587810
3600.01/3610.80 c bound constraints 2
3600.01/3610.80 c core-guided constraints 2
3600.01/3610.80 c encountered formula constraints 2388262
3600.01/3610.80 c encountered learned constraints 1761962
3600.01/3610.80 c encountered bound constraints 4
3600.01/3610.80 c encountered core-guided constraints 278
3600.01/3610.80 c LP total time 0 s
3600.01/3610.80 c LP solve time 0 s
3600.01/3610.80 c LP constraints added 0
3600.01/3610.80 c LP constraints removed 0
3600.01/3610.80 c LP pivots internal 0
3600.01/3610.80 c LP pivots root 0
3600.01/3610.80 c LP calls 0
3600.01/3610.80 c LP optimalities 0
3600.01/3610.80 c LP no pivot count 0
3600.01/3610.80 c LP infeasibilities 0
3600.01/3610.80 c LP valid Farkas constraints 0
3600.01/3610.80 c LP learned Farkas constraints 0
3600.01/3610.80 c LP basis resets 0
3600.01/3610.80 c LP cycling count 0
3600.01/3610.80 c LP singular count 0
3600.01/3610.80 c LP no primal count 0
3600.01/3610.80 c LP no farkas count 0
3600.01/3610.80 c LP other issue count 0
3600.01/3610.80 c LP Gomory cuts 0
3600.01/3610.80 c LP learned cuts 0
3600.01/3610.80 c LP deleted cuts 0
3600.01/3610.80 c LP encountered Gomory constraints 0
3600.01/3610.80 c LP encountered Farkas constraints 0
3600.01/3610.80 c LP encountered learned Farkas constraints 0
3600.01/3610.80 c CG auxiliary variables introduced 1
3600.01/3610.80 c CG solutions found 1
3600.01/3610.80 c CG cores constructed 1
3600.01/3610.80 c CG core cardinality constraints returned 1
3600.01/3610.80 c CG unit cores 0
3600.01/3610.80 c CG single cores 1
3600.01/3610.80 c CG blocks removed during cardinality reduction 0
3600.01/3610.80 c CG first core best 0
3600.01/3610.80 c CG decision core best 0
3600.01/3610.80 c CG core reduction tie 0
3600.01/3610.80 c CG core degree average 15.00
3600.01/3610.80 c CG core slack average 17.00
3600.01/3610.80 c CG exhausted 0
3600.01/3610.80 c CG exhaust time 0.782725 s
3600.01/3610.80 c CG trimmed 0
3600.01/3610.80 c CG trim time 0.000383 s
3600.01/3610.80 c CG minimized 0
3600.01/3610.80 c CG minimize time 0 s
3600.01/3610.80 c CG am1 prop time 0.002126 s
3600.01/3610.80 c CG # am1s reformulated 0
3600.01/3610.80 c CG lower bound derived from am1s 0
3600.01/3610.80 c CG # clausal cores 0
3600.01/3610.80 c CG # cardinality cores 0
3600.01/3610.80 c CG # pb cores 1
3600.01/3610.80 c CG # pb reforms 0
3600.01/3610.80 c CG # cores discarded because of pb reform 0
3600.01/3610.80 d LOWERBOUND 15
3600.01/3610.80 d NCORES 1
3600.01/3610.80 d NPBCORES 1
3600.01/3610.80 d NPBREFORM 0
3600.01/3610.80 d NTRIMMED 0
3600.01/3610.80 d NEXHAUSTED 0
3600.01/3610.80 d NAM1S 0
3600.01/3610.80 d AM1LB 0
3600.01/3610.80 o 23
3600.01/3610.80 s SATISFIABLE
3600.01/3610.80 v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 x10 x11 x12 -x13 -x14 x15 -x16 -x17 -x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 x1644 x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 x1878 x1879 x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 x1915 x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 x1966 x1967 -x1968 -x1969 x1970 -x1971 -x1972 x1973 x1974 x1975 x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 x1994 x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 x2013 -x2014 -x2015 x2016 x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 x3712 -x3713 -x3714 x3715 x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 x4540 x4541 x4542 x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 x4791 -x4792 -x4793 x4794 x4795 x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 x4834 x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5075 x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 x5136 -x5137 x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 x5153 -x5154 x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568
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: 63794 MiB (58935 MiB free)
memory of node 1: 64507 MiB (63237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509512-1751525574/watcher-4509512-1751525574 -o /tmp/evaluation-result-4509512-1751525574/solver-4509512-1751525574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509512-1751525574.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=71684, runsolver pid=71681
[startup+0.100076 s]*
/proc/loadavg: 4.14 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125104892/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=22056 memory=8192 CPUtime=0.08 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 920 0 0 0 8 0 0 0 20 0 1 0 68237083 22585344 2048 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 5514 2048 1312 243 0 1763 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22056 KiB
Current children cumulated memory: 8192 KiB
[startup+0.213348 s]*
/proc/loadavg: 4.14 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125100796/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=22056 memory=10916 CPUtime=0.19 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 1080 0 0 0 18 1 0 0 20 0 1 0 68237083 22585344 2729 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 5514 2729 1312 243 0 1763 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22056 KiB
Current children cumulated memory: 10916 KiB
[startup+0.31427 s]*
/proc/loadavg: 4.14 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125100796/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=22056 memory=10916 CPUtime=0.27 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 1080 0 0 0 26 1 0 0 20 0 1 0 68237083 22585344 2729 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 5514 2729 1312 243 0 1763 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 22056 KiB
Current children cumulated memory: 10916 KiB
[startup+0.700252 s]
/proc/loadavg: 4.14 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125100796/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=22356 memory=12452 CPUtime=0.61 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 1437 0 0 0 58 3 0 0 20 0 1 0 68237083 22892544 3113 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 5589 3113 1344 243 0 1838 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 22356 KiB
Current children cumulated memory: 12452 KiB
[startup+1.5003 s]
/proc/loadavg: 4.12 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125100796/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=32920 memory=20724 CPUtime=1.41 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 2583 0 0 0 135 6 0 0 20 0 1 0 68237083 33710080 5181 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 8230 5181 1344 243 0 4479 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 32920 KiB
Current children cumulated memory: 20724 KiB
[startup+3.11298 s]
/proc/loadavg: 4.12 4.16 4.16 5/249 71685
/proc/meminfo: memFree=125093236/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=46616 memory=33736 CPUtime=3.02 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 4803 0 0 0 291 11 0 0 20 0 1 0 68237083 47734784 8434 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 11654 8434 1344 243 0 7903 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 46616 KiB
Current children cumulated memory: 33736 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.15 4.16 5/249 71685
/proc/meminfo: memFree=125073076/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=69040 memory=52616 CPUtime=6.2 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 7998 0 0 0 601 19 0 0 20 0 1 0 68237083 70696960 13154 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 17260 13154 1344 243 0 13509 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 69040 KiB
Current children cumulated memory: 52616 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.16 5/249 71685
/proc/meminfo: memFree=125040700/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=107760 memory=82456 CPUtime=12.57 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 13414 0 0 0 1226 31 0 0 20 0 1 0 68237083 110346240 20614 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 26940 20614 1344 243 0 23189 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 107760 KiB
Current children cumulated memory: 82456 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.14 4.16 5/249 71686
/proc/meminfo: memFree=124967984/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=124696 memory=108932 CPUtime=25.33 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 17469 0 0 0 2479 54 0 0 20 0 1 0 68237083 127688704 27233 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 31174 27233 1344 243 0 27423 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 124696 KiB
Current children cumulated memory: 108932 KiB
[startup+51.1132 s]
/proc/loadavg: 4.12 4.15 4.16 5/249 71686
/proc/meminfo: memFree=124854792/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=205604 memory=169068 CPUtime=50.87 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 28937 0 0 0 5010 77 0 0 20 0 1 0 68237083 210538496 42267 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 51401 42267 1344 243 0 47650 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 205604 KiB
Current children cumulated memory: 169068 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/250 71689
/proc/meminfo: memFree=124770784/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=232564 memory=203888 CPUtime=101.91 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 35090 0 0 0 10044 147 0 0 20 0 1 0 68237083 238145536 50972 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 58141 50972 1344 243 0 54390 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 232564 KiB
Current children cumulated memory: 203888 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/250 71691
/proc/meminfo: memFree=124609288/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=315892 memory=272896 CPUtime=161.74 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 42643 0 0 0 15987 187 0 0 20 0 1 0 68237083 323473408 68224 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 78973 68224 1344 243 0 75222 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 315892 KiB
Current children cumulated memory: 272896 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 71697
/proc/meminfo: memFree=124493144/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=408568 memory=349952 CPUtime=221.57 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 61933 0 0 0 21912 245 0 0 20 0 1 0 68237083 418373632 87488 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 102142 87488 1344 243 0 98391 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 408568 KiB
Current children cumulated memory: 349952 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 71699
/proc/meminfo: memFree=124415788/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=408568 memory=350848 CPUtime=281.4 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 62147 0 0 0 27845 295 0 0 20 0 1 0 68237083 418373632 87712 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 102142 87712 1344 243 0 98391 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 408568 KiB
Current children cumulated memory: 350848 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 71701
/proc/meminfo: memFree=124411988/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=408568 memory=355640 CPUtime=341.24 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 62326 0 0 0 33766 358 0 0 20 0 1 0 68237083 418373632 88910 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 102142 88910 1344 243 0 98391 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 408568 KiB
Current children cumulated memory: 355640 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 71703
/proc/meminfo: memFree=124222868/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=413676 memory=359992 CPUtime=401.07 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 63428 0 0 0 39697 410 0 0 20 0 1 0 68237083 423604224 89998 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 103419 89998 1344 243 0 99668 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 413676 KiB
Current children cumulated memory: 359992 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 71708
/proc/meminfo: memFree=124146136/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=502848 memory=386276 CPUtime=460.89 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 65440 0 0 0 45654 435 0 0 20 0 1 0 68237083 514916352 96569 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 125712 96569 1344 243 0 121961 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 794864 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/251 71967
/proc/meminfo: memFree=125369844/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928264 memory=794992 CPUtime=2853.57 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120113 0 0 0 283751 1606 0 0 20 0 1 0 68237083 950542336 198748 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232066 198748 1344 243 0 228315 0
Current children cumulated CPU time: 2853.57 s
Current children cumulated vsize: 928264 KiB
Current children cumulated memory: 794992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 71969
/proc/meminfo: memFree=125167408/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=2913.41 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120219 0 0 0 289708 1633 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 2913.41 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 71971
/proc/meminfo: memFree=125073920/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=2973.25 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120296 0 0 0 295657 1668 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 2973.25 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 71973
/proc/meminfo: memFree=125055160/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3033.1 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120320 0 0 0 301616 1694 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/249 71975
/proc/meminfo: memFree=125041124/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3092.94 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120325 0 0 0 307563 1731 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 71977
/proc/meminfo: memFree=124932668/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3152.77 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120325 0 0 0 313516 1761 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/249 71979
/proc/meminfo: memFree=124881372/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3212.61 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120326 0 0 0 319467 1794 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 71986
/proc/meminfo: memFree=124870912/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3272.45 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120326 0 0 0 325427 1818 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 71988
/proc/meminfo: memFree=124826352/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=928904 memory=795376 CPUtime=3332.29 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120447 0 0 0 331390 1839 0 0 20 0 1 0 68237083 951197696 198844 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232226 198844 1344 243 0 228475 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 928904 KiB
Current children cumulated memory: 795376 KiB
[startup+3402.3 s]
/proc/loadavg: 3.44 3.90 4.02 4/244 72020
/proc/meminfo: memFree=126587824/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=929052 memory=795760 CPUtime=3392.11 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120541 0 0 0 337340 1871 0 0 20 0 1 0 68237083 951349248 198940 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232263 198940 1344 243 0 228512 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 929052 KiB
Current children cumulated memory: 795760 KiB
[startup+3462.3 s]
/proc/loadavg: 3.21 3.75 3.96 4/244 72022
/proc/meminfo: memFree=126460436/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=929052 memory=795760 CPUtime=3451.94 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120541 0 0 0 343299 1895 0 0 20 0 1 0 68237083 951349248 198940 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232263 198940 1344 243 0 228512 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 929052 KiB
Current children cumulated memory: 795760 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.63 3.90 4/245 72027
/proc/meminfo: memFree=126377388/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=929244 memory=795888 CPUtime=3511.77 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120621 0 0 0 349255 1922 0 0 20 0 1 0 68237083 951545856 198972 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232311 198972 1344 243 0 228560 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 795888 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.54 3.86 4/245 72029
/proc/meminfo: memFree=126221588/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=929244 memory=795888 CPUtime=3571.59 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120621 0 0 0 355206 1953 0 0 20 0 1 0 68237083 951545856 198972 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232311 198972 1344 243 0 228560 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 795888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 3.09 3.50 3.83 4/245 72030
/proc/meminfo: memFree=126096900/131382112 swapFree=33010416/33010684
[pid=71684] ppid=71681 vsize=929244 memory=795888 CPUtime=3600.01 cores=5,7
/proc/71684/stat : 71684 (pb-oll-rs) R 71681 71684 70835 0 -1 4194304 120621 0 0 0 358036 1965 0 0 20 0 1 0 68237083 951545856 198972 18446744073709551615 4218880 5211445 140722577552496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 29011968 140722577553820 140722577553897 140722577553897 140722577559499 0
/proc/71684/statm: 232311 198972 1344 243 0 228560 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 795888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 71684 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.36 s, system=19.6638 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.03
CPU user time (s): 3580.36
CPU system time (s): 19.6638
CPU usage (%): 99.7014
Max. virtual memory (cumulated for all children) (KiB): 929488
Max. memory (cumulated for all children) (KiB): 795888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.36
system time used= 19.6638
maximum resident set size= 796016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120635
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= 259
involuntary context switches= 2683
# summary of solver processes directly reported to runsolver:
# pid: 71684
# total CPU time (s): 3600.03
# total CPU user time (s): 3580.36
# total CPU system time (s): 19.6638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6886 second user time and 36.2537 second system time
The end
Begin job on nodeC012 at 2025-07-03 08:52:54
IDJOB=4509512
IDBENCH=158621
IDSOLVER=3345
FILE ID=nodeC012/4509512-1751525574
RUNJOBID= nodeC012-1751518082-70848
SLURM_JOB_ID= 9598636
Free space on /tmp= 431876 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509512-1751525574/watcher-4509512-1751525574 -o /tmp/evaluation-result-4509512-1751525574/solver-4509512-1751525574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509512-1751525574.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=916637467
nodeC012 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 : 0xb00001f
cpu MHz : 3662.412
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.609
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3654.434
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.480
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125104892 kB
MemAvailable: 125118328 kB
Buffers: 2136 kB
Cached: 814888 kB
SwapCached: 16 kB
Active: 5511424 kB
Inactive: 197184 kB
Active(anon): 4902532 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 190188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1948 kB
Writeback: 0 kB
AnonPages: 4894456 kB
Mapped: 107480 kB
Shmem: 17944 kB
KReclaimable: 107584 kB
Slab: 192496 kB
SReclaimable: 107584 kB
SUnreclaim: 84912 kB
KernelStack: 4012 kB
PageTables: 13632 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6034628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 827392 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431872 MiB
End job on nodeC012 at 2025-07-03 09:53:05