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