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