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