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