(1,14) (3,6) (5,10) (8,9) (11,26) (12,17) (13,18) (16,30) (19,24) (20,28) (21,29) (22,25) (23,27) 
nodes: 10573  conflicts: 102  modelTime: 942  solveTime: 31813  totalTime: 32767  modelSize: 72263  readTime: 12 size: 13