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