(1,26) (2,24) (3,17) (4,27) (5,28) (6,18) (7,19) (8,16) (9,25) (10,29) (11,30) (12,23) (13,20) (14,21) (15,22) 
nodes: 1236  conflicts: 4  modelTime: 655  solveTime: 2638  totalTime: 3298  modelSize: 41299  readTime: 5 size: 15