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