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