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