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