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