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