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