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