(1,27) (2,18) (4,22) (6,30) (7,16) (8,29) (9,17) (10,21) (11,20) (12,28) (13,26) (14,23) (15,19) 
nodes: 26894  conflicts: 43  modelTime: 654  solveTime: 42630  totalTime: 43292  modelSize: 41299  readTime: 7 size: 13