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