(1,3) (2,28) (4,26) (5,17) (6,16) (7,27) (8,12) (9,19) (10,23) (11,24) (13,15) (14,21) (18,25) (29,30) 
nodes: 1470  conflicts: 25  modelTime: 1735  solveTime: 7043  totalTime: 8798  modelSize: 72262  readTime: 20 size: 14