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