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