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