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