(1,15) (2,5) (3,13) (4,23) (6,17) (7,12) (8,14) (9,16) (10,24) (11,20) (18,30) (19,28) (21,26) (22,27) (25,29) 
nodes: 1059  conflicts: 0  modelTime: 1406  solveTime: 3874  totalTime: 5290  modelSize: 72264  readTime: 10 size: 15