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