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