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