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