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