(1,21) (2,18) (3,24) (4,27) (5,22) (6,19) (8,17) (9,28) (10,25) (11,16) (12,26) (13,30) (14,20) (15,23) 
nodes: 133248  conflicts: 20  modelTime: 1182  solveTime: 345627  totalTime: 346817  modelSize: 41299  readTime: 8 size: 14