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