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