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