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