(1,10) (2,11) (3,20) (4,27) (5,22) (6,7) (8,25) (9,29) (12,21) (14,18) (16,19) (17,24) (23,26) (28,30) 
nodes: 6690  conflicts: 55  modelTime: 973  solveTime: 20622  totalTime: 21606  modelSize: 72266  readTime: 11 size: 14