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