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