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