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