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