(1,14) (2,16) (3,22) (4,15) (5,13) (6,29) (7,21) (8,17) (9,25) (10,18) (11,12) (19,24) (20,26) (28,30) 
nodes: 226984  conflicts: 44  modelTime: 1736  solveTime: 755395  totalTime: 757150  modelSize: 72265  readTime: 19 size: 14