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