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