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