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