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