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