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