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