(2,26) (3,30) (4,22) (5,28) (6,29) (7,16) (8,23) (9,19) (10,18) (11,20) (12,17) (13,21) (14,24) (15,25) 
nodes: 1151  conflicts: 28  modelTime: 659  solveTime: 1546  totalTime: 2212  modelSize: 41298  readTime: 7 size: 14