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