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