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