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