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