(1,18) (2,11) (3,30) (4,25) (5,23) (6,15) (7,8) (9,12) (10,29) (13,16) (14,22) (17,19) (21,26) (24,27) 
nodes: 19013  conflicts: 54  modelTime: 1138  solveTime: 103885  totalTime: 105040  modelSize: 72262  readTime: 17 size: 14