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