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