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