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