(1,8) (2,15) (3,25) (4,26) (5,20) (6,24) (7,14) (9,11) (10,30) (12,17) (13,18) (21,28) (22,23) (27,29) 
nodes: 17818  conflicts: 48  modelTime: 945  solveTime: 103074  totalTime: 104031  modelSize: 72263  readTime: 12 size: 14