(2,18) (3,21) (4,27) (5,17) (6,26) (7,30) (8,16) (9,19) (10,23) (11,20) (13,29) (14,22) (15,25) 
nodes: 6672  conflicts: 36  modelTime: 659  solveTime: 10365  totalTime: 11031  modelSize: 41298  readTime: 6 size: 13