(1,28) (2,24) (3,18) (4,26) (5,9) (6,13) (7,29) (8,19) (10,22) (11,20) (12,27) (14,25) (15,30) (16,23) (17,21) 
nodes: 347587  conflicts: 22  modelTime: 2356  solveTime: 1916696  totalTime: 1919077  modelSize: 72285  readTime: 25 size: 15