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