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