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