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