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