(1,16) (2,13) (3,9) (4,20) (5,17) (6,7) (8,19) (10,28) (11,30) (12,27) (14,25) (15,26) (18,24) (21,29) (22,23) 
nodes: 54993  conflicts: 36  modelTime: 970  solveTime: 183347  totalTime: 184329  modelSize: 72262  readTime: 11 size: 15