(1,20) (2,15) (3,29) (4,6) (5,22) (7,24) (8,14) (9,18) (10,19) (11,17) (12,13) (16,23) (25,30) (27,28) 
nodes: 25045  conflicts: 18  modelTime: 1706  solveTime: 139700  totalTime: 141432  modelSize: 72264  readTime: 26 size: 14