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