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