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