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