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