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