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