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