(1,13) (2,29) (3,22) (4,12) (5,19) (6,15) (7,27) (8,9) (10,28) (11,16) (14,17) (18,20) (21,23) (24,25) (26,30) 
nodes: 2689  conflicts: 5  modelTime: 942  solveTime: 14204  totalTime: 15154  modelSize: 72267  readTime: 8 size: 15