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