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