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