(1,27) (3,17) (4,29) (5,19) (6,30) (7,23) (8,25) (9,21) (10,20) (11,22) (13,24) (14,16) (15,26) 
nodes: 3032  conflicts: 31  modelTime: 662  solveTime: 3354  totalTime: 4022  modelSize: 41299  readTime: 6 size: 13