(1,20) (2,25) (3,9) (4,15) (5,11) (6,17) (7,19) (8,29) (10,21) (13,14) (16,22) (18,30) (23,28) (24,27) 
nodes: 14972  conflicts: 55  modelTime: 974  solveTime: 55512  totalTime: 56497  modelSize: 72263  readTime: 11 size: 14