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