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