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