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