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