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