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