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