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