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