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