(1,4) (2,10) (3,30) (5,7) (6,16) (8,25) (9,20) (11,23) (12,22) (13,24) (14,19) (15,27) (17,29) (18,21) (26,28) 
nodes: 1698  conflicts: 52  modelTime: 994  solveTime: 9926  totalTime: 10932  modelSize: 72262  readTime: 12 size: 15