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