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