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