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