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