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