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