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