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