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