(1,16) (3,28) (4,7) (5,22) (6,8) (9,19) (10,11) (12,30) (13,21) (14,15) (17,27) (18,23) (20,24) (26,29) 
nodes: 309818  conflicts: 47  modelTime: 959  solveTime: 1086856  totalTime: 1087826  modelSize: 72264  readTime: 10 size: 14