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