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