(1,15) (3,28) (4,13) (5,12) (6,16) (7,27) (8,23) (10,26) (17,20) (18,22) (19,21) (24,29) (25,30) 
nodes: 27919  conflicts: 70  modelTime: 943  solveTime: 142867  totalTime: 143822  modelSize: 72262  readTime: 12 size: 13