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