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