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