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