(1,18) (2,24) (3,19) (4,30) (5,28) (6,20) (7,21) (8,27) (9,17) (11,22) (12,25) (14,26) (15,29) 
nodes: 1532  conflicts: 32  modelTime: 657  solveTime: 1676  totalTime: 2340  modelSize: 41298  readTime: 7 size: 13