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