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