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