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