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