(1,13) (2,12) (3,15) (4,6) (5,22) (7,21) (8,25) (9,10) (11,17) (14,26) (16,18) (19,27) (20,30) (23,28) (24,29) 
nodes: 136547  conflicts: 34  modelTime: 1577  solveTime: 609039  totalTime: 610627  modelSize: 72264  readTime: 11 size: 15