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