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