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