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