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