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