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