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