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