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