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