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