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