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