(1,29) (2,24) (3,28) (4,17) (5,7) (6,20) (8,12) (9,30) (10,11) (13,22) (14,15) (16,19) (18,21) (23,27) (25,26) 
nodes: 2122  conflicts: 52  modelTime: 1034  solveTime: 8144  totalTime: 9190  modelSize: 72263  readTime: 12 size: 15