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