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