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