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