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