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