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