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