(1,26) (2,17) (3,10) (4,16) (5,29) (6,24) (7,13) (8,12) (9,19) (11,21) (14,22) (15,30) (18,25) (20,27) (23,28) 
nodes: 93070  conflicts: 33  modelTime: 1413  solveTime: 349059  totalTime: 350484  modelSize: 72264  readTime: 11 size: 15