(1,17) (2,27) (3,25) (4,18) (5,20) (6,29) (7,28) (9,30) (10,26) (11,22) (12,24) (13,21) (14,23) (15,19) 
nodes: 3800  conflicts: 33  modelTime: 662  solveTime: 5472  totalTime: 6140  modelSize: 41293  readTime: 6 size: 14