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