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