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