(1,18) (2,26) (3,22) (4,21) (5,25) (7,30) (8,19) (9,29) (10,27) (11,23) (12,28) (13,20) (14,17) (15,16) 
nodes: 30156  conflicts: 21  modelTime: 662  solveTime: 116874  totalTime: 117541  modelSize: 41293  readTime: 5 size: 14