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