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