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