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