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