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