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