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