(1,11) (2,13) (3,8) (4,15) (5,24) (6,16) (7,27) (9,19) (10,30) (12,20) (14,23) (17,26) (18,22) (21,29) (25,28) 
nodes: 675  conflicts: 1  modelTime: 928  solveTime: 1968  totalTime: 2954  modelSize: 72264  readTime: 58 size: 15