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