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