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