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