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