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