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