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