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