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