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