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